二木 厚吉  Hutatsugi Koukichi

Springer Lecture Notes in Computer Science (Fundamental Approaches to Software Engineering, 19th FASE)

巻: 9633 ページ: 377-380

10.1007/978-3-662-49665-7_22

電子情報通信学会，信学技報

巻: vol.114, no.510, SS2014-55 ページ: 1-6

Proc. of 22nd Asia-Pacific Software Engineering Conference

巻: -

Springer Lecture Note in Computer Science (Formal Methods and Software Engineering, 17th ICFEM)

巻: 9407 ページ: 33-49

10.1007/978-3-319-25423-4_3

Springer Lecture Notes in Electrical Engineering (Advances in Computer Science and Ubiquitous Computing)

巻: 373 ページ: 15-21

10.1007/978-981-10-0281-6_3

Software, Services, and Systems, LNCS, Springer

巻: 8950 ページ: 171-192

10.1007/978-3-319-15545-6_13

Springer LNCS (Logic, Rewriting, and Concurrency)

巻: 9200 ページ: 287-310

10.1007/978-3-319-23165-5_14

Journal of Logic and Computation

巻: 25 (1) 号: 1 ページ: 95-116

10.1093/logcom/exs044

Technical Report IASI-CNR R. 3, 2014, ISSN: 1128-3378

巻: -

Specification, Algebra, and Software, LNCS, Springer

巻: 8373 ページ: 630-656

10.1007/978-3-642-54624-2_31

Proc. of Intl. Joint Conference on Computer Science and Software Engineering (11th JCSSE), IEEE

巻: - ページ: 337-342

10.1109/jcsse.2014.6841891

Specification, Algebra, and Software, LNCS, Springer

巻: 8373 ページ: 92-109

10.1007/978-3-642-54624-2_5

Specification, Algebra, and Software, LNCS, Springer

巻: 8373 ページ: 578-602

10.1007/978-3-642-54624-2_29

Proceedings of the International Conference on Electronics, Information and Communication (ICEIC 2013)

巻: - ページ: 144-145

Proc. of the 2nd Workshop on Validation Strategies for Software Evolution (2nd VSSE), ENTCS 294, Elsevier

巻: - ページ: 12-23

10.1016/j.entcs.2013.02.013

120005469624

Proceedings of the International MultiConference of Engineers and Computer Scientists 2013

巻: I, IMECS ページ: 516-521

ICST Workshops

巻: - ページ: 13-14

10.1109/icstw.2013.8

The Journal of Universal Computer Science (J. UCS)

巻: 19(6) ページ: 771-804

IAENG International Journal of Computer Science

巻: 40-2 ページ: 117-123

Proc.of the International MultiConference of Engineers and Computer Scientists 2012

ページ: 269-274

Springer Lecture Notes in Electrical Engineering

ページ: 565-575

Theoretical Computer Science (TCS)

巻: 464 ページ: 90-112

10.1016/j.tcs.2012.07.041

The Journal of Universal Computer Science (J.UCS)

巻: 18(16) ページ: 2204-2233

Proceedings of the 19th Asia-Pacific Software Engineering Conference　(19th APSEC), IEEE

巻: - ページ: 664-673

10.1109/apsec.2012.100

IEICE Transactions

巻: 94-A(9) ページ: 1877-1880

10030190955

Proc.of 2011 World Congress on Computer Science and Information Engineering (CSIE 2011), Lecture Notes in Electrical Engineering, Springer

巻: (印刷中)

Proc.of The Fifth International Conference on Secure Software Integration and Reliability Improvement (IEEE SSIRI 2011)

ページ: 187-193

Proc.of The Fifth International Conference on Secure Software Integration and Reliability Improvement Companion (IEEE SSIRI-C 2011)

ページ: 187-193

IEICE Transactions

巻: 94-A(9) ページ: 1877-1880

10030190955

J. Symb. Comput 45(5)

ページ: 551-573

120003338960

J.Symb.Comput. 45(5)

ページ: 551-573

120003338960

Proc.of CALCO 2009, LNCS 5728, Springer

ページ: 398-412

110007110878

IEICE Transactions 92-D(7)

ページ: 1401-1411

10026810203

