Proof-Directed De-compilation of Low-Level Code. - Shin-ya Katsumata; Atsushi Ohori (ESOP, 2001)

Comparing Type-Based and Proof-Directed Decompilation. - Alan Mycroft; Atsushi Ohori; Shin-ya Katsumata (WCRE, 2001)

Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages. - Shin-ya Katsumata (WADT, 2002)

Semantic and Syntactic Approaches to Simulation Relations. - Jo Erskine Hannay; Shin-ya Katsumata; Donald Sannella (MFCS, 2003)

A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems. - Shin-ya Katsumata (ICALP, 2004)

A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage. - Shin-ya Katsumata (CSL, 2005)

A generalisation of pre-logical predicates and its applications. - Shin-ya Katsumata (2005)

A Characterisation of Lambda Definability with Sums Via TT-Closure Operators. - Shin-ya Katsumata (CSL, 2008)

Attribute Grammars and Categorical Semantics. - Shin-ya Katsumata (ICALP (2), 2008)

Algebraic fusion of functions with an accumulating parameter and its improvement. - Shin-ya Katsumata; Susumu Nishimura (J. Funct. Program., 2008)

Categorical Descriptional Composition. - Shin-ya Katsumata (APLAS, 2010)

Extensional Models of Untyped Lambda-mu Calculus - Koji Nakazawa; Shin-ya Katsumata (CL&C, 2012)

Preorders on Monads and Coalgebraic Simulations. - Shin-ya Katsumata; Tetsuya Sato 001 (FoSSaCS, 2013)

Relating computational effects by ⊤⊤-lifting. - Shin-ya Katsumata (Inf. Comput., 2013)

Parametric effect monads and semantics of effect systems. - Shin-ya Katsumata (POPL, 2014)

Codensity Liftings of Monads. - Shin-ya Katsumata; Tetsuya Sato 001 (CALCO, 2015)

Towards a Formal Theory of Graded Monads. - Soichiro Fujii; Shin-ya Katsumata; Paul-André Melliès (FoSSaCS, 2016)

Combining effects and coeffects via grading. - Marco Gaboardi; Shin-ya Katsumata; Dominic A. Orchard; Flavien Breuvart; Tarmo Uustalu (ICFP, 2016)

A semantic account of metric preservation. - Arthur Azevedo de Amorim; Marco Gaboardi; Justin Hsu; Shin-ya Katsumata; Ikram Cherigui (POPL, 2017)

Reasoning about Divergences for Relaxations of Differential Privacy. - Tetsuya Sato 001; Gilles Barthe; Marco Gaboardi; Justin Hsu; Shin-ya Katsumata (CoRR, 2017)

Semantics of Effects, Resources, and Applications (NII Shonan Meeting 2017-4). - Marco Gaboardi; Shin-ya Katsumata (NII Shonan Meet. Rep., 2017)

Enhanced coinduction (NII Shonan Meeting 2017-17). - Shin-ya Katsumata; Damien Pous; Jan Rutten (NII Shonan Meet. Rep., 2017)

Fibrational Bisimulations and Quantitative Reasoning. - David Sprunger; Shin-ya Katsumata; Jérémy Dubut; Ichiro Hasuo (CMCS, 2018)

A Double Category Theoretic Analysis of Graded Linear Exponential Comonads. - Shin-ya Katsumata (FoSSaCS, 2018)

Metric Semantics for Probabilistic Relational Reasoning. - Arthur Azevedo de Amorim; Marco Gaboardi; Justin Hsu; Shin-ya Katsumata (CoRR, 2018)

Quantitative bisimulations using coreflections and open morphisms. - Jérémy Dubut; Ichiro Hasuo; Shin-ya Katsumata; David Sprunger (CoRR, 2018)

Codensity Lifting of Monads and its Dual. - Shin-ya Katsumata; Tetsuya Sato 001; Tarmo Uustalu (Log. Methods Comput. Sci., 2018)

Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching. - Thorsten Wißmann; Jérémy Dubut; Shin-ya Katsumata; Ichiro Hasuo (FoSSaCS, 2019)

Relational differential dynamic logic: poster abstract. - Juraj Kolcák; Ichiro Hasuo; Jérémy Dubut; Shin-ya Katsumata; David Sprunger; Akihisa Yamada 002 (HSCC, 2019)

Probabilistic Relational Reasoning via Metrics. - Arthur Azevedo de Amorim; Marco Gaboardi; Justin Hsu; Shin-ya Katsumata (LICS, 2019)

Codensity Games for Bisimilarity. - Yuichi Komorida; Shin-ya Katsumata; Nick Hu; Bartek Klin; Ichiro Hasuo (LICS, 2019)

Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy. - Tetsuya Sato 001; Gilles Barthe; Marco Gaboardi; Justin Hsu; Shin-ya Katsumata (LICS, 2019)

