EasyChair Smart SlideDocs/Log in
Author: Javier Esparza

This page shows all presentations of this author published in EasyChair Smart Slide.

A Classification of Weak Asynchronous Models of Distributed Computing

A Classification of Weak Asynchronous Models of Distributed Computing

Javier Esparza and Fabian Reiter

One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata

One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata

Javier Esparza, Jan Kretinsky and Salomon Sickert

Peregrine: A Tool for the Analysis of Population Protocols

Peregrine: A Tool for the Analysis of Population Protocols

Michael Blondin, Javier Esparza and Stefan Jaax

Black Ninjas in the Dark: Formal Analysis of Population Protocols

Black Ninjas in the Dark: Formal Analysis of Population Protocols

Javier Esparza

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair