DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-74234-7_18,18521,"ToHe,GradSch",Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy
10.46298/lmcs-20(4:1)2024,18530,ToHe,History-deterministic timed automata
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
10.4230/LIPIcs.FSCD.2024.2,17327,ToHe,Abstraction-based decision making for statistical properties
10.1007/978-3-031-63498-7_17,17413,ToHe,Certifying phase abstraction
10.1007/978-3-031-75387-9_1,17634,"GradSch,ToHe",QuAK: Quantitative Automata Kit
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.15479/AT:ISTA:12407,12407,ToHe,VAMOS: Middleware for Best-Effort Third-Party Monitoring
10.1007/978-3-031-30829-1_17,12467,"GradSch,ToHe",Quantitative safety and liveness
10.1109/LRA.2023.3240930,12704,ToHe,Revisiting the adversarial robustness-accuracy tradeoff in robot learning
10.1007/978-3-031-30820-8_32,12854,ToHe,Bubaak: Runtime monitoring of program verifiers
10.1007/978-3-031-30826-0_15,12856,ToHe,Vamos: Middleware for best-effort third-party monitoring