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 | OA
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
 

2023 | Research Data Reference | IST-REx-ID: 14523 | OA
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.)
 

2023 | Published | Thesis | IST-REx-ID: 14539 | OA
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
 

2023 | Published | Thesis | IST-REx-ID: 14547 | OA
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
 

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
 

2023 | Published | Journal Article | IST-REx-ID: 14555 | OA
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
 

2023 | Published | Journal Article | IST-REx-ID: 14556 | OA
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
 

2023 | Published | Conference Paper | IST-REx-ID: 14559 | OA
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
 
 

2023 | Published | Thesis | IST-REx-ID: 14587 | OA
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
 

2023 | Published | Journal Article | IST-REx-ID: 14604 | OA
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
 

2023 | Published | Journal Article | IST-REx-ID: 14613 | OA
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
 

2023 | Research Data Reference | IST-REx-ID: 14616 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14617 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 

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
 

2023 | Published | Conference Abstract | IST-REx-ID: 14862 | OA
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
 

2023 | Published | Journal Article | IST-REx-ID: 14361 | OA
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
 

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
 

2023 | Published | Journal Article | IST-REx-ID: 14517 | OA
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
 

2023 | Published | Journal Article | IST-REx-ID: 12759 | OA
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
 

Filters and Search Terms

supervisor%3D49E1C5C6-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications

Display / Sort

Export / Embed