Concepedia

Atsushi Igarashi

AI

Statistics

Publications

46

Citations

2.9K

H-Index

25

Active since

1996

Affiliations

Kyoto University(Current)

The University of Tokyo

University of Pennsylvania

Johns Hopkins University

Johns Hopkins Medicine

Atsushi Igarashi is an author at Kyoto University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSoftware AnalysisProgram AnalysisAutomated ReasoningSoftware EngineeringVerificationSoftware Design

Publications per year

1996–2024

46

Publications

46

Featherweight Java

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler · ACM Transactions on Programming Languages and Systems · 2001 · 960 citations · Full text

Engineering, Operational Semantics, Generic Programming +12

Featherweight Java

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler · 1999 · 273 citations

Formal Specification, Engineering, Automated Reasoning +14

Mitochondrial Stasis Reveals p62-Mediated Ubiquitination in Parkin-Independent Mitophagy and Mitigates Nonalcoholic Fatty Liver Disease

Tatsuya Yamada, Daisuke Murata, Yoshihiro Adachi et al. · Cell Metabolism · 2018 · 268 citations · Full text

Cell Autophagy, Mitophagy, Mitochondrial Function +11

Detection of circulating urothelial cancer cells in the blood using the CellSearch System

Michio Naoe, Yoshio Ogawa, Jun Morita et al. · Cancer · 2007 · 135 citations · Full text

A generic type system for the Pi-calculus

Atsushi Igarashi, Naoki Kobayashi · Theoretical Computer Science · 2003 · 122 citations

Engineering, Generic Programming, Automated Reasoning +4

1–5 of 46