Science Explorer Interactive view Map
Researcher · Verimag · France

Pascal Raymond

Pascal Raymond publishes mostly in Hardware and Architecture, Computational Theory and Mathematics and Electrical and Electronic Engineering, on topics such as Formal Methods in Verification, Embedded Systems Design Techniques and Logic, programming, and type systems.

ORCID 0000-0003-3876-9125 OpenAlex
World rank
#118,273
of 1,633,909 ranked researchers
Rank in France
#6,137
of 96,116
Works
29
Citations
222
Citations per work
7.7

What does Pascal Raymond research?

Hardware and Architecture: 19.4%Computational Theory and Mathematics: 16.7%Electrical and Electronic Engineering: 11.1%Computer Networks and Communications: 8.3%other fields: 44.5%19%top field
Hardware and Architecture19.4%Computational Theory and Mathematics16.7%Electrical and Electronic Engineering11.1%Computer Networks and Communications8.3%other fields44.5%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Hardware and Architecture19% of their works
  2. 2Computational Theory and Mathematics17% of their works
  3. 3Electrical and Electronic Engineering11% of their works
  4. 4Computer Networks and Communications8% of their works
  5. 5Software8% of their works
  6. 6Artificial Intelligence8% of their works

Research topics

Which keywords describe Pascal Raymond's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, High-Level Synthesis, Reconfigurable Computing, Agricultural Origins, Formal Verification and Radiocarbon Dating.

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 Checking82 topics
  2. Satisfiability Modulo Theories51 topic
  3. Symbolic Model Checker51 topic
  4. High-Level Synthesis41 topic
  5. Reconfigurable Computing41 topic
  6. Agricultural Origins31 topic
  7. Formal Verification31 topic
  8. Radiocarbon Dating31 topic
  9. Static Analysis31 topic
  10. Architecture-Based Approach21 topic
  11. Embedded Cores21 topic
  12. Software Reliability Modeling21 topic
  13. Test Data Compression21 topic
  14. Deadlock Prevention11 topic
  15. Interconnection Networks11 topic
  16. Networks on Chip11 topic
  17. Petri Nets11 topic

Where does Pascal Raymond work?

Pascal Raymond's main affiliation in the publication record is Verimag, France.

How many publications and citations does Pascal Raymond have?

Science Explorer counts 29 works and 222 citations for Pascal Raymond, ranking #118,273 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.