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.
182 Publications
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
2024 | Published | Conference Paper | IST-REx-ID: 15333 |
Chalupa, Marek, and Cedric Richter. “Bubaak-SpLit: Split What You Cannot Verify (Competition Contribution).” In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:353–358. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-57256-2_20.
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 15376 |
Avni, Guy, Kaushik Mallik, and Suman Sadhukhan. “Auction-Based Scheduling.” In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:153–72. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-57256-2_8.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17051 |
Auerbach, Benedikt, Christoph Ullrich Günther, and Krzysztof Z Pietrzak. “Trapdoor Memory-Hard Functions.” In 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, 14653:315–44. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-58734-4_11.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 15377 |
Majumdar, Rupak, Irmak Sağlam, and K. S. Thejaswini. “Rabin Games and Colourful Universal Trees.” In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:213–31. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-57256-2_11.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17126 |
Tairi, Erkan, and Akin Ünal. “Lower Bounds for Lattice-Based Compact Functional Encryption.” In Advances in Cryptology – EUROCRYPT 2024, 14652:249–79. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-58723-8_9.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 17413 |
Froleyks, Nils, Emily Yu, Armin Biere, and Keijo Heljanko. “Certifying Phase Abstraction.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 14739:284–303. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-63498-7_17.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17402 |
Meggendorfer, Tobias, and Maximilian Weininger. “Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games.” In 36th International Conference on Computer Aided Verification, 14683:359–72. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-65633-0_16.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18086
Alwen, Joel F, Benedikt Auerbach, Miguel Cueto Noval, Karen Klein, Guillermo Pascual Perez, and Krzysztof Z Pietrzak. “DeCAF: Decentralizable CGKA with Fast Healing.” In Security and Cryptography for Networks: 14th International Conference, edited by Clemente Galdi and Duong Hieu Phan, 14974:294–313. Cham: Springer Nature, 2024. https://doi.org/10.1007/978-3-031-71073-5_14.
View
| Files available
| DOI
| WoS
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: 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 | 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
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: 18756 |
Brzuska, Chris, Akin Ünal, and Ivy K.Y. Woo. “Evasive LWE Assumptions: Definitions, Classes, and Counterexamples.” In 30th International Conference on the Theory and Application of Cryptology and Information Security, 15487:418–49. Springer Nature, 2024. https://doi.org/10.1007/978-981-96-0894-2_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 18755 |
Ebrahimi, Ehsan, and Anshu Yadav. “Strongly Secure Universal Thresholdizer.” In 30th International Conference on the Theory and Application of Cryptology and Information Security, 15486:207–39. Springer Nature, 2024. https://doi.org/10.1007/978-981-96-0891-1_7.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 17634 |
Chalupa, Marek, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “QuAK: Quantitative Automata Kit.” In 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 15222:3–20. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-75387-9_1.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14410
Tomaszewska, Paulina, and Christoph Lampert. “On the Implementation of Baselines and Lightweight Conditional Model Extrapolation (LIMES) under Class-Prior Shift.” In International Workshop on Reproducible Research in Pattern Recognition, 14068:67–73. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-40773-4_6.
View
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 18218 |
Nemcovsky, Yaniv, Matan Jacoby, Alex M. Bronstein, and Chaim Baskin. “Physical Passive Patch Adversarial Attacks on Visual Odometry Systems.” In 16th Asian Conference on Computer Vision, 13847:518–34. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-26293-7_31.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14454 |
Henzinger, Thomas A, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness under Partial Observations.” In 23rd International Conference on Runtime Verification, 14245:291–311. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-44267-4_15.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv