Koko Muroya

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 18

Top Topics

Deterministic Automata

Top Venues

Publications

Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo
Explicit Hopcroft's Trick in Categorical Partition Refinement. CMCS (2024)
Koko Muroya, Takahiro Sanada, Natsuki Urabe
Preorder-Constrained Simulations for Program Refinement with Effects. CMCS (2024)
Ryota Kojima, Corina Cîrstea, Koko Muroya, Ichiro Hasuo
Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking. CMCS (2024)
Koko Muroya, Makoto Hamana
Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement. FLOPS (2024)
Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo
Explicit Hopcroft's Trick in Categorical Partition Refinement. CoRR (2023)
Koko Muroya, Takahiro Sanada, Natsuki Urabe
Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas). CALCO (2021)
Steven W. T. Cheung, Dan R. Ghica, Koko Muroya
Transparent Synchronous Dataflow. Art Sci. Eng. Program. 5 (3) (2021)
Steven W. T. Cheung, Dan R. Ghica, Koko Muroya
Transparent Synchronous Dataflow. CoRR (2019)
Koko Muroya, Dan R. Ghica
The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter. Log. Methods Comput. Sci. 15 (4) (2019)
Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge
Local Reasoning for Robust Observational Equivalence. CoRR (2019)
Koko Muroya, Dan R. Ghica
The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter. CoRR (2018)
Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe
A Functional Perspective on Machine Learning via Programmable Induction and Abduction. FLOPS (2018)
Koko Muroya, Steven W. T. Cheung, Dan R. Ghica
The Geometry of Computation-Graph Abstraction. LICS (2018)
Koko Muroya, Dan R. Ghica
Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting. WPTE@FSCD (2017)
Koko Muroya, Dan R. Ghica
The Dynamic Geometry of Interaction Machine: A Call-by-need Graph Rewriter. CoRR (2017)
Koko Muroya, Steven Cheung, Dan R. Ghica
Abductive functional programming, a semantic approach. CoRR (2017)
Koko Muroya, Dan R. Ghica
The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter. CSL (2017)
Koko Muroya, Naohiko Hoshino, Ichiro Hasuo
Memoryful geometry of interaction II: recursion and adequacy. POPL (2016)
Naohiko Hoshino, Koko Muroya, Ichiro Hasuo
Memoryful geometry of interaction: from coalgebraic components to algebraic effects. CSL-LICS (2014)