No. Title Author Year
1 A Survey of Bidding Games on Graphs (Invited Paper) Avni, Guy et al. 2020
2 Monitoring Event Frequencies Ferrère, Thomas et al. 2020
3 Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States Chatterjee, Krishnendu et al. 2020
4 Bidding Mechanisms in Graph Games Avni, Guy et al. 2019
5 Determinacy in Discrete-Bidding Infinite-Duration Games Aghajohari, Milad et al. 2019
6 Long-Run Average Behavior of Vector Addition Systems with States Chatterjee, Krishnendu et al. 2019
7 Synchronizing the Asynchronous Kragl, Bernhard et al. 2018
8 Bidirectional Nested Weighted Automata Chatterjee, Krishnendu et al. 2017
9 Infinite-Duration Bidding Games Avni, Guy et al. 2017
10 Linear Distances between Markov Chains Daca, Przemyslaw et al. 2016
11 Local Linearizability for Concurrent Container-Type Data Structures Haas, Andreas et al. 2016
12 Nested Weighted Limit-Average Automata of Bounded Width Chatterjee, Krishnendu et al. 2016
13 The Need for Language Support for Fault-Tolerant Distributed Systems Dragoi, Cezara et al. 2015
14 Lipschitz Robustness of Finite-state Transducers Henzinger, Thomas A. et al. 2014
15 The Ackermann Award 2013 Dawar, Anuj et al. 2013
16 Approximate Determinization of Quantitative Automata Boker, Udi et al. 2012
17 Determinizing Discounted-Sum Automata Boker, Udi et al. 2011
18 Generalized Mean-payoff and Energy Games Chatterjee, Krishnendu et al. 2010
19 Lazy Shape Analysis Beyer, Dirk et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 19


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI