litlas
Log inCreate account

John Launchbury

Active 1987–2017

Affiliations
University of GlasgowOregon Research InstituteGalois (United States)This 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.
57
Papers
2,624
Citations
24
h-index
37
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for John Launchbury1989: 3 citations1990: 5 citations1991: 15 citations1992: 26 citations1993: 35 citations1994: 41 citations1995: 80 citations1996: 69 citations1997: 77 citations1998: 78 citations1999: 74 citations2000: 63 citations2001: 69 citations2002: 54 citations2003: 71 citations2004: 76 citations2005: 63 citations2006: 58 citations2007: 70 citations2008: 55 citations2009: 65 citations2010: 39 citations2011: 53 citations2012: 64 citations2013: 56 citations2014: 59 citations2015: 68 citations2016: 60 citations2017: 58 citations2018: 57 citations2019: 59 citations2020: 44 citations2021: 42 citations2022: 33 citations2023: 33 citations2024: 42 citations2025: 32 citations2026: 21 citations

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.2%
  • Physics and Astronomy0.4%
  • Arts and Humanities0.3%
  • Biochemistry, Genetics and Molecular Biology0.3%
  • Decision Sciences0.3%
  • Other0.9%

Topics

  • Logic, programming, and type systems29.1%
  • Formal Methods in Verification18.2%
  • Parallel Computing and Optimization Techniques13.6%
  • Logic, Reasoning, and Knowledge8%
  • Software Engineering Research4.8%
  • Security and Verification in Computing3.9%
  • Other22.4%

Frequent coauthors

All papers

Open in search

Loading papers…

John Launchbury | Litlas