すべて 2021 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2006 2005 2004 2003 2002 その他
すべて 雑誌論文 学会発表
International Journal of Informatics Society
巻: 10 ページ: 75-83
巻: 9 ページ: 41-50
巻: Vol. 8, No. 2 ページ: 103-116
情報処理学会研究報告
巻: Vol. 2016-SE-192, No. 14 ページ: 1-6
電子情報通信学会論文誌
巻: Vol.J96D, No.11(ソフトウェア基礎・応用特集号) ページ: 2657-2668
巻: Vol.5, No.3 ページ: 147-155
International Journal of Informatics Society (IJIS)
巻: vol.5, No.1
巻: Vol.5, No.2 ページ: 86-96
日本ソフトウェア科学会学会誌コンピュータソフトウェア
巻: Vol.30, No.3,
120005575505
巻: Vol.5, No.2 ページ: 89-96
巻: Vol.30, No.3
巻: vol.4, No.3
巻: Vol.J96D, No.11 ページ: 2657-2668
巻: Vol.4, No.2 ページ: 85-92
Journal of Convergences
巻: Vol.2, No. 2 ページ: 1-8
巻: Vol.3,No.1 ページ: 11-20
IEICE Transactions on Information and Systems
巻: Vol.E94-D (フォーマルアプローチ特集号) ページ: 958-966
巻: Vol. 28, No. 4
130004549243
巻: Vol.3, No.1 ページ: 11-20
コンピュータソフトウェア
巻: 27,2 ページ: 106-111
130004549165
巻: Vol. 27, No. 2
巻: Vol.E93-D, No.5(フォーマルアプローチ特集号) ページ: 994-1005
10026815323
巻: E93-D,5 ページ: 994-1005
巻: Vol.1, No.2 ページ: 37-44
International Journal of Informatics Society (IJIS) Vol. 1, No. 2
ページ: 37-44
ソフトウェア工学の基礎XIII
ページ: 71-76
電子情報通信学会 技術研究報告 Vol. 106,No. 202
ページ: 13-18
110004824062
ページ: 29-34
110004824065
TECHNICAL REPORT OF IEICE. Vol.104, No.723
ページ: 1-6
110003277300
Proceedings of Software Symposium, 2004 (ISBN4-916227-16-6)
ページ: 53-57
京都大学数理解析研究所講究録 Vol.1375
ページ: 151-157
Kokyuroku of Research Institute for Mathematical Sciences Kyoto University Vol.1375
Lecture Notes in Computer Science Vol.3395
ページ: 95-106
TECHNICAL REPORT OF IEICE Vol.103, No.708
ページ: 7-12
110003276708
TECHNICAL REPORT OF IEICE. Vol.103, No.583
110003276701
TECHNICAL REPORT OF IEICE. Vol.104, No.243
ページ: 19-24
110003276723
IEICE Transactions on Information and Systems Vol.J87-DI, No.4
ページ: 462-470
110003171323
TECHNICAL REPORT OF IEICE Vol.104, No.243
TECHNICAL REPORT OF IEICE. Vol.102, No.616
110003276632
Lecture Notes in Computer Science Vol.2885
ページ: 523-540
TECHNICAL REPORT OF IEICE. Vol.102, No.246
110003498092
TECHNICAL REPORT OF IEICE. Vol.102, No.96
ページ: 13-16
TECHNICAL REPORT OF IEICE. Vol.102, No.629
ページ: 15-22
ページ: 23-30
電子情報通信学会技術報告 Vol.102,No.96
110003299879