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

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