No. Title Author Year
1 Deciding the Topological Complexity of Büchi Languages Skrzypczak, Michal et al. 2016
2 Soundness in Negotiations Esparza, Javier et al. 2016
3 Why Liveness for Timed Automata Is Hard, and What We Can Do About It Herbreteau, Frédéric et al. 2016
4 A Model for Behavioural Properties of Higher-order Programs Salvati, Sylvain et al. 2015
5 Ordered Tree-Pushdown Systems Clemente, Lorenzo et al. 2015
6 Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable La Torre, Salvatore et al. 2015
7 Distributed Synthesis for Acyclic Architectures Muscholl, Anca et al. 2014
8 Evaluation is MSOL-compatible Salvati, Sylvain et al. 2013
9 Using non-convex approximations for efficient analysis of timed automata Herbreteau, Frédéric et al. 2011
10 10252 Abstracts Collection -- Game Semantics and Program Verification Mellies, Paul-Andre et al. 2010
Current Page :
Number of result pages: 2
Number of documents: 11


DROPS-Home | Fulltext Search | Imprint Published by LZI