litlas
Log inCreate account

Loïc Correnson

Active 1997–2026

Affiliations
Commissariat à l'Énergie Atomique et aux Énergies AlternativesLaboratoire d'Intégration des Systèmes et des TechnologiesThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
ORCID
0000-0001-6554-404X
21
Papers
280
Citations
8
h-index
7
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for Loïc Correnson1999: 1 citations2000: 3 citations2001: 3 citations2002: 3 citations2004: 1 citations2006: 1 citations2007: 3 citations2008: 2 citations2010: 2 citations2011: 1 citations2012: 9 citations2013: 9 citations2014: 16 citations2015: 15 citations2016: 7 citations2017: 3 citations2018: 15 citations2019: 7 citations2020: 16 citations2021: 9 citations2022: 20 citations2023: 26 citations2024: 19 citations2025: 22 citations2026: 21 citations2003: no citations, so this year is not shown2005: no citations, so this year is not shown2009: no citations, so this year is not shown

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 Science94%
  • Engineering3.5%
  • Arts and Humanities0.5%
  • Biochemistry, Genetics and Molecular Biology0.5%
  • Materials Science0.5%
  • Mathematics0.5%
  • Other0.5%

Topics

  • Formal Methods in Verification17.7%
  • Software Testing and Debugging Techniques16.3%
  • Logic, programming, and type systems15.8%
  • Software Reliability and Analysis Research8.4%
  • Security and Verification in Computing8%
  • Software Engineering Research7.4%
  • Other26.3%

Frequent coauthors

All papers

Open in search

Loading papers…