litlas
Log inCreate account

Peter Dybjer

Active 1983–2026

Affiliations
Chalmers University of TechnologyUniversity of GothenburgThis 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-0003-4043-5204
66
Papers
2,203
Citations
24
h-index
39
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for Peter Dybjer1984: 1 citations1985: 4 citations1986: 4 citations1987: 2 citations1988: 6 citations1989: 5 citations1990: 4 citations1991: 8 citations1992: 9 citations1993: 8 citations1994: 11 citations1995: 18 citations1996: 13 citations1997: 12 citations1998: 20 citations1999: 28 citations2000: 29 citations2001: 38 citations2002: 32 citations2003: 47 citations2004: 53 citations2005: 41 citations2006: 58 citations2007: 57 citations2008: 62 citations2009: 81 citations2010: 53 citations2011: 49 citations2012: 73 citations2013: 66 citations2014: 69 citations2015: 50 citations2016: 73 citations2017: 70 citations2018: 88 citations2019: 65 citations2020: 62 citations2021: 63 citations2022: 43 citations2023: 57 citations2024: 42 citations2025: 59 citations2026: 35 citations
  • 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 Science92.1%
  • Mathematics5.4%
  • Arts and Humanities0.3%
  • Environmental Science0.3%
  • Decision Sciences0.3%
  • Engineering0.3%
  • Other1.3%

Topics

  • Logic, programming, and type systems33.7%
  • Logic, Reasoning, and Knowledge19.3%
  • Formal Methods in Verification16.5%
  • Homotopy and Cohomology in Algebraic Topology3.7%
  • Computability, Logic, AI Algorithms3.5%
  • Semantic Web and Ontologies3.3%
  • Other20%

Frequent coauthors

All papers

Open in search

Loading papers…