Shinya Sato

Orcid: 0000-0003-3065-4526

Affiliations:
  • Ibaraki University, University Education Center
  • University of Sussex
  • Himeji Dokkyo University, Faculty of Econoinformatics


According to our database1, Shinya Sato authored at least 16 papers between 2001 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Conditional Nested Pattern Matching in Interaction Net.
Proceedings of the Proceedings 13th International Workshop on Developments in Computational Models, 2023

2016
In-place Graph Rewriting with Interaction Nets.
Proceedings of the Proceedings 9th International Workshop on Computing with Terms and Graphs, 2016

An Interaction Net Encoding of Gödel's System <i>T</i> - Declarative Pearl.
Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2015
Design and implementation of a low-level language for interaction nets.
PhD thesis, 2015

Parallel Evaluation of Interaction Nets: Case Studies and Experiments.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Parallel Evaluation of Interaction Nets: Some Observations and Examples.
Proceedings of the 6th International Workshop on Graph Computation Models co-located with the 8th International Conference on Graph Transformation (ICGT 2015) part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, 2015

2014
An Implementation Model for Interaction Nets.
Proceedings of the Proceedings 8th International Workshop on Computing with Terms and Graphs, 2014

2013
Multi-sensor / multi-beam InSAR ground deformation monitoring of water-flood oil fields.
Proceedings of the 7th International Workshop on the Analysis of Multi-temporal Remote Sensing Images, 2013

2010
A lightweight abstract machine for interaction nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009
Compilation of Interaction Nets.
Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009

Recursive Functions with Pattern Matching in Interaction Nets.
Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009

An Implementation of Nested Pattern Matching in Interaction Nets
Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009

2008
Interaction nets: programming language design and implementation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

2007
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine.
Proceedings of the Third International Workshop on Developments in Computational Models, 2007

Interaction Nets With Nested Pattern Matching.
Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, 2007

2001
An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine.
Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001


  Loading...