Tetsuo Yokoyama
(横山 哲郎)
Modified on: 03/07
Papers
49
Entries per page
-
Theoretical Computer Science, 953 113429-113429, Apr 10, 2023
-
New Generation Computing, Jul 4, 2022 Peer-reviewed
-
Theoretical Computer Science, 920 46-63, Jun, 2022 Peer-reviewed
-
22 124-132, Mar, 2022
-
To submit (cite this paper when you would like to refer to COT representation), 1-68, Nov, 2020
-
Discrete Mathematics, Algorithms and Applications, 2150023-2150023, Oct 28, 2020 Peer-reviewedLead author
-
Information Processing Letters, 147 32-37, Jul, 2019 Peer-reviewed
-
電子情報通信学会論文誌 D, J102-D(3) 130-140, Mar, 2019 Peer-reviewedLast authorCorresponding author
-
電子情報通信学会論文誌 D, J102-D(3) 235-238, Mar, 2019 Peer-reviewedLead authorCorresponding author
-
Proceedings of the Third Workshop on Software Foundations for Data Interoperability (SFDI2019+), October 28, 2019, Fukuoka, Japan, 1-5, 2019 Peer-reviewed
-
Formal Methods. FM 2019 International Workshops (FM 2019), Lecture Notes in Computer Science, Springer-Verlag, 12233 413-427, 2019 Peer-reviewed
-
電子情報通信学会論文誌 D, J101-D(9) 1372-1375, Sep 1, 2018 Peer-reviewed
-
電子情報通信学会論文誌 D, J101-D(8) 1220-1222, Aug, 2018 Peer-reviewedLead authorCorresponding author
-
電子情報通信学会論文誌 D, J101-D(5) 791-793, May, 2018 Peer-reviewedLead authorLast authorCorresponding author
-
Reversibility and Universality, 30 243-267, Mar, 2018 Peer-reviewedCorresponding author
-
New Gener. Comput., 36(3) 143-144, 2018
-
電子情報通信学会論文誌 D, J100-D(10) 892-894, Oct, 2017 Peer-reviewedLead authorCorresponding author
-
電子情報通信学会論文誌 D, J100-D(10) 895-896, Oct, 2017 Peer-reviewedLead authorLast authorCorresponding author
-
IEICE on Information and Systems, 100-D(5) 1026-1034, May, 2017 Peer-reviewedLast author
-
Computer Software, 3 108-128, Aug 10, 2016 Peer-reviewed