Shin-ya Nishizaki

Chew Lim Tan, Masami Hagiya, Masanori Arita, 1995, Proceedings First International Symposium on Intelligence in Neural and Biological Systems. INBS'95.

A Polymorphic Environment Calculus and its Type-Inference Algorithm

Shin-ya Nishizaki, S. Nishizaki, 2000, High. Order Symb. Comput..

First-class Environments in Categorical Combinators

Shin-ya Nishizaki, Hiroki Joko, 2017 .

Cooperation of Model Checking and Network Simulation for Cost Analyses of Distributed Systems

Shin-ya Nishizaki, Kensuke Narita, Ritsuya Ikeda, 2011 .

CALL-BY-NAME EVALUATION OF RPC AND RMI CALCULI

Shin-ya Nishizaki, Shota Araki, 2014 .

Programs with Continuations and Linear Logic

Shin-ya Nishizaki, 1993, Sci. Comput. Program..

Strong Reduction for Typed Lambda Calculus with First-Class Environments

Shin-ya Nishizaki, Mizuki Fujii, S. Nishizaki, 2012, ICICA.

Distributed Online Judge System for Interactive Theorem Provers

Shin-ya Nishizaki, Takahisa Mizuno, 2014 .

2D Geometric Modeling and Verification of Line Tracing Robot Using UPPAAL Model Checker

Shin-ya Nishizaki, Yuta Nakatani, 2014, ICSE 2014.

Applying Model Checking to Destructive Testing and Analysis of Software System

Shin-ya Nishizaki, Takahisa Mizuno, Hiroki Kumamoto, 2013, J. Softw..

AnZenMail: A Secure and Certified E-mail System

Shigeki Hagihara, Etsuya Shibayama, Shin-ya Nishizaki, 2002, ISSS.

Formal Approach to Reliability Improvement with Model Checker

Shin-ya Nishizaki, Kazuhiro Yamada, 2013 .

Blog-Based Distributed Computation - Implementation of Software Verification System

Shin-ya Nishizaki, Takayuki Sasajima, 2012, ICICA.

Inverse Computation with an SMT Solver

Shin-ya Nishizaki, Keita Hiwatashi, 2018, 2018 3rd International Conference on Mechanical, Control and Computer Engineering (ICMCCE).

DoS Attack-Resistant Framework for Client/Server Intelligent Computing

Shin-ya Nishizaki, Shintaro Tabata, 2013 .

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

Shin-ya Nishizaki, 2012, SPIT.

Process Calculus for Cost Analysis of Process Creation

Shin-ya Nishizaki, Ritsuya Ikeda, Mizuki Fujii, 2013 .

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

Shin-ya Nishizaki, Chikako Morimoto, 2018, ICETC '18.

Formalization of Broadcast Communication in Process Calculus and Its Model Checking

Shin-ya Nishizaki, Ritsuya Ikeda, Takuya Ohata, 2009, ICSOFT.

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

Shin-ya Nishizaki, Ritsuya Ikeda, Daigo Tomioka, 2003, ISSS.

Model checking of broadcast communication via process calculus

Shin-ya Nishizaki, Ritsuya Ikeda, 2012 .

Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation

Tomoyuki Ueda, Shin-ya Nishizaki, Kensuke Narita, 2015, J. Softw..

ML Polymorphism of Linear Lambda Calculus with First-class Continuations

Shin-ya Nishizaki, 2019, ICSCA.

Design of Open Equation Archive Server Resistant against Denial-of-Service Attacks

Shin-ya Nishizaki, Hiroshi Tamano, 2012, IAIT 2012.

Let-Binding with Regular Expressions in Lambda Calculus

Shin-ya Nishizaki, Takuya Ohata, S. Nishizaki, 2016, J. Softw..

Event-Driven Implementation of Layer-7 Load Balancer

Shin-ya Nishizaki, Takayuki Sasajima, S. Nishizaki, 2013, IAIT.

Theory and Practice of Computation: Proceedings of Workshop on Computation: Theory and Practice WCTP2015

Masayuki Numao, Shin-ya Nishizaki, Jaime Caro, 2017 .

A simple abstract machine for functional first-class continuations

Shin-ya Nishizaki, Takahisa Mizuno, Keisuke Narita, 2010, 2010 10th International Symposium on Communications and Information Technologies.

ML with First-Class Environments and its Type Inference Algorithm

Shin-ya Nishizaki, S. Nishizaki, 1994, Logic, Language and Computation.

Formalization of Graph Search Algorithms and Its Applications

Masami Hagiya, Koichi Takahashi, Tetsuo Tamai, 1998, TPHOLs.

Real-Time Model Checking for Regulatory Compliance

Shin-ya Nishizaki, Takuya Ohata, S. Nishizaki, 2012, IAIT 2012.

Modifiable Continuation in Object Calculus

Shin-ya Nishizaki, Takuo Watanabe, Emiko Kuma, 2012 .

An Object Calculus with Remote Method Invocation

Shin-ya Nishizaki, Shohei Matsumoto, 2013 .

A Parallel Abstract Machine for the RPC Calculus

Shin-ya Nishizaki, Kensuke Narita, 2011 .

Formalization of Planar Graphs

Masami Hagiya, Shin-ya Nishizaki, Mitsuharu Yamamoto, 1995, TPHOLs.

Formal Framework for Cost Analysis Based on Process Algebra

Shin-ya Nishizaki, Hiroki Kiyoto, 2012 .

Linear lambda calculus with non-linear first-class continuations

Shin-ya Nishizaki, 2017, ICSCA '17.

Theory and Practice of Computation: 2nd Workshop on Computation Theory and Practice, Manila, The Philippines, September 2012, Proceedings

Masayuki Numao, Shin-ya Nishizaki, Jaime Caro, 2013 .

Analyzing Systems Dependent on Execution Speed with Model Checker

Shin-ya Nishizaki, Takahisa Mizuno, 水野孝久, 2012 .

Simple type system for call-by-value calculus with first-class continuations and environments

Shin-ya Nishizaki, 2019 .

Untyped lambda calculus with functionally referable environments

Shin-ya Nishizaki, Ryotaro Kasuga, 2021, ICSCA.

Simply Typed Lambda Calculus with First-Class Environments

Shin-ya Nishizaki, S. Nishizaki, 1994 .