Takahiro Sanada

According to our database, Takahiro Sanada authored at least 4 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Explicit Hopcroft's Trick in Categorical Partition Refinement.

Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo

CoRR, 2023

2022

Category-Graded Algebraic Theories and Effect Handlers.

Takahiro Sanada

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

2021

Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas).

Koko Muroya, Takahiro Sanada, Natsuki Urabe

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2018

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

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018