Programs with Continuations and Linear Logic. - Shin-ya Nishizaki (Sci. Comput. Program., 1993)

ML with First-Class Environments and its Type Inference Algorithm. - Shin-ya Nishizaki (Logic, Language and Computation, 1994)

Formalization of Planar Graphs. - Mitsuharu Yamamoto; Shin-ya Nishizaki; Masami Hagiya; Yozo Toda (TPHOLs, 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 Graph Search Algorithms and Its Applications. - Mitsuharu Yamamoto; Koichi Takahashi; Masami Hagiya; Shin-ya Nishizaki; Tetsuo Tamai (TPHOLs, 1998)

A Polymorphic Environment Calculus and its Type-Inference Algorithm. - Shin-ya Nishizaki (High. Order Symb. Comput., 2000)

AnZenMail: A Secure and Certified E-mail System. - Etsuya Shibayama; Shigeki Hagihara; Naoki Kobayashi 001; Shin-ya Nishizaki; Kenjiro Taura; Takuo Watanabe (ISSS, 2002)

A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack. - Daigo Tomioka; Shin-ya Nishizaki; Ritsuya Ikeda (ISSS, 2003)

Formalization of Broadcast Communication in Process Calculus and Its Model Checking. - Ritsuya Ikeda; Takuya Ohata; Shin-ya Nishizaki (ICSOFT (1), 2009)

Strong Reduction for Typed Lambda Calculus with First-Class Environments. - Shin-ya Nishizaki; Mizuki Fujii (ICICA (LNCS), 2012)

Blog-Based Distributed Computation - Implementation of Software Verification System. - Takayuki Sasajima; Shin-ya Nishizaki (ICICA (LNCS), 2012)

Incorporating First-Order Unification into Functional Language via First-Class Environments. - Shin-ya Nishizaki (SPIT, 2012)

Event-Driven Implementation of Layer-7 Load Balancer. - Takayuki Sasajima; Shin-ya Nishizaki (IAIT, 2013)

Evaluation Strategy and Translation of Environment Calculus. - Shin-ya Nishizaki (ICICA (1), 2013)

Applying Model Checking to Destructive Testing and Analysis of Software System. - Hiroki Kumamoto; Takahisa Mizuno; Kensuke Narita; Shin-ya Nishizaki (J. Softw., 2013)

Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation. - Shin-ya Nishizaki; Kensuke Narita; Tomoyuki Ueda (J. Softw., 2015)

Let-Binding with Regular Expressions in Lambda Calculus. - Takuya Ohata; Shin-ya Nishizaki (J. Softw., 2016)

Linear lambda calculus with non-linear first-class continuations. - Shin-ya Nishizaki (ICSCA, 2017)

Big-step and Small-Step Semantics of the Call-by-Name RPC Calculus. - Keishi Watanabe; Shin-ya Nishizaki (J. Softw., 2017)

IT student project based learning based on user oriented approach: a practical oversea collaboration workshop. - Chikako Morimoto; Shin-ya Nishizaki (ICETC, 2018)

ML Polymorphism of Linear Lambda Calculus with First-class Continuations. - Shin-ya Nishizaki (ICSCA, 2019)

Static Code Analysis Using Refinement Types based on Design by Contract. - Koji Ishii; Shin-ya Nishizaki (ICSCA, 2020)

Untyped lambda calculus with functionally referable environments. - Shin-ya Nishizaki; Ryotaro Kasuga (ICSCA, 2021)

Formalizing dynamic-wind in the lambda calculus. - Ryotaro Kasuga; Shin-ya Nishizaki (ICSCA, 2022)

Extracting Environments from Function Closures. - Shin-ya Nishizaki; Yuta Takayanagi (ICSCA, 2022)

Preface to Hagiya-sensei's 26-th Birthday Special Issue. - Shin-ya Nishizaki; Shinnosuke Seki 001 (New Gener. Comput., 2022)

Transplanting of Environments between Closures in the lambda calculus. - Shin-ya Nishizaki (ICSCA, 2023)