Science Explorer Back to mapMap
Discussion
Researcher · Commissariat à l'Énergie Atomique et aux Énergies Alternatives · France

Pascal Cuoq

Pascal Cuoq publishes mostly in Software, Artificial Intelligence and Hardware and Architecture, on topics such as Software Testing and Debugging Techniques, Logic, programming, and type systems and Formal Methods in Verification.

OpenAlex
World rank
#2,140,598
of 7,710,434 ranked researchers
Rank in France
#92,666
of 324,115
Works
23
Citations
1k
Citations per work
43.9
h-index
10
i10-index 11Top 44% in Software
Pascal Cuoq

What does Pascal Cuoq research?

Pascal Cuoq's work is mostly in Computer Science (82%).

Physical Sciences: 19 works · 81.6% of their workComputer Science: 19 works · 81.6% of their workSoftware: 6 works · 27.7% of their workArtificial Intelligence: 5 works · 20.0% of their workHardware and Architecture: 3 works · 12.3% of their workComputational Theory and Mathematics: 2 works · 10.8% of their workInformation Systems: 1 works · 6.2% of their workComputer Networks and Communications: 1 works · 4.6% of their workEverything else: 4 works · 18.4% of their workTHEIR WORKPascal Cuoq23works
Physical Sciences82%

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 Science1981.6%
  2. Everything else418.4%
  1. 1Software28% of their works
  2. 2Artificial Intelligence20% of their works
  3. 3Hardware and Architecture12% of their works
  4. 4Computational Theory and Mathematics11% of their works
  5. 5Information Systems6% of their works
  6. 6Computer Networks and Communications5% of their works

Research topics

Which keywords describe Pascal Cuoq's research?

The keywords of their largest research topics: Automated Testing, Software Fault Localization, Model Checking, Formal Verification, Static Analysis, Architecture-Based Approach, Parallel Computing and Performance Optimization.

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. Automated Testing131 topic
  2. Software Fault Localization131 topic
  3. Model Checking122 topics
  4. Formal Verification71 topic
  5. Static Analysis71 topic
  6. Architecture-Based Approach51 topic
  7. Parallel Computing51 topic
  8. Performance Optimization51 topic
  9. Satisfiability Modulo Theories51 topic
  10. Software Reliability Modeling51 topic
  11. Symbolic Model Checker51 topic
  12. Code Clone Detection41 topic
  13. Refactoring41 topic
  14. Security Policies41 topic
  15. Side-Channel Attacks41 topic
  16. Radiation Effects31 topic
  17. Soft Errors31 topic

Where does Pascal Cuoq work?

Pascal Cuoq's main affiliation in the publication record is Commissariat à l'Énergie Atomique et aux Énergies Alternatives, France.

How many publications and citations does Pascal Cuoq have?

OpenAlex counts 23 works and 1,009 citations for Pascal Cuoq, an h-index of 10, ranking #2,140,598 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 Pascal Cuoq. Posts are plain text and can be reported.