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: 14518 | 
Reachability poorman discrete-bidding games
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, D. Zikelic, in:, Frontiers in Artificial Intelligence and Applications, IOS Press, 2023, pp. 141–148.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, D. Zikelic, in:, Frontiers in Artificial Intelligence and Applications, IOS Press, 2023, pp. 141–148.
2023 | Research Data Reference | IST-REx-ID: 14523 |
SouslovLab/PRL2023-ModellingLeidenfrostLevitationofSoftElasticSolids: v1.0.1
J. Binysh, I. Chakraborty, M. Chubynsky, V.L. Diaz Melian, S.R. Waitukaitis, J. Sprittles, A. Souslov, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Binysh, I. Chakraborty, M. Chubynsky, V.L. Diaz Melian, S.R. Waitukaitis, J. Sprittles, A. Souslov, (2023).
2023 | Published | Thesis | IST-REx-ID: 14539 |
Automated verification and control of infinite state stochastic systems
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.
2023 | Published | Thesis | IST-REx-ID: 14547 |
Resonant microwave spectroscopy of Al-InAs
D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
D.T. Phan, Resonant Microwave Spectroscopy of Al-InAs, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 14552
Plant size, latitude, and phylogeny explain within-population variability in herbivory
Robinson ML et al. 2023. Plant size, latitude, and phylogeny explain within-population variability in herbivory. Science. 382(6671), 679–683.
View
| Files available
| DOI
| PubMed | Europe PMC
Robinson ML et al. 2023. Plant size, latitude, and phylogeny explain within-population variability in herbivory. Science. 382(6671), 679–683.
2023 | Published | Journal Article | IST-REx-ID: 14555 |
The excitable nature of polymerizing actin and the Belousov-Zhabotinsky reaction
M. Riedl, M.K. Sixt, Frontiers in Cell and Developmental Biology 11 (2023).
[Published Version]
View
| Files available
| DOI
M. Riedl, M.K. Sixt, Frontiers in Cell and Developmental Biology 11 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14556 |
How chromosomal inversions reorient the evolutionary process
E.L. Berdan, N.H. Barton, R. Butlin, B. Charlesworth, R. Faria, I. Fragata, K.J. Gilbert, P. Jay, M. Kapun, K.E. Lotterhos, C. Mérot, E. Durmaz Mitchell, M. Pascual, C.L. Peichel, M. Rafajlović, A.M. Westram, S.W. Schaeffer, K. Johannesson, T. Flatt, Journal of Evolutionary Biology 36 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
E.L. Berdan, N.H. Barton, R. Butlin, B. Charlesworth, R. Faria, I. Fragata, K.J. Gilbert, P. Jay, M. Kapun, K.E. Lotterhos, C. Mérot, E. Durmaz Mitchell, M. Pascual, C.L. Peichel, M. Rafajlović, A.M. Westram, S.W. Schaeffer, K. Johannesson, T. Flatt, Journal of Evolutionary Biology 36 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14559 |
Learning provably stabilizing neural controllers for discrete-time stochastic systems
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
2023 | Research Data | IST-REx-ID: 14562 |
Research data of the publication "ArpC5 isoforms regulate Arp2/3 complex-dependent protrusion through differential Ena/VASP positioning"
F.K. Schur, (2023).
[Published Version]
View
| Files available
| DOI
F.K. Schur, (2023).
2023 | Published | Thesis | IST-REx-ID: 14587 |
Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences
A. Marveggio, Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
A. Marveggio, Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 14604 |
The X chromosome of insects likely predates the origin of class Insecta
M.A. Toups, B. Vicoso, Evolution 77 (2023) 2504–2511.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M.A. Toups, B. Vicoso, Evolution 77 (2023) 2504–2511.
2023 | Published | Journal Article | IST-REx-ID: 14613 |
The scorpionfly (Panorpa cognata) genome highlights conserved and derived features of the peculiar dipteran X chromosome
C. Lasne, M.N. Elkrewi, M.A. Toups, L.A. Layana Franco, A. Macon, B. Vicoso, Molecular Biology and Evolution 40 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Lasne, M.N. Elkrewi, M.A. Toups, L.A. Layana Franco, A. Macon, B. Vicoso, Molecular Biology and Evolution 40 (2023).
2023 | Research Data Reference | IST-REx-ID: 14616 |
The X chromosome of insects likely predates the origin of Class Insecta
M.A. Toups, B. Vicoso, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M.A. Toups, B. Vicoso, (2023).
2023 | Research Data Reference | IST-REx-ID: 14617 |
The X chromosome of insects likely predates the origin of Class Insecta
M.A. Toups, B. Vicoso, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M.A. Toups, B. Vicoso, (2023).
2023 | Published | Thesis | IST-REx-ID: 14641
Adaptive mutation in E. coli modulated by luxS
M. Hennessey-Wesen, Adaptive Mutation in E. Coli Modulated by LuxS, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M. Hennessey-Wesen, Adaptive Mutation in E. Coli Modulated by LuxS, Institute of Science and Technology Austria, 2023.
2023 | Published | Conference Abstract | IST-REx-ID: 14862 |
Complex vaccination strategies prevent the emergence of vaccine resistance
S. Rella, Y. Kulikova, A. Minnegalieva, F. Kondrashov, in:, European Journal of Public Health, Oxford University Press, 2023.
[Published Version]
View
| Files available
| DOI
S. Rella, Y. Kulikova, A. Minnegalieva, F. Kondrashov, in:, European Journal of Public Health, Oxford University Press, 2023.
2023 | Published | Journal Article | IST-REx-ID: 14361 |
Synchronization in collectively moving inanimate and living active matter
M. Riedl, I.D. Mayer, J. Merrin, M.K. Sixt, B. Hof, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Riedl, I.D. Mayer, J. Merrin, M.K. Sixt, B. Hof, Nature Communications 14 (2023).
2023 | Published | Thesis | IST-REx-ID: 14697
Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function
J.A. Stopp, Neutrophils on the Hunt: Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
J.A. Stopp, Neutrophils on the Hunt: Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 14517 |
Compact vacuum-gap transmon qubits: Selective and sensitive probes for superconductor surface losses
M. Zemlicka, E. Redchenko, M. Peruzzo, F. Hassani, A. Trioni, S. Barzanjeh, J.M. Fink, Physical Review Applied 20 (2023).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Zemlicka, E. Redchenko, M. Peruzzo, F. Hassani, A. Trioni, S. Barzanjeh, J.M. Fink, Physical Review Applied 20 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12759 |
Validation of a stereological method for estimating particle size and density from 2D projections with high accuracy
J.S. Rothman, C. Borges Merjane, N. Holderith, P.M. Jonas, R. Angus Silver, PLoS ONE 18 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
J.S. Rothman, C. Borges Merjane, N. Holderith, P.M. Jonas, R. Angus Silver, PLoS ONE 18 (2023).