Yann Thierry-Mieg
Identifiers
- name variant Yann Thierry-Mieg 0.60 · backfill
Papers (2)
- Model Checking Contest @ Petri Nets, Report on the 2013 edition cs.SE · 2013 · author #15
- Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking cs.LO · 2011 · author #4
Mentions
Frequent Coauthors
- Alban Linard 1 shared papers
- Alexandre Duret-Lutz 1 shared papers
- Alexis Marechal 1 shared papers
- C\'esar Rodr\'iguez 1 shared papers
- Christian Rohr 1 shared papers
- Denis Poitrenaud 1 shared papers
- Didier Buchs 1 shared papers
- Emmanuel Paviot-Adet 1 shared papers
- Fabrice Kordon 1 shared papers
- Fabrice Legond-Aubry 1 shared papers
- Francis Hulin-Hubard 1 shared papers
- Franck Pommereau 1 shared papers
- Harro Wimmel 1 shared papers
- Kais Klai 1 shared papers
- Karsten Wolf 1 shared papers
- Lom-Messan Hillah 1 shared papers
- {\L}ukasz Fronc 1 shared papers
- Marco Beccuti 1 shared papers
- Niels Lohmann 1 shared papers