Author pages are created from data sourced from our academic publisher partnerships and public sources.

- Publications
- Influence

Limit-Deterministic Büchi Automata for Linear Temporal Logic

- Salomon Sickert, J. Esparza, S. Jaax, Jan Kretínský
- Computer Science
- CAV
- 17 July 2016

tl;dr

Towards Efficient Verification of Population Protocols

- M. Blondin, J. Esparza, S. Jaax, P. Meyer
- Mathematics, Computer Science
- PODC
- 13 March 2017

tl;dr

Large Flocks of Small Birds: on the Minimal Size of Population Protocols

- M. Blondin, J. Esparza, S. Jaax
- Computer Science
- STACS
- 2 January 2018

tl;dr

Peregrine: A Tool for the Analysis of Population Protocols

- M. Blondin, J. Esparza, S. Jaax
- Computer Science
- CAV
- 14 July 2018

tl;dr

Succinct Population Protocols for Presburger Arithmetic

- M. Blondin, Javier Esparza, B. Genest, Martin Helfrich, S. Jaax
- Computer Science
- STACS
- 10 October 2019

tl;dr

Black Ninjas in the Dark: Formal Analysis of Population Protocols

- M. Blondin, J. Esparza, S. Jaax, A. Kucera
- Computer Science
- LICS
- 9 July 2018

tl;dr

Expressive Power of Broadcast Consensus Protocols

- M. Blondin, J. Esparza, S. Jaax
- Computer Science
- CONCUR
- 5 February 2019

tl;dr

The Complexity of Verifying Population Protocols

- J. Esparza, S. Jaax, Mikhail A. Raskin, Chana Weil-Kennedy
- Mathematics, Computer Science
- ArXiv
- 13 December 2019

tl;dr

Expressive Power of Oblivious Consensus Protocols

- M. Blondin, J. Esparza, S. Jaax
- Computer Science
- ArXiv
- 5 February 2019

tl;dr

On Semigroups of Two-Dimensional Upper-Triangular Integer Matrices

tl;dr