litlas
Log inCreate account

Anton Setzer

Active 1996–2025

Affiliations
Uppsala UniversitySwansea UniversityUniversity of WalesThis 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-5322-6060
48
Papers
829
Citations
14
h-index
19
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for Anton Setzer1997: 1 citations1998: 8 citations1999: 3 citations2000: 10 citations2001: 12 citations2002: 12 citations2003: 14 citations2004: 17 citations2005: 19 citations2006: 24 citations2007: 15 citations2008: 12 citations2009: 19 citations2010: 21 citations2011: 16 citations2012: 23 citations2013: 29 citations2014: 33 citations2015: 24 citations2016: 41 citations2017: 32 citations2018: 59 citations2019: 29 citations2020: 27 citations2021: 24 citations2022: 19 citations2023: 34 citations2024: 25 citations2025: 25 citations2026: 12 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 Science92.8%
  • Mathematics2.1%
  • Engineering1.4%
  • Medicine0.7%
  • Physics and Astronomy0.7%
  • Psychology0.7%
  • Other1.6%

Topics

  • Logic, programming, and type systems29.3%
  • Formal Methods in Verification19.4%
  • Logic, Reasoning, and Knowledge18.1%
  • Computability, Logic, AI Algorithms5.1%
  • Model-Driven Software Engineering Techniques4.6%
  • Software Testing and Debugging Techniques3.7%
  • Other19.8%

Frequent coauthors

All papers

Open in search

Loading papers…