Javier Esparza

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Clinical Practice

Randomized Controlled Trial

Top Venues

Formal methods in system design

Distributed computing

This page only lists publications with an associated author ORCID identifier.

Publications

Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J Meyer
Towards efficient verification of population protocols. Formal methods in system design 57 (3) (2021)
Javier Esparza, Stefan Jaax, Mikhail Raskin, Chana Weil-Kennedy
The complexity of verifying population protocols. Distributed computing 34 (2) (2021)