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


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