FIS-Box of the chair

2026

• Network satisfaction problems solved by k-consistencyBodirsky, M. & Knäuer, S., 18 Dec 2026, In: International journal of algebra and computation. 36, 2, p. 121-152, 32 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Datalog-Expressibility for Monadic and Guarded Second-Order LogicBodirsky, M., Knäuer, S. & Rudolph, S., Apr 2026, In: ACM transactions on computational logic. 27, 2, p. 1-42, 8Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Spectrahedral shadows and completely positive maps on real closed fieldsBodirsky, M., Kummer, M. & Thom, A., 13 Mar 2026, In: Journal of the European Mathematical Society : JEMS. 28, 5, p. 2233–2259, 27 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Forbidden cycles in metrically homogeneous graphsHubička, J., Kompatscher, M. & Konečný, M., Feb 2026, In: European Journal of Combinatorics. 132, Part A, 104262Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Hereditary First-Order Logic: the Tractable Quantifier Prefix ClassesBodirsky, M. & Guzmán-Pro, S., Feb 2026, 34th EACSL Annual Conference on Computer Science Logic (CSL 2026). Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, p. 6:1-6:20Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Ramsey expansions of metrically homogeneous graphsAranda, A., Bradley-Williams, D., Hubička, J., Karamanlis, M., Kompatscher, M., Konečný, M. & Pawliuk, M., Feb 2026, In: European Journal of Combinatorics. 132, Part A, 104255Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Twenty years of Nešetřil’s classification programme of Ramsey classesHubička, J. & Konečný, M., Feb 2026, In: Computer Science Review. 59, 100814Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Exact big Ramsey degrees for finitely constrained binary free amalgamation classesBalko, M., Chodounský, D., Dobrinen, N., Hubička, J., Konečný, M., Vena, L. & Zucker, A., 2026, In: Journal of the European Mathematical Society : JEMS. 28, 5, p. 2101-2150, 50 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The Complexity of Resilience for Digraph QueriesBodirsky, M. & Semanisinová, Z., 2026, 43rd International Symposium on Theoretical Aspects of Computer Science (STACS 2026). Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, p. 15:1-15:20Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution

2025

• The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 25211)Bodirsky, M., Guruswami, V., Marx, D., Zivný, S. & Semanisinová, Z., Dec 2025, In: Dagstuhl Reports. 15, 5, p. 114-133, 20 p., 5Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Extension Property for Partial Automorphisms of the n-partite and Semigeneric TournamentsHubička, J., Jahel, C., Konečný, M. & Sabok, M., 26 Sep 2025, In: Combinatorica. 45, 5, 31 p., 50Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Polynomial-Time Tractable Problems over the p-Adic NumbersBodirsky, M. & Fehm, A., 20 Aug 2025, 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025). Gawrychowski, P., Mazowiecki, F. & Skrzypczak, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, p. 25:1-25:17, 25Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Temporal Valued Constraint Satisfaction ProblemsBodirsky, M., Bonnet, É. & Semanišinová, Ž., 20 Aug 2025, 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025. Gawrychowski, P., Mazowiecki, F. & Skrzypczak, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 24Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Mixed identities for oligomorphic automorphism groupsBodirsky, M., Schneider, J. & Thom, A., Aug 2025, In: Journal of Symbolic LogicElectronic (full-text) versionResearch output: Contribution to journal > Research article
• The Generic Circular Triangle-Free GraphBodirsky, M. & Guzmán-Pro, S., Aug 2025, In: Journal of Graph Theory. 109, 4, p. 426-445, 20 p., 4Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Reducing Stochastic Games to Semidefinite ProgrammingBodirsky, M., Loho, G. & Skomra, M., 30 Jun 2025, 52nd International Colloquium on Automata, Languages, and Programming, ICALP 2025. Censor-Hillel, K., Grandoni, F., Ouaknine, J. & Puppis, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 15 p., 145Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Symmetric Linear Arc Monadic Datalog and Gadget ReductionsBodirsky, M. & Starke, F., 21 Mar 2025, 28th International Conference on Database Theory, ICDT 2025. Roy, S. & Kara, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, p. 13:1-13:20, 13Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Forbidden Tournaments and the Orientation Completion ProblemBodirsky, M. & Guzmán-Pro, S., Mar 2025, In: SIAM journal on discrete mathematics : a publ. of the Society for Industrial and Applied Mathematics. 39, 1, p. 170-205, 36 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• EPPA numbers of graphsBradley-Williams, D., Cameron, P. J., Hubička, J. & Konečný, M., Jan 2025, In: Journal of combinatorial theory. Series B. 170, p. 203-224, 22 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article

2024

• Complexity Classification Transfer for CSPs via Algebraic ProductsBodirsky, M., Jonsson, P., Martin, B., Mottet, A. & Semanišinová, Ž., 31 Oct 2024, In: SIAM journal on computing : a publication of the Society for Industrial and Applied Mathematics. 53, 5, p. 1293-1353, 61 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Mal'cev complexesMoorhead, A., 1 Sep 2024, In: International journal of algebra and computation. 34, 6, p. 919-936, 18 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Big Ramsey Degrees and Infinite LanguagesBraunfeld, S., Chodounský, D., Hubička, J., Kawach, J., Konečný, M. & de Rancourt, N., 10 Aug 2024, In: Advances in Combinatorics. 2024 (2024), 26 p., 26Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Orientations without forbidden patterns on three verticesGuzmán-Pro, S. & Hernández-Cruz, C., 1 Jul 2024, In: Applied mathematics and computation. 480 (2024), 16 p., 128912Electronic (full-text) versionResearch output: Contribution to journal > Research article
• On the diameter of semigroups of transformations and partitionsEast, J., Gould, V., Miller, C., Quinn-Gregson, T. & Ruškuc, N., 13 Jun 2024, In: Journal of the London Mathematical Society . 110 (2024), 1, 34 p., e12944Electronic (full-text) versionResearch output: Contribution to journal > Research article
• A Complexity Dichotomy in Spatial Reasoning via Ramsey TheoryBodirsky, M. & Bodor, B., Jun 2024, In:  ACM transactions on computation theory : TOCT. 16, 2, 39 p., 10Electronic (full-text) versionResearch output: Contribution to journal > Research article