Online Detection of Real-World Faces in ECoG Signals. - Christoph Kapeller; Johannes Gruenwald; Kyousuke Kamada; Hiroshi Ogawa; Shusei Fukuyama; Takahiro Sanada; Robert Prückl; Christoph Guger (SMC, 2018)

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

Category-Graded Algebraic Theories and Effect Handlers. - Takahiro Sanada (MFPS, 2022)

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)

Algebraic effects and handlers for arrows. - Takahiro Sanada (J. Funct. Program., 2024)