Science Explorer Back to mapMap
Discussion
Researcher · Verimag · France

Nicolas Halbwachs

Nicolas Halbwachs 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 Real-Time Systems Scheduling.

ORCID 0000-0002-1426-7967 OpenAlex
World rank
#184,921
of 7,710,434 ranked researchers
Rank in France
#12,272
of 324,115
Works
104
Citations
12k
Citations per work
110.7
h-index
36
i10-index 58Top 2.4% in Hardware and Architecture
Nicolas Halbwachs

What does Nicolas Halbwachs research?

Nicolas Halbwachs's work is mostly in Computer Science (82%), Health Professions (3%).

Physical Sciences: 86 works · 82.3% of their workComputer Science: 86 works · 82.3% of their workHardware and Architecture: 30 works · 29.0% of their workComputational Theory and Mathematics: 29 works · 27.9% of their workSoftware: 13 works · 12.1% of their workArtificial Intelligence: 9 works · 8.5% of their workComputer Networks and Communications: 5 works · 4.8% of their workEverything else: 15 works · 14.8% of their workHealth Sciences: 3 works · 2.9% of their workHealth Professions: 3 works · 2.9% of their workGeneral Health Professions: 3 works · 2.9% of their workTHEIR WORKNicolas Halbwachs104works
Physical Sciences82%Health Sciences3%

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
    1. Computer Science8682.3%
  2. Everything else1514.8%
    1. Health Professions32.9%
  1. 1Hardware and Architecture29% of their works
  2. 2Computational Theory and Mathematics28% of their works
  3. 3Software12% of their works
  4. 4Artificial Intelligence8% of their works
  5. 5Computer Networks and Communications5% of their works
  6. 6General Health Professions3% of their works

Research topics

Which keywords describe Nicolas Halbwachs's research?

The keywords of their largest research topics: Model Checking, Embedded Systems, Satisfiability Modulo Theories, Symbolic Model Checker, High-Level Synthesis, Reconfigurable Computing, Hard Real-Time Systems and Scheduling Algorithms.

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
  1. Model Checking732 topics
  2. Embedded Systems602 topics
  3. Satisfiability Modulo Theories571 topic
  4. Symbolic Model Checker571 topic
  5. High-Level Synthesis391 topic
  6. Reconfigurable Computing391 topic
  7. Hard Real-Time Systems211 topic
  8. Scheduling Algorithms211 topic
  9. Automated Testing201 topic
  10. Software Fault Localization201 topic
  11. Parallel Computing191 topic
  12. Performance Optimization191 topic
  13. Formal Verification161 topic
  14. Static Analysis161 topic
  15. Deadlock Prevention111 topic
  16. Petri Nets111 topic
  17. Architecture-Based Approach71 topic
  18. Software Reliability Modeling71 topic

Where does Nicolas Halbwachs work?

Nicolas Halbwachs's main affiliation in the publication record is Verimag, France.

How many publications and citations does Nicolas Halbwachs have?

OpenAlex counts 104 works and 11,515 citations for Nicolas Halbwachs, an h-index of 36, ranking #184,921 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 Nicolas Halbwachs. 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.