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


DROPS-Home | Fulltext Search | Imprint Published by LZI