litlas
Log inCreate account

Martin Sulzmann

Active 1996–2026

Affiliations
The University of MelbourneNational University of SingaporeKarlsruhe University of Applied SciencesKarlsruhe University of EducationThis 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-0002-8165-3403
82
Papers
1,755
Citations
22
h-index
35
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for Martin Sulzmann1996: 1 citations1997: 5 citations1998: 6 citations1999: 7 citations2000: 6 citations2001: 23 citations2002: 22 citations2003: 16 citations2004: 28 citations2005: 45 citations2006: 54 citations2007: 56 citations2008: 48 citations2009: 46 citations2010: 84 citations2011: 54 citations2012: 71 citations2013: 44 citations2014: 90 citations2015: 53 citations2016: 58 citations2017: 51 citations2018: 62 citations2019: 80 citations2020: 57 citations2021: 40 citations2022: 29 citations2023: 43 citations2024: 34 citations2025: 31 citations2026: 9 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 Science98.6%
  • Engineering0.4%
  • Arts and Humanities0.1%
  • Biochemistry, Genetics and Molecular Biology0.1%
  • Decision Sciences0.1%
  • Earth and Planetary Sciences0.1%
  • Other0.5%

Topics

  • Logic, programming, and type systems29.4%
  • Formal Methods in Verification14.5%
  • Parallel Computing and Optimization Techniques9.9%
  • Software Engineering Research8%
  • Logic, Reasoning, and Knowledge6.3%
  • Security and Verification in Computing5.1%
  • Other26.8%

Frequent coauthors

All papers

Open in search

Loading papers…

Martin Sulzmann | Litlas