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?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics26% of their works
- 2Materials Chemistry11% of their works
- 3Industrial and Manufacturing Engineering11% of their works
- 4Aerospace Engineering11% of their works
- 5Radiation11% of their works
- 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.
- Reconfigurable Computing
- Formal Verification
- Distributed Systems
- Accident Tolerant Fuels
- Small-Angle Scattering
- Nuclear Reactor
- Molten Salt
- Model Checking
- Deadlock Prevention
- Petri Nets
- Neutron Imaging
- Satisfiability Modulo Theories
- Symbolic Model Checker
- Fuel Cladding
- Fault Tolerance
- High-Level Synthesis
- 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
- Deadlock Prevention41 topic
- Model Checking42 topics
- Petri Nets41 topic
- Molten Salt31 topic
- Neutron Imaging31 topic
- Nuclear Reactor31 topic
- Satisfiability Modulo Theories31 topic
- Small-Angle Scattering31 topic
- Symbolic Model Checker31 topic
- Accident Tolerant Fuels21 topic
- Fuel Cladding21 topic
- Distributed Systems11 topic
- Fault Tolerance11 topic
- Formal Verification11 topic
- High-Level Synthesis11 topic
- Reconfigurable Computing11 topic
- 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.