DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-032-26220-2_11,22006,ToHe,"Quantitative monitoring of Signal First-Order logic"
10.1145/3737447,21012,ToHe,Certificates in AI: Learn but verify
10.15479/AT-ISTA-21401,21401,"GradSch,ToHe",Privacy-preserving runtime verification
10.5220/0014483200004052,22103,ToHe,Explaining decisions one conversation at a time: Opportunities and risks of LLMs as explainability assistants
10.1017/9781009500678.022,22300,ToHe,Bidding Games
10.5220/0014326500004052,22294,ToHe,Machine unlearning using forgetting neural networks
10.1145/3805689.3806807,22321,ToHe,Energy shields for fairness
10.4230/LIPIcs.LICS.2026.23,22617,ToHe,Dicey games: Shared sources of randomness in distributed systems
10.1017/etds.2026.10324,22406,"ToHe,GradSch",Transcendence for Pisot morphic words over an algebraic base
10.1007/s00236-025-00509-8,20866,ToHe,Hypernode automata
10.1145/3719027.3765137,21020,"ToHe,GradSch",Privacy-preserving runtime verification
10.4230/LIPICS.FSTTCS.2025.20,21089,ToHe,Flavors of quantifiers in hyperlogics
10.1007/978-3-032-05435-7_1,21090,ToHe,Algorithmic fairness: A runtime perspective
10.1007/978-3-032-05435-7_4,21091,ToHe,Formal verification of neural certificates done dynamically
10.1007/978-3-032-05435-7_9,21092,ToHe,Alignment monitoring
10.1007/978-3-032-05435-7_23,21093,ToHe,Monitoring hypernode logic over infinite domains
10.1109/SYNASC69064.2025.00008,21885,ToHe,Neural Certificates
10.1007/s10703-024-00447-0,17094,ToHe,Information-flow interfaces
10.1073/pnas.2419273122,19499,"KrCh,ToHe",Hardware-optimal quantum algorithms
10.1609/aaai.v39i15.33719,19665,ToHe,Fairness shields: Safeguarding against biased decision makers