Stefan Jaax

2PUBLICATIONS
5CO-AUTHORS
Computational logic and formal languagesData structures and algorithms
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

|Dec 06, 2021
Towards efficient verification of population protocols.

Michael Blondin, Javier Esparza, Stefan Jaax

|Nov 01, 2021
The complexity of verifying population protocols.

Javier Esparza, Stefan Jaax, Mikhail Raskin

Pageof 1

Frequent Collaborators

2 joint publications

Javier Esparza

1 joint publications

Mikhail Raskin

1 joint publications

Chana Weil-Kennedy

1 joint publications

Michael Blondin