DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-63390-9_21,962,ToHe,Model counting for recursively-defined strings
10.4230/LIPIcs.MFCS.2017.37,963,ToHe,Timed network games with clocks
10.15479/AT:IST-2018-853-v2-2,6426,ToHe,Synchronizing the asynchronous
10.1007/978-3-319-65765-3_7,647,ToHe,Conic abstractions for hybrid systems
10.1145/3049797.3049814,663,ToHe,Safety verification of nonlinear hybrid systems based on invariant clusters
10.4230/LIPIcs.CONCUR.2017.5,711,"KrCh,ToHe",Bidirectional nested weighted automata
10.1007/s10703-017-0307-6,743,ToHe,Preface of the special issue in memoriam Helmut Veith
10.23638/LMCS-13(3:23)2017,465,"KrCh,ToHe",Edit distance for pushdown automata
10.1145/3152769,467,"KrCh,ToHe",Nested weighted automata
10.4230/LIPIcs.MFCS.2016.24,1090,"KrCh,ToHe",Nested weighted limit-average automata of bounded width
10.4230/LIPIcs.CONCUR.2016.20,1093,"ToHe,KrCh,CaGu",Linear distances between Markov chains
10.4230/LIPIcs.CONCUR.2016.6,1095,ToHe,Local linearizability for concurrent container-type data structures
10.1109/MEMCOD.2016.7797741,1103,ToHe,Parallel reachability analysis for hybrid systems
10.15479/at:ista:1130,1130,"ToHe,GradSch",Automatic synthesis of synchronisation primitives for concurrent programs
10.1109/CCA.2016.7587948,1134,ToHe,Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP
10.1145/2968478.2968499,1135,ToHe,Synthesizing time triggered schedules for switched networks with faulty links
10.1145/2933575.2933588,1138,"KrCh,ToHe",Quantitative automata under probabilistic semantics
10.1016/j.biosystems.2016.07.005,1148,"ToHe,GaTk",Adaptive moment closure for parameter inference of biochemical reaction networks
10.1609/aaai.v30i1.10422,1166,"KrCh,ToHe",A symbolic SAT based algorithm for almost sure reachability with small strategies in POMDPs
10.1007/978-3-319-48989-6_47,1205,ToHe,Safety assured formal model driven design of the multifunction vehicle bus controller