No. Title Author Year
1 Expressive Power of Broadcast Consensus Protocols Blondin, Michael et al. 2019
2 Automatic Analysis of Expected Termination Time for Population Protocols Blondin, Michael et al. 2018
3 Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211) Esparza, Javier et al. 2018
4 Large Flocks of Small Birds: on the Minimal Size of Population Protocols Blondin, Michael et al. 2018
5 Verification of Immediate Observation Population Protocols Esparza, Javier et al. 2018
6 Advances in Quantitative Analysis of Free-Choice Workflow Petri Nets (Invited Talk) Esparza, Javier 2017
7 Model Checking Population Protocols Esparza, Javier et al. 2016
8 Soundness in Negotiations Esparza, Javier et al. 2016
9 Verification of Population Protocols Esparza, Javier et al. 2015
10 Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk) Esparza, Javier 2014
Current Page :
Number of result pages: 2
Number of documents: 16


DROPS-Home | Imprint | Privacy Published by LZI