Science Explorer Interactive view Map

Sébastien Lahaye

Sébastien Lahaye publishes mostly in Computational Theory and Mathematics, Materials Chemistry and Industrial and Manufacturing Engineering, on topics such as Petri Nets in System Modeling, Formal Methods in Verification and Nuclear reactor physics and engineering.

World rank
#1,452,830
of 1,633,909 ranked researchers
Rank in France
#87,281
of 96,116
Works
18
Citations
15
Citations per work
0.8

What does Sébastien Lahaye research?

Computational Theory and Mathematics: 25.9%Materials Chemistry: 11.1%Industrial and Manufacturing Engineering: 11.1%Aerospace Engineering: 11.1%other fields: 40.8%26%top field
Computational Theory and Mathematics25.9%Materials Chemistry11.1%Industrial and Manufacturing Engineering11.1%Aerospace Engineering11.1%other fields40.8%

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 Mathematics26% of their works
  2. 2Materials Chemistry11% of their works
  3. 3Industrial and Manufacturing Engineering11% of their works
  4. 4Aerospace Engineering11% of their works
  5. 5Radiation11% of their works
  6. 6General Health Professions7% of their works

Research topics

Which keywords describe Sébastien Lahaye's research?

The keywords of their largest research topics: Deadlock Prevention, Model Checking, Petri Nets, Molten Salt, Neutron Imaging, Nuclear Reactor, Satisfiability Modulo Theories and Small-Angle Scattering.

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
  1. Deadlock Prevention41 topic
  2. Model Checking42 topics
  3. Petri Nets41 topic
  4. Molten Salt31 topic
  5. Neutron Imaging31 topic
  6. Nuclear Reactor31 topic
  7. Satisfiability Modulo Theories31 topic
  8. Small-Angle Scattering31 topic
  9. Symbolic Model Checker31 topic
  10. Accident Tolerant Fuels21 topic
  11. Fuel Cladding21 topic
  12. Distributed Systems11 topic
  13. Fault Tolerance11 topic
  14. Formal Verification11 topic
  15. High-Level Synthesis11 topic
  16. Reconfigurable Computing11 topic
  17. Static Analysis11 topic

Where does Sébastien Lahaye work?

Sébastien Lahaye's main affiliation in the publication record is Commissariat à l'Énergie Atomique et aux Énergies Alternatives, France.

How many publications and citations does Sébastien Lahaye have?

Science Explorer counts 18 works and 15 citations for Sébastien Lahaye, ranking #1,452,830 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 Sébastien Lahaye

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.