Author Info
Name
Affiliation
Papers
STEFAN JAAX
Technische Universität München, München, Germany
6
Collaborators
Citations 
PageRank 
7
5
2.13
Referers 
Referees 
References 
5
66
42
Title
Citations
PageRank
Year
Running Time Analysis of Broadcast Consensus Protocols00.342021
Succinct Population Protocols for Presburger Arithmetic.00.342020
Black Ninjas in the Dark: Formal Analysis of Population Protocols.00.342018
Peregrine: A Tool For The Analysis Of Population Protocols10.362018
Large Flocks of Small Birds: On the Minimal Size of Population Protocols.10.362018
Towards Efficient Verification of Population Protocols.30.402017