No. Title Author Year
1 Expressive Power of Broadcast Consensus Protocols Blondin, Michael et al. 2019
2 Affine Extensions of Integer Vector Addition Systems with States Blondin, Michael et al. 2018
3 Automatic Analysis of Expected Termination Time for Population Protocols Blondin, Michael et al. 2018
4 Forward Analysis for WSTS, Part III: Karp-Miller Trees Blondin, Michael et al. 2018
5 Large Flocks of Small Birds: on the Minimal Size of Population Protocols Blondin, Michael et al. 2018
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Imprint | Privacy Published by LZI