DOI,IST REx ID,Research Group,Title of publication
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.1007/s10703-024-00447-0,17094,ToHe,Information-flow interfaces
10.1145/3719027.3765137,21020,"ToHe,GradSch",Privacy-preserving runtime verification
10.15479/AT-ISTA-20147,20147,"GradSch,ToHe",A monitoring-oriented theory and classification of quantitative specifications
10.46298/lmcs-21(2:2)2025,20342,"GradSch,ToHe", Safety and liveness of quantitative properties and automata
10.1007/978-3-031-90643-5_16,19741,ToHe,Automating the analysis of quantitative automata with QuAK
10.1073/pnas.2419273122,19499,"KrCh,ToHe",Hardware-optimal quantum algorithms
10.1109/SYNASC69064.2025.00008,21885,ToHe,Neural Certificates
10.1016/j.nahs.2023.101430,14400,ToHe,Symbolic control for stochastic systems via finite parity games
10.1109/ICRA57147.2024.10610284,17898,ToHe,Overparametrization helps offline-to-online generalization of closed-loop control from pixels
10.4230/LIPIcs.CONCUR.2024.8,18066,ToHe,Bidding games with charging
10.4230/LIPIcs.CONCUR.2024.12,18067,ToHe,History-determinism vs fair simulation
10.4230/LIPIcs.CONCUR.2024.29,18068,"ToHe,GradSch",Strategic dominance: A new preorder for nondeterministic processes
10.4230/LIPIcs.ECOOP.2024.27,18175,ToHe,The fault in our stars: Designing reproducible large-scale code analysis experiments
10.1007/978-3-031-71671-3_2,18177,ToHe,"BNClassifier: Classifying boolean models by dynamic properties"
10.46298/lmcs-20(4:1)2024,18530,ToHe,History-deterministic timed automata