DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.CONCUR.2025.21,20253,ToHe,Quantitative language automata
10.15479/AT-ISTA-20147,20147,"GradSch,ToHe",A monitoring-oriented theory and classification of quantitative specifications
10.46298/lmcs-21(2:2)2025,20342,"GradSch,ToHe", Safety and liveness of quantitative properties and automata
10.1007/978-3-031-90643-5_16,19741,ToHe,Automating the analysis of quantitative automata with QuAK
10.4230/LIPIcs.CONCUR.2024.29,18068,"ToHe,GradSch",Strategic dominance: A new preorder for nondeterministic processes
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-30829-1_17,12467,"GradSch,ToHe",Quantitative safety and liveness
10.4230/LIPIcs.ICALP.2023.129,13292,"GradSch,ToHe",Regular methods for operator precedence languages
10.4230/LIPIcs.CONCUR.2023.17,13221,"GradSch,ToHe",Safety and liveness of quantitative automata
10.1007/978-3-031-17196-3_11,11775,"GradSch,ToHe",Abstract monitors for quantitative specifications
10.1109/LICS52264.2021.9470547,9356,"GradSch,ToHe",Quantitative and approximate monitoring
10.1016/j.eswa.2020.114203,8912,ToHe,Boosting expensive synchronizing heuristics
10.1007/978-3-030-60508-7_1,8623,ToHe,Monitorability under assumptions