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.
6978 Publications
2023 |Published| Thesis | IST-REx-ID: 14539 | 
Zikelic, Dorde. “Automated Verification and Control of Infinite State Stochastic Systems.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14539.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12162 |
Corominas-Murtra, Bernat, and Edouard B Hannezo. “Modelling the Dynamics of Mammalian Gut Homeostasis.” Seminars in Cell & Developmental Biology. Elsevier, 2023. https://doi.org/10.1016/j.semcdb.2022.11.005.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 14661 |
Carioni, Marcello, Julian L Fischer, and Anja Schlömerkemper. “External Forces in the Continuum Limit of Discrete Systems with Non-Convex Interaction Potentials: Compactness for a Γ-Development.” Journal of Convex Analysis. Heldermann Verlag, 2023.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14827
Schwayer, Cornelia, and David Brückner. “Connecting Theory and Experiment in Cell and Tissue Mechanics.” Journal of Cell Science. The Company of Biologists, 2023. https://doi.org/10.1242/jcs.261515.
View
| DOI
| PubMed | Europe PMC
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
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14849 |
Cipolloni, Giorgio, László Erdös, Dominik J Schröder, and Yuanyuan Xu. “On the Rightmost Eigenvalue of Non-Hermitian Random Matrices.” The Annals of Probability. Institute of Mathematical Statistics, 2023. https://doi.org/10.1214/23-aop1643.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14854
Mitrouskas, David Johannes, and Robert Seiringer. “Ubiquity of Bound States for the Strongly Coupled Polaron.” Pure and Applied Analysis. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/paa.2023.5.973.
View
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14872
Sahu, Rishabh, Liu Qiu, William J Hease, Georg M Arnold, Yuri Minoguchi, Peter Rabl, and Johannes M Fink. “Entangling Microwaves and Telecom Wavelength Light.” In Frontiers in Optics + Laser Science 2023. Optica Publishing Group, 2023. https://doi.org/10.1364/ls.2023.lm1f.3.
View
| DOI
2023 |Published| Conference Abstract | IST-REx-ID: 14864 |
Stöllner, Andrea, Isaac C Lenton, Caroline J Muller, and Scott R Waitukaitis. “Measuring Spontaneous Charging of Single Aerosol Particles.” In EGU General Assembly 2023. European Geosciences Union, 2023. https://doi.org/10.5194/egusphere-egu23-6166.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Abstract | IST-REx-ID: 14862 |
Rella, Simon, Y Kulikova, Aygul Minnegalieva, and Fyodor Kondrashov. “Complex Vaccination Strategies Prevent the Emergence of Vaccine Resistance.” In European Journal of Public Health, Vol. 33. Oxford University Press, 2023. https://doi.org/10.1093/eurpub/ckad160.597.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 13049 |
Freire, Marco, Manas Bhargava, Camille Schreck, Pierre-Alexandre Hugron, Bernd Bickel, and Sylvain Lefebvre. “PCBend: Light up Your 3D Shapes with Foldable Circuit Boards.” Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3592411.
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 13212 |
Chen, Huihuang, Lanxin Li, Minxia Zou, Linlin Qi, and Jiří Friml. “Distinct Functions of TIR1 and AFB1 Receptors in Auxin Signalling.” Molecular Plant. Elsevier , 2023. https://doi.org/10.1016/j.molp.2023.06.007.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 14032 |
Mukhopadhyay, Soham, Jorden L Senior, Jaime Saez Mollejo, Denise Puglia, Martin Zemlicka, Johannes M Fink, and Andrew P Higginbotham. “Superconductivity from a Melted Insulator in Josephson Junction Arrays.” Nature Physics. Springer Nature, 2023. https://doi.org/10.1038/s41567-023-02161-w.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 13266 |
Qi, Linlin, and Jiří Friml. “Tale of CAMP as a Second Messenger in Auxin Signaling and Beyond.” New Phytologist. Wiley, 2023. https://doi.org/10.1111/nph.19123.
[Published Version]
View
| Files available
| DOI
| 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: 13209 |
Xia, Jing, Mengjuan Kong, Zhisen Yang, Lianghanxiao Sun, Yakun Peng, Yanbo Mao, Hong Wei, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.” Plant Communications. Elsevier , 2023. https://doi.org/10.1016/j.xplc.2023.100632.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 13971 |
Grober, Daniel, Ivan Palaia, Mehmet C Ucar, Edouard B Hannezo, Anđela Šarić, and Jérémie A Palacci. “Unconventional Colloidal Aggregation in Chiral Bacterial Baths.” Nature Physics. Springer Nature, 2023. https://doi.org/10.1038/s41567-023-02136-x.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 10551 |
Cornalba, Federico, and Julian L Fischer. “The Dean-Kawasaki Equation and the Structure of Density Fluctuations in Systems of Diffusing Particles.” Archive for Rational Mechanics and Analysis. Springer Nature, 2023. https://doi.org/10.1007/s00205-023-01903-7.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 13234 |
Kueffner, Konstantin, Anna Lukina, Christian Schilling, and Thomas A Henzinger. “Into the Unknown: Active Monitoring of Neural Networks (Extended Version).” International Journal on Software Tools for Technology Transfer. Springer Nature, 2023. https://doi.org/10.1007/s10009-023-00711-4.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14244 |
Hausel, Tamás, Michael Lennox Wong, and Dimitri Wyss. “Arithmetic and Metric Aspects of Open de Rham Spaces.” Proceedings of the London Mathematical Society. Wiley, 2023. https://doi.org/10.1112/plms.12555.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv