No. Title Author Year
1 Synchronizing the Asynchronous Kragl, Bernhard et al. 2018
2 Bidirectional Nested Weighted Automata Chatterjee, Krishnendu et al. 2017
3 Infinite-Duration Bidding Games Avni, Guy et al. 2017
4 Linear Distances between Markov Chains Daca, Przemyslaw et al. 2016
5 Local Linearizability for Concurrent Container-Type Data Structures Haas, Andreas et al. 2016
6 Nested Weighted Limit-Average Automata of Bounded Width Chatterjee, Krishnendu et al. 2016
7 The Need for Language Support for Fault-Tolerant Distributed Systems Dragoi, Cezara et al. 2015
8 Lipschitz Robustness of Finite-state Transducers Henzinger, Thomas A. et al. 2014
9 The Ackermann Award 2013 Dawar, Anuj et al. 2013
10 Approximate Determinization of Quantitative Automata Boker, Udi et al. 2012
Current Page :
Number of result pages: 2
Number of documents: 13


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