"Kensuke Narita,Shin-ya Nishizaki","A Parallel Abstract Machine for the RPC Calculus","The International Conference on Informatics Engineerings and Information Science (ICIEIS 2011)","Informatics Engineering and Information Science, Communications in Computer and Information Science","Springer-Verlag Berlin Heidelberg","Vol. 253",,"pp. 320-332",2011,Nov.
"Ritsuya Ikeda,Kensuke Narita,Shin-ya Nishizaki","Cooperation of Model Checking and Network Simulation for Cost Analysis of Distributed Systems",,"International Journal of Computers and Applications","ACTA Press","Vol. 33","No. 4","pp. 323-329",2011,Nov.
"Kensuke NARITA,Shin-ya NISHIZAKI,Takahisa MIZUNO","A Simple Abstract Machine for First-class Continuations","International Symposium on Communications and Information Technologies 2010","Proceedings of International Symposium on Communications and Information Technologies 2010","IEEE",,,"pp. 111-114",2010,Oct.
"Hiroki KUMAMOTO,Takahisa MIZUNO,Kensuke NARITA,Shin-ya NISHIZAKI","Destructive Testing of Software Systems by Model Checking","International Symposium on Communications and Information Technologies 2010","Proceedings of International Symposium on Communications and Information Technologies 2010","IEEE",,,"pp. 261-266",2010,Oct.
"Ritsuya Ikeda,Kensuke Narita,Shin-ya Nishizaki","Cooperative Approach to Quality and Quantitative Cost Analyses of Distributed Systems","the 13th IASTED International Conference on Software Engineering and Application ? SEA 2009","Proceedings of the 13th IASTED International Conference on Software Engineering and Application ? SEA 2009","ACTA Press",,,"pp. 126-132",2009,Nov.