Shin-ya Katsumata

724 total citations
28 papers, 192 citations indexed

About

Shin-ya Katsumata is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Shin-ya Katsumata has authored 28 papers receiving a total of 192 indexed citations (citations by other indexed papers that have themselves been cited), including 24 papers in Artificial Intelligence, 17 papers in Computational Theory and Mathematics and 3 papers in Information Systems. Recurrent topics in Shin-ya Katsumata's work include Logic, programming, and type systems (18 papers), Logic, Reasoning, and Knowledge (14 papers) and Formal Methods in Verification (12 papers). Shin-ya Katsumata is often cited by papers focused on Logic, programming, and type systems (18 papers), Logic, Reasoning, and Knowledge (14 papers) and Formal Methods in Verification (12 papers). Shin-ya Katsumata collaborates with scholars based in Japan, United Kingdom and United States. Shin-ya Katsumata's co-authors include Tarmo Uustalu, Marco Gaboardi, Dominic Orchard, Susumu Nishimura, Justin Hsu, Arthur Azevedo de Amorim, Alan Mycroft, Atsushi Ohori, Ichiro Hasuo and Nicolas Wu and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM SIGPLAN Notices and Mathematical Proceedings of the Cambridge Philosophical Society.

In The Last Decade

Shin-ya Katsumata

26 papers receiving 188 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Shin-ya Katsumata Japan	8	178	91	39	25	24	28	192
Venanzio Capretta United Kingdom	6	195 1.1×	133 1.5×	38 1.0×	47 1.9×	16 0.7×	13	222
Robert Atkey United Kingdom	9	257 1.4×	136 1.5×	44 1.1×	49 2.0×	37 1.5×	23	270
Guy McCusker United Kingdom	11	368 2.1×	269 3.0×	29 0.7×	20 0.8×	28 1.2×	26	385
Geoffrey Burn United Kingdom	7	179 1.0×	124 1.4×	68 1.7×	41 1.6×	23 1.0×	16	214
Andrzej S. Murawski United Kingdom	10	278 1.6×	218 2.4×	31 0.8×	30 1.2×	21 0.9×	41	299
Hendrik Tews Germany	8	144 0.8×	88 1.0×	42 1.1×	29 1.2×	21 0.9×	18	167
Hayo Thielecke United Kingdom	9	249 1.4×	155 1.7×	45 1.2×	34 1.4×	37 1.5×	22	264
Betti Venneri Italy	10	357 2.0×	227 2.5×	25 0.6×	78 3.1×	56 2.3×	26	366
Daniele Varacca France	8	149 0.8×	145 1.6×	12 0.3×	45 1.8×	20 0.8×	17	197
Nils Anders Danielsson Sweden	9	233 1.3×	182 2.0×	32 0.8×	31 1.2×	31 1.3×	21	252

Countries citing papers authored by Shin-ya Katsumata

Since Specialization

Citations

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

Fields of papers citing papers by Shin-ya Katsumata

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Shin-ya Katsumata

This figure shows the co-authorship network connecting the top 25 collaborators of Shin-ya Katsumata. A scholar is included among the top collaborators of Shin-ya Katsumata 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 Shin-ya Katsumata. Shin-ya Katsumata is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Rot, Jurriaan, et al.. (2024). Composing Codensity Bisimulations. Radboud Repository (Radboud University). 1–13. 2 indexed citations

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

Katsumata, Shin-ya, et al.. (2023). Divergences on monads for relational program logics. Mathematical Structures in Computer Science. 33(4-5). 427–485. 1 indexed citations

Katsumata, Shin-ya, et al.. (2022). Flexible presentations of graded monads. Proceedings of the ACM on Programming Languages. 6(ICFP). 902–930. 3 indexed citations

Kammar, Ohad, et al.. (2022). Fully abstract models for effectful λ-calculi via category-theoretic logical relations. Proceedings of the ACM on Programming Languages. 6(POPL). 1–28. 1 indexed citations

Katsumata, Shin-ya, et al.. (2022). Weakest preconditions in fibrations. Mathematical Structures in Computer Science. 32(4). 472–510. 4 indexed citations

Katsumata, Shin-ya, et al.. (2021). Expressivity of quantitative modal logics : categorical foundations via codensity and approximation. Strathprints: The University of Strathclyde institutional repository (University of Strathclyde). 3 indexed citations

Barthe, Gilles, et al.. (2021). Higher-order probabilistic adversarial computations: categorical semantics and program logics. Proceedings of the ACM on Programming Languages. 5(ICFP). 1–30. 7 indexed citations

Milius, Stefan, et al.. (2020). A coalgebraic view on reachability. Commentationes Mathematicae Universitatis Carolinae. 60(4). 605–638.

10.

Katsumata, Shin-ya, et al.. (2020). Weakest Preconditions in Fibrations. Electronic Notes in Theoretical Computer Science. 352. 5–27. 7 indexed citations

11.

Hasuo, Ichiro, et al.. (2019). Relational differential dynamic logic. 284–285. 1 indexed citations

12.

Amorim, Arthur Azevedo de, Marco Gaboardi, Justin Hsu, & Shin-ya Katsumata. (2019). Probabilistic Relational Reasoning via Metrics. 1–19. 10 indexed citations

13.

Amorim, Arthur Azevedo de, Marco Gaboardi, Justin Hsu, & Shin-ya Katsumata. (2018). Metric Semantics for Probabilistic Relational Reasoning.. arXiv (Cornell University). 2 indexed citations

14.

Katsumata, Shin-ya, et al.. (2018). Codensity Lifting of Monads and its Dual. SHILAP Revista de lepidopterología. 10 indexed citations

15.

Amorim, Arthur Azevedo de, et al.. (2017). A semantic account of metric preservation. ACM SIGPLAN Notices. 52(1). 545–556. 1 indexed citations

16.

Gaboardi, Marco, et al.. (2016). Combining effects and coeffects via grading. ACM SIGPLAN Notices. 51(9). 476–489. 2 indexed citations

17.

Katsumata, Shin-ya. (2014). Parametric effect monads and semantics of effect systems. ACM SIGPLAN Notices. 49(1). 633–645. 27 indexed citations

18.

Katsumata, Shin-ya. (2012). Relating computational effects by ⊤⊤-lifting. Information and Computation. 222. 228–246. 14 indexed citations

19.

Hasegawa, Masahito & Shin-ya Katsumata. (2009). A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories. Mathematical Proceedings of the Cambridge Philosophical Society. 148(1). 107–109. 1 indexed citations

20.

Katsumata, Shin-ya & Susumu Nishimura. (2006). Algebraic fusion of functions with an accumulating parameter and its improvement. 227–238. 3 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