Science Explorer Back to mapMap
Discussion
Researcher · Airbus (France) · France

David Delmas

David Delmas publishes mostly in Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence, on topics such as Formal Methods in Verification, Real-Time Systems Scheduling and Logic, programming, and type systems.

ORCID 0000-0002-9236-9870 OpenAlex
World rank
#3,213,289
of 7,710,434 ranked researchers
Rank in France
#135,792
of 324,115
Works
18
Citations
407
Citations per work
22.6
h-index
8
i10-index 7Top 57% in Computational Theory and Mathematics
David Delmas

What does David Delmas research?

David Delmas's work is mostly in Computer Science (75%), Engineering (10%).

Physical Sciences: 15 works · 85.6% of their workComputer Science: 14 works · 75.4% of their workComputational Theory and Mathematics: 4 works · 24.5% of their workHardware and Architecture: 4 works · 22.4% of their workArtificial Intelligence: 2 works · 12.2% of their workSoftware: 2 works · 10.2% of their workInformation Systems: 1 works · 6.1% of their workEngineering: 2 works · 10.2% of their workControl and Systems Engineering: 2 works · 10.2% of their workEverything else: 3 works · 14.4% of their workTHEIR WORKDavid Delmas18works
Physical Sciences86%

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 Science1475.4%
    2. Engineering210.2%
  2. Everything else314.4%
  1. 1Computational Theory and Mathematics24% of their works
  2. 2Hardware and Architecture22% of their works
  3. 3Artificial Intelligence12% of their works
  4. 4Software10% of their works
  5. 5Control and Systems Engineering10% of their works
  6. 6Information Systems6% of their works

Research topics

Which keywords describe David Delmas's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Embedded Systems, Hard Real-Time Systems, Scheduling Algorithms, Formal Verification and 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 18 words, with their numbers
  1. Model Checking152 topics
  2. Satisfiability Modulo Theories101 topic
  3. Symbolic Model Checker101 topic
  4. Embedded Systems92 topics
  5. Hard Real-Time Systems61 topic
  6. Scheduling Algorithms61 topic
  7. Formal Verification51 topic
  8. Static Analysis51 topic
  9. Hardware-in-the-Loop41 topic
  10. Real-Time Simulation41 topic
  11. Assurance Cases31 topic
  12. Automated Testing31 topic
  13. Code Clone Detection31 topic
  14. High-Level Synthesis31 topic
  15. Reconfigurable Computing31 topic
  16. Refactoring31 topic
  17. Safety Assurance31 topic
  18. Software Fault Localization31 topic

Where does David Delmas work?

David Delmas's main affiliation in the publication record is Airbus (France), France.

How many publications and citations does David Delmas have?

OpenAlex counts 18 works and 407 citations for David Delmas, an h-index of 8, ranking #3,213,289 of 7,710,434 researchers worldwide on the quality 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.

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 David Delmas. Posts are plain text and can be reported.