| 2024 | LICS | Composing Codensity Bisimulations. | Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata |
| 2022 | CAV | The Lattice-Theoretic Essence of Property Directed Reachability Analysis. | Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo |
| 2022 | LFCS | On Inverse Operators in Dynamic Epistemic Logic. | Shota Motoura, Shin-ya Katsumata |
| 2021 | CONCUR | Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. | Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata |
| 2021 | ESOP | Graded Hoare Logic and its Categorical Semantics. | Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato |
| 2021 | FOSSACS | Generalized Bounded Linear Logic and its Categorical Semantics. | Yoji Fukihara, Shin-ya Katsumata |
| 2021 | LICS | Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. | Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo |
| 2021 | TAP | Architecture-Guided Test Resource Allocation via Logic. | Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa |
| 2020 | LICS | Interaction Laws of Monads and Comonads. | Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu |
| 2020 | MFPS | Weakest Preconditions in Fibrations. | Alejandro Aguirre, Shin-ya Katsumata |
| 2020 | TACAS | Relational Differential Dynamic Logic. | Juraj Kolck, Jrmy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger, Akihisa Yamada |
| 2019 | FOSSACS | Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching. | Thorsten Wimann, Jrmy Dubut, Shin-ya Katsumata, Ichiro Hasuo |
| 2019 | LICS | Probabilistic Relational Reasoning via Metrics. | Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata |
| 2019 | LICS | Codensity Games for Bisimilarity. | Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo |
| 2019 | LICS | Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy. | Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata |
| 2019 | LICS | Differentiable Causal Computations via Delayed Trace. | David Sprunger, Shin-ya Katsumata |
| 2018 | FOSSACS | A Double Category Theoretic Analysis of Graded Linear Exponential Comonads. | Shin-ya Katsumata |
| 2017 | POPL | A semantic account of metric preservation. | Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui |
| 2016 | FOSSACS | Towards a Formal Theory of Graded Monads. | Soichiro Fujii, Shin-ya Katsumata, Paul-Andr Mellis |
| 2016 | ICFP | Combining effects and coeffects via grading. | Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu |
| 2015 | CALCO | Codensity Liftings of Monads. | Shin-ya Katsumata, Tetsuya Sato |
| 2014 | POPL | Parametric effect monads and semantics of effect systems. | Shin-ya Katsumata |
| 2013 | FOSSACS | Preorders on Monads and Coalgebraic Simulations. | Shin-ya Katsumata, Tetsuya Sato |
| 2011 | ICALP | Relating Computational Effects by ⊤ ⊤-Lifting. | Shin-ya Katsumata |
| 2010 | APLAS | Categorical Descriptional Composition. | Shin-ya Katsumata |
| 2008 | CSL | A Characterisation of Lambda Definability with Sums Via TT-Closure Operators. | Shin-ya Katsumata |
| 2008 | ICALP | Attribute Grammars and Categorical Semantics. | Shin-ya Katsumata |
| 2006 | ICFP | Algebraic fusion of functions with an accumulating parameter and its improvement. | Shin-ya Katsumata, Susumu Nishimura |
| 2005 | CSL | A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage. | Shin-ya Katsumata |
| 2004 | ICALP | A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems. | Shin-ya Katsumata |
| 2003 | MFCS | Semantic and Syntactic Approaches to Simulation Relations. | Jo Erskine Hannay, Shin-ya Katsumata, Donald Sannella |
| 2001 | ESOP | Proof-Directed De-compilation of Low-Level Code. | Shin-ya Katsumata, Atsushi Ohori |