日本ソフトウェア科学会論文誌 25(2),25(2),25(3),25(4),26(1),26(2)

International Journal of Revenue Management, Inderscience Enterprises Ltd. 13(3)

ページ: 284-306

Iコンピュータソフトウェア (日本ソフトウェア科学会論文誌) 26(2)

ページ: 284-306

10025982447

Proc. of CALCO 2009 5728

ページ: 398-412

110007110878

IEICE Transactions 92-D(7)

ページ: 1401-1411

10026810203

Proc. of 1st VSTTE, Springer LNCS 4171

ページ: 277-290

コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 26-1

ページ: 71-83

130004549136

Proceedings of the 4th International Refinement Workshop(R, efine 2007), ENTCS201, Elsevier

ページ: 127-154

コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-2

ページ: 14-27

110006664763

人工知能学会誌 23-4

ページ: 529-536

Proc. of 2nd International Conference on Theory and Practice of Electronic Governance 2008, ACM

ページ: 98-104

1st VSTTE, LNCS 4171, Springer

ページ: 277-290

日本ソフトウェア科学会論文誌 25(2)

ページ: 1-13

Proc. of the 10th Intl. Conference on Formal Engineering Methods (10th ICFEM) 5256

ページ: 187-206

Proc. of 2nd International Conference on Theory and Practice of Electronic Governance (2008), ACM Press

ページ: 98-104

Proceedings of the 10th International Conference on Formal Engineering Methods (10th ICFEM), Springer LNCS 5256

ページ: 187-206

情報処理 Vol.49,No.5

ページ: 521-529

コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-2

ページ: 1-13

130004549105

Proc. of IEEE/ACS Intl. Conference on Computer Systems and Applications

ページ: 652-660

IEICE Transactions 91-D(5)

ページ: 1492-1503

10026803820

Proc. of IEEE/ACS Intl. Conference on Computer Systems and Applications

ページ: 652-660

コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-3

ページ: 69-80

110006840405

コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-2

ページ: 78-84

130004549110

Proceedings of the 8^<th>, International Conference on Computer and Information Technology (8^<th> CIT), IEEE Computer Society Press

ページ: 754-759

120006674345

コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-4

ページ: 68-84

130004549122

Proc. of 1st VSTTE, LNCS 4171, Springer

ページ: 277-290

Refine 2007, ENTCS 201, Elsevier

ページ: 127-154

情報処理(情報処理学会学会誌) 49-5

ページ: 521-529

Proceedings of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC2007), LNCS4711, Springer

ページ: 381-395

IEICE TRANSACTIONS on Fundamental of Electronics, Communications and Computer Science E90-A(8)

ページ: 1690-1703

110007540867

Sci. of Comp. Prog 66(2)

ページ: 162-180

International Journal of Software Engineering and Knowledge Engineering 17(1)

ページ: 3-32

International Journal of Software Engineering and Knowledge Engineering 17・1

ページ: 1-30

Springer LNCS 4060

ページ: 596-615

120000861107

World Scientific Vol.17, No.6

ページ: 783-804

Science of Computer Programming 66(2)

ページ: 162-180

Proc. of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007) 4711

ページ: 381-395

IEICE TRANSACTIONS on Fundamental of Electronics, Communications and Computer Science E90-A(12)

ページ: 2985-2988

Proceedings of the 6th International Conference on Integrated Formal Methods(6th IFM), LNCS4591, Speringer

ページ: 393-412

Elsevier 66(2)

ページ: 162-180

Proceedimgs of the lstInternational Conference on Theory and Practice of Electronic Governance (ICEGOV 2007), ACM

ページ: 20-29

International Journal of Software Engineering And Knowledge Engineering 17(6)

ページ: 783-804

Proceedings of 3th International Conference on e-Government(ICEG 2007), ISBN1-905305-59-1ACL

ページ: 77-86

Proceedings of International Conference on Wireless Communications, Networking and Mobile Computing(WiCom 2007), ISBN1-4244-1312-5, IEEE

ページ: 3445-3448

Intl. J. of Software Eng. and Knowledge Eng 17(1)

ページ: 3-32

「法令工学の提案」, JAIST Press

