A Cyclic Proof System for HFLN. - Mayuko Kori; Takeshi Tsukada; Naoki Kobayashi 001 (CoRR, 2020)

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

A Cyclic Proof System for HFL_ℕ. - Mayuko Kori; Takeshi Tsukada; Naoki Kobayashi 001 (CSL, 2021)

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

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

Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell. - Satoshi Egi; Akira Kawata; Mayuko Kori; Hiromi Ogawa (New Gener. Comput., 2022)

Exploiting Adjoints in Property Directed Reachability Analysis. - Mayuko Kori; Flavio Ascari; Filippo Bonchi; Roberto Bruni 001; Roberta Gori; Ichiro Hasuo (CAV (2), 2023)

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

On Coalgebraic Product Constructions for Markov Chains and Automata. - Mayuko Kori; Kazuki Watanabe 003 (CoRR, 2025)

Initial Algebra Correspondence under Reachability Conditions. - Mayuko Kori; Kazuki Watanabe 003; Jurriaan Rot (CoRR, 2025)