横山 哲郎
ヨコヤマ テツオ (Tetsuo Yokoyama)
更新日: 04/05
論文
52
表示件数
-
Lecture Notes in Computer Science 94-102 2024年5月29日 査読有り
-
275Theoretical 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月
-
Electronic Proceedings in Theoretical Computer Science 2022年
-
39Discrete Mathematics, Algorithms and Applications 2150023-2150023 2021年 査読有り筆頭著者 -
494To submit (cite this paper when you would like to refer to COT representation) 1-68 2020年11月 -
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月 査読有り筆頭著者最終著者責任著者