litlas
Log inCreate account

Ichiro Hasuo

Active 2003–2026

Affiliations
Radboud University NijmegenThe University of TokyoKyoto UniversityInformation-Technology Promotion AgencyNational Institute of InformaticsThe Graduate University for Advanced Studies, SOKENDAIThis 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-8300-4650
168
Papers
1,886
Citations
24
h-index
56
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for Ichiro Hasuo2004: 2 citations2005: 5 citations2006: 19 citations2007: 23 citations2008: 50 citations2009: 35 citations2010: 42 citations2011: 50 citations2012: 23 citations2013: 41 citations2014: 56 citations2015: 57 citations2016: 51 citations2017: 75 citations2018: 68 citations2019: 105 citations2020: 68 citations2021: 111 citations2022: 83 citations2023: 100 citations2024: 136 citations2025: 132 citations2026: 48 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 Science87%
  • Engineering5.1%
  • Mathematics3.1%
  • Physics and Astronomy1.5%
  • Social Sciences0.9%
  • Decision Sciences0.5%
  • Other1.8%

Topics

  • Formal Methods in Verification27.2%
  • Logic, programming, and type systems22.4%
  • Logic, Reasoning, and Knowledge14.2%
  • Software Testing and Debugging Techniques6.3%
  • Software Reliability and Analysis Research4%
  • Cryptography and Data Security3.3%
  • Other22.5%

Frequent coauthors

All papers

Open in search

Loading papers…