DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.MFCS.2025.30,20290,ToHe,"Finding equilibria: Simpler for pessimists, simplest for optimists"
10.4230/LIPIcs.MFCS.2025.57,20291,ToHe,Resolving nondeterminism with randomness
10.1007/978-3-031-97537-0_15,20723,ToHe,"Information-Flow Interfaces and Security Lattices"
10.1016/j.scico.2024.103212,18169,ToHe,VAMOS: Middleware for best-effort third-party monitoring
10.1007/978-3-031-90643-5_16,19741,ToHe,Automating the analysis of quantitative automata with QuAK
10.46298/lmcs-21(2:2)2025,20342,"GradSch,ToHe",Safety and liveness of quantitative properties and automata
null,20296,"ChLa,ToHe",Logic gate neural networks are good for verification
10.1145/3711896.3737054,20292,ToHe,Monitoring robustness and individual fairness
10.1007/978-3-032-05435-7_1,21090,ToHe,Algorithmic fairness: A runtime perspective
10.15479/AT-ISTA-20147,20147,"GradSch,ToHe",A monitoring-oriented theory and classification of quantitative specifications
10.1016/j.nahs.2023.101430,14400,ToHe,Symbolic control for stochastic systems via finite parity games
10.1609/aaai.v38i9.28943,15321,ToHe,Scalable enumeration of trap spaces in boolean networks via answer set programming
10.1007/978-3-031-57256-2_20,15333,ToHe,Bubaak-SpLit: Split what you cannot verify (Competition contribution)
10.1007/978-3-031-57256-2_8,15376,ToHe,Auction-based scheduling
10.1007/978-3-031-57256-2_11,15377,ToHe,Rabin games and colourful universal trees
10.1007/978-3-031-74234-7_18,18521,"ToHe,GradSch",Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy
10.1007/978-3-031-73751-0_12,18563,ToHe,Reminiscences of a Real-Time Researcher
10.1007/978-3-031-76554-4_9,18599,ToHe,Monitoring extended hypernode logic
10.1137/1.9781611977936.16,18955,ToHe,Simple and tight complexity lower bounds for solving Rabin games
10.5281/ZENODO.13854759,19800,ToHe,Mapping the attractor landscape of Boolean networks