Mayuko Kori

According to our database, Mayuko Kori authored at least 10 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Initial Algebra Correspondence under Reachability Conditions.

Mayuko Kori, Kazuki Watanabe, Jurriaan Rot

CoRR, May, 2025

On Coalgebraic Product Constructions for Markov Chains and Automata.

Mayuko Kori, Kazuki Watanabe

CoRR, April, 2025

2024

Composing Codensity Bisimulations.

Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-ya Katsumata

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

Exploiting Adjoints in Property Directed Reachability Analysis.

Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

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

The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis.

Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo

CoRR, 2022

The Lattice-Theoretic Essence of Property Directed Reachability Analysis.

Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

A Cyclic Proof System for HFL_ℕ.

Mayuko Kori, Takeshi Tsukada, Naoki Kobayashi

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down.

Mayuko Kori, Ichiro Hasuo, Shin-ya Katsumata

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

A Cyclic Proof System for HFLN.

Mayuko Kori, Takeshi Tsukada, Naoki Kobayashi

CoRR, 2020