Shin-ya Nishizaki

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 12

Top Topics

Automatically Extracting

Lambda Calculus

Project Based Learning

Functional Language

Top Venues

Publications

Shin-ya Nishizaki
Transplanting of Environments between Closures in the lambda calculus. ICSCA (2023)
Shin-ya Nishizaki, Shinnosuke Seki
-th Birthday Special Issue. New Gener. Comput. 40 (2) (2022)
Ryotaro Kasuga, Shin-ya Nishizaki
Formalizing dynamic-wind in the lambda calculus. ICSCA (2022)
Shin-ya Nishizaki, Yuta Takayanagi
Extracting Environments from Function Closures. ICSCA (2022)
Shin-ya Nishizaki, Ryotaro Kasuga
Untyped lambda calculus with functionally referable environments. ICSCA (2021)
Koji Ishii, Shin-ya Nishizaki
Static Code Analysis Using Refinement Types based on Design by Contract. ICSCA (2020)
Shin-ya Nishizaki
ML Polymorphism of Linear Lambda Calculus with First-class Continuations. ICSCA (2019)
Chikako Morimoto, Shin-ya Nishizaki
IT student project based learning based on user oriented approach: a practical oversea collaboration workshop. ICETC (2018)
Shin-ya Nishizaki
Linear lambda calculus with non-linear first-class continuations. ICSCA (2017)
Keishi Watanabe, Shin-ya Nishizaki
Big-step and Small-Step Semantics of the Call-by-Name RPC Calculus. J. Softw. 12 (7) (2017)
Takuya Ohata, Shin-ya Nishizaki
Let-Binding with Regular Expressions in Lambda Calculus. J. Softw. 11 (2) (2016)
Shin-ya Nishizaki, Kensuke Narita, Tomoyuki Ueda
Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation. J. Softw. 10 (10) (2015)
Hiroki Kumamoto, Takahisa Mizuno, Kensuke Narita, Shin-ya Nishizaki
Applying Model Checking to Destructive Testing and Analysis of Software System. J. Softw. 8 (5) (2013)
Takayuki Sasajima, Shin-ya Nishizaki
Event-Driven Implementation of Layer-7 Load Balancer. IAIT (2013)
Shin-ya Nishizaki
Evaluation Strategy and Translation of Environment Calculus. ICICA (1) (2013)
Takayuki Sasajima, Shin-ya Nishizaki
Blog-Based Distributed Computation - Implementation of Software Verification System. ICICA (LNCS) (2012)
Shin-ya Nishizaki, Mizuki Fujii
Strong Reduction for Typed Lambda Calculus with First-Class Environments. ICICA (LNCS) (2012)
Shin-ya Nishizaki
Incorporating First-Order Unification into Functional Language via First-Class Environments. SPIT (2012)
Ritsuya Ikeda, Takuya Ohata, Shin-ya Nishizaki
Formalization of Broadcast Communication in Process Calculus and Its Model Checking. ICSOFT (1) (2009)
Daigo Tomioka, Shin-ya Nishizaki, Ritsuya Ikeda
A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack. ISSS (2003)
Etsuya Shibayama, Shigeki Hagihara, Naoki Kobayashi, Shin-ya Nishizaki, Kenjiro Taura, Takuo Watanabe
AnZenMail: A Secure and Certified E-mail System. ISSS (2002)
Shin-ya Nishizaki
A Polymorphic Environment Calculus and its Type-Inference Algorithm. High. Order Symb. Comput. 13 (3) (2000)
Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai
Formalization of Graph Search Algorithms and Its Applications. TPHOLs (1998)
Tomoaki Shimada, Masami Hagiya, Masanori Arita, Shin-ya Nishizaki, Chew Lim Tan
Knowledge-Based Simulation of Regulatory Action in lambda phage. Int. J. Artif. Intell. Tools 4 (4) (1995)
Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda
Formalization of Planar Graphs. TPHOLs (1995)
Shin-ya Nishizaki
ML with First-Class Environments and its Type Inference Algorithm. Logic, Language and Computation (1994)
Shin-ya Nishizaki
Programs with Continuations and Linear Logic. Sci. Comput. Program. 21 (2) (1993)
Shin-ya Nishizaki
Programs with Continuations and Linear Logic. TACS (1991)