Kohei Suenaga

663 total citations
20 papers, 182 citations indexed

About

Kohei Suenaga is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, Kohei Suenaga has authored 20 papers receiving a total of 182 indexed citations (citations by other indexed papers that have themselves been cited), including 11 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 4 papers in Hardware and Architecture. Recurrent topics in Kohei Suenaga's work include Formal Methods in Verification (7 papers), Logic, programming, and type systems (6 papers) and Parallel Computing and Optimization Techniques (3 papers). Kohei Suenaga is often cited by papers focused on Formal Methods in Verification (7 papers), Logic, programming, and type systems (6 papers) and Parallel Computing and Optimization Techniques (3 papers). Kohei Suenaga collaborates with scholars based in Japan, China and United States. Kohei Suenaga's co-authors include Naoki Kobayashi, Yoichi Takaue, Shin Mineishi, S. Yamada, Kensei Tobinai, Ryuji Tanosaki, Akiko Saito, Tōru Takeuchi, Takuro Watanabe and Masahiro Kami and has published in prestigious journals such as SHILAP Revista de lepidopterología, Artificial Intelligence and Theoretical Computer Science.

In The Last Decade

Kohei Suenaga

16 papers receiving 179 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Kohei Suenaga Japan 7 65 49 46 36 33 20 182
Peter Barth United States 10 65 1.0× 30 0.6× 99 2.2× 49 1.4× 77 2.3× 45 404
Yuya Koda Japan 9 56 0.9× 66 1.3× 77 1.7× 11 0.3× 26 0.8× 78 330
Sungwon Jung South Korea 10 17 0.3× 49 1.0× 65 1.4× 21 0.6× 6 0.2× 25 255
Jared Flatow United States 9 17 0.3× 45 0.9× 19 0.4× 59 1.6× 40 1.2× 10 661
Xia Chen China 8 38 0.6× 11 0.2× 14 0.3× 39 1.1× 10 0.3× 29 242
Hatem Bellâaj Tunisia 10 71 1.1× 37 0.8× 21 0.5× 79 2.2× 4 0.1× 32 295
Magali Bardet France 8 16 0.2× 36 0.7× 21 0.5× 103 2.9× 121 3.7× 18 358
Akitoshi Kawamura Japan 9 24 0.4× 12 0.2× 51 1.1× 24 0.7× 65 2.0× 35 182
Abiel Roche-Lima Puerto Rico 9 77 1.2× 10 0.2× 13 0.3× 32 0.9× 17 0.5× 46 369
Martin Berglund Sweden 10 85 1.3× 6 0.1× 24 0.5× 35 1.0× 15 0.5× 26 359

Countries citing papers authored by Kohei Suenaga

Since Specialization
Citations

This map shows the geographic impact of Kohei Suenaga'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 Kohei Suenaga with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Kohei Suenaga more than expected).

Fields of papers citing papers by Kohei Suenaga

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Kohei Suenaga. 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 Kohei Suenaga. The network helps show where Kohei Suenaga may publish in the future.

Co-authorship network of co-authors of Kohei Suenaga

This figure shows the co-authorship network connecting the top 25 collaborators of Kohei Suenaga. A scholar is included among the top collaborators of Kohei Suenaga 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 Kohei Suenaga. Kohei Suenaga 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.
2.
3.
4.
Hasuo, Ichiro, et al.. (2023). Control-data separation and logical condition propagation for efficient inference on probabilistic programs. Journal of Logical and Algebraic Methods in Programming. 136. 100922–100922. 1 indexed citations
5.
Kawamoto, Yusuke, Tetsuya Sato, & Kohei Suenaga. (2023). Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs. Artificial Intelligence. 326. 104045–104045.
6.
Hasuo, Ichiro, Tsutomu Kobayashi, Xiao–Yi Zhang, et al.. (2022). Goal-Aware RSS for Complex Scenarios via Program Logic. IEEE Transactions on Intelligent Vehicles. 8(4). 3040–3072. 6 indexed citations
7.
Chen, Ran, et al.. (2022). Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. New Generation Computing. 40(2). 507–540. 8 indexed citations
8.
Kojima, Kensuke, Minoru Kinoshita, & Kohei Suenaga. (2018). Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis. Theoretical Computer Science. 747. 33–47. 2 indexed citations
9.
Suenaga, Kohei, et al.. (2017). A guess-and-assume approach to loop fusion for program verification. 2–14. 1 indexed citations
10.
Hasuo, Ichiro, et al.. (2015). Input Synthesis for Sampled Data Systems by Program Logic. SHILAP Revista de lepidopterología. 174. 22–39. 1 indexed citations
11.
Suenaga, Kohei, et al.. (2013). Hyperstream processing systems. ACM SIGPLAN Notices. 48(1). 417–430. 1 indexed citations
12.
Suenaga, Kohei, et al.. (2013). Hyperstream processing systems. 417–430. 10 indexed citations
13.
Suenaga, Kohei, et al.. (2012). Type-based safe resource deallocation for shared-memory concurrency. 1–20. 3 indexed citations
14.
Suenaga, Kohei, et al.. (2008). Translation of tree-processing programs into stream-processing programs based on ordered linear type. Journal of Functional Programming. 18(3). 333–371.
15.
Kobayashi, Naoki, et al.. (2006). Resource Usage Analysis for the Pi-Calculus. Logical Methods in Computer Science. Volume 2, Issue 3. 24 indexed citations
16.
Suenaga, Kohei, et al.. (2005). Extension of TypeBased Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives. 1 indexed citations
17.
Kanda, Yoshinobu, Shin Mineishi, Takashi Saito, et al.. (2001). Long-term low-dose acyclovir against varicella-zoster virus reactivation after allogeneic hematopoietic stem cell transplantation. Bone Marrow Transplantation. 28(7). 689–692. 90 indexed citations
18.
Kawano, Yoshifumi, Tôru Miyazaki, Tsutomu Watanabe, et al.. (2000). HLA-mismatched CD34-selected stem cell transplant complicated by HHV-6 reactivation in the central nervous system. Bone Marrow Transplantation. 25(7). 787–790. 11 indexed citations
19.
Kajiume, Teruyuki, Yoshifumi Kawano, Yoichi Takaue, et al.. (1998). New consecutive high-dose chemotherapy modality with fractionated blood stem cell support in the treatment of high-risk pediatric solid tumors: a feasibility study. Bone Marrow Transplantation. 21(2). 147–151. 10 indexed citations
20.
Miyata, Mariko, et al.. (1994). Henoch-Schönlein purpura associated with pregnancy in a patient with chronic thyroiditis.. PubMed. 40(1). 45–9. 10 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 Peter Barth Breakdown of academic impact, for papers by Yuya Koda Breakdown of academic impact, for papers by Sungwon Jung Breakdown of academic impact, for papers by Jared Flatow Breakdown of academic impact, for papers by Xia Chen Breakdown of academic impact, for papers by Hatem Bellâaj Breakdown of academic impact, for papers by Magali Bardet Breakdown of academic impact, for papers by Akitoshi Kawamura Breakdown of academic impact, for papers by Abiel Roche-Lima Breakdown of academic impact, for papers by Martin Berglund
Rankless by CCL
2026