Shin-ya Nishizaki

According to our database1, Shin-ya Nishizaki authored at least 19 papers between 1991 and 2017.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Big-step and Small-Step Semantics of the Call-by-Name RPC Calculus.
JSW, 2017

Linear lambda calculus with non-linear first-class continuations.
Proceedings of the 6th International Conference on Software and Computer Applications, 2017

2016
Let-Binding with Regular Expressions in Lambda Calculus.
JSW, 2016

2015
Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation.
JSW, 2015

2013
Applying Model Checking to Destructive Testing and Analysis of Software System.
JSW, 2013

Evaluation Strategy and Translation of Environment Calculus.
Proceedings of the Information Computing and Applications - 4th International Conference, 2013

Event-Driven Implementation of Layer-7 Load Balancer.
Proceedings of the Advances in Information Technology - 6th International Conference, 2013

2012
Incorporating First-Order Unification into Functional Language via First-Class Environments.
Proceedings of the Signal Processing and Information Technology, 2012

Blog-Based Distributed Computation - Implementation of Software Verification System.
Proceedings of the Information Computing and Applications - Third International Conference, 2012

Strong Reduction for Typed Lambda Calculus with First-Class Environments.
Proceedings of the Information Computing and Applications - Third International Conference, 2012

2009
Formalization of Broadcast Communication in Process Calculus and Its Model Checking.
Proceedings of the ICSOFT 2009, 2009

2003
A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack.
Proceedings of the Software Security, 2003

2002
AnZenMail: A Secure and Certified E-mail System.
Proceedings of the Software Security -- Theories and Systems, 2002

2000
A Polymorphic Environment Calculus and its Type-Inference Algorithm.
Higher-Order and Symbolic Computation, 2000

1998
Formalization of Graph Search Algorithms and Its Applications.
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1995
Knowledge-Based Simulation of Regulatory Action in lambda phage.
International Journal on Artificial Intelligence Tools, 1995

Formalization of Planar Graphs.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994
ML with First-Class Environments and its Type Inference Algorithm.
Proceedings of the Logic, 1994

1991
Programs with Continuations and Linear Logic.
Proceedings of the Theoretical Aspects of Computer Software, 1991


  Loading...