すべて 2019 2018 2017 2016 2015 2014 2013 2012 その他
すべて 雑誌論文 学会発表
Proc. of the 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), August 27-31, 2018, Liverpool, UK
巻: 117 ページ: 30-30
10.4230/LIPICS.MFCS.2018.30
Proc. of the 25th International Workshop on Logic, Language, Information, and Computation (WoLLIC 2018), July 24-27, 2018, Bogota, Colombia
巻: 10944 ページ: 223-236
10.1007/978-3-662-57669-4_13
Inf. Process. Lett.
巻: 121 ページ: 6-10
10.1016/j.ipl.2017.01.003
110009779042
Discrete Applied Math
巻: - ページ: 203-210
10.1016/j.dam.2015.01.018
WALCOM
巻: - ページ: 435-447
10.1007/978-3-319-53925-6_34
Mathematical Structures in Computer Science
巻: 27 ページ: 1437-1465
10.1017/s096012951600013x
In Proc. Second International Conference on Formal Structures for Computation and Deduction (FSCD), Leibniz International Proceedings in Informatics
巻: 84 ページ: 23-23
10.4230/LIPIcs.FSCD.2017.23
SoCG 2016
巻: 32
10.4230/LIPIcs.SoCG.2016.46
CiE 2016
巻: 9709 ページ: 142-152
10.1007/978-3-319-40189-8_15
LICS
巻: - ページ: 837-846
10.1145/2933575.2935311
Proceedings of the Ninth International Conference on Algorithms and Complexity (CIAC), to appear
巻: 1
Proceedings of the Ninth International Conference on Algorithms and Complexity
巻: -
Distributed Computing
巻: 28 ページ: 147-154
10.1007/s00446-014-0226-3
Theory of Computing Systems
巻: 56
10.1007/s00224-014-9591-3
Lecture Notes in Computer Science
巻: 9079 ページ: 261-273
10.1007/978-3-319-18173-8_19
Journal of Complexity
巻: 31(5) ページ: 689-714
10.1016/j.jco.2015.05.001
MFCS
巻: 8635 ページ: 432-444
10.1007/978-3-662-44465-8_37
巻: 8635 ページ: 348-359
10.1007/978-3-662-44465-8_30
110009925279
SoCG
巻: 30 ページ: 436-436
10.1145/2582112.2582142
110009804829
Logical Methods in Computer Science, published online
巻: 10 ページ: 1-15
10.2168/lmcs-10(1:6)2014
CiE
巻: LNCS8493 ページ: 245-254
10.1007/978-3-319-08019-2_25
CCCG
巻: 25 ページ: 8-10
LNCS
巻: LNCS 8283 ページ: 612-622
10.1007/978-3-642-45030-3_57
arXiv:1211.4974
巻: arXiv:1211.4974
37th International Symposium on Mathematical Foundations of Computer Science
巻: 7464 ページ: 578-589
10.1007/978-3-642-32589-2_51
ISAAC 2012, LNCS
巻: 7676 ページ: 598-608
ACM Transactions on Computation Theory
巻: 4
10.1145/2189778.2189780
110008900059
