# Shin-ya Nishizaki

According to our database

Collaborative distances:

^{1}, Shin-ya Nishizaki authored at least 19 papers between 1991 and 2017.Collaborative distances:

## 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