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.
5373 Publications
2024 | Published | Journal Article | IST-REx-ID: 18158 | 
Wasserstein geometry and Ricci curvature bounds for Poisson spaces
L. Dello Schiavo, R. Herry, K. Suzuki, Journal de l’Ecole Polytechnique - Mathematiques 11 (2024) 957–1010.
[Published Version]
View
| Files available
| DOI
| arXiv
L. Dello Schiavo, R. Herry, K. Suzuki, Journal de l’Ecole Polytechnique - Mathematiques 11 (2024) 957–1010.
2024 | Published | Conference Paper | IST-REx-ID: 18159 |
Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2024, pp. 3–12.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2024, pp. 3–12.
2024 | Published | Conference Paper | IST-REx-ID: 18160 |
Solving long-run average reward robust MDPs via stochastic games
K. Chatterjee, E. Goharshady, M. Karrabi, P. Novotný, D. Zikelic, in:, 33rd International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2024, pp. 6707–6715.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
K. Chatterjee, E. Goharshady, M. Karrabi, P. Novotný, D. Zikelic, in:, 33rd International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2024, pp. 6707–6715.
2024 | In Press | Book Chapter | IST-REx-ID: 18167
Generation of TIM chaperone substrate complexes
U. Guillerm, I. Sučec, P. Schanda, in:, Methods in Enzymology, Elsevier, n.d.
View
| DOI
U. Guillerm, I. Sučec, P. Schanda, in:, Methods in Enzymology, Elsevier, n.d.
2024 | Published | Journal Article | IST-REx-ID: 18168 |
Unveiling the dynamic self-assembly of a recombinant dragline-silk-mimicking protein
D. Wu, A. Koscic, S. Schneider, R.C.A. Dubini, D.C. Rodriguez Camargo, S. Schneider, P. Rovo, Biomacromolecules 25 (2024) 1759–1774.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D. Wu, A. Koscic, S. Schneider, R.C.A. Dubini, D.C. Rodriguez Camargo, S. Schneider, P. Rovo, Biomacromolecules 25 (2024) 1759–1774.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18169
VAMOS: Middleware for best-effort third-party monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, Science of Computer Programming 240 (2024).
[Published Version]
View
| Files available
| DOI
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, Science of Computer Programming 240 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18170 |
Bridging basic science and applied diagnostics: Comprehensive viral diagnostics enabled by graphene-based electronic biosensor technology advancements
A.N. Herdina, A. Bozdogan, P. Aspermair, J. Dostalek, M. Klausberger, N. Lingg, M. Cserjan-Puschmann, P.P. Aguilar, S. Auer, H. Demirtas, J. Andersson, F. Lötsch, B. Holzer, A. Steinrigl, F. Thalhammer, J. Schellnegger, M. Breuer, W. Knoll, R. Strassl, Biosensors and Bioelectronics 267 (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A.N. Herdina, A. Bozdogan, P. Aspermair, J. Dostalek, M. Klausberger, N. Lingg, M. Cserjan-Puschmann, P.P. Aguilar, S. Auer, H. Demirtas, J. Andersson, F. Lötsch, B. Holzer, A. Steinrigl, F. Thalhammer, J. Schellnegger, M. Breuer, W. Knoll, R. Strassl, Biosensors and Bioelectronics 267 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18171
Starvation increases susceptibility to bacterial infection and promotes systemic pathogen proliferation in Drosophila melanogaster females
A. Basu, A. Singh, S. Sehgal, T. Madaan, N.G. Prasad, Journal of Invertebrate Pathology 207 (2024).
View
| DOI
| PubMed | Europe PMC
A. Basu, A. Singh, S. Sehgal, T. Madaan, N.G. Prasad, Journal of Invertebrate Pathology 207 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18172 |
| 
|
Asteroseismic signatures of core magnetism and rotation in hundreds of low-luminosity red giants
E.J. Hatt, J.M.J. Ong, M.B. Nielsen, W.J. Chaplin, G.R. Davies, S. Deheuvels, J. Ballot, G. Li, L.A. Bugnet, Monthly Notices of the Royal Astronomical Society 534 (2024) 1060–1076.
[Published Version]
View
| Files available
| DOI
| arXiv
E.J. Hatt, J.M.J. Ong, M.B. Nielsen, W.J. Chaplin, G.R. Davies, S. Deheuvels, J. Ballot, G. Li, L.A. Bugnet, Monthly Notices of the Royal Astronomical Society 534 (2024) 1060–1076.
2024 | Published | Journal Article | IST-REx-ID: 18173 |
Rational points on complete intersections of cubic and quadric hypersurfaces over Fq(t)
J. Glas, Journal of the London Mathematical Society 110 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
J. Glas, Journal of the London Mathematical Society 110 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18174 |
Fingerprints of ordered self-assembled structures in the liquid phase of a hard-core, square-shoulder system
M. Wassermair, G. Kahl, R. Roth, A.J. Archer, The Journal of Chemical Physics 161 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Wassermair, G. Kahl, R. Roth, A.J. Archer, The Journal of Chemical Physics 161 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18175 |
The fault in our stars: Designing reproducible large-scale code analysis experiments
P. Maj, S. Muroya Lei, K. Siek, L. Di Grazia, J. Vitek, in:, 38th European Conference on Object-Oriented Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
P. Maj, S. Muroya Lei, K. Siek, L. Di Grazia, J. Vitek, in:, 38th European Conference on Object-Oriented Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Journal Article | IST-REx-ID: 18176 |
Quantum many-body spin ratchets
L. Zadnik, M. Ljubotina, Ž. Krajnik, E. Ilievski, T. Prosen, PRX Quantum 5 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
L. Zadnik, M. Ljubotina, Ž. Krajnik, E. Ilievski, T. Prosen, PRX Quantum 5 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18177
BNClassifier: Classifying boolean models by dynamic properties
N. Beneš, L. Brim, O. Huvar, S. Pastva, D. Šafránek, in:, Computational Methods in Systems Biology, Springer Nature, 2024, pp. 19–26.
View
| DOI
N. Beneš, L. Brim, O. Huvar, S. Pastva, D. Šafránek, in:, Computational Methods in Systems Biology, Springer Nature, 2024, pp. 19–26.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18266
Value-positivity for matrix games
K. Chatterjee, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research (2024).
View
| DOI
K. Chatterjee, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research (2024).
2024 | Submitted | Preprint | IST-REx-ID: 18295 |
Canonical singularities on moduli spaces of rational curves via the circle method
J. Glas, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Glas, ArXiv (n.d.).
2024 | Published | Journal Article | IST-REx-ID: 18305 |
Molecular and cellular mechanisms of motor circuit development
P. Kratsios, N. Zampieri, R. Carrillo, K. Mizumoto, L.B. Sweeney, P. Philippidou, The Journal of Neuroscience 44 (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
P. Kratsios, N. Zampieri, R. Carrillo, K. Mizumoto, L.B. Sweeney, P. Philippidou, The Journal of Neuroscience 44 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18306 |
Redshifted sodium transient near exoplanet transit
Oza AV, Seidel JV, Hoeijmakers HJ, Unni A, Kesseli AY, Schmidt CA, Sivarani T, Bello-Arufe A, Gebek A, Meyer Zu Westram M, Sousa SG, Lopes RMC, Hu R, De Kleer K, Fisher C, Charnoz S, Baker AD, Halverson SP, Schneider NM, Psaridi A, Wyttenbach A, Torres Rodriguez S, Bhatnagar I, Johnson RE. 2024. Redshifted sodium transient near exoplanet transit. Astrophysical Journal Letters. 973(2), L53.
[Published Version]
View
| Files available
| DOI
| arXiv
Oza AV, Seidel JV, Hoeijmakers HJ, Unni A, Kesseli AY, Schmidt CA, Sivarani T, Bello-Arufe A, Gebek A, Meyer Zu Westram M, Sousa SG, Lopes RMC, Hu R, De Kleer K, Fisher C, Charnoz S, Baker AD, Halverson SP, Schneider NM, Psaridi A, Wyttenbach A, Torres Rodriguez S, Bhatnagar I, Johnson RE. 2024. Redshifted sodium transient near exoplanet transit. Astrophysical Journal Letters. 973(2), L53.
2024 | Published | Journal Article | IST-REx-ID: 18307 |
Complex vaccination strategies prevent the emergence of vaccine resistance
S. Rella, Y.A. Kulikova, A. Minnegalieva, F. Kondrashov, Evolution: International Journal of Organic Evolution 78 (2024) 1722–1738.
[Published Version]
View
| Files available
| DOI
S. Rella, Y.A. Kulikova, A. Minnegalieva, F. Kondrashov, Evolution: International Journal of Organic Evolution 78 (2024) 1722–1738.
2024 | Published | Conference Paper | IST-REx-ID: 18308 |
Fully dynamic k-means coreset in near-optimal update time
M.D. La Tour, M. Henzinger, D. Saulpic, in:, 32nd Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
M.D. La Tour, M. Henzinger, D. Saulpic, in:, 32nd Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.