DOI,IST REx ID,Research Group,Title of publication
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
10.1007/s10711-023-00862-3,9651,UlWa,Divergence of separated nets with respect to displacement equivalence
10.1112/blms.12965,14660,UlWa,Quantitative Steinitz theorem: A polynomial bound
10.1016/j.jalgebra.2024.04.013,18617,UlWa,Separation of variables for scalar-valued polynomials in the non-stable range