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.
667 Publications
2024 | Published | Book Chapter | IST-REx-ID: 18563
Reminiscences of a Real-Time Researcher
T.A. Henzinger, in:, S. Graf, P. Pettersson, B. Steffen (Eds.), Real Time and Such, Springer Nature, Cham, 2024, pp. 154–164.
View
| DOI
T.A. Henzinger, in:, S. Graf, P. Pettersson, B. Steffen (Eds.), Real Time and Such, Springer Nature, Cham, 2024, pp. 154–164.
2024 | Published | Journal Article | IST-REx-ID: 14478 | 
Frequent horizontal chromosome transfer between asexual fungal insect pathogens
M. Habig, A.V. Grasse, J. Müller, E.H. Stukenbrock, H. Leitner, S. Cremer, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Habig, A.V. Grasse, J. Müller, E.H. Stukenbrock, H. Leitner, S. Cremer, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
2024 | Published | Thesis | 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 | Journal Article | IST-REx-ID: 14488 |
A deeper analysis of volumetric relightiable faces
P. Rao, B.R. Mallikarjun, G. Fox, T. Weyrich, B. Bickel, H. Pfister, W. Matusik, F. Zhan, A. Tewari, C. Theobalt, M. Elgharib, International Journal of Computer Vision 132 (2024) 1148–1166.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
P. Rao, B.R. Mallikarjun, G. Fox, T. Weyrich, B. Bickel, H. Pfister, W. Matusik, F. Zhan, A. Tewari, C. Theobalt, M. Elgharib, International Journal of Computer Vision 132 (2024) 1148–1166.
2024 | Published | Journal Article | IST-REx-ID: 14542 |
Universality in low-dimensional BCS theory
S.J. Henheik, A.B. Lauritsen, B. Roos, Reviews in Mathematical Physics 36 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S.J. Henheik, A.B. Lauritsen, B. Roos, Reviews in Mathematical Physics 36 (2024).
2024 | Published | Journal Article | IST-REx-ID: 14479 |
Fungal infection alters collective nutritional intake of ant colonies
E. Csata, A. Perez-Escudero, E. Laury, H. Leitner, G. Latil, J. Heinze, S. Simpson, S. Cremer, A. Dussutour, Current Biology 34 (2024) 902–909.e6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
E. Csata, A. Perez-Escudero, E. Laury, H. Leitner, G. Latil, J. Heinze, S. Simpson, S. Cremer, A. Dussutour, Current Biology 34 (2024) 902–909.e6.
2024 | Published | Journal Article | IST-REx-ID: 14408 |
Mesoscopic central limit theorem for non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields 188 (2024) 1131–1182.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields 188 (2024) 1131–1182.
2024 | Published | Journal Article | IST-REx-ID: 12875 |
Multipotent progenitors instruct ontogeny of the superior colliculus
G.T. Cheung, F. Pauler, P. Koppensteiner, T. Krausgruber, C. Streicher, M. Schrammel, N.Y. Özgen, A. Ivec, C. Bock, R. Shigemoto, S. Hippenmeyer, Neuron 112 (2024) 230–246.e11.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
G.T. Cheung, F. Pauler, P. Koppensteiner, T. Krausgruber, C. Streicher, M. Schrammel, N.Y. Özgen, A. Ivec, C. Bock, R. Shigemoto, S. Hippenmeyer, Neuron 112 (2024) 230–246.e11.
2024 | Published | Journal Article | IST-REx-ID: 14251 |
Divergence of trafficking and polarization mechanisms for PIN auxin transporters during land plant evolution
H. Tang, K. Lu, Y. Zhang, Y. Cheng, S. Tu, J. Friml, Plant Communications 5 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
H. Tang, K. Lu, Y. Zhang, Y. Cheng, S. Tu, J. Friml, Plant Communications 5 (2024).
2024 | Published | Journal Article | IST-REx-ID: 12486 |
Delayed blow-up and enhanced diffusion by transport noise for systems of reaction-diffusion equations
A. Agresti, Stochastics and Partial Differential Equations: Analysis and Computations 12 (2024) 1907–1981.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
A. Agresti, Stochastics and Partial Differential Equations: Analysis and Computations 12 (2024) 1907–1981.
2024 | Published | Journal Article | IST-REx-ID: 12312 |
On the local-global principle for isogenies of abelian surfaces
D. Lombardo, M. Verzobio, Selecta Mathematica 30 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
D. Lombardo, M. Verzobio, Selecta Mathematica 30 (2024).
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 12311 |
Common valuations of division polynomials
B. Naskręcki, M. Verzobio, Proceedings of the Royal Society of Edinburgh Section A: Mathematics (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
B. Naskręcki, M. Verzobio, Proceedings of the Royal Society of Edinburgh Section A: Mathematics (2024).
2024 | Published | Journal Article | IST-REx-ID: 12846 |
Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, SIAM Journal on Applied Algebra and Geometry 8 (2024) 782–796.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Chern, S. Ishida, SIAM Journal on Applied Algebra and Geometry 8 (2024) 782–796.
2024 | Published | Journal Article | IST-REx-ID: 20156
Multi-omics analyses of the environMENTAL project provide insights into mental health and disease
Desrivières S, Miller A, Mathey CM, Yu X, Chen D, Agunbiade K, Heilmann-Heimbach S, Forstner AJ, Schumann G, Hoffmann P, Nöthen MM, Ogoh G, Stahl B, Young AH, Clinton N, Thompson P, Schwalber A, Liu J, Calhoun V, Chang X, Xia Y, Gong Y, Jia T, Renner P, Hese S, Giner A, Sanchez M, Alvarez E, Spanlang B, Pearmund C, Athanasiadis AP, Otten L, Pitel S, Petkoski S, Jirsa V, Schmitt K, Wilbertz J, Patraskaki M, Sommer P, Claus I, Pastor A, Gallego J, Orosa FE, Viapiana GF, Slater M, Marr L, Novarino G, Marquand A, Böttger SJ, Tschorn M, Rapp M, Ask H, Kjelkenes R, Fernandez S, Van Der Meer D, Westlye LT, Andreassen OA, Aden R, Seefried B, Siehl S, Nees F, Neidhart M, Stringaris A, Schwarz E, Holz N, Tost H, Meyer-Lindenberg A, Christmann N, Jansone K, Banaschewski T, Banks J, Schepanski K, Schütz T, Taron UH, Eils R, Roy JC, Lett TA, Kebir H, Polemiti E, Hitchen E, Jentsch M, Serin E, Bernas A, Vaidya N, Twardziok S, Ralser M, Heinz A, Walter H. 2024. Multi-omics analyses of the environMENTAL project provide insights into mental health and disease. Nature Mental Health. 2(10), 1131–1133.
View
| DOI
Desrivières S, Miller A, Mathey CM, Yu X, Chen D, Agunbiade K, Heilmann-Heimbach S, Forstner AJ, Schumann G, Hoffmann P, Nöthen MM, Ogoh G, Stahl B, Young AH, Clinton N, Thompson P, Schwalber A, Liu J, Calhoun V, Chang X, Xia Y, Gong Y, Jia T, Renner P, Hese S, Giner A, Sanchez M, Alvarez E, Spanlang B, Pearmund C, Athanasiadis AP, Otten L, Pitel S, Petkoski S, Jirsa V, Schmitt K, Wilbertz J, Patraskaki M, Sommer P, Claus I, Pastor A, Gallego J, Orosa FE, Viapiana GF, Slater M, Marr L, Novarino G, Marquand A, Böttger SJ, Tschorn M, Rapp M, Ask H, Kjelkenes R, Fernandez S, Van Der Meer D, Westlye LT, Andreassen OA, Aden R, Seefried B, Siehl S, Nees F, Neidhart M, Stringaris A, Schwarz E, Holz N, Tost H, Meyer-Lindenberg A, Christmann N, Jansone K, Banaschewski T, Banks J, Schepanski K, Schütz T, Taron UH, Eils R, Roy JC, Lett TA, Kebir H, Polemiti E, Hitchen E, Jentsch M, Serin E, Bernas A, Vaidya N, Twardziok S, Ralser M, Heinz A, Walter H. 2024. Multi-omics analyses of the environMENTAL project provide insights into mental health and disease. Nature Mental Health. 2(10), 1131–1133.
2024 | Published | Journal Article | IST-REx-ID: 20157
Rethinking ethics in interdisciplinary and big data-driven neuroscience projects
Stahl B, Ogoh G, Schumann G, Walter H, Stahl B, Young AH, Desrivières S, Clinton N, Thompson P, Schwalber A, Liu J, Calhoun V, Chang X, Xia Y, Gong Y, Jia T, Renner P, Hese S, Giner A, Sanchez M, Alvarez E, Spanlang B, Pearmund C, Athanasiadis AP, Otten L, Pitel S, Petkoski S, Jirsa V, Schmitt K, Wilbertz J, Patraskaki M, Sommer P, Heilmann-Heimbach S, Mathey CM, Miller A, Claus I, Nöthen MM, Hoffmann P, Forstner AJ, Pastor A, Gallego J, Orosa FE, Viapiana GF, Slater M, Marr L, Novarino G, Marquand A, Böttger SJ, Tschorn M, Rapp M, Ask H, Kjelkenes R, Fernandez S, Van Der Meer D, Westlye LT, Andreassen OA, Aden R, Seefried B, Siehl S, Nees F, Neidhart M, Stringaris A, Schwarz E, Holz N, Tost H, Meyer-Lindenberg A, Christmann N, Jansone K, Banaschewski T, Banks J, Schepanski K, Schütz T, Taron UH, Eils R, Roy JC, Lett TA, Kebir H, Polemiti E, Hitchen E, Jentsch M, Serin E, Bernas A, Vaidya N, Twardziok S, Ralser M, Heinz A, Walter H. 2024. Rethinking ethics in interdisciplinary and big data-driven neuroscience projects. Nature Mental Health. 2(10), 1128–1130.
View
| DOI
Stahl B, Ogoh G, Schumann G, Walter H, Stahl B, Young AH, Desrivières S, Clinton N, Thompson P, Schwalber A, Liu J, Calhoun V, Chang X, Xia Y, Gong Y, Jia T, Renner P, Hese S, Giner A, Sanchez M, Alvarez E, Spanlang B, Pearmund C, Athanasiadis AP, Otten L, Pitel S, Petkoski S, Jirsa V, Schmitt K, Wilbertz J, Patraskaki M, Sommer P, Heilmann-Heimbach S, Mathey CM, Miller A, Claus I, Nöthen MM, Hoffmann P, Forstner AJ, Pastor A, Gallego J, Orosa FE, Viapiana GF, Slater M, Marr L, Novarino G, Marquand A, Böttger SJ, Tschorn M, Rapp M, Ask H, Kjelkenes R, Fernandez S, Van Der Meer D, Westlye LT, Andreassen OA, Aden R, Seefried B, Siehl S, Nees F, Neidhart M, Stringaris A, Schwarz E, Holz N, Tost H, Meyer-Lindenberg A, Christmann N, Jansone K, Banaschewski T, Banks J, Schepanski K, Schütz T, Taron UH, Eils R, Roy JC, Lett TA, Kebir H, Polemiti E, Hitchen E, Jentsch M, Serin E, Bernas A, Vaidya N, Twardziok S, Ralser M, Heinz A, Walter H. 2024. Rethinking ethics in interdisciplinary and big data-driven neuroscience projects. Nature Mental Health. 2(10), 1128–1130.
2024 | Published | Journal Article | IST-REx-ID: 15297 |
Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating
J. Svoboda, S.S. Joshi, J. Tkadlec, K. Chatterjee, PLoS Computational Biology 20 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
J. Svoboda, S.S. Joshi, J. Tkadlec, K. Chatterjee, PLoS Computational Biology 20 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18703 |
Density amplifiers of cooperation for spatial games
J. Svoboda, K. Chatterjee, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J. Svoboda, K. Chatterjee, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18063 |
Polarly localized Bro1 domain proteins regulate PIN-FORMED abundance and root gravitropic growth in Arabidopsis
Y. Peng, K. Ji, Y. Mao, Y. Wang, B. Korbei, C. Luschnig, J. Shen, E. Benková, J. Friml, S. Tan, Communications Biology 7 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
Y. Peng, K. Ji, Y. Mao, Y. Wang, B. Korbei, C. Luschnig, J. Shen, E. Benková, J. Friml, S. Tan, Communications Biology 7 (2024).
2024 | Published | Journal Article | IST-REx-ID: 15322
Multiple charge carrier species as a possible cause for triboelectric cycles
J.C.A. Sobarzo Ponce, S.R. Waitukaitis, Physical Review E 109 (2024).
View
| Files available
| DOI
| PubMed | Europe PMC
J.C.A. Sobarzo Ponce, S.R. Waitukaitis, Physical Review E 109 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 17634 |
QuAK: Quantitative Automata Kit
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer Nature, 2024, pp. 3–20.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer Nature, 2024, pp. 3–20.