Concepedia

Thomas Chatain

TC

9

Publications

306

Citations

9

H-Index

2008

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

École Normale Supérieure Paris-Saclay

Université Paris-Saclay

Université Paris-Sud

Laboratoire Méthodes Formelles

Thomas Chatain is an author at Centre National de la Recherche Scientifique specializing in formal methods, formal verification, and computer science.

ORCID

Top concepts

Publications per year

2008–2020

9

Publications

9

AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA

Étienne André, Thomas Chatain, Laurent Fribourg et al. · International Journal of Foundations of Computer Science · 2009 · 100 citations

, , +14

Reconciling qualitative, abstract, and scalable modeling of biological networks

Loïc Paulevé, Thomas Chatain, Stefan Haar · Nature Communications · 2020 · 90 citations · Full text

Optimized SAT encoding of conformance checking artefacts

Mathilde Boltenhagen, Thomas Chatain, Josep Carmona · Computing · 2020 · 28 citations · Full text

, , +11

Reconciling Qualitative, Abstract, and Scalable Modeling of Biological Networks

Loïc Paulevé, Juraj Kolčák, Thomas Chatain et al. · 2020 · 19 citations · Full text

Playing Games with Timed Games

Thomas Chatain, Alexandre David, Kim G. Larsen · IFAC Proceedings Volumes · 2009 · 17 citations

, , +6

Rows per page

1–5 of 9