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/978-3-032-32519-8_12,22717,"ToHe,GradSch","Randomise alone, reach as a team"
10.1007/978-3-032-32519-8_13,22719,ToHe,"Decoupled planning for multiple omega-regular objectives"
10.1007/978-3-032-32526-6_20,22754,ToHe,"Extending QuAK with nested quantitative automata"
10.4230/LIPIcs.CONCUR.2026.13,22920,"GradSch,KrCh,ToHe",Generalized bidding games: Where bidding and stochastic games meet
10.4230/LIPIcs.CONCUR.2026.12,22919,"GradSch,KrCh,ToHe",PAC learning in turn-based stochastic games with reachability objectives: A decentralized private approach via expected conditional distance
10.15479/AT-ISTA-22808,22808,"GradSch,ToHe",Monitoring algorithmic fairness in sequential decision making
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_4,21091,ToHe,Formal verification of neural certificates done dynamically
10.1007/978-3-032-05435-7_9,21092,ToHe,Alignment monitoring