Warwick University campus Prague Castle and Charles Bridge Prague Castle and Lesser Town


Research papers in journals

  1. J. W. Cooper, T. Kaiser, D. Kráľ, J. A. Noel: Weak regularity and finitely forcible graph limits, to appear in Transactions of the AMS.
  2. R. Glebov, C. Hoppen, T. Klimošová, Y. Kohayakawa, D. Kráľ, H. Liu: Densities in large permutations and parameter testing, European Journal of Combinatorics 60 (2017), 89-99.
  3. F. Kardoš, D. Kráľ, A. Liebenau, L. Mach: First order convergence of matroids, European Journal of Combinatorics 59 (2017), 150-168.
  4. V. Cohen-Addad, M. Hebdige, D. Kráľ, Z. Li, E. Salgado: Steinberg's Conjecture is false, Journal of Combinatorial Theory Ser. B 122 (2017), 452-456.
  5. Z. Dvořák, D. Kráľ, R. Thomas: Three-coloring triangle-free graphs on surfaces I. Extending a coloring to a disk with one triangle, Journal of Combinatorial Theory Ser. B 120 (2016), 1-17.
  6. J. Gajarský, P. Hliněný, T. Kaiser, D. Kráľ, M. Kupec, J. Obdržálek, S. Ordyniak, V. Tůma: First order limits of sparse graphs: Plane trees and path-width, to appear in Random Structures and Algorithms.
  7. M. Hebdige, D. Kráľ: Third case of the Cyclic Coloring Conjecture, SIAM Journal on Discrete Mathematics 30 (2016), 525-548.
  8. Z. Dvořák, K. Kawarabayashi, D. Kráľ: Packing six T-joins in plane graphs, Journal of Combinatorial Theory Ser. B 116 (2016), 287-305.
  9. R. Ganian, P. Hliněný, D. Kráľ, J. Obdržálek, J. Schwartz, J. Teska: FO model checking of interval graphs, Logical Methods in Computer Science 11 (2015), paper 4:11, 20pp.
  10. J. Hladký, D. Kráľ, S. Norine: Counting flags in triangle-free digraphs, to appear in Combinatorica.
  11. D. Christofides, D. Kráľ: First order convergence and roots, Combinatorics, Probability and Computing Counting 25 (2016), 213-221.
  12. R. Glebov, D. Kráľ, J. Volec: A problem of Erdős and Sós on 3-graphs, Israel Journal of Mathematics 211 (2016), 349-366.
  13. R. Glebov, A. Grzesik, T. Klimošová, D. Kráľ: Finitely forcible graphons and permutons, Journal of Combinatorial Theory Ser. B 110 (2015), 112-135.
  14. J. van den Heuvel, D. Kráľ, M. Kupec, J.-S. Sereni, J. Volec: Extensions of fractional precolorings show discontinuous behavior, Journal of Graph Theory 77 (2014), 299-329.
  15. Z. Dvořák, D. Kráľ, R. Thomas: Testing first-order properties for subclasses of sparse graphs, Journal of ACM 60 (2013), article no. 36.
  16. J. Cummings, D. Kráľ, F. Pfender, K. Sperfeld, A. Treglown, M. Young: Monochromatic triangles in three-coloured graphs, Journal of Combinatorial Theory Ser. B 103 (2013), 489-503.
  17. J. Hladký, D. Kráľ, S. Norine: Rank of divisors on tropical curves, Journal of Combinatorial Theory Ser. A. 120 (2013), 1521-1538.
  18. D. Ferguson, T. Kaiser, D. Kráľ: The fractional chromatic number of triangle-free subcubic graphs, European Journal of Combinatorics 35 (2014), 184-220.
  19. D. Kráľ, O. Pikhurko: Quasirandom permutations are characterized by 4-point densities, Geometric and Functional Analysis 23 (2013), 570-579.
  20. D. Kráľ, C.-H. Liu, J.-S. Sereni, P. Whalen, Z. Yilma: A new bound for the 2/3 conjecture, Combinatorics, Probability and Computing 22 (2013), 384-393.
  21. H. Hatami, J. Hladký, D. Kráľ, S. Norine, A. Razborov: On the number of pentagons in triangle-free graphs, Journal of Combinatorial Theory Ser. A 120 (2013), 722-732.
  22. F. Kardoš, D. Kráľ, J. Volec: Maximum edge-cuts in cubic graphs with large girth and in random cubic graphs, Random Structures and Algorithms 41 (2012), 506-520.
  23. D. Kráľ, O. Serra, L. Vena: On the Removal Lemma for linear systems over abelian groups, European Journal of Combinatorics 34 (2013), 248-259.
  24. D. Kráľ, J.-S. Sereni, L. Stacho: Min-max relations for odd cycles in planar graphs, SIAM Journal on Discrete Mathematics 26 (2012), 884-895.
  25. D. Kráľ, M. Krnc, M. Kupec, B. Lužar, J. Volec: Extending fractional precolorings, SIAM Journal on Discrete Mathematics 26 (2012), 647-660.
  26. D. Kráľ, L. Mach, J.-S. Sereni: A new lower bound based on Gromov's method of selecting heavily covered points, Discrete and Computational Geometry 48 (2012), 487-498.
  27. H. Hatami, J. Hladký, D. Kráľ, S. Norine, A. Razborov: Non-three-colorable common graphs exist, Combinatorics, Probability and Computing 21 (2012), 734-742.
  28. Z. Dvořák, D. Kráľ: Classes of graphs with small rank decompositions are chi-bounded, European Journal of Combinatorics 33 (2012), 679-683.
  29. F. Kardoš, D. Kráľ, J. Volec: Fractional colorings of cubic graphs with large girth, SIAM Journal on Discrete Mathematics 25 (2011), 1454-1476.
  30. D. Kráľ, B. Mohar, A. Nakamoto, O. Pangrác, Y. Suzuki: Coloring Eulerian triangulations of the Klein bottle, Graphs and Combinatorics 28 (2012), 499-530.
  31. L. Esperet, F. Kardoš, A. King, D. Kráľ, S. Norine: Exponentially many perfect matchings in cubic graphs, Advances in Mathematics 227 (2011), 1646-1664.
  32. D. Kráľ: Decomposition width of matroids, Discrete Applied Mathematics 160 (2012), 913-923.
  33. L. Esperet, F. Kardoš, D. Kráľ: A superlinear bound on the number of perfect matchings in cubic bridgeless graphs, European Journal of Combinatorics 33 (2012), 767-798.
  34. J. Azarija, R. Erman, D. Kráľ, M. Krnc, L. Stacho: Cyclic colorings of plane graphs with independent faces, European Journal of Combinatorics 33 (2012), 294-301.
  35. P. Klavík, D. Kráľ, L. Mach: Triangles in arrangements of points and lines in the plane (note), Journal of Combinatorial Theory Series A 118 (2011), 1140-1142.
  36. D. Kráľ, P. Škoda, J. Volec: Domination number of cubic graphs with large girth, Journal of Graph Theory 69 (2012), 131-142.
  37. T. Kaiser, A. King, D. Kráľ: Fractional total colourings of graphs of high girth, Journal of Combinatorial Theory Series B 101 (2011), 383-402.
  38. J. Hladký, D. Kráľ, U. Schauz: Brooks' Theorem via Alon-Tarsi Theorem, Discrete Mathematics 310 (2010), 3426-3428.
  39. F. Kardoš, D. Kráľ, J.-S. Sereni: The last fraction of a fractional conjecture, SIAM Journal on Discrete Mathematics 24 (2010), 699-707.
  40. D. Kráľ, O. Serra, L. Vena: A Removal Lemma for systems of linear equations over finite fields, Israel Journal of Mathematics 187 (2012), 193-207.
  41. A. V. Kostochka, D. Kráľ, J.-S. Sereni, M. Stiebitz: Graphs with bounded tree-width and large odd-girth are almost bipartite, Journal of Combinatorial Theory Series B 100 (2010), 554-559.
  42. M. Bodirsky, D. Kráľ: Limit behavior of locally consistent constraint satisfaction problems , SIAM Journal on Discrete Mathematics 25 (2011), 916-933.
  43. T. Kaiser, D. Kráľ, B. Lidický, P. Nejedlý, R. Šámal: Short cycle covers of cubic graphs and graphs with minimum degree three, SIAM Journal on Discrete Mathematics 24 (2010), 330-355.
  44. Z. Dvořák, J. Kára, D. Kráľ, O. Pangrác: Pattern hypergraphs, Electronic Journal of Combinatorics 17(1) (2010), #R15, 20pp.
  45. L. Esperet, D. Kráľ, P. Škoda, R. Škrekovski: An improved linear bound on the number of perfect matchings in cubic graphs, European Journal of Combinatorics 31 (2010), 1316-1334.
  46. D. Kráľ, L. Stacho: Coloring plane graphs with independent crossings, Journal of Graph Theory 64 (2010), 184-205.
  47. D. Kráľ, S. Norine, O. Pangrác: Markov bases of binary graph models of K4-minor free graphs, Journal of Combinatorial Theory Series A 117 (2010), 759-765.
  48. D. Kráľ, E. Máčajová, J. Mazák, J.-S. Sereni: Circular edge-colorings of cubic graphs with girth six, Journal of Combinatorial Theory Series B 100 (2010), 351-358.
  49. D. Kráľ, J.-S. Sereni, M. Stiebitz: A new lower bound on the number of perfect matchings in cubic graphs, SIAM Journal on Discrete Mathematics 23 (2009), 1465-1483.
  50. R. Erman, S. Jurecic, D. Kráľ, K. Stopar, N. Stopar: Optimal real number graph labelings of a subfamily of Kneser graphs, SIAM Journal on Discrete Mathematics 23 (2009), 1372-1381.
  51. D. Kráľ, D. B. West: Chromatic number for a generalization of Cartesian product graphs, Electronic Journal of Combinatorics 16(1) (2009), #R71, 9pp.
  52. V. Jungić, T. Kaiser, D. Kráľ: A note on edge-colourings avoiding rainbow K4 and monochromatic Km, Electronic Journal of Combinatorics 16(1) (2009), #N19, 9pp.
  53. Z. Dvořák, T. Kaiser, D. Kráľ, J.-S. Sereni: A note on antisymmetric flows in graphs, European Journal of Combinatorics 31 (2010), 320-324.
  54. B. Grünbaum, T. Kaiser, D. Kráľ, M. Rosenfeld: Equipartite polytopes, Israel Journal of Mathematics 179 (2010), 235-252.
  55. D. Kráľ, O. Serra, L. Vena: A combinatorial proof of the Removal Lemma for groups, Journal of Combinatorial Theory Series A 116 (2009), 971-978.
  56. Z. Dvořák, D. Kráľ, R. Škrekovski: Non-rainbow colorings of 3-, 4- and 5-connected plane graphs, Journal of Graph Theory 63 (2010), 129-145.
  57. F. Havet, D. Kráľ, J.-S. Sereni, R. Škrekovski: Facial colorings using Hall's Theorem, European Journal of Combinatorics 31 (2010), 1001-1019.
  58. F. Kardoš, D. Kráľ, J. Miškuf, J.-S. Sereni: Fullerene graphs have exponentially many perfect matchings, Journal of Mathematical Chemistry 46 (2009), 443-447.
  59. Z. Dvořák, S. Jendroľ, D. Kráľ, G. Pap: Matchings and non-rainbow colorings, SIAM Journal on Discrete Mathematics 23 (2009), 344-348.
  60. K. Kawarabayashi, D. Kráľ, J. Kynčl, B. Lidický: 6-critical graphs on the Klein bottle, SIAM Journal on Discrete Mathematics 23 (2009), 372-383.
  61. B. Grünbaum, T. Kaiser, D. Kráľ, M. Rosenfeld: Equipartite graphs, Israel Journal of Mathematics 168 (2008), 431-444.
  62. D. Kráľ, P. Škoda: Bounds for the real number graph labellings and application to labellings of the triangular lattice, SIAM Journal on Discrete Mathematics 22 (2008), 1559-1569.
  63. Z. Dvořák, D. Kráľ, P. Nejedlý, R. Škrekovski: Distance constrained labelings of planar graphs with no short cycles, Discrete Applied Mathematics 157 (2009), 2634-2645.
  64. J. Hladký, D. Kráľ, J.-S. Sereni, M. Stiebitz: List colorings with measurable sets, Journal of Graph Theory 59 (2008), 229-238.
  65. D. Kráľ, O. Pangrác, J.-S. Sereni, R. Škrekovski: Long cycles in fullerene graphs, Journal of Mathematical Chemistry 45 (2009), 1021-1031.
  66. D. Kráľ, L. Stacho: Hamiltonian threshold for strong products of graphs, Journal of Graph Theory 58 (2008), 314-328.
  67. D. Kráľ, P. Nejedlý: Distance constrained labelings of K4-minor free graphs, Discrete Mathematics 309 (2009), 5745-5756.
  68. Z. Dvořák, D. Kráľ, J. Teska: Toughness threshold for the existence of 2-walks in K4-minor free graphs, Discrete Mathematics 310 (2010), 642-651.
  69. D. Kráľ, E. Máčajová, A. Pór, J.-S. Sereni: Characterization results for Steiner triple systems and their application to edge-colorings of cubic graphs, Canadian Journal of Mathematics 62 (2010), 355-381.
  70. D. Kráľ, E. Máčajová, O. Pangrác, A. Raspaud, J.-S. Sereni, M. Škoviera: Projective, affine, and abelian colorings of cubic graphs, European Journal on Combinatorics 30 (2009), 53-69.
  71. D. Kráľ, M. Stehlík: Coloring of triangle-free graphs on the double torus, SIAM Journal on Discrete Mathematics 22 (2008), 541-553.
  72. D. Kráľ, R. Thomas: Coloring even-faced graphs in the torus and the Klein bottle, Combinatorica 28 (2008), 325-341.
  73. T. Kaiser, D. Kráľ, M. Rosenfeld, Z. Ryjáček, H.-J. Voss: Hamilton cycles in prisms, Journal of graph theory 56 (2007), 249-269.
  74. R. Babilon, V. Jelínek, D. Kráľ, P. Valtr: Labelings of graphs with fixed and variable edge-weights, SIAM Journal on Discrete Mathematics 21 (2007), 688-706.
  75. T. Kaiser, D. Kráľ, L. Stacho: Tough spiders, Journal of Graph Theory 56 (2007), 23-40.
  76. Z. Dvořák, D. Kráľ, P. Nejedlý, R. Škrekovski: Coloring squares of planar graphs with girth six, European Journal of Combinatorics 29 (2008),838-849.
  77. D. Kráľ, J. Sgall, T. Tichý: Randomized Strategies for the plurality problem, Discrete Applied Mathematics 156 (2008), 3305-3311.
  78. D. Kráľ: Polynomial-size binary decision diagrams for the Exactly half-d-hyperclique problem reading each input bit twice, Theory of Computing Systems 45 (2009), 27-42.
  79. P. Bella, D. Kráľ, B. Mohar, K. Quittnerová: Labeling planar graphs with a condition at distance two, European Journal of Combinatorics 28 (2007), 2201-2239.
  80. D. Kráľ, L. Stacho: Closure for the property of having a hamiltonian prism, Journal of Graph Theory 54 (2006), 209-220.
  81. Z. Dvořák, V. Jelínek, D. Kráľ, J. Kynčl, M. Saks: Probabilistic strategies for the partition and plurality problems, Random Structures and Algorithms 30 (2007), 63-77.
  82. D. Kráľ: Channel assignment problem with variable weights, SIAM Journal on Discrete Mathematics 20 (2006), 690-704.
  83. M. Borowiecki, S. Jendroľ, D. Kráľ, J. Miškuf: List coloring of Cartesian products of graphs, Discrete Mathematics 306 (2006), 1955-1958.
  84. M. Ghebleh, D. Kráľ, S. Norine, R. Thomas: The circular chromatic index of flower snarks, Electronic Journal of Combinatorics 13(1) (2006), #N20, 7pp.
  85. T. Kaiser, D. Kráľ, R. Škrekovski, X. Zhu: The circular chromatic index of graphs of high girth, Journal of Combinatorial Theory Series B 97 (2007), 1-13.
  86. D. Kráľ, R. Škrekovski, M. Tancer: Construction of large graphs with no optimal surjective L(2,1)-labelings, SIAM Journal on Discrete Mathematics 20 (2006), 536-543.
  87. D. Kráľ, L.-D. Tong, X. Zhu: Upper Hamiltonian Numbers and Hamiltonian Spectra of Graphs, Australasian Journal on Combinatorics 35 (2006), 311-322.
  88. D. Kráľ, R. Škrekovski: The last excluded case of Dirac's Map-Color Theorem for choosability, Journal of Graph Theory 51 (2006), 319-354.
  89. D. Kráľ: Extending partial 5-colorings and 6-colorings in planar graphs, Journal of Combinatorial Theory Series B 96 (2006), 100-110.
  90. Z. Dvořák, D. Kráľ, O. Pangrác: Locally consistent constraint satisfaction problems, Theoretical Computer Science 348 (2005), 187-206.
  91. J. Kára, D. Kráľ: Free Binary Decision Diagrams for Computation of EARn, Computational Complexity 15 (2006), 40-61.
  92. Z. Dvořák, T. Kaiser, D. Kráľ: Eulerian colorings and the Bipartizing matching conjecture of Fleischner, European Journal of Combinatorics 27 (2006), 1088-1101.
  93. D. Kráľ, O. Pangrác, H.-J. Voss: A note on group coloring of planar graphs, Journal of Graph Theory 50 (2005), 123-129.
  94. D. Kráľ: Group coloring is Π2P-complete, Theoretical Computer Science 349 (2005), 99-111.
  95. J. Fiala, D. Kráľ, R. Škrekovski: Brooks-type theorem for the generalized list T-coloring, SIAM Journal on Discrete Mathematics 19 (2005), 588-609.
  96. D. Kráľ: Mixed hypergraphs and other coloring problems, Discrete Mathematics 307 (2007), 923-938.
  97. D. Kráľ, J. Sgall: Coloring graphs from lists with bounded size of their union, Journal of Graph Theory 49 (2005), 177-186.
  98. D. Kráľ, J. Maxová, P. Podbrdský, R. Šámal: Hamilton cycles in strong products of graphs, Journal of Graph Theory 48 (2005), 299-321.
  99. D. Kráľ: A note on Hajos' theorem for list coloring, Discrete Mathematics 287 (2004), 161-163.
  100. T. Kaiser, D. Kráľ, R. Škrekovski: A revival of the Girth Conjecture, Journal of Combinatorial Theory Series B 92 (2004), 41-53.
  101. D. Kráľ: Coloring powers of chordal graphs, SIAM Journal on Discrete Mathematics 18 (2004), 451-461.
  102. D. Kráľ: On feasible sets of mixed hypergraphs, Electronic Journal of Combinatorics 11(1) (2004), #R19, 14 pages.
  103. D. Kráľ, T. Madaras, R. Škrekovski: Cyclic, diagonal and facial coloring, European Journal of Combinatorics 26 (2005), 473-490.
    D. Kráľ, T. Madaras, R. Škrekovski: Cyclic, diagonal and facial colorings-a missing case, European Journal of Combinatorics 28 (2007), 1637-1639.
  104. Z. Dvořák, D. Kráľ, R. Škrekovski: Coloring face hypergraphs on surfaces, European Journal of Combinatorics 26 (2004), 95-110.
  105. D. Kráľ, J. Kratochvíl, A. Proskurowski, H.-J. Voss: Coloring mixed hypertrees, Discrete Applied Mathematics 154 (2006), 660-672.
  106. V. Jungić, D. Kráľ, R. Škrekovski: Colorings of plane graphs with no rainbow faces, Combinatorica 26 (2006), 169-182.
  107. D. Kráľ: On maximum face-Constrained coloring of plane graphs with no short face cycles, Discrete Mathematics 277 (2004), 301-307.
  108. D. Kráľ, J. Maxová, P. Podbrdský, R. Šámal: Pancyclicity of strong products of graphs, Graphs and Combinatorics 20 (2004), 91-104.
  109. D. Kráľ, H.-J. Voss: Edge-disjoint odd cycles in planar graphs, Journal of Combinatorial Theory Series B 90 (2004), 107-120.
  110. D. Kráľ, R. Škrekovski: Borodin's Conjecture on diagonal coloring is false, European Journal of Combinatorics 25 (2004), 813-816.
  111. J. Černý, J. Kára, D. Kráľ, P. Podbrdský, R. Šámal, M. Sotáková: On the number of intersections of polygons, Commentationes Mathematicae Universitatis Carolinae 44 (2003), 217-218.
  112. D. Kráľ, R. Škrekovski: A theorem about the channel assignment problem, SIAM Journal on Discrete Mathematics 16 (2003), 426-437.
  113. D. Kráľ: An exact algorithm for channel assignment problem, Discrete Applied Mathematics 145 (2005), 326-331.
  114. D. Kráľ, J. Kratochvíl, H.-J. Voss: Mixed hypercacti, Discrete Mathematics 286 (2004), 99-113.
  115. D. Kráľ: A counter-example to Voloshin's hypergraph co-perfectness conjecture, Australasian Journal on Combinatorics 27 (2003), 253-262.
  116. D. Kráľ, V. Majerech, J. Sgall, T. Tichý, G. Woeginger: It is tough to be a plumber, Theoretical Computer Science 313 (2004), 473-484.
  117. D. Kráľ, J. Kratochvíl, H.-J. Voss: Mixed hypergraphs with bounded degree: edge-coloring of mixed multigraphs, Theoretical Computer Science 295 (2003), 263-278.
  118. J. Kára, D. Kráľ: Minimum degree and the number of chords, Ars Combinatoria 68 (2003), 169-179.
  119. Z. Dvořák, D. Kráľ: On planar mixed hypergraphs, Electronic Journal of Combinatorics 8(1) (2001), #R35, 23 pages.

