ask others

Stefan Jaax

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c4]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/lics/BlondinEJK18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/BlondinEJK18
Michael Blondin, Javier Esparza, Stefan Jaax, Antonín Kucera:
Black Ninjas in the Dark: Formal Analysis of Population Protocols. LICS 2018: 1-10
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stacs/BlondinEJ18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stacs/BlondinEJ18
Michael Blondin, Javier Esparza, Stefan Jaax:
Large Flocks of Small Birds: on the Minimal Size of Population Protocols. STACS 2018: 16:1-16:14
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1801-00742
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1801-00742
Michael Blondin, Javier Esparza, Stefan Jaax:
Large Flocks of Small Birds: On the Minimal Size of Population Protocols. CoRR abs/1801.00742 (2018)
2017
[c2]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/podc/BlondinEJM17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/podc/BlondinEJM17
Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer:
Towards Efficient Verification of Population Protocols. PODC 2017: 423-430
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BlondinJEM17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BlondinJEM17
Michael Blondin, Stefan Jaax, Javier Esparza, Philipp J. Meyer:
Towards Efficient Verification of Population Protocols. CoRR abs/1703.04367 (2017)
2016
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/SickertEJK16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/SickertEJK16
Salomon Sickert, Javier Esparza, Stefan Jaax, Jan Kretínský:
Limit-Deterministic Büchi Automata for Linear Temporal Logic. CAV (2) 2016: 312-332

Coauthor Index

see FAQ

maintained by

at