DOI,IST REx ID,Research Group,Title of publication
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.5281/ZENODO.13854759,19800,ToHe,Mapping the attractor landscape of Boolean networks
10.1137/1.9781611977936.16,18955,ToHe,Simple and tight complexity lower bounds for solving Rabin 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
null,17053,ToHe,Ternary simulation as abstract interpretation (Work in Progress)
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.1007/978-3-031-74234-7_18,18521,"ToHe,GradSch",Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy
10.1007/978-3-031-44267-4_9,14076,ToHe,Monitoring hyperproperties with prefix transducers
10.1609/aaai.v37i12.26747,14242,"ToHe,KrCh",Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
10.1609/aaai.v37i5.25679,14243,"ToHe,KrCh",Bidding graph games with partially-observable budgets
10.4230/LIPIcs.CONCUR.2023.21,14405,ToHe,Hypernode automata
10.1007/978-3-031-42697-1_2,14411,ToHe,"Phenotype control of partially specified boolean networks"
10.1007/978-3-031-44267-4_15,14454,ToHe,Monitoring algorithmic fairness under partial observations
10.3233/FAIA230264,14518,"ToHe,KrCh",Reachability poorman discrete-bidding games