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 | 
D. Zikelic, “Automated verification and control of infinite state stochastic systems,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12162 |
B. Corominas-Murtra and E. B. Hannezo, “Modelling the dynamics of mammalian gut homeostasis,” Seminars in Cell & Developmental Biology, vol. 150–151. Elsevier, pp. 58–65, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 14661 |
M. Carioni, J. L. Fischer, and A. Schlömerkemper, “External forces in the continuum limit of discrete systems with non-convex interaction potentials: Compactness for a Γ-development,” Journal of Convex Analysis, vol. 30, no. 1. Heldermann Verlag, pp. 217–247, 2023.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14827
C. Schwayer and D. Brückner, “Connecting theory and experiment in cell and tissue mechanics,” Journal of Cell Science, vol. 136, no. 24. The Company of Biologists, 2023.
View
| DOI
| PubMed | Europe PMC
2023 |Published| Conference Paper | IST-REx-ID: 14830
D. Zikelic, M. Lechner, T. A. Henzinger, and K. Chatterjee, “Learning control policies for stochastic systems with reach-avoid guarantees,” in Proceedings of the 37th AAAI Conference on Artificial Intelligence, Washington, DC, United States, 2023, vol. 37, no. 10, pp. 11926–11935.
[Preprint]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14849 |
G. Cipolloni, L. Erdös, D. J. Schröder, and Y. Xu, “On the rightmost eigenvalue of non-Hermitian random matrices,” The Annals of Probability, vol. 51, no. 6. Institute of Mathematical Statistics, pp. 2192–2242, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Abstract | IST-REx-ID: 14864 |
A. Stöllner, I. C. Lenton, C. J. Muller, and S. R. Waitukaitis, “Measuring spontaneous charging of single aerosol particles,” in EGU General Assembly 2023, Vienna, Austria & Virtual, 2023.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Abstract | IST-REx-ID: 14862 |
S. Rella, Y. Kulikova, A. Minnegalieva, and F. Kondrashov, “Complex vaccination strategies prevent the emergence of vaccine resistance,” in European Journal of Public Health, 2023, vol. 33, no. Supplement_2.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 13049 |
M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, and S. Lefebvre, “PCBend: Light up your 3D shapes with foldable circuit boards,” Transactions on Graphics, vol. 42, no. 4. Association for Computing Machinery, 2023.
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 13212 |
H. Chen, L. Li, M. Zou, L. Qi, and J. Friml, “Distinct functions of TIR1 and AFB1 receptors in auxin signalling.,” Molecular Plant, vol. 16, no. 7. Elsevier , pp. 1117–1119, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 14032 |
S. Mukhopadhyay et al., “Superconductivity from a melted insulator in Josephson junction arrays,” Nature Physics, vol. 19. Springer Nature, pp. 1630–1635, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 13266 |
L. Qi and J. Friml, “Tale of cAMP as a second messenger in auxin signaling and beyond,” New Phytologist, vol. 240, no. 2. Wiley, pp. 489–495, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 13136 |
T. Minchington, S. Rus, and A. Kicheva, “Control of tissue dimensions in the developing neural tube and somites,” Current Opinion in Systems Biology, vol. 35. Elsevier, 2023.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 13209 |
J. Xia et al., “Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen,” Plant Communications, vol. 4, no. 6. Elsevier , 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 13971 |
D. Grober, I. Palaia, M. C. Ucar, E. B. Hannezo, A. Šarić, and J. A. Palacci, “Unconventional colloidal aggregation in chiral bacterial baths,” Nature Physics, vol. 19. Springer Nature, pp. 1680–1688, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 10551 |
F. Cornalba and J. L. Fischer, “The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles,” Archive for Rational Mechanics and Analysis, vol. 247, no. 5. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 13234 |
K. Kueffner, A. Lukina, C. Schilling, and T. A. Henzinger, “Into the unknown: Active monitoring of neural networks (extended version),” International Journal on Software Tools for Technology Transfer, vol. 25. Springer Nature, pp. 575–592, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14244 |
T. Hausel, M. L. Wong, and D. Wyss, “Arithmetic and metric aspects of open de Rham spaces,” Proceedings of the London Mathematical Society, vol. 127, no. 4. Wiley, pp. 958–1027, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv