Shin-ya Nishizaki

Theory and Practice of Computation : Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2018), September 17-18, 2018, Manila, The Philippines

Masayuki Numao, Merlin Teodosia Suarez, Shin-ya Nishizaki, 2019 .

Formal Model of Time for Analyzing Denial-of-Service Attacks

Ritsuya Ikeda, Shin-ya Nishizaki, 2013 .

Untyped Call-by-Value Calculus with First-Class Continuations and Environments

Shin-ya Nishizaki, Yuta Aoyagi, 2018 .

Theory and Practice of Computation

Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez, 2012, Proceedings in Information and Communications Technology.