Concepedia

Shin-ya Katsumata

SK

Statistics

Publications

16

Citations

427

H-Index

12

Active since

2002

Affiliations

National Institute of Informatics(Current)

Kyoto University

University at Buffalo, State University of New York

Tallinn University of Technology

Institut national de recherche en sciences et technologies du numérique

Shin-ya Katsumata is an author at National Institute of Informatics specializing in automated reasoning, engineering, and formal methods.

ORCID

Top concepts

Publications per year

2002–2021

16

Publications

16

Parametric effect monads and semantics of effect systems

Shin-ya Katsumata · 2014 · 86 citations

Combining effects and coeffects via grading

Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard et al. · 2016 · 61 citations · Full text

, , +19

Parametric effect monads and semantics of effect systems

Shin-ya Katsumata · ACM SIGPLAN Notices · 2014 · 53 citations · Full text

, , +13

A semantic account of metric preservation

Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu et al. · 2016 · 40 citations · Full text

Probabilistic Relational Reasoning via Metrics

Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu et al. · 2019 · 28 citations

, , +22

1–5 of 16