×

zbMATH — the first resource for mathematics

Blondin, Michael

Compute Distance To:
Author ID: blondin.michael Recent zbMATH articles by "Blondin, Michael"
Published as: Blondin, Michael
Documents Indexed: 15 Publications since 2012

Publications by Year

Citations contained in zbMATH

7 Publications have been cited 16 times in 13 Documents Cited by Year
Reachability in two-dimensional vector addition systems with states is PSPACE-complete. Zbl 1401.68095
Blondin, Michael; Finkel, Alain; Goller, Stefan; Haase, Christoph; McKenzie, Pierre
7
2015
Well behaved transition systems. Zbl 06790161
Blondin, Michael; Finkel, Alain; McKenzie, Pierre
3
2017
Handling infinitely branching well-structured transition systems. Zbl 1383.68054
Blondin, Michael; Finkel, Alain; McKenzie, Pierre
2
2018
Forward analysis for WSTS. Part III: Karp-Miller trees. Zbl 07278088
Blondin, Michael; Finkel, Alain; Goubault-Larrecq, Jean
1
2018
Towards efficient verification of population protocols. Zbl 1380.68037
Blondin, Michael; Esparza, Javier; Jaax, Stefan; Meyer, Philipp J.
1
2017
Handling infinitely branching WSTS. Zbl 1382.68149
Blondin, Michael; Finkel, Alain; McKenzie, Pierre
1
2014
The complexity of intersecting finite automata having few final states. Zbl 1360.68495
Blondin, Michael; McKenzie, Pierre
1
2012
Handling infinitely branching well-structured transition systems. Zbl 1383.68054
Blondin, Michael; Finkel, Alain; McKenzie, Pierre
2
2018
Forward analysis for WSTS. Part III: Karp-Miller trees. Zbl 07278088
Blondin, Michael; Finkel, Alain; Goubault-Larrecq, Jean
1
2018
Well behaved transition systems. Zbl 06790161
Blondin, Michael; Finkel, Alain; McKenzie, Pierre
3
2017
Towards efficient verification of population protocols. Zbl 1380.68037
Blondin, Michael; Esparza, Javier; Jaax, Stefan; Meyer, Philipp J.
1
2017
Reachability in two-dimensional vector addition systems with states is PSPACE-complete. Zbl 1401.68095
Blondin, Michael; Finkel, Alain; Goller, Stefan; Haase, Christoph; McKenzie, Pierre
7
2015
Handling infinitely branching WSTS. Zbl 1382.68149
Blondin, Michael; Finkel, Alain; McKenzie, Pierre
1
2014
The complexity of intersecting finite automata having few final states. Zbl 1360.68495
Blondin, Michael; McKenzie, Pierre
1
2012

Citations by Year