Science Explorer Interactive view Map
Researcher · Centre National de la Recherche Scientifique · France

Laurent Simon

Laurent Simon publishes mostly in Materials Chemistry, Electrical and Electronic Engineering and Artificial Intelligence, on topics such as Formal Methods in Verification, Catalytic Processes in Materials Science and Logic, programming, and type systems.

ORCID 0000-0002-2627-1525 OpenAlex
World rank
#791,116
of 1,633,909 ranked researchers
Rank in France
#48,995
of 96,116
Works
47
Citations
113
Citations per work
2.4

What does Laurent Simon research?

Materials Chemistry: 11.1%Electrical and Electronic Engineering: 11.1%Artificial Intelligence: 11.1%Computational Theory and Mathematics: 9.5%other fields: 57.2%11%top field
Materials Chemistry11.1%Electrical and Electronic Engineering11.1%Artificial Intelligence11.1%Computational Theory and Mathematics9.5%other fields57.2%

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

  1. 1Materials Chemistry11% of their works
  2. 2Electrical and Electronic Engineering11% of their works
  3. 3Artificial Intelligence11% of their works
  4. 4Computational Theory and Mathematics10% of their works
  5. 5Computer Networks and Communications8% of their works
  6. 6Computational Mechanics5% of their works

Research topics

Which keywords describe Laurent Simon's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Catalysis, Nanoparticles, Atomic Layer Deposition and Constraint Optimization.

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 18 words, with their numbers
  1. Model Checking103 topics
  2. Temporal Logic72 topics
  3. Satisfiability Modulo Theories51 topic
  4. Symbolic Model Checker51 topic
  5. Catalysis41 topic
  6. Nanoparticles41 topic
  7. Atomic Layer Deposition31 topic
  8. Constraint Optimization31 topic
  9. Distributed Algorithms31 topic
  10. Formal Verification31 topic
  11. High-k Dielectrics31 topic
  12. Scanning Electron Microscopy31 topic
  13. Static Analysis31 topic
  14. X-ray Photoelectron Spectroscopy31 topic
  15. Answer Set Programming21 topic
  16. Automated Testing21 topic
  17. Modal Logic21 topic
  18. Software Fault Localization21 topic

Where does Laurent Simon work?

Laurent Simon's main affiliation in the publication record is Centre National de la Recherche Scientifique, France.

How many publications and citations does Laurent Simon have?

Science Explorer counts 47 works and 113 citations for Laurent Simon, ranking #791,116 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.

Other researchers named Laurent Simon

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.