Travelled to:1 × Denmark
1 × Japan
Collaborated with:A.Finkel P.McKenzie J.Esparza S.Jaax S.Göller C.Haase
Talks about:dimension (1) reachabl (1) protocol (1) peregrin (1) infinit (1) complet (1) analysi (1) vector (1) system (1) pspace (1)
Person: Michael Blondin
DBLP: Blondin:Michael
Contributed to:
2015
2014
2018Wrote 3 papers:
- LICS-2015-BlondinFGHM #2d #reachability
- Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete (MB, AF, SG, CH, PM), pp. 32–43.
- ICALP-v2-2014-BlondinFM #branch #infinity
- Handling Infinitely Branching WSTS (MB, AF, PM), pp. 13–25.
- CAV-2018-BlondinEJ #analysis #named #protocol
- Peregrine: A Tool for the Analysis of Population Protocols (MB, JE, SJ), pp. 604–611.