litlas
Log inCreate account

David Lesens

Active 1997–2021

Affiliations
VerimagThis 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.
23
Papers
464
Citations
11
h-index
12
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for David Lesens1997: 2 citations1998: 3 citations1999: 5 citations2000: 8 citations2001: 9 citations2002: 9 citations2003: 9 citations2004: 4 citations2005: 2 citations2006: 2 citations2007: 1 citations2008: 7 citations2009: 12 citations2010: 17 citations2011: 11 citations2012: 18 citations2013: 31 citations2014: 15 citations2015: 30 citations2016: 17 citations2017: 17 citations2018: 26 citations2019: 25 citations2020: 20 citations2021: 15 citations2022: 15 citations2023: 3 citations2024: 11 citations2025: 10 citations2026: 1 citations
  • 2 years (2 citations) are 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 Science95.8%
  • Engineering3.2%
  • Biochemistry, Genetics and Molecular Biology0.3%
  • Decision Sciences0.3%
  • Physics and Astronomy0.3%

Topics

  • Formal Methods in Verification21.9%
  • Real-Time Systems Scheduling19.9%
  • Embedded Systems Design Techniques19.2%
  • Parallel Computing and Optimization Techniques5.8%
  • Logic, programming, and type systems5.5%
  • Model-Driven Software Engineering Techniques4.5%
  • Other23.3%

Frequent coauthors

All papers

Open in search

Loading papers…