Atsushi Igarashi

3.6k total citations · 1 hit paper
103 papers, 2.0k citations indexed

About

Atsushi Igarashi is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Atsushi Igarashi has authored 103 papers receiving a total of 2.0k indexed citations (citations by other indexed papers that have themselves been cited), including 59 papers in Artificial Intelligence, 34 papers in Computational Theory and Mathematics and 18 papers in Information Systems. Recurrent topics in Atsushi Igarashi's work include Logic, programming, and type systems (56 papers), Formal Methods in Verification (31 papers) and Advanced Software Engineering Methodologies (25 papers). Atsushi Igarashi is often cited by papers focused on Logic, programming, and type systems (56 papers), Formal Methods in Verification (31 papers) and Advanced Software Engineering Methodologies (25 papers). Atsushi Igarashi collaborates with scholars based in Japan, United States and Germany. Atsushi Igarashi's co-authors include Benjamin C. Pierce, Philip Wadler, Naoki Kobayashi, Mirko Viroli, Hiromi Sesaki, Miho Iijima, Takashi Kato, Tatsuya Yamada, Daisuke Murata and Yoshihiro Adachi and has published in prestigious journals such as Journal of Biological Chemistry, American Journal of Respiratory and Critical Care Medicine and Cell Metabolism.

In The Last Decade

Atsushi Igarashi

94 papers receiving 1.9k citations

Hit Papers

Featherweight Java 2001 2026 2009 2017 2001 100 200 300 400 500
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. Featherweight Java
    2001 545 citations Atsushi Igarashi et al. profile →

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Atsushi Igarashi Japan 19 1.2k 482 466 340 304 103 2.0k
Muffy Calder United Kingdom 18 411 0.3× 312 0.6× 335 0.7× 238 0.7× 567 1.9× 63 1.4k
Vijay Ganesh United States 25 772 0.6× 941 2.0× 309 0.7× 428 1.3× 458 1.5× 75 3.1k
Matthew Might United States 19 398 0.3× 136 0.3× 211 0.5× 123 0.4× 211 0.7× 80 1.0k
Neil D. Jones Denmark 30 2.6k 2.1× 595 1.2× 2.1k 4.5× 541 1.6× 242 0.8× 132 4.0k
Hideaki Komatsu Japan 19 420 0.3× 231 0.5× 96 0.2× 362 1.1× 244 0.8× 89 1.2k
Vı́tor Santos Costa Portugal 17 498 0.4× 169 0.4× 182 0.4× 247 0.7× 279 0.9× 111 1.2k
Shigeru Chiba Japan 15 636 0.5× 614 1.3× 47 0.1× 510 1.5× 257 0.8× 97 1.5k
Jason Flannick United States 24 459 0.4× 767 1.6× 534 1.1× 203 0.6× 959 3.2× 48 2.7k
Thomas Dean Canada 24 469 0.4× 717 1.5× 47 0.1× 256 0.8× 773 2.5× 107 2.0k
Stanley Letovsky United States 20 401 0.3× 686 1.4× 120 0.3× 104 0.3× 503 1.7× 36 1.9k

Countries citing papers authored by Atsushi Igarashi

Since Specialization
Citations

This map shows the geographic impact of Atsushi Igarashi's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Atsushi Igarashi with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Atsushi Igarashi more than expected).

Fields of papers citing papers by Atsushi Igarashi

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Atsushi Igarashi. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Atsushi Igarashi. The network helps show where Atsushi Igarashi may publish in the future.

Co-authorship network of co-authors of Atsushi Igarashi

