中田 明夫  NAKATA Akio

電子情報通信学会技術研究報告

巻: Vol.111, No.268 ページ: 37-42

110008900200

電子情報通信学会技術研究報告

巻: Vol.111, No.268 ページ: 43-48

組込みシステムシンポジウム2010論文集,情報処理学会シンポジウムシリーズ

巻: Vol.2010, No.10 ページ: 107-112

情報処理学会シンポジウムシリーズ

巻: Vol.2010, No.10 ページ: 107-112

情報処理学会研究報告

巻: Vol.2010-EMB-16, No.35

110007995069

情報処理学会論文誌 Vol.50 No.9

ページ: 2327-2339

110007970515

情報処理学会論文誌

巻: Vol.50, No.9 ページ: 2327-2339

110007970515

組込技術とネットワークに関するワークショップETNET2007 (印刷中)

110006249928

IPSJ Journal (in Japanese) Vol.47, No.3

ページ: 884-896

110004708846

情報処理学会論文誌 Vol.47,No.3

ページ: 884-896

110004708846

Proceedings of the 43rd ACM/IEEE Design Automation Conference (DAC-2006)

ページ: 37-42

International Journal of Foundations of Computer Science 17・4

ページ: 833-850

Proceedings of the 43rd ACM/IEEE Design Automation Conference(DAC-2006) (採録決定)

第59 回情報処理学会プログラミング研究会研究報告 PRO-2006-1-(5)

ページ: 1-12

110004857008

Proceedings of the 43rd ACM/IEEE Design Automation Conference (DAC-2006) (to appear)

電子情報通信学会論文誌A Vol.J88-A, No.12

ページ: 1487-1496

IEICE Transactions on Fundamentals Vol.E88-A, No.11

ページ: 3007-3021

110003500455

IEICE Transactions on Fundamentals Vol.E88-A,No.11

ページ: 3007-3021

110003500455

電子情報通信学会論文誌(A) Vol.J88-A,No.12

ページ: 1487-1496

110004020697

IEICE Transactions on Fundamentals (in Japanese) Vol.J88-A, No.12

ページ: 1487-1496

110004020697

IEICE Transactions on Fundamentals Vol.E88-A, No.11

ページ: 3007-3021

110003500455

19th IEEE International Conference on Advanced Information Networking and Applications (AINA2005) (To appear)

京都大学数理解析研究所講究録「研究集会 計算機科学基礎理論とその応用」(2004年度冬のLAシンポジウム予稿集) (印刷中)

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol.E88-A, No.11

ページ: 3007-3021

110003500455

2004 International Symposium on Automated Technology for Verification and Analysis (ATVA2004)

ページ: 179-195

Proceedings of the 25th IEEE International Real-Time Systems Symposium(RTSS2004)

ページ: 437-446

Proceedings of the 2nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2004)

ページ: 179-195

情報処理学会論文誌 45・11

ページ: 2519-2527

10013765526

STUDIA INFORMATICA UNIVERSALIS 3・2

ページ: 203-230

Studia INFORMATICA UNIVERSALIS Vol.3, No.2

ページ: 203-230

Proc. Of 2nd Int. Conf. on Automated Technology for Verification and Analysis. Lecture Notes in Computer Science Vol.3299

ページ: 179-195

Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS2004)

ページ: 437-446

Studia INFORMATICA UNIVERSALIS Vol.3,No.2

ページ: 203-230

25th IEEE International Real-Time systems Symposium

ページ: 437-446

Proceedings of the 2nd International Symposium on Automated Technology for Verification and Analysis(ATVA2004)

ページ: 179-195

STUDIA INFORMATICA UNIVERSALIS 3・2

ページ: 203-230

Proceedings of the 13th International Conference on Field Programmable Logic and Applications(FPL2003)

ページ: 1145-1148

Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL2003)

ページ: 1145-1148

International Journal of Foundations of Computer Science 未定(採録決定)