Science Explorer Back to mapMap
Discussion
Researcher · Verimag · France

Paul Caspi

Paul Caspi publishes mostly in Hardware and Architecture, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Embedded Systems Design Techniques, Formal Methods in Verification and Real-Time Systems Scheduling.

OpenAlex
World rank
#462,830
of 7,710,434 ranked researchers
Rank in France
#24,557
of 324,115
Works
69
Citations
3.1k
Citations per work
44.9
h-index
25
i10-index 41Top 6.9% in Hardware and Architecture
Paul Caspi

What does Paul Caspi research?

Paul Caspi's work is mostly in Computer Science (85%), Engineering (6%).

Physical Sciences: 62 works · 90.1% of their workComputer Science: 58 works · 84.6% of their workHardware and Architecture: 30 works · 44.0% of their workComputational Theory and Mathematics: 15 works · 22.0% of their workComputer Networks and Communications: 7 works · 10.4% of their workArtificial Intelligence: 4 works · 6.0% of their workSoftware: 2 works · 2.2% of their workEngineering: 4 works · 5.5% of their workControl and Systems Engineering: 4 works · 5.5% of their workEverything else: 7 works · 9.9% of their workTHEIR WORKPaul Caspi69works
Physical Sciences90%

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 Science5884.6%
    2. Engineering45.5%
  2. Everything else79.9%
  1. 1Hardware and Architecture44% of their works
  2. 2Computational Theory and Mathematics22% of their works
  3. 3Computer Networks and Communications10% of their works
  4. 4Artificial Intelligence6% of their works
  5. 5Control and Systems Engineering6% of their works
  6. 6Software2% of their works

Research topics

Which keywords describe Paul Caspi's research?

The keywords of their largest research topics: Embedded Systems, Model Checking, High-Level Synthesis, Reconfigurable Computing, Satisfiability Modulo Theories, Symbolic Model Checker, 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. Embedded Systems602 topics
  2. Model Checking362 topics
  3. High-Level Synthesis351 topic
  4. Reconfigurable Computing351 topic
  5. Satisfiability Modulo Theories281 topic
  6. Symbolic Model Checker281 topic
  7. Hard Real-Time Systems251 topic
  8. Scheduling Algorithms251 topic
  9. Parallel Computing191 topic
  10. Performance Optimization191 topic
  11. Deadlock Prevention91 topic
  12. Distributed Systems91 topic
  13. Fault Tolerance91 topic
  14. Petri Nets91 topic
  15. Formal Verification81 topic
  16. Static Analysis81 topic
  17. Hardware-in-the-Loop71 topic
  18. Real-Time Simulation71 topic

Where does Paul Caspi work?

Paul Caspi's main affiliation in the publication record is Verimag, France.

How many publications and citations does Paul Caspi have?

OpenAlex counts 69 works and 3,098 citations for Paul Caspi, an h-index of 25, ranking #462,830 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 Paul Caspi. 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.