Search results for: Jan Obdržálek
Random Structures & Algorithms > 50 > 4 > 612 - 635
Journal of Computer and System Sciences > 2017 > 84 > C > 219-242
European Journal of Combinatorics > 2016 > 56 > C > 46-56
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 453-462
Lecture Notes in Computer Science > Computer Aided Verification > Games, Trees, and Counters > 80-92
Journal of Combinatorial Theory, Series B > 2016 > 116 > C > 250-286
Discrete Applied Mathematics > 2014 > 168 > Complete > 88-107
Journal of Computer and System Sciences > 2014 > 80 > 1 > 180-194
European Journal of Combinatorics > 2013 > 34 > 3 > 680-701
Journal of Combinatorial Theory, Series B > 2012 > 102 > 4 > 900-923
Information and Computation > 2011 > 209 > 8 > 1160-1183