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.

444 Publications


2026 | Published | Conference Paper | IST-REx-ID: 22006 | OA
Chalupa, Marek, et al. “Quantitative Monitoring of Signal First-Order Logic.” 27th International Symposium on Formal Methods, vol. 16557, Springer Nature, 2026, pp. 214–33, doi:10.1007/978-3-032-26220-2_11.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Journal Article | IST-REx-ID: 21012 | OA | PlanS
Barrett, Clark, et al. “Certificates in AI: Learn but Verify.” Communications of the ACM, vol. 69, no. 1, Association for Computing Machinery, 2026, pp. 66–75, doi:10.1145/3737447.
[Published Version] View | Files available | DOI
 

2026 | Published | Thesis | MS | IST-REx-ID: 21401 | OA
Karimi, Mahyar. Privacy-Preserving Runtime Verification. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21401.
[Published Version] View | Files available | DOI
 

2026 | Published | Conference Paper | IST-REx-ID: 22103 | OA
Cano Cordoba, Filip. “Explaining Decisions One Conversation at a Time: Opportunities and Risks of LLMs as Explainability Assistants.” Proceedings of the 18th International Conference on Agents and Artificial Intelligence, vol. 5, Science and Technology Publications, 2026, pp. 4689–96, doi:10.5220/0014483200004052.
[Accepted Version] View | DOI | Download Accepted Version (ext.)
 

2026 | Published | Book Chapter | IST-REx-ID: 22300
Avni, Guy, and Thomas A. Henzinger. “Bidding Games.” Games on Graphs. From Logic and Automata to Algorithms, edited by ‪Nathanaël Fijalkow, Cambridge University Press, 2026, pp. 529–69, doi:10.1017/9781009500678.022.
View | DOI
 

2026 | Published | Conference Paper | IST-REx-ID: 22294 | OA
Hatua, Amartya, et al. “Machine Unlearning Using Forgetting Neural Networks.” Proceedings of the 18th International Conference on Agents and Artificial Intelligence, vol. 2, SciTePress, 2026, pp. 1536–46, doi:10.5220/0014326500004052.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 22321 | OA
Cano Cordoba, Filip, et al. “Energy Shields for Fairness.” Proceedings of the 2026 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2026, pp. 4243–75, doi:10.1145/3805689.3806807.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 22617 | OA
Brice, Leonard J., et al. “Dicey Games: Shared Sources of Randomness in Distributed Systems.” 41st Annual Symposium on Logic in Computer Science, vol. 380, 23:1-23:26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:10.4230/LIPIcs.LICS.2026.23.
[Published Version] View | Files available | DOI | arXiv
 

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22406 | OA | PlanS
Kebis, Pavol, et al. “Transcendence for Pisot Morphic Words over an Algebraic Base.” Ergodic Theory and Dynamical Systems, Cambridge University Press, 2026, pp. 1–22, doi:10.1017/etds.2026.10324.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 20866 | OA
Bartocci, Ezio, et al. “Hypernode Automata.” Acta Informatica, vol. 62, no. 4, 43, Springer Nature, 2025, doi:10.1007/s00236-025-00509-8.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21020 | OA
Henzinger, Thomas A., et al. “Privacy-Preserving Runtime Verification.” Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–87, doi:10.1145/3719027.3765137.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21089 | OA
Chalupa, Marek, et al. “Flavors of Quantifiers in Hyperlogics.” 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 360, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18, doi:10.4230/LIPICS.FSTTCS.2025.20.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21090 | OA
Cano Cordoba, Filip, et al. “Algorithmic Fairness: A Runtime Perspective.” 25th International Conference on Runtime Verification, vol. 16087, Springer Nature, 2025, pp. 1–21, doi:10.1007/978-3-032-05435-7_1.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21091 | OA
Henzinger, Thomas A., et al. “Formal Verification of Neural Certificates Done Dynamically.” 25th International Conference on Runtime Verification, vol. 16087, Springer Nature, 2025, pp. 54–72, doi:10.1007/978-3-032-05435-7_4.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21092 | OA
Henzinger, Thomas A., et al. “Alignment Monitoring.” 25th International Conference on Runtime Verification, vol. 16087, Springer Nature, 2025, pp. 140–59, doi:10.1007/978-3-032-05435-7_9.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21093 | OA
Chalupa, Marek, et al. “Monitoring Hypernode Logic over Infinite Domains.” 25th International Conference on Runtime Verification, vol. 16087, Springer Nature, 2025, pp. 417–37, doi:10.1007/978-3-032-05435-7_23.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21885
Henzinger, Thomas A. “Neural Certificates.” Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE, 2025, doi:10.1109/SYNASC69064.2025.00008.
View | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 17094 | OA | PlanS
Bartocci, Ezio, et al. “Information-Flow Interfaces.” Formal Methods in System Design, vol. 66, Springer Nature, 2025, pp. 3–48, doi:10.1007/s10703-024-00447-0.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 19499 | OA
Muroya Lei, Stefanie, et al. “Hardware-Optimal Quantum Algorithms.” Proceedings of the National Academy of Sciences, vol. 122, no. 12, e2419273122, National Academy of Sciences, 2025, doi:10.1073/pnas.2419273122.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2025 | Published | Conference Paper | IST-REx-ID: 19665 | OA
Cano Cordoba, Filip, et al. “Fairness Shields: Safeguarding against Biased Decision Makers.” Proceedings of the 39th AAAI Conference on Artificial Intelligence, vol. 39, no. 15, Association for the Advancement of Artificial Intelligence, 2025, pp. 15659–68, doi:10.1609/aaai.v39i15.33719.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

department=ToHe

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed