山上 智幸  YAMAKAMI TOMOYUKI

International Journal of Computer Mathematics: Computer Systems Theory

巻: 8 号: 1 ページ: 1-31

10.1080/23799927.2023.2166872

Proceedings of the 24th Italian Conference on Theoretical Computer Science (ICTCS 2023), CEUR Workshop Proceedings (CEUR-WS.org)

巻: 3587 ページ: 268-282

Journal of Computer and System Sciences

巻: 136 ページ: 88-112

10.1016/j.jcss.2023.03.001

Information and Computation

巻: 295 ページ: 105089-105089

10.1016/j.ic.2023.105089

Proceeding of the 24th International Symposium on Fundamentals of Computation Theory (FCT 2023), Lecture Notes in Computer Science

巻: 14292 ページ: 421-435

10.1007/978-3-031-43587-4_30

Proceedings of the 28th International Conference on Computing and Combinatorics, Lecture Notes in Computer Science

巻: 13595 ページ: 61-69

10.1007/978-3-031-22105-7_6

Information and Computation

巻: 286 ページ: 104783-104783

10.1016/j.ic.2021.104783

Proceedings of the 25th International Computer Symposium on New Trends in Computer Technologies and Applications, Communications in Computer and Information Science

巻: 1723 ページ: 180-191

10.1007/978-981-19-9582-8_16

Proceedings of the Future Technologies Conference, Lecture Notes in Networks and Systems

巻: 559 ページ: 776-795

10.1007/978-3-031-18461-1_51

Proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, Lecture Notes in Computer Science

巻: 13572 ページ: 425-441

10.1007/978-3-031-17715-6_27

Proceedings of the 16th International Conference on Reachability Problems, Lecture Notes in Computer Science

巻: 13608 ページ: 77-92

10.1007/978-3-031-19135-0_6

Proceedings of the 28th International Workshop on Logic, Language, Information, and Computation, Lecture Notes in Computer Science

巻: 13468 ページ: 88-104

10.1007/978-3-031-15298-6_6

Proceedings of the 26th International Conference on Developments in Language Theory, Lecture Notes in Computer Science

巻: 13257 ページ: 312-324

10.1007/978-3-031-05578-2_25

電子情報通信学会, 情報理論研究会, 信学技報

巻: IT2020-117 ページ: 31-36

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, CEUR Workshop Proceedings

巻: 3072 ページ: 249-265

Proceedings of the 27th International Computing and Combinatorics Conference, Lecture Notes in Computer Science

巻: 13025 ページ: 164-175

10.1007/978-3-030-89543-3_14

Proceedings of the 19th International Conference on Unconventional Computation and Natural Computation, Lecture Notes in Computer Science

巻: 12984 ページ: 177-193

10.1007/978-3-030-87993-8_12

Proceedings of the 17th International Conference on Advanced Data Mining and Applications, Lecture Notes in Computer Science

巻: 13087 ページ: 421-436

10.1007/978-3-030-95405-5_30

Proceedings of the Seventh International Conference on Mathematics and Computing, Advances in Intelligent Systems and Computing

巻: 1412 ページ: 551-562

10.1007/978-981-16-6890-6_41

Journal of Automata, Languages and Combinatorics

巻: 25 ページ: 235-273

The Journal of Symbolic Logic

巻: 85 号: 4 ページ: 1546-1587

10.1017/jsl.2020.45

Proceedings of the 14th International Conference on Language and Automata Theory and Applications, Lecture Notes in Computer Science

巻: 12038 ページ: 341-353

10.1007/978-3-030-40608-0_24

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020). LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik 2020

巻: 170

Theoretical Computer Science

巻: 798 ページ: 2-22

10.1016/j.tcs.2019.09.006

Proceedings of the 8th International Conference on Unconventional Computation and Natural Computation, Lecture Notes in Computer Science

巻: 11493 ページ: 257-271

10.1007/978-3-030-19311-9_20

Proceedings of the 13th International Conference on Language and Automata Theory and Applications, Lecture Notes in Computer Science, Springer-Verlag

巻: 11417 ページ: 134-145

10.1007/978-3-030-13435-8_10

Proceedings of the 45th International Conference on Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Science, Springer-Verlag

巻: 11376 ページ: 519-530

10.1007/978-3-030-10801-4_40

Proceedings of the 5th Annual Conference on Theory and Applications of Models of Computation, Lecture Notes in Computer Science

巻: 11436 ページ: 659-673

10.1007/978-3-030-14812-6_41

Proceedings of the 21st IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems, Lecture Notes in Computer Science

巻: 11612 ページ: 285-297

10.1007/978-3-030-23247-4_22

Proceedings of the 10th Workshop on Non-Classical Models of Automata and Applications, Osterreichische Computer Gesellschaft, the Austrian Computer Society

巻: 2018 ページ: 197-214

Proceedings of the 20th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems, Lecture Notes in Computer Science, Springer-Verlag

巻: 10952 ページ: 237-249

10.1007/978-3-319-94631-3_20

Proceedings of the 21st International Conference on Developments in Language Theory (DLT 2017), Lecture Notes in Computer Science, Springer-Verlag

巻: 10396 ページ: 353-364

10.1007/978-3-319-62809-7_28

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), Leibniz International Proceedings in Informatics (LIPIcs)

巻: 83

10.4230/LIPIcs.MFCS.2017.6

Proceedings of the 11th International Workshop on Reachability Problems (RP 2017), Lecture Notes in Computer Science, Springer-Verlag

巻: 10506 ページ: 176-191

10.1007/978-3-319-67089-8_13

Proceedings of the 9th Workshop on Non-Classical Models of Automata and Applications (NCMA 2017), Osterreichische Computer Gesellschaft 2017, the Austrian Computer Society

巻: 2017 ページ: 243-258

Baltic Journal of Modern Computing

巻: 4(4) ページ: 753-788

Theoretical Computer Science

巻: 613 ページ: 1-27

10.1016/j.tcs.2015.10.026

Theoretical Computer Science

巻: 568 ページ: 1-18

10.1016/j.tcs.2014.11.030

SIAM Journal on Computing

巻: 00 ページ: 00-00

Proceedings of the IEEE Conference on Computational Complexity

巻: in press

Theory of Computing Systems

巻: in press 号: 1 ページ: 170-201

10.1007/s00224-013-9518-4

Information and Computation

巻: 239 号: 11 ページ: 611-619

10.1016/j.ipl.2014.05.012

Proceedings of the Joint 7th International Conference on Soft Computing and Intelligent Systems and 15th International Symposium on Advanced Intelligent Systems

巻: 2014 ページ: 29-35

10.1109/scis-isis.2014.7044695

Proceedings of the 15th Italian Conference on Theoretical Computer Science, CEUR Workshop Proceedings

巻: 1231

Proceedings of the 8th IFIP International Conference on Theoretical Computer Science, Lecture Notes in Computer Science

巻: 8705 ページ: 136-150

10.1007/978-3-662-44602-7_12

Proceedings of the 40th International Conference on Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Science

巻: 8327 ページ: 514-525

10.1007/978-3-319-04298-5_45

Lecture Notes in Computer Science

巻: 8890 ページ: 144-156

10.1007/978-3-319-13749-0_13

Proceedings of the 7th Annual International Conference on Combinatorial Optimization and Applications, Lecture Notes in Computer Science

巻: 8287 ページ: 318-329

10.1007/978-3-319-03780-6_28

Information Processing Letters

巻: 113 号: 4 ページ: 116-122

10.1016/j.ipl.2012.12.006

Theoretical Computer Science

巻: 447 ページ: 120-135

10.1016/j.tcs.2012.03.036

Journal of Cryptology

巻: 25 号: 3 ページ: 528-555

10.1007/s00145-011-9103-4

Theoretical Computer Science

巻: 461 ページ: 86-105

10.1016/j.tcs.2011.11.037

Proceedings of the 23rd International Symposium on Algorithms and Computation, Lecture Notes in Computer Science

巻: 7676 ページ: 237-246

10.1007/978-3-642-35261-4_27

Information and Computation

巻: 219 ページ: 17-38

10.1016/j.ic.2012.08.002

Proceedings of the 6th International Conference on Language and Automata Theory and Applications, Lecture Notes in Computer Science

巻: 7183 ページ: 526-537

10.1007/978-3-642-28332-1_45

SIAM Journal on Computing 39

ページ: 2941-2969

Theoretical Computer Science 411

ページ: 22-43

Journal of Computer and System Sciences 75(4)

ページ: 255-269

A conference version appeared in ISAAC 2009, Lecture Notes in Computer Science Vol. 5878

ページ: 933-942

Chicago Journal of Theoretical Computer Science 2009

Journal of Physics A : Mathematical and Theoretical 41(3)

ページ: 395309-395309