Takahiro Sanada

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 6

Top Topics

Simulation Models

Attribute Values

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)
Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo
Explicit Hopcroft's Trick in Categorical Partition Refinement. CoRR (2023)
Takahiro Sanada
Category-Graded Algebraic Theories and Effect Handlers. CoRR (2022)
Koko Muroya, Takahiro Sanada, Natsuki Urabe
Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas). CALCO (2021)
Christoph Kapeller, Johannes Gruenwald, Kyousuke Kamada, Hiroshi Ogawa, Shusei Fukuyama, Takahiro Sanada, Robert Prückl, Christoph Guger
Online Detection of Real-World Faces in ECoG Signals. SMC (2018)