Author: "Takahiro Sanada" / Database: dblp computer science bibliography - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Takahiro Sanada"' showing total 5 results

Start Over Author "Takahiro Sanada" Database dblp computer science bibliography

5 results on '"Takahiro Sanada"'

1. Preorder-Constrained Simulations for Program Refinement with Effects.

Author: Koko Muroya, Takahiro Sanada, and Natsuki Urabe
Published: 2024
Full Text: View/download PDF

2. Explicit Hopcroft's Trick in Categorical Partition Refinement.

Author: Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, and Ichiro Hasuo
Published: 2024
Full Text: View/download PDF

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

Author: Koko Muroya, Takahiro Sanada, and Natsuki Urabe
Published: 2021
Full Text: View/download PDF

4. Category-Graded Algebraic Theories and Effect Handlers.

Author: Takahiro Sanada
Published: 2022
Full Text: View/download PDF

5. Online Detection of Real-World Faces in ECoG Signals.

Author: Christoph Kapeller, Johannes Gruenwald, Kyousuke Kamada, Hiroshi Ogawa, Shusei Fukuyama, Takahiro Sanada, Robert Prückl, and Christoph Guger
Published: 2018
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results