Memoryful geometry of interaction: from coalgebraic components to algebraic effects. - Naohiko Hoshino; Koko Muroya; Ichiro Hasuo (CSL-LICS, 2014)

Memoryful geometry of interaction II: recursion and adequacy. - Koko Muroya; Naohiko Hoshino; Ichiro Hasuo (POPL, 2016)

The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter. - Koko Muroya; Dan R. Ghica (CSL, 2017)

Abductive functional programming, a semantic approach. - Koko Muroya; Steven Cheung; Dan R. Ghica (CoRR, 2017)

Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting. - Koko Muroya; Dan R. Ghica (WPTE@FSCD, 2017)

A Functional Perspective on Machine Learning via Programmable Induction and Abduction. - Steven Cheung; Victor Darvariu; Dan R. Ghica; Koko Muroya; Reuben N. S. Rowe (FLOPS, 2018)

The Geometry of Computation-Graph Abstraction. - Koko Muroya; Steven W. T. Cheung; Dan R. Ghica (LICS, 2018)

Local Reasoning for Robust Observational Equivalence. - Dan R. Ghica; Koko Muroya; Todd Waugh Ambridge (CoRR, 2019)

The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter. - Koko Muroya; Dan R. Ghica (Log. Methods Comput. Sci., 2019)

Hypernet semantics of programming languages. - Koko Muroya (2020)

Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas). - Koko Muroya; Takahiro Sanada; Natsuki Urabe (CALCO, 2021)

Transparent Synchronous Dataflow. - Steven W. T. Cheung; Dan R. Ghica; Koko Muroya (Art Sci. Eng. Program., 2021)

Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking. - Ryota Kojima; Corina Cîrstea; Koko Muroya; Ichiro Hasuo (CMCS, 2024)

Preorder-Constrained Simulations for Program Refinement with Effects. - Koko Muroya; Takahiro Sanada; Natsuki Urabe (CMCS, 2024)

Explicit Hopcroft's Trick in Categorical Partition Refinement. - Takahiro Sanada; Ryota Kojima; Yuichi Komorida; Koko Muroya; Ichiro Hasuo (CMCS, 2024)

Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement. - Koko Muroya; Makoto Hamana (FLOPS, 2024)

A robust graph-based approach to observational equivalence. - Dan R. Ghica; Koko Muroya; Todd Waugh Ambridge (Log. Methods Comput. Sci., 2025)