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.
5242 Publications
2024 | Published | Conference Paper | IST-REx-ID: 18155 |
Sound and complete witnesses for template-based verification of LTL properties on polynomial programs
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, D. Zikelic, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 600–619.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, D. Zikelic, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 600–619.
2024 | Published | Conference Paper | IST-REx-ID: 18156 |
Private counting of distinct elements in the turnstile model and extensions
M.H. Henzinger, A.R. Sricharan, T.A. Steiner, in:, International Conference on Approximation Algorithms for Combinatorial Optimization Problems , Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
M.H. Henzinger, A.R. Sricharan, T.A. Steiner, in:, International Conference on Approximation Algorithms for Combinatorial Optimization Problems , Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18157 |
Books, Hallways, and social butterflies: A note on sliding block puzzles
F.R. Brunck, M.A. Kwan, Mathematical Intelligencer (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
F.R. Brunck, M.A. Kwan, Mathematical Intelligencer (2024).
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 | 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 | 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: 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 | 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 | Published | Journal Article | IST-REx-ID: 9651 |
Divergence of separated nets with respect to displacement equivalence
M. Dymond, V. Kaluza, Geometriae Dedicata 218 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Dymond, V. Kaluza, Geometriae Dedicata 218 (2024).
2024 | Published | Journal Article | IST-REx-ID: 12178 |
The stochastic primitive equations with transport noise and turbulent pressure
A. Agresti, M. Hieber, A. Hussein, M. Saal, Stochastics and Partial Differential Equations: Analysis and Computations 12 (2024) 53–133.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Agresti, M. Hieber, A. Hussein, M. Saal, Stochastics and Partial Differential Equations: Analysis and Computations 12 (2024) 53–133.
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.)
| arXiv
B. Naskręcki, M. Verzobio, Proceedings of the Royal Society of Edinburgh Section A: Mathematics (2024).
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
| arXiv
D. Lombardo, M. Verzobio, Selecta Mathematica 30 (2024).
2024 | Published | Journal Article | IST-REx-ID: 12485 |
The critical variational setting for stochastic evolution equations
A. Agresti, M. Veraar, Probability Theory and Related Fields 188 (2024) 957–1015.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Agresti, M. Veraar, Probability Theory and Related Fields 188 (2024) 957–1015.
2024 | Published | Journal Article | IST-REx-ID: 12846 |
Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, SIAM Journal on Applied Algebra and Geometry 8 (2024) 782–796.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Chern, S. Ishida, SIAM Journal on Applied Algebra and Geometry 8 (2024) 782–796.
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
| 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.