DOI,IST REx ID,Research Group,Title of publication
10.1016/j.dam.2020.10.022,8793,KrCh,Optimal strategies for selecting coordinators
10.15479/at:ista:10199,10199,"GradSch,KrCh",Improved verification techniques for concurrent systems
10.23638/LMCS-17(1:10)2021,10674,ToHe,Determinacy in discrete-bidding infinite-duration games
10.4230/LIPIcs.CONCUR.2020.23,8600,"KrCh,ToHe",Multi-dimensional long-run average problems for vector addition systems with states
10.1609/aaai.v34i02.5546,9197,"ToHe,KrCh",All-pay bidding games on graphs
10.4230/LIPIcs.CSL.2020.20,7348,ToHe,Monitoring event frequencies
10.1016/j.tcs.2019.06.031,6761,ToHe,Dynamic resource allocation games
10.1007/978-3-030-30281-8_7,6942,"KrCh,ChLa",Strategy representation by decision trees with linear classifiers
10.1007/978-3-030-32079-9_17,7159,ToHe,Shape expressions for specifying and extracting signal features
10.1007/978-3-319-91908-9_22,7453,ToHe,Continuous-time models for system design and analysis
10.1145/3340295,6752,ToHe,Infinite-duration bidding games
10.1007/978-3-030-30806-3_1,6822,ToHe,Bidding games on Markov decision processes
10.4230/LIPICS.MFCS.2019.11,6884,"ToHe,KrCh",Bidding mechanisms in graph games
10.4230/LIPICS.CONCUR.2019.27,6885,"ToHe,KrCh",Long-run average behavior of vector addition systems with states
10.4230/LIPICS.CONCUR.2019.20,6886,ToHe,Determinacy in discrete-bidding infinite-duration games
10.4230/LIPIcs.CONCUR.2018.21,133,ToHe,Synchronizing the asynchronous
10.1109/SIES.2011.5953660,3316,"KrCh,ToHe",Specification-centered robustness