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.
7152 Publications
2024 | Published | Journal Article | IST-REx-ID: 17435 | 
André, Julie, et al. “Regimes of Precipitation Change over Europe and the Mediterranean.” Journal of Geophysical Research: Atmospheres, vol. 129, no. 15, e2023JD040413, Wiley, 2024, doi:10.1029/2023JD040413.
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18521 |
Bonakdarpour, Borzoo, et al. “Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed & Accuracy.” 24th International Conference on Runtime Verification, vol. 15191, Springer Nature, 2024, pp. 282–301, doi:10.1007/978-3-031-74234-7_18.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18068 |
Henzinger, Thomas A., et al. “Strategic Dominance: A New Preorder for Nondeterministic Processes.” 35th International Conference on Concurrency Theory, vol. 311, 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.CONCUR.2024.29.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17327 |
Cano, Filip, et al. “Abstraction-Based Decision Making for Statistical Properties.” 9th International Conference on Formal Structures for Computation and Deduction, vol. 299, 2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.FSCD.2024.2.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 14400 |
Majumdar, Rupak, et al. “Symbolic Control for Stochastic Systems via Finite Parity Games.” Nonlinear Analysis: Hybrid Systems, vol. 51, no. 2, 101430, Elsevier, 2024, doi:10.1016/j.nahs.2023.101430.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17413 |
Froleyks, Nils, et al. “Certifying Phase Abstraction.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14739, Springer Nature, 2024, pp. 284–303, doi:10.1007/978-3-031-63498-7_17.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18955 |
Casares, Antonio, et al. “Simple and Tight Complexity Lower Bounds for Solving Rabin Games.” 2024 Symposium on Simplicity in Algorithms, Society for Industrial and Applied Mathematics, 2024, pp. 160–67, doi:10.1137/1.9781611977936.16.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18067 |
Boker, Udi, et al. “History-Determinism vs Fair Simulation.” 35th International Conference on Concurrency Theory, vol. 311, 12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.CONCUR.2024.12.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 15376 |
Avni, Guy, et al. “Auction-Based Scheduling.” 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 153–72, doi:10.1007/978-3-031-57256-2_8.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 15333 |
Chalupa, Marek, and Cedric Richter. “Bubaak-SpLit: Split What You Cannot Verify (Competition Contribution).” 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 353–358, doi:10.1007/978-3-031-57256-2_20.
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 15377 |
Majumdar, Rupak, et al. “Rabin Games and Colourful Universal Trees.” 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 14572, Springer Nature, 2024, pp. 213–31, doi:10.1007/978-3-031-57256-2_11.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18530 |
Bose, Sougata, et al. “History-Deterministic Timed Automata.” Logical Methods in Computer Science, vol. 20, no. 4, EPI Sciences, 2024, pp. 1–28, doi:10.46298/lmcs-20(4:1)2024.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18494 |
Eilers, Anna Christina, et al. “EIGER. VI. The Correlation Function, Host Halo Mass, and Duty Cycle of Luminous Quasars at z ≳ 6.” Astrophysical Journal, vol. 974, no. 2, 275, IOP Publishing, 2024, doi:10.3847/1538-4357/ad778b.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18654 |
Sato, Toshihiro, et al. “Scale-Invariant Magnetic Anisotropy in α-RuCl3: A Quantum Monte Carlo Study.” Physical Review B, vol. 110, no. 20, L201114, American Physical Society, 2024, doi:10.1103/PhysRevB.110.L201114.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17203 |
Hafner, Christian, et al. “Spin-It Faster: Quadrics Solve All Topology Optimization Problems That Depend Only on Mass Moments.” Transactions on Graphics, vol. 43, no. 4, 78, Association for Computing Machinery, 2024, doi:10.1145/3658194.
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 17214 |
Chen, Yi-Lu, et al. “Primal-Dual Non-Smooth Friction for Rigid Body Animation.” Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24, Association for Computing Machinery, 2024, doi:10.1145/3641519.3657485.
[Published Version]
View
| Files available
| DOI
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 14703 |
Ishida, Sadashige, and Hugo Lavenant. “Quantitative Convergence of a Discretization of Dynamic Optimal Transport Using the Dual Formulation.” Foundations of Computational Mathematics, Springer Nature, 2024, doi:10.1007/s10208-024-09686-3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Submitted | Preprint | IST-REx-ID: 17361 |
Bauer, Martin, et al. “Symplectic Structures on the Space of Space Curves.” ArXiv, doi:10.48550/arXiv.2407.19908.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 15252 |
Dello Schiavo, Lorenzo. “A Characterization of Maps of Bounded Compression.” Mathematical Communications, vol. 29, no. 1, Udruga Matematicara Osijek, 2024, pp. 137–42.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 14846 |
Caballero Mancebo, Silvia, et al. “Friction Forces Determine Cytoplasmic Reorganization and Shape Changes of Ascidian Oocytes upon Fertilization.” Nature Physics, vol. 20, Springer Nature, 2024, pp. 310–21, doi:10.1038/s41567-023-02302-1.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC