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.
5939 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: 14843 |
Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse
J. Chen, W. Kaufmann, C. Chen, itaru Arai, O. Kim, R. Shigemoto, P.M. Jonas, Neuron 112 (2024) 755–771.e9.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J. Chen, W. Kaufmann, C. Chen, itaru Arai, O. Kim, R. Shigemoto, P.M. Jonas, Neuron 112 (2024) 755–771.e9.
2024 | Published | Thesis | IST-REx-ID: 17368 |
Bayesian linear regression for analyzing general omics data with time-to-event phenotypes
A. Villanueva Marijuan, Bayesian Linear Regression for Analyzing General Omics Data with Time-to-Event Phenotypes, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
A. Villanueva Marijuan, Bayesian Linear Regression for Analyzing General Omics Data with Time-to-Event Phenotypes, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 15101 |
Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse
J. Chen, Developmental Transformation of Nanodomain Coupling between Ca2+ Channels and Release Sensors at a Central GABAergic Synapse, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
J. Chen, Developmental Transformation of Nanodomain Coupling between Ca2+ Channels and Release Sensors at a Central GABAergic Synapse, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 17881 |
Thermal effects in one dimensional Josephson chains
S. Mukhopadhyay, Thermal Effects in One Dimensional Josephson Chains, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
S. Mukhopadhyay, Thermal Effects in One Dimensional Josephson Chains, Institute of Science and Technology Austria, 2024.
2024 | Draft | Preprint | IST-REx-ID: 18057 |
Dual relaxation oscillations in a Josephson junction array
S. Mukhopadhyay, D.A. Lancheros Naranjo, J.L. Senior, A.P. Higginbotham, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Mukhopadhyay, D.A. Lancheros Naranjo, J.L. Senior, A.P. Higginbotham, ArXiv (n.d.).
2024 | Published | Thesis | IST-REx-ID: 18471 |
Visualizing the neuronal transcriptional landscape with tissue context
N. Agudelo Duenas, Visualizing the Neuronal Transcriptional Landscape with Tissue Context, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
N. Agudelo Duenas, Visualizing the Neuronal Transcriptional Landscape with Tissue Context, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 15323 |
SCAF1 drives the compositional diversity of mammalian respirasomes
I. Vercellino, L.A. Sazanov, Nature Structural and Molecular Biology 31 (2024) 1061–1071.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
I. Vercellino, L.A. Sazanov, Nature Structural and Molecular Biology 31 (2024) 1061–1071.
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.
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).