|
Publication List - Shin-ya Nishizaki (56 entries)
- 2024
- 2023
- 2022
- 2021
- 2020
- All
Journal Paper
-
Shin-ya Nishizaki,
Ritsuya Ikeda.
Formal Model of Time for Analyzing Denial-of-Service Attacks,
International Journal of Advancements in Computing Technology,
Advanced Institute of Convergence IT,
Vol. 5,
No. 7,
pp. 580--588,
Apr. 2013.
Official location
-
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,
Nov. 2011.
-
冨岡 大悟,
Ritsuya Ikeda,
Shin-ya Nishizaki.
通信プロトコルにおけるサービス不能攻撃耐性のための型付π計算,
コンピュータソフトウェア,
Japan Society for Software Science and Technology,
Vol. 23,
No. 3,
pp. 66-84,
July 2006.
-
山本光晴,
高橋孝一,
萩谷昌己,
西崎真也,
玉井哲雄.
Evolution of Graph Search Algorithms and Their Verification,
Computer Software,
pp. 92,
2000.
-
Shin-ya Nishizaki.
A Polymorphic Environment Calculus and its Type-Inference Algorithm,
Higher-Order and Symbolic Computation,
Vol. 13,
No. 3,
pp. 239-278,
2000.
-
Tomoaki Shimada,
Masami Hagiya,
Masanori Arita,
Shin-ya Nishizaki,
Chew Lim Tan.
Knowledge-based Simulation of Regulatory Action in Lambda Phage,
International Journal on Artificial Intelligence Tools,
Vol. 4,
No. 4,
pp. 511--523,
1995.
-
Shin-ya Nishizaki.
Programs with continuations and linear logic,
Science of Computer Programming,
Elsevier Science Publisher,
Vol. 21,
No. 2,
pp. 165-190,
Aug. 1993.
Book
-
Shin-ya Nishizaki.
この定理が美しい,
数学書房,
June 2009.
-
Shin-ya Nishizaki.
理工系のためのコンピュータサイエンス,
サイエンス社,
Jan. 2008.
-
Masami Hagiya,
Shin-ya Nishizaki.
論理と計算のしくみ,
岩波書店,
June 2007.
-
西崎真也.
関数的環境計算の合流性,,
日本ソフトウェア科学会 第16回大会論文集,
日本ソフトウェア科学会 第16回大会論文集,
1999.
-
Shin-ya Nishizaki.
Formalization of Graph Search Algorithm and Its Applications,
Lecture Notes in Computer Science,
Lecture Notes in Computer Science,
Vol. 1479,
pp. 479-496,
1998.
International Conference (Reviewed)
-
Shin-ya Nishizaki.
Simple type system for call-by-value calculus with first-class continuations and environments,
8th Workshop on Computation: Theory and Practice WCTP2018,
Proceedings of the 8th Workshop on Computation: Theory and Practice (WCTP 2018),
CRC Press,
pp. 119-130,
Sept. 2019.
-
Hiroki JOKO,
Shin-ya NISHIZAKI.
First-class Environments in Categorical Combinators,
Theory And Practice Of Computation-Proceedings Of Workshop On Computation: Theory And Practice WCTP2016,
World Scientific,
pp. 28-43,
Oct. 2017.
-
Shota Araki,
Shin-ya Nishizaki.
CALL-BY-NAME EVALUATION OF RPC AND RMI CALCULI,
Third Workshop on Computing: Theory and Practice, WCTP 2013,
Theory and Practice of Computation,
World Scientific,
pp. 1-14,
Nov. 2014.
-
Yuta Nakatani,
Shin-ya NISHIZAKI.
2D Geometric Modeling and Verification of Line Tracing Robot Using UPPAAL Model Checker,
the 2nd International Conference on Software Engineering, Knowledge Engineering and INformation Engineering (SEKEIE 2014),
Proceedings of the 2nd International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2014),
Atlantis Press,
Mar. 2014.
-
Shin-ya Nishizaki.
Evaluation Strategy and Translation of Environment Calculus,
International Conference on Information Computing and Applications, ICICA 2013,
4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I (Communications in Computer and Information Science book series),
Springer Heidelberg New York Dordrecht London,
Vol. 391,
pp. 232-242,
Dec. 2013.
-
Shin-ya Nishizaki,
Mizuki Fujii.
Strong Reduction for Typed Lambda Calculus with First-Class Environments,
The 3rd International Conference on Information Computing and Applications, ICICA 2012,
Information Computing and Applications, Lecture Notes in Computer Science,
Springer Berlin Heidelberg,
Vol. 7473,
pp. 632-639,
Sept. 2013.
-
Shin-ya Nishizaki,
Takuya Ohata.
Real-Time Model Checking for Regulatory Compliance,
Second International Conference on Advances in Information Technology and Mobile Communication - AIM 2012,
Mobile Communication and Power Engineering, Communications in Computer and Information Science,
Springer Berlin Heidelberg,
Vol. 296,
pp. 70-77,
Jan. 2013.
Official location
-
Takahisa Mizuno,
Shin-ya Nishizaki.
Analyzing Systems Dependent on Execution Speed with Model Checker,
International Conference on Advances Science and Contemporary Engineering 2012,
Procedia Engineering,
Elsevier,
Volume 50,
pp. 544-554,
Nov. 2012.
Official location
-
Takayuki Sasajima,
Shin-ya Nishizaki.
Blog-Based Distributed Computation,
The Third International Conference on Information Computing and Application, ICICA2012,
Information Computing and Applications, Lecture Notes in Computer Science,
Springer Berlin Heidelberg,
Vol. 7473,
pp. 461-467,
Sept. 2012.
-
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,
Nov. 2011.
-
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,
Oct. 2010.
-
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,
Oct. 2010.
-
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,
Nov. 2009.
Official location
-
Ritsuya Ikeda,
Takuya Oohata,
Shin-ya Nishizaki.
Formalization of Broadcast Communication in Process Calculus and Its Model Checking,
ICSOFT 2009,
Proceedings of the 4th International Conference on Software and Data Technologies,
INSTICC Press,
Vol. 1,
pp. 348-352,
July 2009.
Official location
-
Daigo Tomioka,
Shin-ya NISHIZAKI,
Ritsuya Ikeda.
A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack,
Second Mext-NSF-JSPS International Symposium, ISSS 2003,
Software Security - Theories and Systems,
Springer-Verlag,
Volume 3233,
pp. 25-44,
Nov. 2004.
-
Shin-ya NISHIZAKI,
Naoki UESUGI.
Secure Filtering of Client-Side Scripts by Program Transformation,
FIT 2003,
Information Technology Letters, IPSJ,
Vol. 2,
pp. 37,
Aug. 2003.
-
ETSUYA SHIBAYAMA,
Shigeki Hagihara,
Naoki Kobayashi,
Shin-ya Nishizaki,
Kenjiro Taura,
Takuo Watanabe.
AnZenMail: A Secure and Certified E-mail System,
Lecture Notes in Computer Science (Software Security: Theories and Systems),
Vol. 2609,
pp. 201-216,
2003.
-
Etsuya Shibayama,
Shigeki Hagihara,
Naoki Kobayashi,
Shin-ya Nishizaki,
Kenjiro Taura,
Takuo Watanabe.
AnZenMail: A Secure and Certified E-mail System,
Software Security - Theories and Systems, Lecture Notes in Computer Science, Springer-Verlag,
Lecture Notes in Computer Science,
Vol. 2609,
pp. 201-216,
2002.
-
Shin-ya Nishizaki.
Programmable Environment Calculus as Theory of Dynamic Software Evolution,
International Symposium on Principles of Software Evolution, ISPSE 2000,
pp. 221-225,
Jan. 2000.
-
Shin-ya NISHIZAKI,
Yohji AKAMA.
Translations of First-Class Environments to Records,
First International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs,
Proceedings of First International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs,
pp. 81-92,
July 1998.
-
Shin-ya Nishizaki.
Type Inference for Simply-Typed Environment Calculus with Shadowing,
Fuji International Workshop on Functional and Logic Programming,
Functional and Logic Programming -- Fuji International Workshop,
World Scientific,
July 1995.
-
Shin-ya Nishizaki.
ML with First-class Environments and Type Inference Algorithm,
Lecture Notes in Computer Science,
Vol. 792,
pp. 95-116,
1994.
-
Shin-ya Nishizaki.
Programs with continuations and linear logic,
Theoretical Aspects of Computer Software,
Springer-Verlag,
Volume 526,
pp. 513-531,
1991.
Domestic Conference (Reviewed)
-
Takashi Kobayashi,
Katsuhiko Gondow,
MOTOSHI SAEKI,
Kazuyuki Shudo,
Shin-ya Nishizaki,
Chikako Morimoto,
KEN WAKITA,
渡部卓雄 (50音順).
東京工業大学における実践的 IT 人材育成の試み - IT システムの価値探索とチームビルディング,
第 4 回実践的 IT 教育シンポジウム (rePiT2018),
第 4 回実践的 IT 教育シンポジウム (rePiT2018) 予稿集,
pp. 40-48,
Jan. 2018.
-
Shin-ya Nishizaki.
Formalization of Classloader Constraints of Java,
IPSJ Transactions on Programming,
情報処理学会,
Vol. 4,
No. 7,
pp. 79,
June 2000.
Official location
-
山本光晴,
萩谷昌己,
白取知樹,
Shin-ya Nishizaki.
A Visualization Tool for a Proof Checker that Deals with Diagrammatic Objects,
第3回「インタラクティブシステムとソフトウェアに関するワークショップ」(WISS’95),
インタラクティブシステムとソフトウェアIII,
近代科学社,
pp. 85-92,
Dec. 1995.
-
Shin-ya Nishizaki.
First-class Environments and polymorphism,
関数プログラミングII,
近代科学社,
pp. 79-94,
1994.
International Conference (Not reviewed / Unknown)
-
Chikako MORIMOTO,
Shin-ya NISHIZAKI.
IT Student Project Based Learning Based on User Oriented Approach - A Practical Oversea Collaboration Workshop -,
ICETC 2018,
Proceedings of the 10th International Conference on Education Technology and Computers,
ACM,
pp. 314-320,
Oct. 2018.
Official location
-
Ritsuya Ikeda,
Shin-ya Nishizaki.
Spice計算へのブロードキャスト通信の拡張,
システム検証の科学技術シンポジウム(SSV 2008),
第5回システム検証の科学技術シンポジウム論文集,
日本ソフトウェア科学会 ディペンダブルシステム研究会,
Nov. 2008.
Official location
Domestic Conference (Not reviewed / Unknown)
-
Takashi Kobayashi,
Katsuhiko Gondow,
MOTOSHI SAEKI,
Kazuyuki Shudo,
Shin-ya Nishizaki,
Chikako Morimoto,
KEN WAKITA,
Takuo Watanabe.
東京工業大学における IT システムの価値探索を狙いとした実践的 IT 人材育成の試み - Problem BasedLearning と Project Based Learning,
日本ソフトウェア科学会 第34回大会,
日本ソフトウェア科学会 第34回大会 論文集,
4 pages,
Sept. 2017.
-
Takashi Kobayashi,
Katsuhiko Gondow,
MOTOSHI SAEKI,
Kazuyuki Shudo,
Yasushi Tanaka,
Shin-ya Nishizaki,
Chikako Morimoto,
NAOKI YONEZAKI,
Takuo Watanabe.
Cloudbauhaus: 東京工業大学における実践的IT人材育成の試み,
日本ソフトウェア科学会第30回大会,
Sept. 2013.
-
Kazuhiro Yamada,
Takuo Watanabe,
Sosuke Moriguchi,
Shin-ya Nishizaki.
Verifying C Source Code using Proof Assistant Tools: A Case Study with Morris' Tree Traversal Algorithm,
IPSJ SIGSE,
IPSJ SIG Notes,
Vol. SE-171,
No. 26,
pp. 1-4,
Mar. 2011.
Official location
-
Emiko Kuma,
Daisuke Matsumoto,
Shin-ya Nishizaki,
TAKUO WATANABE.
オブジェクト計算における変更可能な継続,
The 73rd National Convention of IPSJ,
情報処理学会 第73回全国大会講演論文集,
IPSJ,
Mar. 2011.
-
Takuo Watanabe,
Sosuke Moriguchi,
Kazuhiro Yamada,
Shin-ya Nishizaki.
Towards Verifying Pointer-Manipulating Programs using Program Transformation: A Case Study with Morris’ Binary Tree Traversal Algorithm,
電子情報通信学会ソフトウェアサイエンス研究会(SIGSS),
IEICE technical report,
IEICE,
Vol. 110,
No. 458,
pp. 97-102,
Feb. 2011.
Official location
-
Shin-ya Nishizaki,
Ritsuya Ikeda,
Takeru Hidaka.
Time Model of Computational System for DoS attack resistance of Protocols,
日本ソフトウェア科学会第22回大会,
日本ソフトウェア科学会第22回大会論文集,
日本ソフトウェア科学会,
Sept. 2010.
-
Shin-ya Nishizaki,
Hirosi Tamano.
Safely Checking in Equation Archive,
日本ソフトウェア科学会第22回大会,
日本ソフトウェア科学会第22回大会論文集,
日本ソフトウェア科学会,
July 2010.
-
Ritsuya Ikeda,
Shin-ya Nishizaki.
Spice 計算へのブロードキャスト通信の拡張,
第5回システム検証の科学技術シンポジウム,
第5回システム検証の科学技術シンポジウム予稿集,
日本ソフトウェア科学会ディペンダブルシステム研究会,
pp. 89-95,
Nov. 2008.
-
Ritsuya Ikeda,
Shin-ya Nishizaki.
プロセス計算による定性的コスト解析とネットワークシミュレータによ る定量的コスト解析,
第4回システム検証の科学技術シ ンポジウム論文集,
日本ソフトウェア科学会ディペンダブルシステム研究会,
pp. 2-10,
Nov. 2007.
Official location
-
Mizuki Fujii,
Shin-ya Nishizaki,
Ritsuya Ikeda.
プロセス生成コスト解析するためのプロセス計算,
日本ソフトウェア科学会第24 回大会論文集,
日本ソフトウェア科学会,
Sept. 2007.
-
Ritsuya Ikeda,
Shin-ya Nishizaki.
プロセス計算によるコスト解析とネットワークシミュレーションの比較,
日本ソフトウェア科学会第24 回大会,
日本ソフトウェア科学会第24 回大会論文集,
日本ソフトウェア科学会,
Sept. 2007.
-
Ritsuya Ikeda,
Shin-ya Nishizaki.
Spice計算からモデル記述言語Promelaへの変換によるサービス不能攻撃耐性解析,
第三回システム検証の科学技術シンポジウム,
第三回システム検証の科学技術シンポジウム予稿集,
産業技術総合研究所システム検証研究センター,
pp. 7-14,
Oct. 2006.
-
Shin-ya Nishizaki.
継続つきプログラミング言語と線形論理,
情報処理学会,
Vol. 91,
No. 32,
Apr. 1991.
Other Publication
Degree
[ Save as BibTeX ]
[ Paper, Presentations, Books, Others, Degrees: Save as CSV
]
[ Patents: Save as CSV
]
|