Science Explorer Interactive view Map
Researcher · École Normale Supérieure Paris-Saclay · France

Jean-Marc Faure

Jean-Marc Faure publishes mostly in Computational Theory and Mathematics, Software and Artificial Intelligence, on topics such as Formal Methods in Verification, Semantic Web and Ontologies and Petri Nets in System Modeling.

OpenAlex
World rank
#435,757
of 1,633,909 ranked researchers
Rank in France
#25,781
of 96,116
Works
28
Citations
50
Citations per work
1.8

What does Jean-Marc Faure research?

Computational Theory and Mathematics: 27.3%Software: 22.7%Artificial Intelligence: 18.2%Computer Networks and Communications: 4.5%other fields: 27.3%27%top field
Computational Theory and Mathematics27.3%Software22.7%Artificial Intelligence18.2%Computer Networks and Communications4.5%other fields27.3%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Computational Theory and Mathematics27% of their works
  2. 2Software23% of their works
  3. 3Artificial Intelligence18% of their works
  4. 4Computer Networks and Communications4% of their works
  5. 5Industrial and Manufacturing Engineering4% of their works
  6. 6Control and Systems Engineering4% of their works

Research topics

Which keywords describe Jean-Marc Faure's research?

The keywords of their largest research topics: Model Checking, Symbolic Model Checker, Automated Testing, Deadlock Prevention, Domain-Specific Languages, Model-Driven Engineering, Ontology and Petri Nets.

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 16 words, with their numbers
  1. Model Checking41 topic
  2. Symbolic Model Checker41 topic
  3. Automated Testing21 topic
  4. Deadlock Prevention21 topic
  5. Domain-Specific Languages21 topic
  6. Model-Driven Engineering21 topic
  7. Ontology21 topic
  8. Petri Nets21 topic
  9. Semantic Web21 topic
  10. Software Fault Localization21 topic
  11. Autonomic Computing11 topic
  12. Continuous Queries11 topic
  13. Data Stream Management11 topic
  14. Neural Machine Translation11 topic
  15. Self-Adaptive Systems11 topic
  16. Statistical Machine Translation11 topic

Where does Jean-Marc Faure work?

Jean-Marc Faure's main affiliation in the publication record is École Normale Supérieure Paris-Saclay, France.

How many publications and citations does Jean-Marc Faure have?

Science Explorer counts 28 works and 50 citations for Jean-Marc Faure, ranking #435,757 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.