Authors · raw publication identity

Shin-ya Katsumata

全分野 · 掲載済みの全期間（2004–2026年）

データの修正を申請Googleログイン後に申請できます。内容を確認してから対応します。

対象会議のFull paperを全分野・掲載済み全期間でまとめています。1996～2025年の追加分には、氏名の一致・表記の正規化等に基づき同一人物と推定した対応を含みます。本人確認済みの対応や出版時所属の確認とは区別しています。表示する大学は著者ページの識別用で、過去論文の出版時所属や現在所属を示しません。追加分は大学ランキングやEdition別の件数に含みません。保存済みの1996～2025年の対象資料から確認できた範囲を追加しており、全業績の網羅を保証するものではありません。

著者ページの大学: 京都産業大学 · Top conference papers: 18

分野別内訳

分野別の本数はcross-listにより重なる場合があります。合計本数は同一論文を1本に数えます。

年別内訳

2026年 1
2024年 1
2022年 2
2021年 2
2020年 1
2019年 4
2017年 1
2016年 1
2014年 1
2011年 1
2008年 1
2006年 1
2004年 1

論文一覧（新しい年順）

2026 · ICFP
Programming Backpropagation with Reverse Handlers for Arrows
Takahiro Sanada, Keisuke Hoshino, Kenshin Hirai, Shin-ya Katsumata
Programming Languages & Formal Methods
福井県立大学 / 京都産業大学 / 京都大学
2024 · LICS
Composing Codensity Bisimulations
Mayuko Kori [総合研究大学院大学] [京都大学], Kazuki Watanabe, Jurriaan Rot, Shin-Ya Katsumata [京都産業大学] [京都産業大学]
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2022 · ICFP
Flexible presentations of graded monads
Shin-ya Katsumata [京都産業大学] [京都産業大学], Dylan McDermott, Tarmo Uustalu, Nicolas Wu
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2022 · POPL
Fully abstract models for effectful λ-calculi via category-theoretic logical relations
Ohad Kammar, Shin-ya Katsumata [京都産業大学] [京都産業大学], Philip Saville
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2021 · ICFP
Higher-order probabilistic adversarial computations: categorical semantics and program logics
Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata [京都産業大学] [京都産業大学], Tetsuya Sato
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2021 · LICS
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation
Yuichi Komorida, Shin-ya Katsumata [京都産業大学] [京都産業大学], Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2020 · LICS
Interaction Laws of Monads and Comonads
Shin-ya Katsumata [京都産業大学] [京都産業大学], Exequiel Rivas, Tarmo Uustalu
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2019 · LICS
Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy
Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata [京都産業大学] [京都産業大学]
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2019 · LICS
Codensity Games for Bisimilarity
Yuichi Komorida, Shin-ya Katsumata [京都産業大学] [京都産業大学], Nick Hu, Bartek Klin, Ichiro Hasuo
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2019 · LICS
Differentiable Causal Computations via Delayed Trace
David Sprunger, Shin-ya Katsumata [京都産業大学] [京都産業大学]
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2019 · LICS
Probabilistic Relational Reasoning via Metrics
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata [京都産業大学] [京都産業大学]
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2017 · POPL
A semantic account of metric preservation
Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata [京都産業大学] [京都産業大学], Ikram Cherigui
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2016 · ICFP
Combining effects and coeffects via grading.
Marco Gaboardi, Shin-ya Katsumata [京都産業大学] [京都産業大学], Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2014 · POPL
Parametric effect monads and semantics of effect systems.
Shin-ya Katsumata [京都産業大学] [京都産業大学]
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2011 · ICALP
Relating Computational Effects by ⊤ ⊤-Lifting.
Shin-ya Katsumata [京都産業大学] [京都産業大学]
Algorithms & Complexity
著者の全期間ページへの追加分（出版時所属は示していません）
2008 · ICALP
Attribute Grammars and Categorical Semantics.
Shin-ya Katsumata [京都産業大学] [京都産業大学]
Algorithms & Complexity
著者の全期間ページへの追加分（出版時所属は示していません）
2006 · ICFP
Algebraic Fusion of Functions with an Accumulating Parameter and Its Improvement
Shin-ya Katsumata [京都産業大学] [京都産業大学], Susumu Nishimura
Programming Languages & Formal Methods
著者の全期間ページへの追加分（出版時所属は示していません）
2004 · ICALP
A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems.
Shin-ya Katsumata [京都産業大学] [京都産業大学]
Algorithms & Complexity
著者の全期間ページへの追加分（出版時所属は示していません）