Concepedia

Michael Blondin

MB

5

Publications

75

Citations

5

H-Index

2017

Active since

Affiliations

Technical University of Munich(Current)

Université Paris-Saclay

Michael Blondin is an author at Technical University of Munich specializing in formal verification, computational complexity, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationComputational ComplexitySystems EngineeringDiscrete MathematicsVerificationAnimal Behavior

Publications per year

2017–2021

5

Publications

5

The Logical View on Continuous Petri Nets

Michael Blondin, Alain Finkel, Christoph Haase et al. · ACM Transactions on Computational Logic · 2017 · 25 citations

Petri Net, Engineering, Reachability Problem +17

Affine Extensions of Integer Vector Addition Systems with States

Michael Blondin, Christoph Haase, Filip Mazowiecki et al. · Logical Methods in Computer Science · 2021 · 15 citations · Full text

Logics for continuous reachability in Petri nets and vector addition systems with states

Michael Blondin, Christoph Haase · 2017 · 15 citations

Petri Net, Engineering, Reachability Problem +20

Well Behaved Transition Systems

Michael Blondin, Alain Finkel, Pierre McKenzie · SPIRE - Sciences Po Institutional REpository · 2017 · 10 citations · Full text

Large Flocks of Small Birds: on the Minimal Size of Population Protocols.

Michael Blondin, Javier Esparza, Stefan Jaax · arXiv (Cornell University) · 2018 · 10 citations · Full text

Engineering, Communication Complexity, Computational Complexity +18

Rows per page

1–5 of 5