C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Mayuko Kori
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 9
Top Topics
Reachability Analysis
Timed Automata
State Space
Incremental Algorithms
Top Venues
CoRR
CAV (2)
CAV (1)
CONCUR
</>
Publications
</>
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)