Science Explorer Interactive view Map
Researcher · SRI International · United States

Bruno Dutertre

Bruno Dutertre publishes mostly in Computational Theory and Mathematics, Hardware and Architecture and Computer Networks and Communications, on topics such as Formal Methods in Verification, Real-Time Systems Scheduling and Logic, programming, and type systems.

ORCID 0000-0002-6284-380X OpenAlex
World rank
#84,958
of 1,633,909 ranked researchers
Rank in United States
#37,685
of 358,040
Works
25
Citations
357
Citations per work
14.3

What does Bruno Dutertre research?

Computational Theory and Mathematics: 26.9%Hardware and Architecture: 23.1%Computer Networks and Communications: 15.4%Industrial and Manufacturing Engineering: 11.5%other fields: 23.1%27%top field
Computational Theory and Mathematics26.9%Hardware and Architecture23.1%Computer Networks and Communications15.4%Industrial and Manufacturing Engineering11.5%other fields23.1%

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 Mathematics27% of their works
  2. 2Hardware and Architecture23% of their works
  3. 3Computer Networks and Communications15% of their works
  4. 4Industrial and Manufacturing Engineering12% of their works
  5. 5Artificial Intelligence8% of their works
  6. 6Software8% of their works

Research topics

Which keywords describe Bruno Dutertre's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Hard Real-Time Systems, Scheduling Algorithms, Formal Verification, Static Analysis and Deadlock Prevention.

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. Model Checking72 topics
  2. Satisfiability Modulo Theories51 topic
  3. Symbolic Model Checker51 topic
  4. Hard Real-Time Systems31 topic
  5. Scheduling Algorithms31 topic
  6. Formal Verification21 topic
  7. Static Analysis21 topic
  8. Deadlock Prevention11 topic
  9. Energy-Efficient Protocols11 topic
  10. Interconnection Networks11 topic
  11. Intrusion Detection11 topic
  12. Modelica11 topic
  13. Network Security11 topic
  14. Networks on Chip11 topic
  15. Petri Nets11 topic
  16. Simulation11 topic
  17. Wireless Sensor Networks11 topic

Where does Bruno Dutertre work?

Bruno Dutertre's main affiliation in the publication record is SRI International, United States.

How many publications and citations does Bruno Dutertre have?

Science Explorer counts 25 works and 357 citations for Bruno Dutertre, ranking #84,958 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.

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.