DOI,IST REx ID,Research Group,Title of publication
10.1016/j.comppsych.2024.152479,15295,TiVo,Meta-analysis of the comparative efficacy of benzodiazepines and antidepressants for psychic versus somatic symptoms of generalized anxiety disorder
null,17053,ToHe,Ternary simulation as abstract interpretation (Work in Progress)
10.6084/m9.figshare.24527848,23182,TiVo,"Supplementary Material for the article entitled ""The vitals for steady nucleation maps of spontaneous spiking coherence in autonomous two-dimensional neuronal networks"""
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.1007/978-3-031-57256-2_8,15376,ToHe,Auction-based scheduling
10.1007/978-3-031-63498-7_17,17413,ToHe,Certifying phase abstraction
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_11,15377,ToHe,Rabin games and colourful universal trees
10.1109/ICRA57147.2024.10610284,17898,ToHe,Overparametrization helps offline-to-online generalization of closed-loop control from pixels
10.1609/aaai.v38i9.28943,15321,ToHe,Scalable enumeration of trap spaces in boolean networks via answer set programming
10.1007/978-3-031-74234-7_18,18521,"ToHe,GradSch",Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy
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.46298/lmcs-20(4:1)2024,18530,ToHe,History-deterministic timed automata
10.1137/1.9781611977936.16,18955,ToHe,Simple and tight complexity lower bounds for solving Rabin games
10.1007/978-3-031-76554-4_9,18599,ToHe,Monitoring extended hypernode logic
10.1007/978-3-031-71671-3_2,18177,ToHe,"BNClassifier: Classifying boolean models by dynamic properties"
10.1007/978-3-031-73751-0_12,18563,ToHe,Reminiscences of a Real-Time Researcher
10.4230/LIPIcs.STACS.2024.34,15168,UlWa,Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs