Grégoire Hamon
Grégoire Hamon publishes mostly in Hardware and Architecture, Computational Theory and Mathematics and Software, on topics such as Formal Methods in Verification, Embedded Systems Design Techniques and Parallel Computing and Optimization Techniques.
- World rank
- #931,695 of 7,710,434 ranked researchers
- Rank in United States
- #306,334 of 1,627,098
- Works
- 23
- Citations
- 916
- Citations per work
- 39.8
What does Grégoire Hamon research?
Grégoire Hamon's work is mostly in Computer Science (85%), Decision Sciences (5%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences1984.7%
- Computer Science1984.7%
- Everything else210.7%
- Social Sciences14.6%
- Decision Sciences14.6%
- 1Hardware and Architecture31% of their works
- 2Computational Theory and Mathematics23% of their works
- 3Software17% of their works
- 4Computer Networks and Communications8% of their works
- 5Artificial Intelligence6% of their works
- 6Management Science and Operations Research5% of their works
Research topics
- Formal Methods in Verification
- Embedded Systems Design Techniques
- Parallel Computing and Optimization Techniques
- Software Testing and Debugging Techniques
- Model-Driven Software Engineering Techniques
- Software Reliability and Analysis Research
- Simulation Techniques and Applications
- Logic, programming, and type systems
Which keywords describe Grégoire Hamon's research?
The keywords of their largest research topics: Model Checking, High-Level Synthesis, Reconfigurable Computing, Satisfiability Modulo Theories, Symbolic Model Checker, Metamodeling, Parallel Computing and Performance Optimization.
- Static Analysis
- Verification and Validation
- Simulation Optimization
- Software Fault Localization
- Domain-Specific Languages
- Performance Optimization
- Metamodeling
- Satisfiability Modulo Theories
- High-Level Synthesis
- Model Checking
- Reconfigurable Computing
- Symbolic Model Checker
- Parallel Computing
- Automated Testing
- Model-Driven Engineering
- Architecture-Based Approach
- Software Reliability Modeling
- Formal Verification
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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 18 words, with their numbers
- Model Checking142 topics
- High-Level Synthesis121 topic
- Reconfigurable Computing121 topic
- Satisfiability Modulo Theories121 topic
- Symbolic Model Checker121 topic
- Metamodeling72 topics
- Parallel Computing71 topic
- Performance Optimization71 topic
- Automated Testing41 topic
- Domain-Specific Languages41 topic
- Model-Driven Engineering41 topic
- Software Fault Localization41 topic
- Architecture-Based Approach31 topic
- Simulation Optimization31 topic
- Software Reliability Modeling31 topic
- Verification and Validation31 topic
- Formal Verification21 topic
- Static Analysis21 topic
Where does Grégoire Hamon work?
Grégoire Hamon's main affiliation in the publication record is MathWorks (United States), United States.
How many publications and citations does Grégoire Hamon have?
OpenAlex counts 23 works and 916 citations for Grégoire Hamon, an h-index of 15, ranking #931,695 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Grégoire Hamon. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.