Differentiable Causal Computations via Delayed Trace. - David Sprunger; Shin-ya Katsumata (LICS, 2019)

Interaction Laws of Monads and Comonads. - Shin-ya Katsumata; Exequiel Rivas; Tarmo Uustalu (LICS, 2020)

Weakest Preconditions in Fibrations. - Alejandro Aguirre 001; Shin-ya Katsumata (MFPS, 2020)

Relational Differential Dynamic Logic. - Juraj Kolcák; Jérémy Dubut; Ichiro Hasuo; Shin-ya Katsumata; David Sprunger; Akihisa Yamada 002 (TACAS (1), 2020)

Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. - Mayuko Kori; Ichiro Hasuo; Shin-ya Katsumata (CONCUR, 2021)

Graded Hoare Logic and its Categorical Semantics. - Marco Gaboardi; Shin-ya Katsumata; Dominic Orchard; Tetsuya Sato 001 (ESOP, 2021)

Generalized Bounded Linear Logic and its Categorical Semantics. - Yoji Fukihara; Shin-ya Katsumata (FoSSaCS, 2021)

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. - Yuichi Komorida; Shin-ya Katsumata; Clemens Kupke; Jurriaan Rot; Ichiro Hasuo (LICS, 2021)

Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty. - Tsutomu Kobayashi; Rick Salay; Ichiro Hasuo; Krzysztof Czarnecki 001; Fuyuki Ishikawa; Shin-ya Katsumata (NFM, 2021)

Architecture-Guided Test Resource Allocation via Logic. - Clovis Eberhart; Akihisa Yamada 002; Stefan Klikovits; Shin-ya Katsumata; Tsutomu Kobayashi; Ichiro Hasuo; Fuyuki Ishikawa (TAP@STAF, 2021)

Fibrational bisimulations and quantitative reasoning: Extended version. - David Sprunger; Shin-ya Katsumata; Jérémy Dubut; Ichiro Hasuo (J. Log. Comput., 2021)

Higher-order probabilistic adversarial computations: categorical semantics and program logics. - Alejandro Aguirre 001; Gilles Barthe; Marco Gaboardi; Deepak Garg 001; Shin-ya Katsumata; Tetsuya Sato 001 (Proc. ACM Program. Lang., 2021)

The Lattice-Theoretic Essence of Property Directed Reachability Analysis. - Mayuko Kori; Natsuki Urabe; Shin-ya Katsumata; Kohei Suenaga; Ichiro Hasuo (CAV (1), 2022)

On Inverse Operators in Dynamic Epistemic Logic. - Shota Motoura; Shin-ya Katsumata (LFCS, 2022)

The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis. - Mayuko Kori; Natsuki Urabe; Shin-ya Katsumata; Kohei Suenaga; Ichiro Hasuo (CoRR, 2022)

Stone dualities from opfibrations. - Koki Nishizawa; Shin-ya Katsumata; Yuichi Komorida (J. Log. Algebraic Methods Program., 2022)

Codensity Games for Bisimilarity. - Yuichi Komorida; Shin-ya Katsumata; Nick Hu; Bartek Klin; Samuel Humeau 002; Clovis Eberhart; Ichiro Hasuo (New Gener. Comput., 2022)

Fully abstract models for effectful λ-calculi via category-theoretic logical relations. - Ohad Kammar; Shin-ya Katsumata; Philip Saville (Proc. ACM Program. Lang., 2022)

Flexible presentations of graded monads. - Shin-ya Katsumata; Dylan McDermott; Tarmo Uustalu; Nicolas Wu (Proc. ACM Program. Lang., 2022)

Weakest preconditions in fibrations. - Alejandro Aguirre 001; Shin-ya Katsumata; Satoshi Kura 001 (Math. Struct. Comput. Sci., 2022)

A Categorical Framework for Program Semantics and Semantic Abstraction. - Shin-ya Katsumata; Xavier Rival; Jérémy Dubut (MFPS, 2023)

Divergences on monads for relational program logics. - Tetsuya Sato 001; Shin-ya Katsumata (Math. Struct. Comput. Sci., 2023)

Composing Codensity Bisimulations. - Mayuko Kori; Kazuki Watanabe 003; Jurriaan Rot; Shin-ya Katsumata (LICS, 2024)

Control-data separation and logical condition propagation for efficient inference on probabilistic programs. - Ichiro Hasuo; Yuichiro Oyabu; Clovis Eberhart; Kohei Suenaga; Kenta Cho 002; Shin-ya Katsumata (J. Log. Algebraic Methods Program., 2024)

Differentiable causal computations via delayed trace (extended version). - David Sprunger; Shin-ya Katsumata (Math. Struct. Comput. Sci., 2025)