FIS-Export des Lehrstuhls

2026

• Network satisfaction problems solved by k-consistencyBodirsky, M. & Knäuer, S., 18 Dez. 2026, in: International journal of algebra and computation. 36, 2, S. 121-152, 32 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Datalog-Expressibility for Monadic and Guarded Second-Order LogicBodirsky, M., Knäuer, S. & Rudolph, S., April 2026, in: ACM transactions on computational logic. 27, 2, S. 1-42, 8Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Forbidden cycles in metrically homogeneous graphsHubička, J., Kompatscher, M. & Konečný, M., Feb. 2026, in: European Journal of Combinatorics. 132, Part A, 104262Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, S. 6:1-6:20Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, 104255Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Twenty years of Nešetřil’s classification programme of Ramsey classesHubička, J. & Konečný, M., Feb. 2026, in: Computer Science Review. 59, 100814Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Spectrahedral shadows and completely positive maps on real closed fieldsBodirsky, M., Kummer, M. & Thom, A., 2026, in: Journal of the European Mathematical Society : JEMS. 28, 5, S. 2233–2259Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, S. 15:1-15:20Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

2025

• The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 25211)Bodirsky, M., Guruswami, V., Marx, D., Zivný, S. & Semanisinová, Z., Dez. 2025, in: Dagstuhl Reports. 15, 5, S. 114-133, 20 S., 5Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Extension Property for Partial Automorphisms of the n-partite and Semigeneric TournamentsHubička, J., Jahel, C., Konečný, M. & Sabok, M., 26 Sept. 2025, in: Combinatorica. 45, 5, 31 S., 50Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, S. 25:1-25:17, 25Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 24Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Mixed identities for oligomorphic automorphism groupsBodirsky, M., Schneider, J. & Thom, A., Aug. 2025, in: Journal of Symbolic LogicElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• The Generic Circular Triangle-Free GraphBodirsky, M. & Guzmán-Pro, S., Aug. 2025, in: Journal of Graph Theory. 109, 4, S. 426-445, 20 S., 4Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Reducing Stochastic Games to Semidefinite ProgrammingBodirsky, M., Loho, G. & Skomra, M., 30 Juni 2025, 52nd International Colloquium on Automata, Languages, and Programming, ICALP 2025. Censor-Hillel, K., Grandoni, F., Ouaknine, J. & Puppis, G. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 15 S., 145Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Symmetric Linear Arc Monadic Datalog and Gadget ReductionsBodirsky, M. & Starke, F., 21 März 2025, 28th International Conference on Database Theory, ICDT 2025. Roy, S. & Kara, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, S. 13:1-13:20, 13Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Forbidden Tournaments and the Orientation Completion ProblemBodirsky, M. & Guzmán-Pro, S., März 2025, in: SIAM journal on discrete mathematics : a publ. of the Society for Industrial and Applied Mathematics. 39, 1, S. 170-205, 36 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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, S. 203-224, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel

2024

• Complexity Classification Transfer for CSPs via Algebraic ProductsBodirsky, M., Jonsson, P., Martin, B., Mottet, A. & Semanišinová, Ž., 31 Okt. 2024, in: SIAM journal on computing : a publication of the Society for Industrial and Applied Mathematics. 53, 5, S. 1293-1353, 61 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Mal'cev complexesMoorhead, A., 1 Sept. 2024, in: International journal of algebra and computation. 34, 6, S. 919-936, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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 S., 26Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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., 8 Aug. 2024, in: Journal of the European Mathematical Society : JEMS. 2024Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Orientations without forbidden patterns on three verticesGuzmán-Pro, S. & Hernández-Cruz, C., 1 Juli 2024, in: Applied mathematics and computation. 480 (2024), 16 S., 128912Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• On the diameter of semigroups of transformations and partitionsEast, J., Gould, V., Miller, C., Quinn-Gregson, T. & Ruškuc, N., 13 Juni 2024, in: Journal of the London Mathematical Society . 110 (2024), 1, 34 S., e12944Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• A Complexity Dichotomy in Spatial Reasoning via Ramsey TheoryBodirsky, M. & Bodor, B., Juni 2024, in:  ACM transactions on computation theory : TOCT. 16, 2, 39 S., 10Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel