Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
7036 Publications
2023 |Published| Conference Paper | IST-REx-ID: 14718 |
Binary decision diagrams on modern hardware
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
[Published Version]
View
| Files available
| DOI
S. Pastva, T.A. Henzinger, in:, Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–131.
2023 |Published| Journal Article | IST-REx-ID: 14719
Nanostructured Li₂S cathodes for silicon-sulfur batteries
H. Mollania, C. Zhang, R. Du, X. Qi, J. Li, S. Horta, M. Ibáñez, C. Keller, P. Chenevier, M. Oloomi-Buygi, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 58462–58475.
View
| DOI
H. Mollania, C. Zhang, R. Du, X. Qi, J. Li, S. Horta, M. Ibáñez, C. Keller, P. Chenevier, M. Oloomi-Buygi, A. Cabot, ACS Applied Materials and Interfaces 15 (2023) 58462–58475.
2023 |Published| Journal Article | IST-REx-ID: 14240 |
Generalizing shallow water simulations with dispersive surface waves
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 42 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 42 (2023).
2023 |Published| Journal Article | IST-REx-ID: 14709 |
Auxin research: Creating tools for a greener future
M. Del Bianco, J. Friml, L. Strader, S. Kepinski, Journal of Experimental Botany 74 (2023) 6889–6892.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Del Bianco, J. Friml, L. Strader, S. Kepinski, Journal of Experimental Botany 74 (2023) 6889–6892.
2023 |Published| Journal Article | IST-REx-ID: 12833 |
Token swapping on trees
A. Biniaz, K. Jain, A. Lubiw, Z. Masárová, T. Miltzow, D. Mondal, A.M. Naredla, J. Tkadlec, A. Turcotte, Discrete Mathematics and Theoretical Computer Science 24 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
A. Biniaz, K. Jain, A. Lubiw, Z. Masárová, T. Miltzow, D. Mondal, A.M. Naredla, J. Tkadlec, A. Turcotte, Discrete Mathematics and Theoretical Computer Science 24 (2023).
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 14734
Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4
S. Wan, S. Xiao, M. Li, X. Wang, K.H. Lim, M. Hong, M. Ibáñez, A. Cabot, Y. Liu, Small Methods (2023).
View
| DOI
| PubMed | Europe PMC
S. Wan, S. Xiao, M. Li, X. Wang, K.H. Lim, M. Hong, M. Ibáñez, A. Cabot, Y. Liu, Small Methods (2023).
2023 |Published| Conference Paper | IST-REx-ID: 14736
R2: Boosting liquidity in payment channel networks with online admission control
M. Bastankhah, K. Chatterjee, M.A. Maddah-Ali, S. Schmid, J. Svoboda, M.X. Yeo, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 309–325.
View
| DOI
M. Bastankhah, K. Chatterjee, M.A. Maddah-Ali, S. Schmid, J. Svoboda, M.X. Yeo, in:, 27th International Conference on Financial Cryptography and Data Security, Springer Nature, 2023, pp. 309–325.
2023 |Published| Journal Article | IST-REx-ID: 14742 |
The impact of chromosomal rearrangements in speciation: From micro- to macroevolution
K. Lucek, M.D. Giménez, M. Joron, M. Rafajlović, J.B. Searle, N. Walden, A.M. Westram, R. Faria, Cold Spring Harbor Perspectives in Biology 15 (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
K. Lucek, M.D. Giménez, M. Joron, M. Rafajlović, J.B. Searle, N. Walden, A.M. Westram, R. Faria, Cold Spring Harbor Perspectives in Biology 15 (2023).
2023 |Published| Book Chapter | IST-REx-ID: 14757
Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression
A. Villalba Requena, N. Amberg, S. Hippenmeyer, in:, W. Huttner (Ed.), Neocortical Neurogenesis in Development and Evolution, Wiley, 2023, pp. 169–191.
View
| DOI
A. Villalba Requena, N. Amberg, S. Hippenmeyer, in:, W. Huttner (Ed.), Neocortical Neurogenesis in Development and Evolution, Wiley, 2023, pp. 169–191.
2023 |Published| Journal Article | IST-REx-ID: 14759 |
Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation tone
S. Wald, F.R. Diorico, O. Hosten, Applied Optics 62 (2023) 1–7.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Wald, F.R. Diorico, O. Hosten, Applied Optics 62 (2023) 1–7.
2023 | Research Data | IST-REx-ID: 12817 |
Research data for the publication "Dense 4D nanoscale reconstruction of living brain tissue"
J.G. Danzl, (2023).
[Published Version]
View
| Files available
| DOI
J.G. Danzl, (2023).
2023 |Published| Journal Article | IST-REx-ID: 13267 |
Dense 4D nanoscale reconstruction of living brain tissue
P. Velicky, E. Miguel Villalba, J.M. Michalska, J. Lyudchik, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, Nature Methods 20 (2023) 1256–1265.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
P. Velicky, E. Miguel Villalba, J.M. Michalska, J. Lyudchik, D. Wei, Z. Lin, J. Watson, J. Troidl, J. Beyer, Y. Ben Simon, C.M. Sommer, W. Jahr, A. Cenameri, J. Broichhagen, S.G.N. Grant, P.M. Jonas, G. Novarino, H. Pfister, B. Bickel, J.G. Danzl, Nature Methods 20 (2023) 1256–1265.
2023 |Published| Conference Paper | IST-REx-ID: 14771 |
Bias in pruned vision models: In-depth analysis and countermeasures
E.B. Iofinova, E.-A. Peste, D.-A. Alistarh, in:, 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2023, pp. 24364–24373.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
E.B. Iofinova, E.-A. Peste, D.-A. Alistarh, in:, 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2023, pp. 24364–24373.
2023 |Published| Journal Article | IST-REx-ID: 14770
LIONESS enables 4D nanoscale reconstruction of living brain tissue
J.G. Danzl, P. Velicky, Nature Methods 20 (2023) 1141–1142.
View
| Files available
| DOI
| WoS
J.G. Danzl, P. Velicky, Nature Methods 20 (2023) 1141–1142.
2023 |Published| Journal Article | IST-REx-ID: 14775 |
Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices
K. Schnelli, Y. Xu, The Annals of Applied Probability 33 (2023) 677–725.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Schnelli, Y. Xu, The Annals of Applied Probability 33 (2023) 677–725.
2023 |Published| Journal Article | IST-REx-ID: 14783 |
Astroglial connexin 43 regulates synaptic vesicle release at hippocampal synapses
G.T. Cheung, O. Chever, A. Rollenhagen, N. Quenech’du, P. Ezan, J.H.R. Lübke, N. Rouach, Cells 12 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
G.T. Cheung, O. Chever, A. Rollenhagen, N. Quenech’du, P. Ezan, J.H.R. Lübke, N. Rouach, Cells 12 (2023).
2023 |Published| Journal Article | IST-REx-ID: 14781 |
Spatial organization and function of RNA molecules within phase-separated condensates in zebrafish are controlled by Dnd1
K.J. Westerich, K. Tarbashevich, J. Schick, A. Gupta, M. Zhu, K. Hull, D. Romo, D. Zeuschner, M. Goudarzi, T. Gross-Thebing, E. Raz, Developmental Cell 58 (2023) 1578–1592.e5.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
K.J. Westerich, K. Tarbashevich, J. Schick, A. Gupta, M. Zhu, K. Hull, D. Romo, D. Zeuschner, M. Goudarzi, T. Gross-Thebing, E. Raz, Developmental Cell 58 (2023) 1578–1592.e5.
2023 |Published| Thesis | IST-REx-ID: 14539 |
Automated verification and control of infinite state stochastic systems
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
2023 |Published| Journal Article | IST-REx-ID: 12162 |
Modelling the dynamics of mammalian gut homeostasis
B. Corominas-Murtra, E.B. Hannezo, Seminars in Cell & Developmental Biology 150–151 (2023) 58–65.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Corominas-Murtra, E.B. Hannezo, Seminars in Cell & Developmental Biology 150–151 (2023) 58–65.
2023 |Published| Journal Article | IST-REx-ID: 14661 |
External forces in the continuum limit of discrete systems with non-convex interaction potentials: Compactness for a Γ-development
M. Carioni, J.L. Fischer, A. Schlömerkemper, Journal of Convex Analysis 30 (2023) 217–247.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
M. Carioni, J.L. Fischer, A. Schlömerkemper, Journal of Convex Analysis 30 (2023) 217–247.