Statistics
Publications
2
Citations
43
H-Index
2
Active since
2011
Affiliations
University of Geneva(Current)
Alexis Marechal is an author at University of Geneva specializing in computer architecture, formal methods, and computer engineering.
Publications per year
2011–2013
2
2
High-Level Petri Net Model Checking with AlPiNA
Steve Hostettler, Alexis Marechal, Alban Linard et al. · Fundamenta Informaticae · 2011 · 33 citations · Full text
1–2 of 2