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.
7604 Publications
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18132 |
Counting rational points over function fields
J. Glas, Counting Rational Points over Function Fields, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
J. Glas, Counting Rational Points over Function Fields, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18135 |
Energies of dilute Fermi gases and universalities in BCS theory
A.B. Lauritsen, Energies of Dilute Fermi Gases and Universalities in BCS Theory, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
A.B. Lauritsen, Energies of Dilute Fermi Gases and Universalities in BCS Theory, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Conference Paper |
IST-REx-ID: 18155 |
Sound and complete witnesses for template-based verification of LTL properties on polynomial programs
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, D. Zikelic, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 600–619.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, D. Zikelic, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 600–619.
2024 |
Published |
Conference Paper |
IST-REx-ID: 18159 |
Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2024, pp. 3–12.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2024, pp. 3–12.
2024 |
Published |
Conference Paper |
IST-REx-ID: 18160 |
Solving long-run average reward robust MDPs via stochastic games
K. Chatterjee, E. Goharshady, M. Karrabi, P. Novotný, D. Zikelic, in:, 33rd International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2024, pp. 6707–6715.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, E. Goharshady, M. Karrabi, P. Novotný, D. Zikelic, in:, 33rd International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2024, pp. 6707–6715.
2024 |
Published |
Journal Article |
IST-REx-ID: 18266
Value-positivity for matrix games
K. Chatterjee, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2024) 2433–3282.
View
| Files available
| DOI
| WoS
K. Chatterjee, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2024) 2433–3282.
2024 |
Published |
Thesis | MS |
IST-REx-ID: 18301 |
Filling the holes of non-manifold self-intersecting meshes for implicit topology changes in surface tracking
A. Etemadi, Filling the Holes of Non-Manifold Self-Intersecting Meshes for Implicit Topology Changes in Surface Tracking, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
A. Etemadi, Filling the Holes of Non-Manifold Self-Intersecting Meshes for Implicit Topology Changes in Surface Tracking, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Journal Article |
IST-REx-ID: 18307 |
Complex vaccination strategies prevent the emergence of vaccine resistance
S. Rella, Y.A. Kulikova, A. Minnegalieva, F. Kondrashov, Evolution: International Journal of Organic Evolution 78 (2024) 1722–1738.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Rella, Y.A. Kulikova, A. Minnegalieva, F. Kondrashov, Evolution: International Journal of Organic Evolution 78 (2024) 1722–1738.
2024 |
Published |
Journal Article |
IST-REx-ID: 18311
Feeling the danger: Local wound signaling in plants
L. Hörmayer, J. Friml, Cell Research 34 (2024) 761–762.
View
| DOI
| WoS
| PubMed | Europe PMC
L. Hörmayer, J. Friml, Cell Research 34 (2024) 761–762.
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18443 |
T-dual branes on hyperkähler manifolds
M.A. Sisak, T-Dual Branes on Hyperkähler Manifolds, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
M.A. Sisak, T-Dual Branes on Hyperkähler Manifolds, Institute of Science and Technology Austria, 2024.
2024 |
Published |
Journal Article |
IST-REx-ID: 18444 |
Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies
V. Pokusaeva, R.K. Satapathy, O. Symonova, M.A. Jösch, Nature Communications 15 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
V. Pokusaeva, R.K. Satapathy, O. Symonova, M.A. Jösch, Nature Communications 15 (2024).
2024 |
Published |
Journal Article |
IST-REx-ID: 18445 |
| 
|
Concerted transcriptional regulation of the morphogenesis of hypothalamic neurons by ONECUT3
M. Zupančič, E. Keimpema, E.O. Tretiakov, S.J. Eder, I. Lev, L. Englmaier, P. Bhandari, S.A. Fietz, W. Härtig, E. Renaux, A. Villunger, T. Hökfelt, M. Zimmer, F. Clotman, T. Harkany, Nature Communications 15 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Zupančič, E. Keimpema, E.O. Tretiakov, S.J. Eder, I. Lev, L. Englmaier, P. Bhandari, S.A. Fietz, W. Härtig, E. Renaux, A. Villunger, T. Hökfelt, M. Zimmer, F. Clotman, T. Harkany, Nature Communications 15 (2024).
2024 |
Published |
Journal Article |
IST-REx-ID: 18446 |
Temporal variability and cell mechanics control robustness in mammalian embryogenesis
D. Fabrèges, B. Corominas-Murtra, P. Moghe, A. Kickuth, T. Ichikawa, C. Iwatani, T. Tsukiyama, N. Daniel, J. Gering, A. Stokkermans, A. Wolny, A. Kreshuk, V. Duranthon, V. Uhlman, E.B. Hannezo, T. Hiiragi, Science 386 (2024).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
D. Fabrèges, B. Corominas-Murtra, P. Moghe, A. Kickuth, T. Ichikawa, C. Iwatani, T. Tsukiyama, N. Daniel, J. Gering, A. Stokkermans, A. Wolny, A. Kreshuk, V. Duranthon, V. Uhlman, E.B. Hannezo, T. Hiiragi, Science 386 (2024).
2024 |
Published |
Journal Article |
IST-REx-ID: 18465 |
Transport properties of canonical PIN-FORMED proteins from Arabidopsis and the role of the loop domain in auxin transport
D. Janacek, M. Kolb, L. Schulz, J. Mergner, B. Kuster, M. Glanc, J. Friml, K. Ten Tusscher, C. Schwechheimer, U. Hammes, Developmental Cell 59 (2024) S1534-5807(24)00569–0.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Janacek, M. Kolb, L. Schulz, J. Mergner, B. Kuster, M. Glanc, J. Friml, K. Ten Tusscher, C. Schwechheimer, U. Hammes, Developmental Cell 59 (2024) S1534-5807(24)00569–0.
2024 |
Published |
Journal Article |
IST-REx-ID: 18481 |
Dynamics of morphogen source formation in a growing tissue
R.D.J.G. Ho, K. Kishi, M. Majka, A. Kicheva, M.P. Zagórski, PLoS Computational Biology 20 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R.D.J.G. Ho, K. Kishi, M. Majka, A. Kicheva, M.P. Zagórski, PLoS Computational Biology 20 (2024).
2024 |
Published |
Journal Article |
IST-REx-ID: 18488 |
Tangent space generators of matrix product states and exact floquet quantum scars
M. Ljubotina, E. Petrova, N. Schuch, M. Serbyn, PRX Quantum 5 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Ljubotina, E. Petrova, N. Schuch, M. Serbyn, PRX Quantum 5 (2024).
2024 |
Published |
Journal Article |
IST-REx-ID: 18491 |
|
|
Predicting rapid adaptation in time from adaptation in space: A 30-year field experiment in marine snails
D.F. Garcia Castillo, N.H. Barton, R. Faria, J. Larsson, S. Stankowski, R. Butlin, K. Johannesson, A.M. Westram, Science Advances 10 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
D.F. Garcia Castillo, N.H. Barton, R. Faria, J. Larsson, S. Stankowski, R. Butlin, K. Johannesson, A.M. Westram, Science Advances 10 (2024).
2024 |
Research Data Reference |
IST-REx-ID: 18498 |
Data and code for: Predicting rapid adaptation in time from adaptation in space: a 30-year field experiment in marine snails
D.F. Garcia Castillo, N.H. Barton, R. Faria, J. Larsson, S. Stankowski, R. Butlin, K. Johannesson, A.M. Westram, (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
D.F. Garcia Castillo, N.H. Barton, R. Faria, J. Larsson, S. Stankowski, R. Butlin, K. Johannesson, A.M. Westram, (2024).
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18515 |
Effect of population structure on neutral genetic variation and barriers to gene exchange
P. Surendranadh, Effect of Population Structure on Neutral Genetic Variation and Barriers to Gene Exchange, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
P. Surendranadh, Effect of Population Structure on Neutral Genetic Variation and Barriers to Gene Exchange, Institute of Science and Technology Austria, 2024.