Koko Muroya

24 papers A* 2B 2C 1Misc 2Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Critical Pair Enumeration Algorithm for String Diagram Rewriting.
CoRR
Anna Matsui, Innocent Obi, Guillaume Sabbagh, Leo Torres, Diana Kessler, Juan F. Meleiro, Koko Muroya
2025 C conf
A Variety of Request-Response Specifications.
ICTAC
Daichi Aiba, Masaki Waga, Hiroya Fujinami, Koko Muroya, Shutaro Ouchi, Naoki Ueda, Yosuke Yokoyama, Yuta Wada, Ichiro Hasuo
2025 J jnl
A Variety of Request-Response Specifications.
CoRR
Daichi Aiba, Masaki Waga, Hiroya Fujinami, Koko Muroya, Shutaro Ouchi, Naoki Ueda, Yosuke Yokoyama, Yuta Wada, Ichiro Hasuo
2025 J jnl
A robust graph-based approach to observational equivalence.
Log. Methods Comput. Sci.
Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge
2024 — conf
Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking.
CMCS
Ryota Kojima, Corina Cîrstea, Koko Muroya, Ichiro Hasuo
2024 — conf
Explicit Hopcroft's Trick in Categorical Partition Refinement.
CMCS
Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo
2024 — conf
Preorder-Constrained Simulations for Program Refinement with Effects.
CMCS
Koko Muroya, Takahiro Sanada, Natsuki Urabe
2024 Misc conf
Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement.
FLOPS
Koko Muroya, Makoto Hamana
2023 J jnl
Explicit Hopcroft's Trick in Categorical Partition Refinement.
CoRR
Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo
2021 B conf
Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas).
CALCO
Koko Muroya, Takahiro Sanada, Natsuki Urabe
2021 J jnl
Transparent Synchronous Dataflow.
Art Sci. Eng. Program.
Steven W. T. Cheung, Dan R. Ghica, Koko Muroya
2020 — —
Hypernet semantics of programming languages.
Koko Muroya
2019 J jnl
Local Reasoning for Robust Observational Equivalence.
CoRR
Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge
2019 J jnl
The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter.
Log. Methods Comput. Sci.
Koko Muroya, Dan R. Ghica
2019 J jnl
Transparent Synchronous Dataflow.
CoRR
Steven W. T. Cheung, Dan R. Ghica, Koko Muroya
2018 Misc conf
A Functional Perspective on Machine Learning via Programmable Induction and Abduction.
FLOPS
Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe
2018 J jnl
The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter.
CoRR
Koko Muroya, Dan R. Ghica
2018 A* conf
The Geometry of Computation-Graph Abstraction.
LICS
Koko Muroya, Steven W. T. Cheung, Dan R. Ghica
2017 J jnl
Abductive functional programming, a semantic approach.
CoRR
Koko Muroya, Steven Cheung, Dan R. Ghica
2017 — conf
Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting.
WPTE@FSCD
Koko Muroya, Dan R. Ghica
2017 B conf
The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter.
CSL
Koko Muroya, Dan R. Ghica
2017 J jnl
The Dynamic Geometry of Interaction Machine: A Call-by-need Graph Rewriter.
CoRR
Koko Muroya, Dan R. Ghica
2016 A* conf
Memoryful geometry of interaction II: recursion and adequacy.
POPL
Koko Muroya, Naohiko Hoshino, Ichiro Hasuo
2014 — conf
Memoryful geometry of interaction: from coalgebraic components to algebraic effects.
CSL-LICS
Naohiko Hoshino, Koko Muroya, Ichiro Hasuo