No. Title Author Year
1 A Classification of Weak Asynchronous Models of Distributed Computing Esparza, Javier et al. 2020
2 Flatness and Complexity of Immediate Observation Petri Nets Raskin, Mikhail et al. 2020
3 Front Matter, Table of Contents, Preface, Conference Organization Esparza, Javier et al. 2020
4 LIPIcs, Volume 170, MFCS 2020, Complete Volume Esparza, Javier et al. 2020
5 Succinct Population Protocols for Presburger Arithmetic Blondin, Michael et al. 2020
6 Expressive Power of Broadcast Consensus Protocols Blondin, Michael et al. 2019
7 Automatic Analysis of Expected Termination Time for Population Protocols Blondin, Michael et al. 2018
8 Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211) Esparza, Javier et al. 2018
9 Large Flocks of Small Birds: on the Minimal Size of Population Protocols Blondin, Michael et al. 2018
10 Verification of Immediate Observation Population Protocols Esparza, Javier et al. 2018
11 Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk) Esparza, Javier 2017
12 Model Checking Population Protocols Esparza, Javier et al. 2016
13 Soundness in Negotiations Esparza, Javier et al. 2016
14 Verification of Population Protocols Esparza, Javier et al. 2015
15 Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk) Esparza, Javier 2014
16 Reachability Problems for Infinite-State Systems (Dagstuhl Seminar 14141) Esparza, Javier et al. 2014
17 Computation of Summaries Using Net Unfoldings Esparza, Javier et al. 2013
18 Computing Least Fixed Points of Probabilistic Systems of Polynomials Esparza, Javier et al. 2010
19 On the Memory Consumption of Probabilistic Pushdown Automata Brazdil, Tomas et al. 2009
20 Convergence Thresholds of Newton's Method for Monotone Polynomial Equations Esparza, Javier et al. 2008
21 Reachability analysis of multithreaded software with asynchronous communication Bouajjani, Ahmed et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 21


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