| 2026 | CONCUR | From Coalgebraic Determinization to Belief Construction for Partial Observability. | Mayuko Kori, Kazuki Watanabe |
| 2026 | FOSSACS | A No-go Theorem for Coalgebraic Product Construction. | Mayuko Kori, Kazuki Watanabe |
| 2025 | LICS | Initial Algebra Correspondence under Reachability Conditions. | Mayuko Kori, Kazuki Watanabe, Jurriaan Rot |
| 2024 | LICS | Composing Codensity Bisimulations. | Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata |
| 2023 | CAV | Exploiting Adjoints in Property Directed Reachability Analysis. | Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo |
| 2022 | CAV | The Lattice-Theoretic Essence of Property Directed Reachability Analysis. | Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo |
| 2021 | CONCUR | Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. | Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata |
| 2021 | CSL | A Cyclic Proof System for HFL_ℕ. | Mayuko Kori, Takeshi Tsukada, Naoki Kobayashi |