Shin-ya Nishizaki

29 papers Journal 8Unranked 21

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