All 2022 2021 2020 2019 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 Other
All Journal Article Presentation
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Volume: - Issue: 5 Pages: 823-832
10.1587/transfun.2021map0007
10.1587/transfun.2021MAP0007
130008091333
International Journal of Software Engineering and Knowledge Engineering
Volume: 31 Pages: 1541-1559
10.1142/s0218194021400118
Theoretical Computer Science
Volume: 848 Pages: 82-105
10.1016/j.tcs.2020.09.024
電子情報通信学会，信学技報
Volume: vol.114, no.510, SS2014-55 Pages: 1-6
Springer Lecture Notes in Electrical Engineering (Advances in Computer Science and Ubiquitous Computing)
Volume: 373 Pages: 15-21
10.1007/978-981-10-0281-6_3
Proc. of Intl. Joint Conference on Computer Science and Software Engineering (11th JCSSE), IEEE
Volume: - Pages: 337-342
10.1109/jcsse.2014.6841891
Specification, Algebra, and Software, LNCS, Springer
Volume: 8373 Pages: 92-109
10.1007/978-3-642-54624-2_5
Proceedings of the International Conference on Electronics, Information and Communication (ICEIC 2013)
Volume: - Pages: 144-145
Proceedings of the International MultiConference of Engineers and Computer Scientists 2013
Volume: I, IMECS Pages: 516-521
IAENG International Journal of Computer Science
Volume: 40-2 Pages: 117-123
IAENGInternational Journal of ComputerScience
Volume: 40 Pages: 117-123
http://www.iaeng.org/IJCS/issues_v40/issue_2/index.html
Proc.of the International MultiConference of Engineers and Computer Scientists 2012
Pages: 269-274
IEICE Transactions on Information and Systems
Volume: 94-D(5) Issue: 5 Pages: 976-988
10.1587/transinf.e94.d.976
10.1587/transinf.E94.D.976
10029506958
IEICE Transactions94-D(5)
Pages: 976-988
http://dx.doi.org/10.1587/transinf.E94.D.976
IEICE TRANSACTIONS on Information and Systems
Volume: E94-D(5) Pages: 976-988
J. Symb. Comput 45(5)
Pages: 551-573
120003338960
Journal of Symbolic Computation
Volume: 45 Pages: 551-573
http://dx.doi.org/10.1016/j.jsc.2010.01.008
J.Symb.Comput. 45(5)
IEICE TRANSACTI ONS on Information and Systems Vol.E92-D, No.5(in press)
10026809324
IEICE TRANSACTIONS on Information and Systems Vol.E92-D, No.7(in press)
10026810203
IEICE TRANSACTIONS on Information and Systems Vol.E92-D, No.5(in press)
IEICE Transactions 92-D(7)
Pages: 1401-1411
日本ソフトウェア科学会論文誌 25(2),25(2),25(3),25(4),26(1),26(2)
Iコンピュータソフトウェア (日本ソフトウェア科学会論文誌) 26(2)
Pages: 284-306
10025982447
コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 26-1
Pages: 71-83
130004549136
コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-2
Pages: 14-27
110006664763
日本ソフトウェア科学会論文誌 25(2)
Pages: 1-13
130004549105
IEICE Transactions 91-D(5)
Pages: 1492-1503
10026803820
コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-3
Pages: 69-80
110006840405
IEICE TRANSACTIONS on Information and Systems Vol.E91-D, No.5
Pages: 492-1503
Pages: 78-84
130004549110
コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-4
Pages: 68-84
130004549122
Proceedings of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC2007), LNCS4711, Springer
Pages: 381-395
報科学技術レターズ Vol.6
Pages: 27-30
International Journal of Software Engineering and Knowledge Engineering(IJSEKE) Vol.17, No. 6
Pages: 783-804
World Scientific Vol.17, No.6
Proc. of the 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007) 4711
International Journal of Software Engineering and Knowledge Engineering(IJSEKE) Vol. 17, No.6
International Journal of Software Engineering And Knowledge Engineering 17(6)
情報科学技術レターズ Vol.6
Journal of Automated Reasoning Vol. 37, No. 3
Pages: 205-229
コンピュータソフトウェア(日本ソフトウェア科学会論文誌) 23・3
Pages: 35-50
110004815103
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences(電子情報通信学会論文誌) E89-A・6
Pages: 1558-1565
110007502878
In Proceedings of The Sixth IEEE International Conference on Quality Software (QSIC2006)
Pages: 49-56
Proceedings of the 6th International Conference on Quality Software (6^<th> QSIC)
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol.E89-A・No.6
コンヒュータソフトウェア Vol. 23・No.3
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol. E89-A, No.6
Journal of Automated Reasoning Vol. 37 ・No. 3
コンピュータソフトウェア Vol. 23, No. 3
情報処理学会論文誌:プログラミング 46-SIG6
Pages: 47-59
110002769559
Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies (6th PDCAT),(IEEE Computer Society Press)
Pages: 416-420
Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies (6th PDCAT) (IEEE Computer Society Press)
情報処理学会論文誌 : プログラミング 46 SIG 6(PRO25)
情報処理学会論文誌:プログラミング (To appear)
ソフトウェア工学の基礎 XI
Pages: 117-128
