litlas
Log inCreate account

Mark Tullsen

Active 1999–2024

Affiliations
Yale UniversityThis 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.
11
Papers
86
Citations
5
h-index
3
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for Mark Tullsen2000: 1 citations2001: 1 citations2002: 3 citations2003: 1 citations2004: 1 citations2005: 2 citations2006: 2 citations2007: 3 citations2008: 1 citations2009: 1 citations2010: 1 citations2011: 2 citations2012: 2 citations2013: 2 citations2015: 1 citations2017: 2 citations2018: 2 citations2019: 5 citations2020: 7 citations2021: 3 citations2022: 5 citations2023: 9 citations2024: 9 citations2025: 1 citations2014: no citations, so this year is not shown2016: no citations, so this year is not shown

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 Science85.3%
  • Engineering13.2%
  • Social Sciences1.5%

Topics

  • Logic, programming, and type systems22.8%
  • Formal Methods in Verification10.7%
  • Parallel Computing and Optimization Techniques9.4%
  • Advanced Malware Detection Techniques9.4%
  • Advanced Database Systems and Queries7.4%
  • Logic, Reasoning, and Knowledge6.7%
  • Other33.6%

Frequent coauthors

All papers

Open in search

Loading papers…