Statistics
Publications
13
Citations
313
H-Index
11
Active since
1994
Didier Buchs is an author at École Polytechnique Fédérale de Lausanne specializing in computer science, petri net models, and computing.
Publications per year
1994–2016
13
13
High-Level Petri Net Model Checking with AlPiNA
Steve Hostettler, Alexis Marechal, Alban Linard et al. · Fundamenta Informaticae · 2011 · 33 citations · Full text
Structured Algebraic Nets with Object-Orientation
Olivier Biberstein, Didier Buchs · 1995 · 29 citations
1–5 of 13