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, M., Henzinger, T. A., Sarac, N. E., & Yu, E. (2026). Quantitative monitoring of Signal First-Order logic. In 27th International Symposium on Formal Methods (Vol. 16557, pp. 214–233). Tokyo, Japan: Springer Nature. https://doi.org/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, C., Henzinger, T. A., & Seshia, S. A. (2026). Certificates in AI: Learn but verify. Communications of the ACM. Association for Computing Machinery. https://doi.org/10.1145/3737447
[Published Version] View | Files available | DOI
 

2026 | Published | Thesis | MS | IST-REx-ID: 21401 | OA
Karimi, M. (2026). Privacy-preserving runtime verification. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-21401
[Published Version] View | Files available | DOI
 

2026 | Published | Conference Paper | IST-REx-ID: 22103 | OA
Cano Cordoba, F. (2026). Explaining decisions one conversation at a time: Opportunities and risks of LLMs as explainability assistants. In Proceedings of the 18th International Conference on Agents and Artificial Intelligence (Vol. 5, pp. 4689–4696). Marbella, Spain: Science and Technology Publications. https://doi.org/10.5220/0014483200004052
[Accepted Version] View | DOI | Download Accepted Version (ext.)
 

2026 | Published | Book Chapter | IST-REx-ID: 22300
Avni, G., & Henzinger, T. A. (2026). Bidding Games. In ‪Nathanaël Fijalkow (Ed.), Games on Graphs. From Logic and Automata to Algorithms (pp. 529–569). Cambridge University Press. https://doi.org/10.1017/9781009500678.022
View | DOI
 

2026 | Published | Conference Paper | IST-REx-ID: 22294 | OA
Hatua, A., Nguyen, T., Cano Cordoba, F., & Sung, A. (2026). Machine unlearning using forgetting neural networks. In Proceedings of the 18th International Conference on Agents and Artificial Intelligence (Vol. 2, pp. 1536–1546). Marbella, Spain: SciTePress. https://doi.org/10.5220/0014326500004052
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 22321 | OA
Cano Cordoba, F., Henzinger, T. A., & Kueffner, K. (2026). Energy shields for fairness. In Proceedings of the 2026 ACM Conference on Fairness, Accountability, and Transparency (pp. 4243–4275). Montreal, Canada: Association for Computing Machinery. https://doi.org/10.1145/3805689.3806807
[Published Version] View | Files available | DOI | arXiv
 

2026 | Published | Conference Paper | IST-REx-ID: 22617 | OA
Brice, L. J., Henzinger, T. A., & Thejaswini, K. S. (2026). Dicey games: Shared sources of randomness in distributed systems. In 41st Annual Symposium on Logic in Computer Science (Vol. 380). Lisbon, Portugal: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/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, P., LUCA, F., OUAKNINE, J., SCOONES, A., & WORRELL, J. (2026). Transcendence for Pisot morphic words over an algebraic base. Ergodic Theory and Dynamical Systems. Cambridge University Press. https://doi.org/10.1017/etds.2026.10324
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 20866 | OA
Bartocci, E., Chalupa, M., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2025). Hypernode automata. Acta Informatica. Springer Nature. https://doi.org/10.1007/s00236-025-00509-8
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21020 | OA
Henzinger, T. A., Karimi, M., & Thejaswini, K. S. (2025). Privacy-preserving runtime verification. In Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security (pp. 2774–2787). Taipei, Taiwan: Association for Computing Machinery. https://doi.org/10.1145/3719027.3765137
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21089 | OA
Chalupa, M., Henzinger, T. A., & Oliveira da Costa, A. A. (2025). Flavors of quantifiers in hyperlogics. In 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 360, p. 20:1-20:18). Pilani, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.FSTTCS.2025.20
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 21090 | OA
Cano Cordoba, F., Henzinger, T. A., & Kueffner, K. (2025). Algorithmic fairness: A runtime perspective. In 25th International Conference on Runtime Verification (Vol. 16087, pp. 1–21). Graz, Austria: Springer Nature. 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 | OA
Henzinger, T. A., Kueffner, K., & Yu, E. (2025). Formal verification of neural certificates done dynamically. In 25th International Conference on Runtime Verification (Vol. 16087, pp. 54–72). Graz, Austria: Springer Nature. 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 | OA
Henzinger, T. A., Kueffner, K., Singh, V., & Sun, I. (2025). Alignment monitoring. In 25th International Conference on Runtime Verification (Vol. 16087, pp. 140–159). Graz, Austria: Springer Nature. 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 | OA
Chalupa, M., Henzinger, T. A., & Oliveira da Costa, A. A. (2025). Monitoring hypernode logic over infinite domains. In 25th International Conference on Runtime Verification (Vol. 16087, pp. 417–437). Graz, Austria: Springer Nature. 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: 21885
Henzinger, T. A. (2025). Neural Certificates. In Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Timisoara, Romania: IEEE. https://doi.org/10.1109/SYNASC69064.2025.00008
View | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 17094 | OA | PlanS
Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2025). Information-flow interfaces. Formal Methods in System Design. Springer Nature. https://doi.org/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, S., Chatterjee, K., & Henzinger, T. A. (2025). Hardware-optimal quantum algorithms. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/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, F., Henzinger, T. A., Könighofer, B., Kueffner, K., & Mallik, K. (2025). Fairness shields: Safeguarding against biased decision makers. In Proceedings of the 39th AAAI Conference on Artificial Intelligence (Vol. 39, pp. 15659–15668). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/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: APA

Export / Embed