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.
7112 Publications
2023 | Published | Conference Paper | IST-REx-ID: 12467 | 
Quantitative safety and liveness
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370.
2023 | Published | Journal Article | IST-REx-ID: 12469 |
Antiviral immune response reveals host-specific virus infections in natural ant populations
L. Viljakainen, M. Fürst, A.V. Grasse, J. Jurvansuu, J. Oh, L. Tolonen, T. Eder, T. Rattei, S. Cremer, Frontiers in Microbiology 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Viljakainen, M. Fürst, A.V. Grasse, J. Jurvansuu, J. Oh, L. Tolonen, T. Eder, T. Rattei, S. Cremer, Frontiers in Microbiology 14 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12478 |
Monitoring lineages of growing and dividing bacteria reveals an inducible memory of mar operon expression
C.C. Guet, L. Bruneaux, P. Oikonomou, M. Aldana, P. Cluzel, Frontiers in Microbiology 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C.C. Guet, L. Bruneaux, P. Oikonomou, M. Aldana, P. Cluzel, Frontiers in Microbiology 14 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12515 |
The olfactory limbus of the red fox (Vulpes vulpes). New insights regarding a noncanonical olfactory bulb pathway
I. Ortiz-Leal, M.V. Torres, V.M. Vargas Barroso, L.E. Fidalgo, A.M. López-Beceiro, J.A. Larriva-Sahd, P. Sánchez-Quinteiro, Frontiers in Neuroanatomy 16 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
I. Ortiz-Leal, M.V. Torres, V.M. Vargas Barroso, L.E. Fidalgo, A.M. López-Beceiro, J.A. Larriva-Sahd, P. Sánchez-Quinteiro, Frontiers in Neuroanatomy 16 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12521 |
Slower-X: Reduced efficiency of selection in the early stages of X chromosome evolution
A. Mrnjavac, K. Khudiakova, N.H. Barton, B. Vicoso, Evolution Letters 7 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Mrnjavac, K. Khudiakova, N.H. Barton, B. Vicoso, Evolution Letters 7 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12534 |
Dissipative dynamics of an impurity with spin-orbit coupling
A. Ghazaryan, A. Cappellaro, M. Lemeshko, A. Volosniev, Physical Review Research 5 (2023).
[Published Version]
View
| Files available
| DOI
A. Ghazaryan, A. Cappellaro, M. Lemeshko, A. Volosniev, Physical Review Research 5 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12542
Going back in time with TEMPO
A. Villalba Requena, S. Hippenmeyer, Neuron 111 (2023) 291–293.
View
| DOI
| WoS
A. Villalba Requena, S. Hippenmeyer, Neuron 111 (2023) 291–293.
2023 | Published | Journal Article | IST-REx-ID: 12543 |
Pathogen evasion of social immunity
M. Stock, B. Milutinovic, M. Hönigsberger, A.V. Grasse, F. Wiesenhofer, N. Kampleitner, M. Narasimhan, T. Schmitt, S. Cremer, Nature Ecology and Evolution 7 (2023) 450–460.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Stock, B. Milutinovic, M. Hönigsberger, A.V. Grasse, F. Wiesenhofer, N. Kampleitner, M. Narasimhan, T. Schmitt, S. Cremer, Nature Ecology and Evolution 7 (2023) 450–460.
2023 | Published | Journal Article | IST-REx-ID: 12566 |
Wait-free approximate agreement on graphs
D.-A. Alistarh, F. Ellen, J. Rybicki, Theoretical Computer Science 948 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
D.-A. Alistarh, F. Ellen, J. Rybicki, Theoretical Computer Science 948 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 12676 |
Faster algorithm for turn-based stochastic games with bounded treewidth
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
[Published Version]
View
| DOI
| Download Published Version (ext.)
K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.
2023 | Published | Journal Article | IST-REx-ID: 12679 |
Principles of neural stem cell lineage progression: Insights from developing cerebral cortex
S. Hippenmeyer, Current Opinion in Neurobiology 79 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Hippenmeyer, Current Opinion in Neurobiology 79 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12681 |
Elasto-inertial turbulence
Y. Dubief, V.E. Terrapon, B. Hof, Annual Review of Fluid Mechanics 55 (2023) 675–705.
[Published Version]
View
| Files available
| DOI
| WoS
Y. Dubief, V.E. Terrapon, B. Hof, Annual Review of Fluid Mechanics 55 (2023) 675–705.
2023 | Published | Journal Article | IST-REx-ID: 12683 |
Dynamics of a rank-one perturbation of a Hermitian matrix
G. Dubach, L. Erdös, Electronic Communications in Probability 28 (2023) 1–13.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Dubach, L. Erdös, Electronic Communications in Probability 28 (2023) 1–13.
2023 | Research Data | IST-REx-ID: 12693 |
Source data for Metzler et al, 2023: Trade-offs between immunity and competitive ability in fighting ant males
S. Cremer, (2023).
[Published Version]
View
| Files available
| DOI
S. Cremer, (2023).
2023 | Published | Journal Article | IST-REx-ID: 12696 |
Trade-offs between immunity and competitive ability in fighting ant males
S. Metzler, J. Kirchner, A.V. Grasse, S. Cremer, BMC Ecology and Evolution 23 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Metzler, J. Kirchner, A.V. Grasse, S. Cremer, BMC Ecology and Evolution 23 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12704 |
Revisiting the adversarial robustness-accuracy tradeoff in robot learning
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, IEEE Robotics and Automation Letters 8 (2023) 1595–1602.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, IEEE Robotics and Automation Letters 8 (2023) 1595–1602.
2023 | Published | Journal Article | IST-REx-ID: 12706 |
Empirical parameterisation and dynamical analysis of the allometric Rosenzweig-MacArthur equations
J.C. Mckerral, M. Kleshnina, V. Ejov, L. Bartle, J.G. Mitchell, J.A. Filar, PLoS One 18 (2023) e0279838.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J.C. Mckerral, M. Kleshnina, V. Ejov, L. Bartle, J.G. Mitchell, J.A. Filar, PLoS One 18 (2023) e0279838.
2023 | Published | Journal Article | IST-REx-ID: 12707 |
Small deviation estimates for the largest eigenvalue of Wigner matrices
L. Erdös, Y. Xu, Bernoulli 29 (2023) 1063–1079.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
L. Erdös, Y. Xu, Bernoulli 29 (2023) 1063–1079.
2023 | Published | Journal Article | IST-REx-ID: 12709 |
Computing the multicover bifiltration
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, Discrete and Computational Geometry 70 (2023) 376–405.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, Discrete and Computational Geometry 70 (2023) 376–405.
2023 | Published | Journal Article | IST-REx-ID: 12710 |
Curvature in biological systems: Its quantification, emergence, and implications across the scales
Schamberger B, Ziege R, Anselme K, Ben Amar M, Bykowski M, Castro APG, Cipitria A, Coles RA, Dimova R, Eder M, Ehrig S, Escudero LM, Evans ME, Fernandes PR, Fratzl P, Geris L, Gierlinger N, Hannezo EB, Iglič A, Kirkensgaard JJK, Kollmannsberger P, Kowalewska Ł, Kurniawan NA, Papantoniou I, Pieuchot L, Pires THV, Renner LD, Sageman-Furnas AO, Schröder-Turk GE, Sengupta A, Sharma VR, Tagua A, Tomba C, Trepat X, Waters SL, Yeo EF, Roschger A, Bidan CM, Dunlop JWC. 2023. Curvature in biological systems: Its quantification, emergence, and implications across the scales. Advanced Materials. 35(13), 2206110.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Schamberger B, Ziege R, Anselme K, Ben Amar M, Bykowski M, Castro APG, Cipitria A, Coles RA, Dimova R, Eder M, Ehrig S, Escudero LM, Evans ME, Fernandes PR, Fratzl P, Geris L, Gierlinger N, Hannezo EB, Iglič A, Kirkensgaard JJK, Kollmannsberger P, Kowalewska Ł, Kurniawan NA, Papantoniou I, Pieuchot L, Pires THV, Renner LD, Sageman-Furnas AO, Schröder-Turk GE, Sengupta A, Sharma VR, Tagua A, Tomba C, Trepat X, Waters SL, Yeo EF, Roschger A, Bidan CM, Dunlop JWC. 2023. Curvature in biological systems: Its quantification, emergence, and implications across the scales. Advanced Materials. 35(13), 2206110.