Get started
Author

Shinya Sato

The ABINIT-MP Program
2021 · Yuji Mochizuki, Tatsuya Nakano, et al. · Springer eBooks · 33
Deeper Level Parallelization and Performance Evaluation ofFMO Program ABINIT-MP on Oakforest-PACS
2018 · Hiromasa WATANABE, Shinya SATO, et al. · Journal of Computer Chemistry Japan · 7
PDF
Compilation of Interaction Nets
2009 · Abubakar Hassan, Ian Mackie, et al. · Electronic Notes in Theoretical Computer Science · 7
Recursive Functions with Pattern Matching in Interaction Nets
2009 · Maribel Fernández, Ian Mackie, et al. · Electronic Notes in Theoretical Computer Science · 7
Interaction Nets With Nested Pattern Matching
2008 · Abubakar Hassan, Shinya Sato · Electronic Notes in Theoretical Computer Science · 7
PDF
A lightweight abstract machine for interaction nets
2024 · Hassan, Abubakar, Mackie, Ian, et al. · Technische Universität Berlin – Universitätsbibliothek · 6
Interaction nets: programming language design and implementation
2024 · Hassan, Abubakar, Mackie, Ian, et al. · Technische Universität Berlin – Universitätsbibliothek · 5
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine
2008 · Ian Mackie, Shinya Sato · Electronic Notes in Theoretical Computer Science · 5
An Implementation of Nested Pattern Matching in Interaction Nets
2010 · Abubakar Hassan, Eugen Jiresch, et al. · Electronic Proceedings in Theoretical Computer Science · 4
PDF
Development Status of ABINIT-MP in 2021
2021 · Yuji MOCHIZUKI, Tatsuya NAKANO, et al. · Journal of Computer Chemistry Japan · 3
PDF
Definition and Verification of Workers' Aptitude Toward Assembly Tasks in Production Cells
2016 · Yangwen Dong, Shinya Sato, et al. · Innovation and supply chain management · 3
PDF
Parallel Evaluation of Interaction Nets: Case Studies and Experiments
2024 · Mackie, Ian, Sato, Shinya · Technische Universität Berlin – Universitätsbibliothek · 2
An attempt and issues to measure workers' aptitude toward assembly tasks in production cells
2015 · Yanwen Dong, Xiying Hao, et al. · International Conference on Logistics, Informatics and Service Sciences · 2
An Implementation Model for Interaction Nets
2015 · Abubakar Hassan, Ian Mackie, et al. · Electronic Proceedings in Theoretical Computer Science · 2
PDF
Design and implementation of a low-level language for interaction nets
2015 · Shinya Sato · UPT. Syiah Kuala University Library (Syiah Kuala University) · 2
PDF
An Ant Colony Optimization Method for Fuzzy Vehicle Routing Problem
2015 · Yanwen DONG, Xiying HAO, et al. · Innovation and supply chain management · 2
PDF
Behavior-based stigmergic navigation
2010 · Shin-ya Sato, Tetsuya Nakamura, et al. · 2
An Interaction Net Encoding of Gödel’s System $$\mathcal {T}$$
2016 · Ian Mackie, Shinya Sato · Lecture notes in computer science · 1
Conditional Nested Pattern Matching in Interaction Net
2024 · Shinya Sato · Electronic Proceedings in Theoretical Computer Science
PDF
In-place Graph Rewriting with Interaction Nets
2016 · Ian Mackie, Shinya Sato · Electronic Proceedings in Theoretical Computer Science
PDF
An Interaction Net Encoding of Gödel's System T - Declarative Pearl.
2016 · Ian Mackie, Shinya Sato · International Symposium on Functional and Logic Programming
Parallel Evaluation of Interaction Nets: Some Observations and Examples.
2015 · Ian Mackie, Shinya Sato
An implementation model of the typed λ-calculus based on Linear Chemical Abstract Machine
2002 · Shinya Sato, Toru Sugimoto, et al. · Electronic Notes in Theoretical Computer Science
PDF
Studies on the method for manufacturing of different type teas
1992 · Shinya Sato, Hajime Eguchi, et al.
Works count: 24
Citation count: 100
H-index: 6
I10-index: 1
Year
Topic
Type