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.
6997 Publications
2023 |Published| Thesis | IST-REx-ID: 13107 | 
Knaus, Lisa. “The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13107.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12802 |
Knaus, Lisa, Bernadette Basilico, Daniel Malzl, Maria Gerykova Bujalkova, Mateja Smogavec, Lena A. Schwarz, Sarah Gorkiewicz, et al. “Large Neutral Amino Acid Levels Tune Perinatal Neuronal Excitability and Survival.” Cell. Elsevier, 2023. https://doi.org/10.1016/j.cell.2023.02.037.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Submitted| Preprint | IST-REx-ID: 13312 |
Valentini, Marco, Oliver Sagi, Levon Baghumyan, Thijs de Gijsel, Jason Jung, Stefano Calcaterra, Andrea Ballabio, et al. “Radio Frequency Driven Superconducting Diode and Parity Conserving Cooper Pair Transport in a Two-Dimensional Germanium Hole Gas.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2306.07109.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14466 |
Marensi, Elena, Gökhan Yalniz, and Björn Hof. “Dynamics and Proliferation of Turbulent Stripes in Plane-Poiseuille and Plane-Couette Flows.” Journal of Fluid Mechanics. Cambridge University Press, 2023. https://doi.org/10.1017/jfm.2023.780.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Book Chapter | IST-REx-ID: 14992 |
Lewin, Mathieu, Elliott H. Lieb, and Robert Seiringer. “Universal Functionals in Density Functional Theory.” In Density Functional Theory, edited by Eric Cances and Gero Friesecke, 1st ed., 115–82. MAMOMO. Springer, 2023. https://doi.org/10.1007/978-3-031-22340-2_3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data | IST-REx-ID: 13126 |
Danzl, Johann G. “Research Data for the Publication ‘Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.’” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:13126.
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 13116 |
Dunajova, Zuzana, Batirtze Prats Mateu, Philipp Radler, Keesiang Lim, Dörte Brandis, Philipp Velicky, Johann G Danzl, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:13116.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 13314 |
Dunajova, Zuzana, Batirtze Prats Mateu, Philipp Radler, Keesiang Lim, Dörte Brandis, Philipp Velicky, Johann G Danzl, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” Nature Physics. Springer Nature, 2023. https://doi.org/10.1038/s41567-023-02218-w.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 14257 |
Michalska, Julia M, Julia Lyudchik, Philipp Velicky, Hana Korinkova, Jake Watson, Alban Cenameri, Christoph M Sommer, et al. “Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.” Nature Biotechnology. Springer Nature, 2023. https://doi.org/10.1038/s41587-023-01911-8.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2023 |Published| Thesis | IST-REx-ID: 14280
Radler, Philipp. “Spatiotemporal Signaling during Assembly of the Bacterial Divisome.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14280.
[Published Version]
View
| Files available
| DOI
2023 |Published| Thesis | IST-REx-ID: 13286 |
Valentini, Marco. “Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13286.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14260 |
Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” In 35th International Conference on Computer Aided Verification , 13964:156–69. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37706-8_8.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14995 |
Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7877757.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |Epub ahead of print| Conference Paper | IST-REx-ID: 15023 |
Zikelic, Dorde, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, and Thomas A Henzinger. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” In 37th Conference on Neural Information Processing Systems, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14076 |
Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” In 23nd International Conference on Runtime Verification, 14245:168–90. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-44267-4_9.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8191723.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |Published| Thesis | IST-REx-ID: 13984
Franschitz, Anna. “Individual and Social Immunity against Viral Infections in Ants.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13984.
[Published Version]
View
| Files available
| DOI
2023 |Submitted| Preprint | IST-REx-ID: 15039 |
Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2311.06103.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14812 |
Stankowski, Sean. “Data and Code for: The Genetic Architecture of a Recent Transition to Live-Bearing in Marine Snails.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8318995.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 13214 |
Abualia, R, Stefan Riegler, and Eva Benková. “Nitrate, Auxin and Cytokinin - a Trio to Tango.” Cells. MDPI, 2023. https://doi.org/10.3390/cells12121613.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC