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


DROPS-Home | Fulltext Search | Imprint Published by LZI