Survey papers

  1. Z. Dvořák, D. Kráľ: Algorithms for classes of graphs with bounded expansion, in Proceedings 35th Workshop on Graph-Theoretic Concepts in Computer Science 2009 (WG'09), Lecture Notes in Computer Science vol. 5911, 2010, pp. 17-32
  2. J. R. Griggs, D. Kráľ: Graph labellings with variable weights, a survey, Discrete Applied Mathematics 157 (2009), 2646-2658.

Research papers in other refereed venues

  1. T. Kaiser, D. Kráľ, S. Norine: Unions of perfect matchings in cubic graphs, in "Topics in Discrete Mathematics" (M. Klazar, J. Kratochvíl, J. Matousek, R. Thomas, P. Valtr, eds.), Springer, 2006, 225-230.

Research papers in peer-reviewed computer science conference proceedings

  1. T. Klimošová, D. Kráľ: Hereditary properties of permutations are strongly testable, Proceedings of 25th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'14), pp. 1164-1173, ACM&SIAM, 2014.
  2. R. Ganian, P. Hliněný, D. Kráľ, J. Obdržálek, J. Schwartz, J. Teska: FO model checking of interval graphs, Proceedings 40th International Colloquium Automata, Languages and Programming (ICALP'13), Lecture Notes in Computer Science vol. 7966, pp. 250-262, Springer-Verlag, 2013.
  3. K. Kawarabayashi, D. Kráľ, M. Krčál, S. Kreutzer: Packing directed cycles through a specified vertex set, Proceedings of 24th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'13), pp. 365-377, ACM&SIAM, 2013.
  4. T. Gavenčiak, D. Kráľ, S. Oum: Deciding first order properties of matroids, Proceedings 39th International Colloquium Automata, Languages and Programming (ICALP'12), Lecture Notes in Computer Science vol. 7392, pp. 239-250, Springer-Verlag, 2012.
  5. Z. Dvořák, D. Kráľ, R. Thomas: Deciding first-order properties for sparse graphs, Proceedings 51st Annual IEEE Symposium on Foundations of Computer Science (FOCS'10), pp. 133-142, 2010.
  6. D. Kráľ: Decomposition width of matroids, Proceedings 37th International Colloquium Automata, Languages and Programming (ICALP'10), Lecture Notes in Computer Science vol. 6198, pp. 55-66, Springer-Verlag, 2010.
  7. Z. Dvořák, D. Kráľ, R. Thomas: Coloring triangle-free graphs on surfaces, Proceedings of 20th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'09), pp. 120-129, ACM&SIAM, 2009.
  8. D. Kráľ: Computing representations of matroids of bounded branch-width, Proceedings 24th International Symposium on Theoretical Aspects of Computer Science (STACS'07), Lecture Notes in Computer Science vol. 4393, pp. 224-235, Springer-Verlag, 2007.
  9. D. Kráľ, O. Pangrác: An asymptotically optimal linear-time algorithm for locally consistent constraint satisfaction problems, Proceedings 30th International Symposium Mathematical Foundations of Computer Science 2005 (MFCS'05), Lecture Notes in Computer Science vol. 3618, pp. 603-614, Springer-Verlag, 2005.
  10. M. Bodirsky, D. Kráľ: Locally consistent constraint satisfaction problems with binary constraints, Proceedings 31th Workshop on Graph-Theoretic Concepts in Computer Science 2005 (WG'05), Lecture Notes in Computer Science vol. 3787, pp. 295-306, Springer-Verlag, 2005.
  11. Z. Dvořák, V. Jelínek, D. Kráľ, J. Kynčl, M. Saks: Three optimal algorithms for balls of three colors, Proceedings of 22nd Annual Symposium on Theoretical Aspects of Computer Science (STACS'05), Lecture Notes in Computer Science vol. 3404, pp. 206-217, Springer-Verlag, 2005.
  12. T. Feder, P. Hell, D. Kráľ, J. Sgall: Two algorithms for general list matrix partitions, Proceedings of 16th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'05), pp. 870-876, ACM&SIAM, 2005.
  13. D. Kráľ, P. Nejedlý: Group coloring and list group coloring are Π2P-complete, Proceedings 29th International Symposium Mathematical Foundations of Computer Science 2004 (MFCS'04), Lecture Notes in Computer Science vol. 3153, pp. 274-287, Springer-Verlag, 2004.
  14. Z. Dvořák, D. Kráľ, O. Pangrác: Locally consistent constraint satisfaction problems, Proceedings 31st International Colloquium Automata, Languages and Programming (ICALP'04), Lecture Notes in Computer Science vol. 3142, pp. 469-480, Springer-Verlag, 2004.
  15. Z. Dvořák, J. Kára, D. Kráľ, O. Pangrác: An algorithm for cyclic edge connectivity of cubic graphs, Proceedings 9th Scandinavian Workshop on Algorithm Theory (SWAT'04), Lecture Notes in Computer Science vol. 3111, pp. 236-247, Springer-Verlag, 2004.
  16. D. Kráľ: Locally satisfiable formulas, Proceedings of 15th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'04), pp. 323-332, ACM&SIAM, 2004.
  17. J. Kára, D. Kráľ: Optimal free binary decision diagrams for computation of EARn, Proceedings 27th International Symposium Mathematical Foundations of Computer Science 2002 (MFCS'02), Lecture Notes in Computer Science vol. 2420, pp. 411-422, Springer-Verlag, 2002.
  18. Z. Dvořák, J. Kára, D. Kráľ, O. Pangrác: On pattern coloring of cycle systems, Proceedings 28th International Workshop on Graph-Theoretic Concepts (WG'02), Lecture Notes in Computer Science vol. 2573, pp. 164-175, Springer-Verlag, 2002.
  19. J. Černý, D. Kráľ, H. Nyklová, O. Pangrác: On intersection graphs of segments with prescribed slopes, Proceedings 9th International Symposium Graph Drawing 2001 (GD'01), Lecture Notes in Computer Science vol. 2265, pp. 261-271, Springer-Verlag, 2002.
  20. D. Kráľ, J. Kratochvíl, H.-J. Voss: Complexity note on mixed hypergraphs, Proceedings 26th International Symposium Mathematical Foundations of Computer Science 2001 (MFCS'01), Lecture Notes in Computer Science vol. 2136, pp. 474-486, Springer-Verlag, 2001.
  21. D. Kráľ: On complexity of colouring mixed hypertrees, Proceedings 13th International Symposium Fundamentals of Computation Theory 2001, 1st Workshop on Efficient Algorithms (WEA'01), Lecture Notes in Computer Science vol. 2138, pp. 516-524, Springer-Verlag, 2001.
  22. D. Kráľ, J. Kratochvíl, Zs. Tuza, G. Woeginger: Complexity of coloring graphs without forbidden induced subgraphs, Proceedings 27th International Workshop on Graph-Theoretic Concepts in Computer Science 2001 (WG'01), Lecture Notes in Computer Science vol. 2204, pp. 254-262, Springer-Verlag, 2001.
  23. D. Kráľ, J. Kratochvíl, A. Proskurowski, J.-H. Voss: Coloring mixed hypertrees, Proceedings 26th Workshop on Graph-Theoretic Concepts in Computer Science 2000 (WG'00), Lecture Notes in Computer Science vol. 1928, pp. 279-289, Springer-Verlag, 2000.
  24. D. Kráľ: Algebraic and uniqueness properties of parity ordered binary decision diagrams and their generalization, Proceedings 25th Symposium on Mathematical Foundations of Computer Science 2000 (MFCS'00), Lecture Notes in Computer Science vol. 1893, pp. 477-487, Springer-Verlag, 2000.

Contributions in proceedings of mathematical conferences

  1. J. W. Cooper, T. Kaiser, D. Kráľ, J. A. Noel: Weak regularity and finitely forcible graph limits, Proceedings of Eurocomb'15, Electronic Notes in Discrete Mathematics 49 (2015), 139-145.
  2. M. Hebdige, D. Kráľ: Third case of the Cyclic Coloring Conjecture, Proceedings of Eurocomb'15, Electronic Notes in Discrete Mathematics 49 (2015), 11-15.
  3. R. Glebov, D. Kráľ, J. Volec: A problem of Erdős and Sós on 3-graphs, Proceedings of Eurocomb'13, CRM Series 16 (2013), 3-8.
  4. R. Glebov, D. Kráľ, J. Volec: An application of flag algebras to a problem of Erdős and Sós, Proceedings of Erdős Centennial, Electronic Notes in Discrete Mathematics 43 (2013), 171-177.
  5. D. Kráľ, E. Máčajová, J. Mazák, J.-S. Sereni: Circular edge-colorings of cubic graphs with girth six, Proceedings of Eurocomb'09, Electronic Notes in Discrete Mathematics 34 (2009), 525-529.
  6. J. Hladký, D. Kráľ, S. Norin: Counting flags in triangle-free digraphs, Proceedings of Eurocomb'09, Electronic Notes in Discrete Mathematics 34 (2009), 621-625.
  7. L. Esperet, F. Kardoš, D. Kráľ: Cubic bridgeless graphs have more than a linear number of perfect matchings, Proceedings of Eurocomb'09, Electronic Notes in Discrete Mathematics 34 (2009), 411-415.
  8. N. Chenette, K. Kawarabayashi, D. Kráľ, J. Kynčl, B. Lidický, L. Postle, N. Streib, R. Thomas, C. Yerger: Six-critical graphs on the Klein bottle, Proceedings of TGGT'08, Electronic Notes in Discrete Mathematics 31 (2008), 235-240.
  9. D. Kráľ, E. Máčajová, A. Por, J.-S. Sereni: Edge-colorings of cubic graphs with elements of point-transitive Steiner triple systems, Proceedings of Eurocomb'07, Electronic Notes in Discrete Mathematics 29 (2007), 23-27.
  10. D. Kráľ, E. Máčajová, A. Por, J.-S. Sereni: Characterization of affine Steiner triple systems and Hall triple systems, Proceedings of Eurocomb'07, Electronic Notes in Discrete Mathematics 29 (2007), 17-21.
  11. P. Bella, D. Kráľ, B. Mohar, K. Quittnerová: Labeling planar graphs with a condition at distance two, Proceedings of Eurocomb'05, Discrete Mathematics and Theoretical Computer Science AE (2005), 41-44.
  12. T. Kaiser, D. Kráľ, S. Norine: Unions of perfect matchings in cubic graphs, Proceedings of ICGT'05, Electronic Notes in Discrete Mathematics 22 (2005), 341-345.

Preprints

  1. Z. Dvořák, D. Kráľ, R. Thomas: Three-coloring triangle-free graphs on surfaces II. 4-critical graphs in a disk, available as arXiv:1302:2158.
  2. R. Glebov, D. Kráľ, J. Volec: Compactness and finite forcibility of graphons, available as arXiv:1309.6695.
  3. Z. Dvořák, D. Kráľ, R. Thomas: Three-coloring triangle-free graphs on surfaces III. Graphs of girth five, available as arXiv:1402.4710.
  4. R. Glebov, T. Klimošová, D. Kráľ: Infinite dimensional finitely forcible graphon, available as arXiv:1404.2743.
  5. Z. Dvořák, D. Kráľ, R. Thomas: Three-coloring triangle-free graphs on surfaces IV. Bounding face sizes of 4-critical graphs, available as arXiv:1404.6356.
  6. Z. Dvořák, D. Kráľ, R. Thomas: Three-coloring triangle-free graphs on surfaces V. Coloring planar graphs with distant anomalies, available as arXiv:0911.0885. (substantial revision of the earlier arXiv paper)
  7. R. Kenyon, D. Kráľ, C. Radin, P. Winkler: A variational principle for permutations, available as arXiv:1506.02340.
  8. Z. Dvořák, D. Kráľ, R. Thomas: Three-coloring triangle-free graphs on surfaces VI. 3-colorability of quadrangulations, available as arXiv:1509.01013.
  9. Z. Dvořák, D. Kráľ, R. Thomas: Three-coloring triangle-free graphs on surfaces VII. A linear-time algorithm, available as arXiv:1601.01197.
  10. J. W. Cooper, A. Grzesik, D. Kráľ: Optimal-size clique transversals in chordal graphs, available as arXiv:1601.05305.
  11. Z. Dvořák, M. Hebdige, F. Hlásek, D. Kráľ, J. Noel: Cyclic coloring of plane graphs with maximum face size 16 and 17, available as arXiv:1603.06722.
  12. Z. Dvořák, D. Kráľ, B. Mohar: Graphic TSP in cubic graphs, available as arXiv:1608.07568.
  13. R. Glebov, A. Grzesik, P. Hu, T. Hubai, D. Kráľ, J. Volec: Densities of 3-vertex graphs, available as arXiv:1610.02446.