ページ: 71-93

Proceedings of the 18^<th> International Conference on Software Engineering and Knowledge Engineering (18th SEKE)

ページ: 440-445

Int. J. Management and Decision Making 2/3

ページ: 275-294

Computer Software(コンピュータソフトウェア(日本ソフトウェア科学会論文誌)) 23・3

ページ: 134-146

Springer LNCS 4260

ページ: 114-131

120000861068

コンピュータソフトウェア(日本ソフトウェア科学会論文誌) 23・3

ページ: 35-50

110004815103

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences(電子情報通信学会論文誌) E89-A・6

ページ: 1558-1565

110007502878

Proc. of 21st IEEE International Conference on Automated Software Engineering

ページ: 3-10

Proceedings of the 6th International Conference on Quality Software (6^<th> QSIC)

ページ: 49-56

Int.J.Management and Decision Making Vol.7, Nos.2/3

ページ: 275-294

Proc.of the 17^<th> International Conference on Software Engineering and Knowledge Engineering (SEKE 2005)

ページ: 531-536

Proceedings of the 25th International Conference on Distributed Computing Systems (25th ICDCS) (IEEE Computer Society Press)

ページ: 795-804

Prceedings of the 5^<th> International Conference on Quality Software (5th QSIC)

ページ: 124-131

Journal of Pervasive Computing and Communications (Troubador) 1(2)

ページ: 135-145

Proc.of The 12th Asia-Pacific Software Engineering Conference (APSEC 2005)

ページ: 59-66

情報処理学会論文誌:プログラミング 46-SIG6

ページ: 47-59

110002769559

Proc.of the 25th International Conference on Distributed Computing Systems (25th ICDCS)

ページ: 795-804

Journal of Pervasive Computing and Communications 1-2

ページ: 135-145

Journal of Pervasive Computing and Communications 1(2)

ページ: 135-145

Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies (6th PDCAT),(IEEE Computer Society Press)

ページ: 416-420

Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies (6th PDCAT) (IEEE Computer Society Press)

ページ: 416-420

Proc. of The 12th Asia-Pacific Software Engineering Conference (APSEC 2005),(IEEE CS Press)

ページ: 59-66

情報処理学会論文誌 : プログラミング 46 SIG 6(PRO25)

ページ: 47-59

110002769559

Proc.of The 12th Asia-Pacific Software Engineering Conference (APSEC 2005) (IEEE CS Press) December

ページ: 59-66

情報処理学会論文誌:プログラミング (To appear)

110002769559

Lecture Notes in Computer Science (2nd ISSS), 3233

ページ: 45-64

Proceedings of the 4th International Conference on Computer and Information Technology

ページ: 1073-1080

Proceedings of the 4th International Conference on Quality Software

ページ: 50-59

Proceedings of the 2^<nd> International Symposium on Software Security (2nd ISSS) (Springer) LNCS 3233

ページ: 45-64

ソフトウェア工学の基礎 XI

ページ: 117-128

Proceedings of the 4th International Conference on Computer and Information Technology

ページ: 1100-1107

120006672306

Proc.of the IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems

ページ: 43-52

Proceedings of the 4th International Conference on Quality Software (4th QSIC) (IEEE Computer Society Press)

ページ: 50-59

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

ページ: 2124-2137

Proceedings of the 25th International Conference on Distributed Computing Systems (25th ICDCS),(IEEE Computer Society Press)

ページ: 795-804

Proceedings of the 4th International Conference on Quality Software (4th QSIC),(IEEE Computer Society Press)

ページ: 50-59

コンピュータソフトウェア Vol.20

ページ: 32-45

110003743130

コンピュータソフトウェア Vol.20

ページ: 54-72

110003743116

Information Processing Letters 86

ページ: 57-62

120000861080

Information Processing Letters (Springer) Vol.86

ページ: 57-62

120000861080

Proceedings of the 6th IFIP WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2003), Lecture Notes in Computer Science (Springer) Vol.2884

ページ: 170-184

Computing and Informatics Vol.22

ページ: 257-283

Lecture Notes in Computer Science,(FMOODS 2003), 2884

ページ: 170-184

Computing and Informatics 22

ページ: 257-283