Michael Blondin
Scholar

Michael Blondin

Google Scholar ID: aM8Fe9wAAAAJ
Associate professor, Université de Sherbrooke
automata theoryalgorithmic verificationlogic in computer sciencetheoretical computer science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
435
 
H-index
13
 
i10-index
18
 
Publications
20
 
Co-authors
17
list available
Contact
No contact links provided.
Publications
2 items
Weakly acyclic diagrams: A data structure for infinite-state symbolic verification
arXiv.org · 2024
Cited
0
Soundness of reset workflow nets
Logic in Computer Science · 2024
Cited
0
Resume (English only)
Co-authors
17 total
Alain Finkel
Alain Finkel
LMF ENS Paris Saclay
Javier Esparza
Javier Esparza
Professor of Computer Science, Technical University of Munich
Christoph Haase
Christoph Haase
University of Oxford
Philip Offtermatt
Philip Offtermatt
Research Engineer @ Informal Systems
Filip Mazowiecki
Filip Mazowiecki
University of Warsaw
Co-author 6
Co-author 6
Antonin Kucera
Antonin Kucera
Masaryk University
Co-author 8
Co-author 8