This figure shows the co-authorship network connecting the top 25 collaborators of Atsushi Igarashi. A scholar is included among the top collaborators of Atsushi Igarashi based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Atsushi Igarashi. Atsushi Igarashi is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Igarashi, Atsushi, et al.. (2024). Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. Proceedings of the ACM on Programming Languages. 8(PLDI). 1585–1608.
2.
Igarashi, Atsushi, et al.. (2024). Abstracting Effect Systems for Algebraic Effect Handlers. Proceedings of the ACM on Programming Languages. 8(ICFP). 455–484.
3.
Igarashi, Atsushi, et al.. (2024). Linear Contextual Metaprogramming and Session Types. Electronic Proceedings in Theoretical Computer Science. 401. 1–10.
4.
Kita, Yuki, Katsuhiro Ito, Takuto Hara, et al.. (2024). Real‐world sequential treatment patterns and clinical outcomes among patients with advanced urothelial carcinoma in Japan. International Journal of Urology. 31(5). 552–559. 13 indexed citations
5.
Hanus, Michael, et al.. (2022). Functional and Logic Programming. Lecture notes in computer science. 1 indexed citations
6.
Tsukada, Takeshi, et al.. (2020). Signature Restriction for Polymorphic Algebraic Effects. arXiv (Cornell University). 3 indexed citations
7.
Itoh, Kie, Daisuke Murata, Takashi Kato, et al.. (2019). Brain-specific Drp1 regulates postsynaptic endocytosis and dendrite formation independently of mitochondrial division. eLife. 8. 34 indexed citations
8.
Kojima, Kensuke & Atsushi Igarashi. (2017). A Hoare Logic for GPU Kernels. ACM Transactions on Computational Logic. 18(1). 1–43. 5 indexed citations
9.
Hirschfeld, Robert, et al.. (2016). Visibility of Context-oriented Behavior and State in L. Journal of information processing. 11. 11–20. 2 indexed citations
10.
Igarashi, Atsushi, et al.. (2015). Shifting the blame a blame calculus with delimited control. Lecture notes in computer science. 9458. 189–207. 1 indexed citations
11.
Hirschfeld, Robert, Atsushi Igarashi, & Hidehiko Masuhara. (2011). ContextFJ. 28. 19–23. 22 indexed citations
12.
Okumura, Naoki, Atsuki Fukushima, Atsushi Igarashi, et al.. (2006). Pharmacokinetic Analysis of Platelet-Activating Factor in the Tears of Guinea Pigs with Allergic Conjunctivitis. Journal of Ocular Pharmacology and Therapeutics. 22(5). 347–352. 10 indexed citations
13.
Hashimoto, Terumasa, et al.. (2003). Effects of Nonsteroidal Anti-Inflammatory Drugs on Experimental Allergic Conjunctivitis in Guinea Pigs. Journal of Ocular Pharmacology and Therapeutics. 19(6). 569–577. 12 indexed citations
14.
Igarashi, Atsushi & Naoki Kobayashi. (2003). A generic type system for the Pi-calculus. Theoretical Computer Science. 311(1-3). 121–163. 60 indexed citations
15.
Igarashi, Atsushi, Hideya Iijima, Gen Tamura, & Kunio Shirato. (1998). Tazanolast Inhibits Ozone-induced Airway Hyperresponsiveness in Guinea Pigs. American Journal of Respiratory and Critical Care Medicine. 157(5). 1531–1535. 4 indexed citations
16.
Tagaya, Nobumi, et al.. (1997). Laparoscopic Local Resection for Benign Nonepithelial Gastric Tumors. Journal of Laparoendoscopic & Advanced Surgical Techniques. 7(1). 53–58. 16 indexed citations
17.
Ichinose, M., Atsushi Igarashi, M. Miura, et al.. (1996). Repeated allergen exposure enhances excitatory nonadrenergic noncholinergic nerve-mediated bronchoconstriction in sensitized guinea-pigs. European Respiratory Journal. 9(7). 1439–1444. 10 indexed citations
18.
Igarashi, Atsushi, M. Ichinose, M. Miura, et al.. (1995). Chronic allergen exposure enhances cholinergic neurotransmission in sensitized guinea-pigs. European Respiratory Journal. 8(5). 752–754. 7 indexed citations
19.
Miura, M., T Takahashi, H. Yamauchi, et al.. (1994). Antigen-Induced Airway Responses Are Inhibited by a Potassium Channel Opener. American Journal of Respiratory and Critical Care Medicine. 150(2). 388–393. 3 indexed citations
20.
Yagi, Shinji, Shigeo Takata, Masakazu Yamamoto, et al.. (1985). EFFECTS OF INSULIN ON SYSTEMIC AND PERIPHERAL CIRCULATION, AND PLASMA NORADRENALINE : Cardiac Function (III) : FREE COMMUNICATIONS (V) : PROCEEDINGS OF THE 49th ANNUAL SCIENTIFIC MEETING OF THE JAPANESE CIRCULATION SOCIETY. Japanese Circulation Journal-english Edition. 49(8). 894–895. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Muffy Calder Breakdown of academic impact, for papers by Vijay Ganesh Breakdown of academic impact, for papers by Matthew Might Breakdown of academic impact, for papers by Neil D. Jones Breakdown of academic impact, for papers by Hideaki Komatsu Breakdown of academic impact, for papers by Vı́tor Santos Costa Breakdown of academic impact, for papers by Shigeru Chiba Breakdown of academic impact, for papers by Jason Flannick Breakdown of academic impact, for papers by Thomas Dean Breakdown of academic impact, for papers by Stanley Letovsky
Rankless by CCL
2026