横山 哲郎
ヨコヤマ テツオ (Tetsuo Yokoyama)
更新日: 03/07
論文
49
表示件数
-
Theoretical Computer Science 953 113429-113429 2023年4月10日
-
New Generation Computing 2022年7月4日 査読有り
-
Theoretical Computer Science 920 46-63 2022年6月 査読有り
-
アカデミア. 理工学編 : 南山大学紀要 22 124-132 2022年3月
-
To submit (cite this paper when you would like to refer to COT representation) 1-68 2020年11月
-
Discrete Mathematics, Algorithms and Applications 2150023-2150023 2020年10月28日 査読有り筆頭著者
-
Information Processing Letters 147 32-37 2019年7月 査読有り
-
電子情報通信学会論文誌 D J102-D(3) 130-140 2019年3月 査読有り最終著者責任著者
-
電子情報通信学会論文誌 D J102-D(3) 235-238 2019年3月 査読有り筆頭著者責任著者
-
Proceedings of the Third Workshop on Software Foundations for Data Interoperability (SFDI2019+), October 28, 2019, Fukuoka, Japan 1-5 2019年 査読有り
-
Formal Methods. FM 2019 International Workshops (FM 2019), Lecture Notes in Computer Science, Springer-Verlag 12233 413-427 2019年 査読有り
-
電子情報通信学会論文誌 D J101-D(9) 1372-1375 2018年9月1日 査読有り
-
電子情報通信学会論文誌 D J101-D(8) 1220-1222 2018年8月 査読有り筆頭著者責任著者
-
電子情報通信学会論文誌 D J101-D(5) 791-793 2018年5月 査読有り筆頭著者最終著者責任著者
-
30 243-267 2018年3月 査読有り責任著者
-
New Gener. Comput. 36(3) 143-144 2018年
-
電子情報通信学会論文誌 D J100-D(10) 892-894 2017年10月 査読有り筆頭著者責任著者
-
電子情報通信学会論文誌 D J100-D(10) 895-896 2017年10月 査読有り筆頭著者最終著者責任著者
-
IEICE on Information and Systems 100-D(5) 1026-1034 2017年5月 査読有り最終著者
-
Computer Software 3 108-128 2016年8月10日 査読有り
-
Theoretical Computer Science 611 87-115 2016年1月 査読有り
-
Programming Languages and Systems, Lecture Notes in Computer Science, Springer-Verlag 9458 407-426 2015年12月 査読有り
-
情報処理学会論文誌プログラミング(PRO) 7(4) 21-36 2014年8月 査読有り最終著者責任著者
-
ACM Journal on Emerging Technologies in Computing Systems 11(2) 11-15 2014年 査読有り
-
Third International Conference on Networking and Computing(ICNC) 379-387 2012年12月5日 査読有り
-
International Workshop on Reversible Computation (RC 2011), Lecture Notes in Computer Science, Springer-Verlag 7165 14-29 2012年 査読有り筆頭著者
-
Journal of Multiple-Valued Logic and Soft Computing 18(1) 5-24 2012年1月 査読有り筆頭著者
-
IEICE Transactions on Information and Systems E93-D 2737-2746 2010年10月 査読有り筆頭著者
-
Electronic Notes in Theoretical Computer Science 253(6) 71-81 2010年3月 査読有り
-
15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications 2009年8月 査読有り
-
International Conference on Embedded Software and Systems (ICESS '09) 265-272 2009年5月 査読有り筆頭著者
-
情報処理学会論文誌:トランザクション「プログラミング」 2(2(PRO41)) 54-69 2009年3月 査読有り
-
Asia and South Pacific Design Automation Conference (ASP-DAC) 727-732 2009年1月 査読有り筆頭著者
-
International SoC Design Conference (ISOCC '08) 1 I44-I49 2008年11月 査読有り
-
Automata, Languages and Programming, Springer, Lecture Notes in Computer Science 5126 258-270 2008年8月 査読有り筆頭著者
-
43-54 2008年5月 査読有り筆頭著者
-
Computer Science – Theory and Applications, Springer-Verlag, Lecture Notes in Computer Science 4649 56-69 2007年9月 査読有り
-
Generative and Transformational Techniques in Software Engineering, Springer, Lecture Notes in Computer Science 4143 144-168 2006年11月 査読有り筆頭著者
-
コンピュータソフトウェア 21(5) 403-408 2004年9月 査読有り筆頭著者
-
Logic Based Program Synthesis and Transformation, Lecture Notes in Computer Science 3018 128-142 2004年8月 査読有り
-
Information Processing Letters 89(6) 309-314 2004年3月 査読有り筆頭著者
-
日本ソフトウェア科学会大会講演論文集 21 19-19 2004年
-
日本ソフトウェア科学会第20回記念大会 , 愛知県立大学, 2003年9月16日〜19日 2003年9月
-
2003年 筆頭著者最終著者責任著者
-
Mathematical Engineering Technical Reports, the University of Tokyo 7 1-17 2002年6月
-
情報処理学会論文誌プログラミング(PRO) 43(SIG03(PRO14)) 62-77 2002年3月15日 査読有り筆頭著者