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.
216 Publications
2025 |
Published |
Conference Paper |
IST-REx-ID: 19743 |
Chatterjee, Krishnendu, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, and Daniel Zilken. “Fixed Point Certificates for Reachability and Expected Rewards in MDPs.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15697:130–51. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90653-4_7.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19744 |
Chatterjee, Krishnendu, Ehsan Goharshady, Petr Novotný, and Dorde Zikelic. “Refuting Equivalence in Probabilistic Programs with Conditioning.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15697:279–300. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90653-4_14.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20844 |
Dujmovic, Jesko, Christoph Ullrich Günther, and Krzysztof Z Pietrzak. “Space-Deniable Proofs.” In 23rd International Conference on Theory of Cryptography, 16271:171–202. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-12290-2_6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2025 |
Published |
Conference Paper |
IST-REx-ID: 20845 |
Agrawal, Shweta, Anuja Modi, Anshu Yadav, and Shota Yamada. “Zeroizing Attacks against Evasive and Circular Evasive LWE.” In 23rd International Conference on Theory of Cryptography, 16269:259–90. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-12293-3_9.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2025 |
Published |
Conference Paper |
IST-REx-ID: 20846 |
Brandt, Nicholas, Miguel Cueto Noval, Christoph Ullrich Günther, Akin Ünal, and Stella Wohnig. “Constrained Verifiable Random Functions without Obfuscation and Friends.” In 23rd International Conference on Theory of Cryptography, 16271:478–511. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-12290-2_16.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2025 |
Published |
Conference Paper |
IST-REx-ID: 21090 |
Cano Cordoba, Filip, Thomas A Henzinger, and Konstantin Kueffner. “Algorithmic Fairness: A Runtime Perspective.” In 25th International Conference on Runtime Verification, 16087:1–21. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-05435-7_1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21091 |
Henzinger, Thomas A, Konstantin Kueffner, and Emily Yu. “Formal Verification of Neural Certificates Done Dynamically.” In 25th International Conference on Runtime Verification, 16087:54–72. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-05435-7_4.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21092 |
Henzinger, Thomas A, Konstantin Kueffner, Vasu Singh, and I Sun. “Alignment Monitoring.” In 25th International Conference on Runtime Verification, 16087:140–59. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-05435-7_9.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21093 |
Chalupa, Marek, Thomas A Henzinger, and Ana A Oliveira da Costa. “Monitoring Hypernode Logic over Infinite Domains.” In 25th International Conference on Runtime Verification, 16087:417–37. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-05435-7_23.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 21262 |
Auerbach, Benedikt, Miguel Cueto Noval, Boran Erol, and Krzysztof Z Pietrzak. “Continuous Group-Key Agreement: Concurrent Updates without Pruning.” In 45th Annual International Cryptology Conference, 16007:141–72. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-01913-4_5.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2025 |
Published |
Conference Paper |
IST-REx-ID: 21323 |
Belohorec, Juraj, Pavel Dvořák, Charlotte Hoffmann, Pavel Hubáček, Kristýna Mašková, and Martin Pastyřík. “On Extractability of the KZG Family of Polynomial Commitment Schemes.” In 45th Annual International Cryptology Conference, 16005:584–616. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-01887-8_19.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2025 |
Published |
Conference Paper |
IST-REx-ID: 19741 |
Chalupa, Marek, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Automating the Analysis of Quantitative Automata with QuAK.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15696:303–12. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90643-5_16.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 19778 |
Hoffmann, Charlotte, and Krzysztof Z Pietrzak. “Watermarkable and Zero-Knowledge Verifiable Delay Functions from Any Proof of Exponentiation.” In 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, 15674:36–66. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-91820-9_2.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2024 |
Published |
Conference Paper |
IST-REx-ID: 18155 |
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Ehsan Goharshady, Mehrdad Karrabi, and Dorde Zikelic. “Sound and Complete Witnesses for Template-Based Verification of LTL Properties on Polynomial Programs.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 14933:600–619. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-71162-6_31.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 18177
Beneš, Nikola, Luboš Brim, Ondřej Huvar, Samuel Pastva, and David Šafránek. “BNClassifier: Classifying Boolean Models by Dynamic Properties.” In Computational Methods in Systems Biology, 14971:19–26. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-71671-3_2.
View
| DOI
| WoS
2024 |
Published |
Conference Paper |
IST-REx-ID: 18206
Rave, Gilad, Daniel E. Fordham, Alex M. Bronstein, and David H. Silver. “Enhancing Predictive Accuracy in Embryo Implantation: The Bonna Algorithm and Its Clinical Implications.” In First International Conference on Artificial Intelligence in Healthcare, 14976:160–71. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-67285-9_12.
View
| DOI
2024 |
Published |
Conference Paper |
IST-REx-ID: 18521 |
Bonakdarpour, Borzoo, Anik Momtaz, Dejan Nickovic, and Naci E Sarac. “Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed & Accuracy.” In 24th International Conference on Runtime Verification, 15191:282–301. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-74234-7_18.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Book Chapter |
IST-REx-ID: 18563
Henzinger, Thomas A. “Reminiscences of a Real-Time Researcher.” In Real Time and Such, edited by Susanne Graf, Paul Pettersson, and Bernhard Steffen, 15230:154–64. LNCS. Cham: Springer Nature, 2024. https://doi.org/10.1007/978-3-031-73751-0_12.
View
| DOI
2024 |
Published |
Conference Paper |
IST-REx-ID: 18599
Chalupa, Marek, Thomas A Henzinger, and Ana Oliveira da Costa. “Monitoring Extended Hypernode Logic.” In Integrated Formal Methods, 15234:151–71. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-76554-4_9.
View
| DOI
| WoS
2024 |
Published |
Conference Paper |
IST-REx-ID: 18600 |
Andriushchenko R, Bork A, Budde CE, Češka M, Grover K, Hahn EM, Hartmanns A, Israelsen B, Jansen N, Jeppson J, Junges S, Köhl MA, Könighofer B, Kretinsky J, Meggendorfer T, Parker D, Pranger S, Quatmann T, Ruijters E, Taylor L, Volk M, Weininger M, Zhang Z. 2024. Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report. TOOLympics Challenge 2023. , LNCS, vol. 14550, 90–146.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv