Mayuko Kori

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 11

Top Topics

Incremental Algorithms

Top Venues

Publications

Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata
Composing Codensity Bisimulations. CoRR (2024)
Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata
Composing Codensity Bisimulations. LICS (2024)
Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
Exploiting Adjoints in Property Directed Reachability Analysis. CoRR (2023)
Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
Exploiting Adjoints in Property Directed Reachability Analysis. CAV (2) (2023)
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
The Lattice-Theoretic Essence of Property Directed Reachability Analysis. CAV (1) (2022)
Satoshi Egi, Akira Kawata, Mayuko Kori, Hiromi Ogawa
Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell. New Gener. Comput. 40 (2) (2022)
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis. CoRR (2022)
Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. CoRR (2021)
Mayuko Kori, Takeshi Tsukada, Naoki Kobayashi
A Cyclic Proof System for HFL_ℕ. CSL (2021)
Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata
Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down. CONCUR (2021)
Mayuko Kori, Takeshi Tsukada, Naoki Kobayashi
A Cyclic Proof System for HFLN. CoRR (2020)