Mayuko Kori

16 papers A* 2B 3Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2026 B conf
A No-go Theorem for Coalgebraic Product Construction.
FoSSaCS
Mayuko Kori, Kazuki Watanabe
2025 J jnl
A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs.
CoRR
Kazuki Watanabe, Mayuko Kori, Taro Sekiyama, Satoshi Kura, Hiroshi Unno
2025 A* conf
Initial Algebra Correspondence under Reachability Conditions.
LICS
Mayuko Kori, Kazuki Watanabe, Jurriaan Rot
2025 J jnl
Initial Algebra Correspondence under Reachability Conditions.
CoRR
Mayuko Kori, Kazuki Watanabe, Jurriaan Rot
2025 J jnl
On Coalgebraic Product Constructions for Markov Chains and Automata.
CoRR
Mayuko Kori, Kazuki Watanabe
2024 A* conf
Composing Codensity Bisimulations.
LICS
Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata
2024 J jnl
Composing Codensity Bisimulations.
CoRR
Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata
2023 — conf
Exploiting Adjoints in Property Directed Reachability Analysis.
CAV (2)
Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
2023 J jnl
Exploiting Adjoints in Property Directed Reachability Analysis.
CoRR
Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
2022 J jnl
Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell.
New Gener. Comput.
Satoshi Egi, Akira Kawata, Mayuko Kori, Hiromi Ogawa
2022 — conf
The Lattice-Theoretic Essence of Property Directed Reachability Analysis.
CAV (1)
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
2022 J jnl
The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis.
CoRR
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
2021 B conf
A Cyclic Proof System for HFL_ℕ.
CSL
Mayuko Kori, Takeshi Tsukada, Naoki Kobayashi
2021 B conf
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down.
CONCUR
Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata
2021 J jnl
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down.
CoRR
Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata
2020 J jnl
A Cyclic Proof System for HFLN.
CoRR
Mayuko Kori, Takeshi Tsukada, Naoki Kobayashi