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.
210 Publications
2025 | Published | Conference Paper | IST-REx-ID: 19712 | 
Cueto Noval, Miguel, Simon-Philipp Merz, Patrick Stählin, and Akin Ünal. “On the Soundness of Algebraic Attacks against Code-Based Assumptions.” In 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, 15606:385–415. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-91095-1_14.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2025 | Published | Conference Paper | IST-REx-ID: 19740 |
Chatterjee, Krishnendu, Mahdi Jafariraviz, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Value Iteration with Guessing for Markov Chains and Markov Decision Processes.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15697:217–36. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90653-4_11.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19739 |
Chalupa, Marek, and Cedric Richter. “BUBAAK: Dynamic Cooperative Verification.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15698:212–16. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90660-2_14.
[Published Version]
View
| Files available
| DOI
2025 | Conference Paper | IST-REx-ID: 19738 |
Acharya, Anasuya, Karen Azari, Mirza Ahad Baig, Dennis Hofheinz, and Chethan Kamath. “Securely Instantiating ‘Half Gates’ Garbling in the Standard Model.” In 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, 15677:37–75. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-91829-2_2.
[Preprint]
View
| DOI
| Download Preprint (ext.)
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: 19742 |
Budde, Carlos E., Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft. “Sound Statistical Model Checking for Probabilities and Expected Rewards.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15696:167–90. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90643-5_9.
[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: 20189 |
Froleyks, Nils, Emily Yu, Mathias Preiner, Armin Biere, and Keijo Heljanko. “Introducing Certificates to the Hardware Model Checking Competition.” In 37th International Conference on Computer Aided Verification, 15931:281–95. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-98668-0_14.
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20225 |
Henzinger, Thomas A, Kaushik Mallik, Pouya Sadeghi, and Dorde Zikelic. “Supermartingale Certificates for Quantitative Omega-Regular Verification and Control.” In 37th International Conference on Computer Aided Verification, 15932:29–55. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-98679-6_2.
[Published Version]
View
| Files available
| DOI
| arXiv
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: 19375 |
Azeem, Muqsit, Debraj Chakraborty, Sudeep Kanav, Jan Kretinsky, Mohammadsadegh Mohagheghi, Stefanie Mohr, and Maximilian Weininger. “1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.” In 26th International Conference on Verification, Model Checking, and Abstract Interpretation, 15530:97–120. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-82703-7_5.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19445 |
Křišťan, Jan Matyáš, and Jakub Svoboda. “Reconfiguration Using Generalized Token Jumping.” In 19th International Conference and Workshops on Algorithms and Computation, 15411:244–65. Springer Nature, 2025. https://doi.org/10.1007/978-981-96-2845-2_16.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19600 |
Avarikioti, Zeta, Mahsa Bastankhah, Mohammad Ali Maddah-Ali, Krzysztof Z Pietrzak, Jakub Svoboda, and Michelle X Yeo. “Route Discovery in Private Payment Channel Networks.” In Computer Security. ESORICS 2024 International Workshops, 15263:207–23. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-82349-7_15.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2025 | Published | Conference Paper | IST-REx-ID: 20610
Meggendorfer, Tobias, Maximilian Weininger, and Patrick Wienhöft. “What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes.” In Second International Joint Conference on QEST+FORMATS, 16143:195–218. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-05792-1_11.
View
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20658 |
Edelsbrunner, Herbert, Elizabeth R Stephenson, and Martin H Thoresen. “The Mid-Sphere Cousin of the Medial Axis Transform.” In 4th International Joint Conference on Discrete Geometry and Mathematical Morphology, 16296:133–47. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-09544-2_10.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20648 |
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Ehsan Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, and Dorde Zikelic. “PolyQEnt: A Polynomial Quantified Entailment Solver.” In 23rd International Symposium on Automated Technology for Verification and Analysis, 16145:411–24. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-08707-2_19.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
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: 18702 |
Anastos, Michael, Benedikt Auerbach, Mirza Ahad Baig, Miguel Cueto Noval, Matthew Alan Kwan, Guillermo Pascual Perez, and Krzysztof Z Pietrzak. “The Cost of Maintaining Keys in Dynamic Groups with Applications to Multicast Encryption and Group Messaging.” In 22nd International Conference on Theory of Cryptography, 15364:413–43. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-78011-0_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
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: 14888 |
De Nooijer, Phoebe, Soeren Terziadis, Alexandra Weinberger, Zuzana Masárová, Tamara Mchedlidze, Maarten Löffler, and Günter Rote. “Removing Popular Faces in Curve Arrangements.” In 31st International Symposium on Graph Drawing and Network Visualization, 14466:18–33. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-49275-4_2.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv