吉仲 亮  Ryo Yoshinaka

Lecture Notes in Computer Science

巻: 14519 ページ: 340-354

10.1007/978-3-031-52113-3_24

Theoretical Computer Science

巻: 1003 ページ: 114591-114591

10.1016/j.tcs.2024.114591

Proceedings of Machine Learning Research

巻: 217 ページ: 22-34

Theoretical Computer Science

巻: 927 ページ: 114158-114158

10.1016/j.tcs.2023.114158

Proceedings of the ACM on Programming Languages, Issue POPL, ACM

巻: 7 号: POPL ページ: 154-184

10.1145/3571199

Proceedings of Machine Learning Research

巻: 217 ページ: 8-22

Lecture Notes in Computer Science

巻: 14240 ページ: 271-283

10.1007/978-3-031-43980-3_22

Proceedings of ESOP 2023, Springer LNCS

巻: 13990 ページ: 197-224

10.1007/978-3-031-30044-8_8

Lecture Notes in Computer Science

巻: 13973 ページ: 151-163

10.1007/978-3-031-27051-2_14

Proceedings of SAS 2022, Springer LNCS

巻: 13790 ページ: 397-421

10.1007/978-3-031-22308-2_18

Theoretical Computer Science

巻: 933 ページ: 21-42

10.1016/j.tcs.2022.09.008

Proceedings of FLOPS 2022, Springer LNCS

巻: 13215 ページ: 39-56

10.1007/978-3-030-99461-7_3

LIPIcs

巻: 226

Proceedings of SAS 2021, Springer LNCS

巻: 12913 ページ: 405-428

10.1007/978-3-030-88806-0_20

Lecture Notes in Computer Science

巻: 12635 ページ: 142-153

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

Proceedings of Machine Learning Research

巻: 153 ページ: 18-31

Proceedings of Machine Learning Research

巻: 153 ページ: 32-46

Proceedings of Machine Learning Research

巻: 153 ページ: 202-216

Proceedings of APLAS 2021, Springer LNCS

巻: 13008 ページ: 265-284

10.1007/978-3-030-89051-3_15

Theoretical Computer Science

巻: 812 ページ: 187-202

10.1016/j.tcs.2019.10.029

Lecture Notes in Computer Science

巻: 11544 ページ: 125-141

10.1007/978-3-030-34029-2_9

Journal of Computer and System Sciences

巻: 104 ページ: 359-374

10.1016/j.jcss.2017.07.004

Journal of Graph Algorithms and Applications

巻: 23 号: 1 ページ: 29-70

10.7155/jgaa.00483

Algorithms

巻: 12 号: 4 ページ: 73-73

10.3390/a12040073

Electronic Proceedings in Theoretical Computer Science

巻: 305 ページ: 140-153

10.4204/eptcs.305.10

Theoretical Computer Science

巻: 792 ページ: 161-172

10.1016/j.tcs.2018.04.016

Proc. 11th International Conference on Language and Automata Theory and Applications (LATA 2017)

巻: - ページ: 77-88

10.1007/978-3-319-53733-7_5

Proc. 11th International Conference and Workshops on Algorithms and Computation (WALCOM 2017), Lecture Notes in Computer Science

巻: 10167 ページ: 448-459

10.1007/978-3-319-53925-6_35

Annals of Mathematics and Artficial Intelligence

巻: 79(1-3) 号: 1-3 ページ: 181-203

10.1007/s10472-015-9458-6

Proceedings of Machine Learning Research

巻: 76 ページ: 360-371

Proc. 23rd International Symposium on String Processing and Information Retrieval (SPIRE2016)

巻: - ページ: 110-121

10.1007/978-3-319-51963-0_28

Theoretical Computer Science

巻: 620 ページ: 46-72

10.1016/j.tcs.2015.10.037

Fundamenta Informaticae

巻: 146(4) 号: 4 ページ: 339-377

10.3233/fi-2016-1391

Proc. QBF in the 19th International Conference on Theory and Applications of Satisfiability Testing (QBF@SAT2016)

巻: - ページ: 14-26

Stringology 2016

巻: - ページ: 7-21

Proc. 14th Meeting on the Mathematics of Language (MoL 2015)

巻: - ページ: 87-98

Proc. 20th Conference on Formal Grammar

巻: - ページ: 89-106

Proc. 40th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2014), Lecture Notes in Computer Science

巻: 8327 ページ: 363-374

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

Discrete Applied Mathematics

巻: 未確定 ページ: 61-80

10.1016/j.dam.2014.11.022

Proc. 9th International Conference, Language and Automata Theory and Applications (LATA 2015), Lecture Notes in Computer Science

巻: 8977 ページ: 623-635

10.1007/978-3-319-15579-1_49

Proc. 8th International Conference, Logical Aspects of Computational Linguistics (LACL 2014), Lecture Notes in Computer Science

巻: 8535 ページ: 57-69

10.1007/978-3-662-43742-1_5

IEEE Transactions on Smart Grid

巻: 5 (1) 号: 1 ページ: 102-111

10.1109/tsg.2013.2288976

120005895800

The International Symposium on Artificial Intelligence and Mathematics

Theory of Computing Systems

巻: - 号: 1 ページ: 250-278

10.1007/s00224-014-9534-z

Proc. 24th International Conference on Algorithmic Learning Theory (ALT 2013), Lecture Notes in Artificial Intelligence

巻: 8139 ページ: 143-157

10.1007/978-3-642-40935-6_11

Machine Learning

巻: NA 号: 1-2 ページ: 5-31

10.1007/s10994-013-5403-2

Machine Learning

巻: NA 号: 1-2 ページ: 155-188

10.1007/s10994-013-5410-3

Lecture Notes in Computer Science

巻: 7183 ページ: 538-550

Proc. 11th International Workshop on Tree Adjoining Grammars and Related Formalisms

巻: なし ページ: 90-98

Information Processing Letters

巻: 112 号: 16 ページ: 630-635

10.1016/j.ipl.2012.05.006

Theoretical Computer Science 412(19)

ページ: 1821-1831

Theoretical Computer Science

巻: 412 ページ: 1821-1831

Information Processing Letters 109

ページ: 490-492

Theoretical Computer Science 410

ページ: 1807-1825

Theoretical Computer Science 410(19)

ページ: 1807-1825

Information Processing Letters 109(10)

ページ: 490-492