Shinya Sato

ORCID

Publication Activity (10 Years)

Years Active: 2002-2016
Publications (10 Years): 4

Top Venues

TERMGRAPH

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

MultiTemp

FLOPS

University of Sussex, UK (PHD)

Education History

University of Sussex, UK

PHD

Publications

Ian Mackie, Shinya Sato
- Declarative Pearl. FLOPS (2016)
Ian Mackie, Shinya Sato
In-place Graph Rewriting with Interaction Nets. TERMGRAPH (2016)
Ian Mackie, Shinya Sato
Parallel Evaluation of Interaction Nets: Case Studies and Experiments. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 73 (2015)
Ian Mackie, Shinya Sato
Parallel Evaluation of Interaction Nets: Some Observations and Examples. GCM@ICGT (2015)
Abubakar Hassan, Ian Mackie, Shinya Sato
An Implementation Model for Interaction Nets. TERMGRAPH (2014)
Benjamin Deschamps, Michael D. Henschel, Gillian Walter, Ji Chen, Shinya Sato, Shane Gravelle
Multi-sensor / multi-beam InSAR ground deformation monitoring of water-flood oil fields. MultiTemp (2013)
Abubakar Hassan, Ian Mackie, Shinya Sato
A lightweight abstract machine for interaction nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker
Recursive Functions with Pattern Matching in Interaction Nets. Electron. Notes Theor. Comput. Sci. 253 (4) (2009)
Abubakar Hassan, Eugen Jiresch, Shinya Sato
An Implementation of Nested Pattern Matching in Interaction Nets RULE (2009)
Abubakar Hassan, Ian Mackie, Shinya Sato
Compilation of Interaction Nets. Electron. Notes Theor. Comput. Sci. 253 (4) (2009)
Ian Mackie, Shinya Sato
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine. Electron. Notes Theor. Comput. Sci. 192 (3) (2008)
Abubakar Hassan, Shinya Sato
Interaction Nets With Nested Pattern Matching. Electron. Notes Theor. Comput. Sci. 203 (1) (2008)
Abubakar Hassan, Ian Mackie, Shinya Sato
Interaction nets: programming language design and implementation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Shinya Sato, Toru Sugimoto, Shinichi Yamada
An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine. Electron. Notes Theor. Comput. Sci. 64 (2002)

Shinya Sato.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shinya Sato