Thomas Chatain
Thomas Chatain publishes mostly in Computational Theory and Mathematics, Software and Molecular Biology, on topics such as Formal Methods in Verification, Petri Nets in System Modeling and Model-Driven Software Engineering Techniques.
- World rank
- #1,230,916 of 1,633,909 ranked researchers
- Rank in France
- #75,300 of 96,116
- Works
- 18
- Citations
- 25
- Citations per work
- 1.4
What does Thomas Chatain research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics32% of their works
- 2Software14% of their works
- 3Molecular Biology9% of their works
- 4Artificial Intelligence9% of their works
- 5Management Information Systems9% of their works
- 6Computer Vision and Pattern Recognition4% of their works
Research topics
- Formal Methods in Verification
- Petri Nets in System Modeling
- Model-Driven Software Engineering Techniques
- Business Process Modeling and Analysis
- Genetics, Bioinformatics, and Biomedical Research
- Fractal and DNA sequence analysis
- Logic, programming, and type systems
- Advanced Software Engineering Methodologies
Which keywords describe Thomas Chatain's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Deadlock Prevention, Domain-Specific Languages, Model-Driven Engineering, Petri Nets and Business Process Management.
- Self-Adaptive Systems
- Formal Verification
- DNA Sequences
- Autonomic Computing
- Business Process Management
- Model-Driven Engineering
- Deadlock Prevention
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Domain-Specific Languages
- Petri Nets
- Workflow Mining
- Bioinformatics
- Education
- Genomic Signal Processing
- Static Analysis
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 17 words, with their numbers
- Model Checking52 topics
- Satisfiability Modulo Theories41 topic
- Symbolic Model Checker41 topic
- Deadlock Prevention31 topic
- Domain-Specific Languages31 topic
- Model-Driven Engineering31 topic
- Petri Nets31 topic
- Business Process Management21 topic
- Workflow Mining21 topic
- Autonomic Computing11 topic
- Bioinformatics11 topic
- DNA Sequences11 topic
- Education11 topic
- Formal Verification11 topic
- Genomic Signal Processing11 topic
- Self-Adaptive Systems11 topic
- Static Analysis11 topic
Where does Thomas Chatain work?
Thomas Chatain's main affiliation in the publication record is École Normale Supérieure Paris-Saclay, France.
How many publications and citations does Thomas Chatain have?
Science Explorer counts 18 works and 25 citations for Thomas Chatain, ranking #1,230,916 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.