Shin-ya Nishizaki

According to our database, Shin-ya Nishizaki authored at least 27 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Transplanting of Environments between Closures in the lambda calculus.

Shin-ya Nishizaki

Proceedings of the 12th International Conference on Software and Computer Applications, 2023

2022

Preface to Hagiya-sensei's 2⁶-th Birthday Special Issue.

Shin-ya Nishizaki, Shinnosuke Seki

New Gener. Comput., 2022

Extracting Environments from Function Closures.

Shin-ya Nishizaki, Yuta Takayanagi

Proceedings of the ICSCA 2022: 11th International Conference on Software and Computer Applications, Melaka, Malaysia, February 24, 2022

Formalizing dynamic-wind in the lambda calculus.

Ryotaro Kasuga, Shin-ya Nishizaki

Proceedings of the ICSCA 2022: 11th International Conference on Software and Computer Applications, Melaka, Malaysia, February 24, 2022

2021

Untyped lambda calculus with functionally referable environments.

Shin-ya Nishizaki, Ryotaro Kasuga

Proceedings of the ICSCA 2021, 2021

2020

Static Code Analysis Using Refinement Types based on Design by Contract.

Koji Ishii, Shin-ya Nishizaki

Proceedings of the 9th International Conference on Software and Computer Applications, 2020

2019

ML Polymorphism of Linear Lambda Calculus with First-class Continuations.

Shin-ya Nishizaki

Proceedings of the 8th International Conference on Software and Computer Applications, 2019

2018

IT student project based learning based on user oriented approach: a practical oversea collaboration workshop.

Chikako Morimoto, Shin-ya Nishizaki

Proceedings of the 10th International Conference on Education Technology and Computers, 2018

2017

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

Keishi Watanabe, Shin-ya Nishizaki

J. Softw., 2017

Linear lambda calculus with non-linear first-class continuations.

Shin-ya Nishizaki

Proceedings of the 6th International Conference on Software and Computer Applications, 2017

2016

Let-Binding with Regular Expressions in Lambda Calculus.

Takuya Ohata, Shin-ya Nishizaki

J. Softw., 2016

2015

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

Shin-ya Nishizaki, Kensuke Narita, Tomoyuki Ueda

J. Softw., 2015

2013

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

Hiroki Kumamoto, Takahisa Mizuno, Kensuke Narita, Shin-ya Nishizaki

J. Softw., 2013

Evaluation Strategy and Translation of Environment Calculus.

Shin-ya Nishizaki

Proceedings of the Information Computing and Applications - 4th International Conference, 2013

Event-Driven Implementation of Layer-7 Load Balancer.

Takayuki Sasajima, Shin-ya Nishizaki

Proceedings of the Advances in Information Technology - 6th International Conference, 2013

2012

Incorporating First-Order Unification into Functional Language via First-Class Environments.

Shin-ya Nishizaki

Proceedings of the Signal Processing and Information Technology, 2012

Blog-Based Distributed Computation - Implementation of Software Verification System.

Takayuki Sasajima, Shin-ya Nishizaki

Proceedings of the Information Computing and Applications - Third International Conference, 2012

Strong Reduction for Typed Lambda Calculus with First-Class Environments.

Shin-ya Nishizaki, Mizuki Fujii

Proceedings of the Information Computing and Applications - Third International Conference, 2012

2009

Formalization of Broadcast Communication in Process Calculus and Its Model Checking.

Ritsuya Ikeda, Takuya Ohata, Shin-ya Nishizaki

Proceedings of the ICSOFT 2009, 2009

2003

A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack.

Daigo Tomioka, Shin-ya Nishizaki, Ritsuya Ikeda

Proceedings of the Software Security, 2003

2002

AnZenMail: A Secure and Certified E-mail System.

Etsuya Shibayama, Shigeki Hagihara, Naoki Kobayashi, Shin-ya Nishizaki, Kenjiro Taura, Takuo Watanabe

Proceedings of the Software Security -- Theories and Systems, 2002

2000

A Polymorphic Environment Calculus and its Type-Inference Algorithm.

Shin-ya Nishizaki

High. Order Symb. Comput., 2000

1998

Formalization of Graph Search Algorithms and Its Applications.

Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

1995

Knowledge-Based Simulation of Regulatory Action in lambda phage.

Tomoaki Shimada, Masami Hagiya, Masanori Arita, Shin-ya Nishizaki, Chew Lim Tan

Int. J. Artif. Intell. Tools, 1995

Formalization of Planar Graphs.

Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994

ML with First-Class Environments and its Type Inference Algorithm.

Shin-ya Nishizaki

Proceedings of the Logic, 1994

1993

Programs with Continuations and Linear Logic.

Shin-ya Nishizaki

Sci. Comput. Program., 1993