litlas
Log inCreate account

Pascal Cuoq

Active 2001–2019

17
Papers
897
Citations
9
h-index
8
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for Pascal Cuoq2001: 1 citations2002: 1 citations2004: 2 citations2005: 1 citations2008: 1 citations2009: 3 citations2010: 3 citations2011: 10 citations2012: 20 citations2013: 44 citations2014: 69 citations2015: 63 citations2016: 53 citations2017: 54 citations2018: 49 citations2019: 47 citations2020: 55 citations2021: 53 citations2022: 51 citations2023: 56 citations2024: 45 citations2025: 60 citations2026: 24 citations2003: no citations, so this year is not shown2006–2007: no citations, so these years are not shown
  • 1 year (1 citations) is not shown (dated before this author's first paper)

Citation sources

Countries

This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.

Institutions

Fields

  • Computer Science96.8%
  • Engineering1.4%
  • Decision Sciences0.3%
  • Earth and Planetary Sciences0.3%
  • Health Professions0.3%
  • Agricultural and Biological Sciences0.1%
  • Other0.7%

Topics

  • Software Testing and Debugging Techniques23.2%
  • Software Engineering Research13.5%
  • Formal Methods in Verification11.9%
  • Software Reliability and Analysis Research11.9%
  • Logic, programming, and type systems8.3%
  • Security and Verification in Computing7.5%
  • Other23.7%

Frequent coauthors

All papers

Open in search

Loading papers…