DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.CONCUR.2020.23,8600,"KrCh,ToHe",Multi-dimensional long-run average problems for vector addition systems with states
10.1007/978-3-319-95246-8_9,86,"KrCh,ToHe",Computing average response time
10.1016/j.ic.2016.10.006,1066,"KrCh,ToHe",Quantitative fair simulation games
10.1016/j.nahs.2016.09.001,1196,ToHe,Model measuring for discrete and hybrid systems
10.1145/3152769,467,"KrCh,ToHe",Nested weighted automata
10.1007/978-3-662-53413-7_2,1335,"KrCh,ToHe",Quantitative monitor automata
10.1007/978-3-662-49122-5_12,1526,ToHe,Lipschitz robustness of timed I/O systems
10.4230/LIPIcs.MFCS.2016.24,1090,"KrCh,ToHe",Nested weighted limit-average automata of bounded width
10.1145/2933575.2933588,1138,"KrCh,ToHe",Quantitative automata under probabilistic semantics
10.1007/978-3-662-47666-6_10,1610,"KrCh,ToHe",Edit distance for pushdown automata
10.1109/LICS.2015.72,1656,"KrCh,ToHe",Nested weighted automata
10.1109/LICS.2015.74,1659,ToHe,The target discounted-sum problem
10.1145/2817825,1680,ToHe,On the decidability of elementary modal logics
10.15479/AT:IST-2015-170-v2-2,5436,"KrCh,ToHe",Nested weighted automata
10.15479/AT:IST-2015-334-v1-1,5438,KrCh,Edit distance for pushdown automata
10.15479/AT:IST-2015-335-v1-1,5439,ToHe,The target discounted-sum problem
10.4230/LIPIcs.FSTTCS.2014.431,1870,ToHe,Lipschitz robustness of finite-state transducers
10.15479/AT:IST-2014-170-v1-1,5415,"KrCh,ToHe",Nested weighted automata
10.15479/AT:IST-2014-171-v1-1,5416,ToHe,Model measuring for hybrid systems
10.15479/AT:IST-2014-172-v1-1,5417,ToHe,From model checking to model measuring