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.
5779 Publications
2023 | Published | Journal Article | IST-REx-ID: 13226 | 
Bossmann, Lea, and Sören P Petrat. “Weak Edgeworth Expansion for the Mean-Field Bose Gas.” Letters in Mathematical Physics. Springer Nature, 2023. https://doi.org/10.1007/s11005-023-01698-4.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12915 |
Xing, Congcong, Yu Zhang, Ke Xiao, Xu Han, Yu Liu, Bingfei Nan, Maria Garcia Ramon, et al. “Thermoelectric Performance of Surface-Engineered Cu1.5–XTe–Cu2Se Nanocomposites.” ACS Nano. American Chemical Society, 2023. https://doi.org/10.1021/acsnano.3c00495.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2023 | Published | Book Chapter | IST-REx-ID: 12720 |
Arroyo-Urea, Sandra, Jake Watson, and Javier García-Nafría. “Molecular Cloning Using In Vivo DNA Assembly.” In DNA Manipulation and Analysis, edited by Garry Scarlett, 2633:33–44. MIMB. New York, NY, United States: Springer Nature, 2023. https://doi.org/10.1007/978-1-0716-3004-4_3.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 12542 |
Villalba Requena, Ana, and Simon Hippenmeyer. “Going Back in Time with TEMPO.” Neuron. Elsevier, 2023. https://doi.org/10.1016/j.neuron.2023.01.006.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13136 |
Minchington, Thomas, Stefanie Rus, and Anna Kicheva. “Control of Tissue Dimensions in the Developing Neural Tube and Somites.” Current Opinion in Systems Biology. Elsevier, 2023. https://doi.org/10.1016/j.coisb.2023.100459.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12878 |
Jiang L, Yao B, Zhang X, Wu L, Fu Q, Zhao Y, Cao Y, Zhu R, Lu X, Huang W, Zhao J, Li K, Zhao S, Han L, Zhou X, Luo C, Zhu H, Yang J, Huang H, Zhu Z, He X, Friml J, Zhang Z, Liu C, Du Y. 2023. Salicylic acid inhibits rice endocytic protein trafficking mediated by OsPIN3t and clathrin to affect root growth. Plant Journal. 115(1), 155–174.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2023 | Draft | 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
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14830 |
Zikelic, Dorde, Mathias Lechner, Thomas A Henzinger, and Krishnendu Chatterjee. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:11926–35. Association for the Advancement of Artificial Intelligence, 2023. https://doi.org/10.1609/aaai.v37i10.26407.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14628 |
Makatura, Liane, Bohan Wang, Yi-Lu Chen, Bolei Deng, Chris Wojtan, Bernd Bickel, and Wojciech Matusik. “Procedural Metamaterials: A Unified Procedural Graph for Metamaterial Design.” ACM Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3605389.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14710 |
Curatolo, Agnese I., Ofer Kimchi, Carl Peter Goodrich, Ryan K. Krueger, and Michael P. Brenner. “A Computational Toolbox for the Assembly Yield of Complex and Heterogeneous Structures.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-43168-4.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 12760 |
Henzinger, Monika, Stefan Neumann, Harald Räcke, and Stefan Schmid. “Dynamic Maintenance of Monotone Dynamic Programs and Applications.” In 40th International Symposium on Theoretical Aspects of Computer Science, Vol. 254. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.STACS.2023.36.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Thesis | IST-REx-ID: 12732 |
Brighi, Pietro. “Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12732.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12826 |
Pokusaeva, Victoria. “Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12826.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12765 |
Stockmaier, Sebastian, Yuko Ulrich, Gregory F. Albery, Sylvia Cremer, and Patricia C. Lopes. “Behavioural Defences against Parasites across Host Social Structures.” Functional Ecology. British Ecological Society, 2023. https://doi.org/10.1111/1365-2435.14310.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
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
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 13120 |
Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” In 14th International Conference on Interactive Theorem Proving, Vol. 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ITP.2023.15.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Thesis | IST-REx-ID: 13175 |
Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13175.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12900
Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12900.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13292 |
Henzinger, Thomas A, Pavol Kebis, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Regular Methods for Operator Precedence Languages.” In 50th International Colloquium on Automata, Languages, and Programming, 261:129:1--129:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ICALP.2023.129.
[Published Version]
View
| Files available
| DOI
| arXiv