FIS-Export des Lehrstuhls

2024

• Primitive elements of finite fields F_q^r avoiding affine hyperplanes for q = 4 and q = 5Grzywaczyk, P. A. & Winterhof, A., Juni 2024, in: Finite Fields and their Applications. 96, 102416Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel

2023

• Network Satisfaction Problems Solved by k-ConsistencyBodirsky, M. & Knäuer, S., Juli 2023, 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023). Etessami, K., Feige, U. & Puppis, G. (Hrsg.).S. 116:1-116:20, 20 S., 116Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• The lattice of clones of self-dual operations collapsedBodirsky, M., Vucaj, A. & Zhuk, D., Juni 2023, in: International Journal of Algebra and Computation. 33, 4, S. 717-749, 33 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• The smallest hard treesBodirsky, M., Bulín, J., Starke, F. & Wernthaler, M., Juni 2023, in: Constraints. 28, 2, S. 105–137, 33 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Three Concepts of Nilpotence in LoopsSemanišinová, Ž. & Stanovský, D., 7 April 2023, in: Results in mathematics. 78 (2023), 4, 15 S., 119Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Corrigendum: ω-Categorical structures avoiding height 1 identities (Transactions of the American Mathematical Society (2021) 374:1 (327-350) DOI: 10.1090/tran/8179)Bodirsky, M., Mottet, A., Olšák, M., Opršal, J., Pinsker, M. & Willard, R., 1 April 2023, in: Transactions of the American Mathematical Society. Band 376. S. 3005, 1 S.Elektronische (Volltext-)VersionPublikation: Spezielle Publikationen/Beiträge > Korrekturen (Errata und Widerrufe)
• On the Descriptive Complexity of Temporal Constraint Satisfaction Problems.Bodirsky, M. & Rydval, J., Feb. 2023, in: Journal of the ACM. 70, 1, S. 1-58, 58 S., 3566051Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• An application of Farkas' lemma to finite-valued constraint satisfaction problems over infinite domainsSchneider, F. M. & Viola, C., 1 Jan. 2023, in: Journal of mathematical analysis and applications. 517, 1, 126591Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• An Efficient Computation of the Rank Function of a PositroidChidiac, L., Guzmán-Pro, S., Hochstättler, W. & Youssef, A., 2023, Fundamentals of Computation Theory - 24th International Symposium, FCT 2023, Proceedings. Fernau, H. & Jansen, K. (Hrsg.). Springer Science and Business Media B.V., S. 147-161, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Minimum degrees of finite rectangular bands, null semigroups, and variants of full transformation semigroupsCameron, P. J., East, J., Fitzgerald, D., Mitchell, J. D., Pebody, L. & Quinn-Gregson, T., 2023, in: Combinatorial theory : CT. 3, 3, 16Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel

2022

• Maximal Digraphs with Respect to Primitive Positive ConstructabilityBodirsky, M. & Starke, F., Dez. 2022, in: Combinatorica : an international journal on combinatorics and the theory of computing. 42, 6, S. 997-1010, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Hochschild lattices and shuffle latticesMühle, H., Juni 2022, in: European Journal of Combinatorics. 103, 31 S., 103521Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Universal Horn Sentences and the Joint Embedding Property.Bodirsky, M., Rydval, J. & Schrottenloher, A., 6 Mai 2022, in: Discrete mathematics & theoretical computer science. 23, 2, 15 S., 4Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Homogeneous Structures: Model Theory meets Universal AlgebraBodirsky, M., Ochremiak, J. & Pinsker, M., 14 März 2022, in: Oberwolfach reports : OWR . 18, 1, S. 5–32Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Piecewise Linear Valued CSPs Solvable by Linear Programming RelaxationBodirsky, M., Mamino, M. & Viola, C., 1 Jan. 2022, in: ACM transactions on computational logic. 23, 1, S. 7:1-7:35, 35 S., 1Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible AtomBodirsky, M. & Knäuer, S., 2022, in: Journal of Artificial Intelligence Research. 75, S. 1701-1744, 44 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Tractable Combinations of Temporal CSPsBodirsky, M., Greiner, J. & Rydval, J., 2022, in: Logical Methods in Computer Science. 18, 2, S. 11:1-11:33, 2Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel

2021

• Solving equation systems in ω -categorical algebrasBodirsky, M. & Quinn-Gregson, T., 1 Dez. 2021, in: Journal of Mathematical Logic : JML. 21, 3, 2150020Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• HS-stability and complex products in involution semigroupsBodor, B., Lehtonen, E., Quinn-Gregson, T. & Verhulst, N., Okt. 2021, in: Semigroup forum. 103, 2, S. 395-413, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Smooth digraphs modulo primitive positive constructability and cyclic loop conditionsBodirsky, M., Starke, F. & Vucaj, A., Aug. 2021, in: International journal of algebra and computation. 31, 5, S. 929-967, 39 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Datalog-Expressibility for Monadic and Guarded Second-Order LogicBodirsky, M., Knäuer, S. & Rudolph, S., 1 Juli 2021, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021). Bansal, N., Merelli, E. & Worrell, J. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, S. 120:1-120:17, 17 S., 120Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Complexity of Infinite-Domain Constraint SatisfactionBodirsky, M., 30 Juni 2021, Cambridge University Press, 524 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Monographie
• Canonical functions: A proof via topological dynamicsBodirsky, M. & Pinsker, M., 29 Juni 2021, in: Contributions to Discrete Mathematics : CDM. 16, 2, S. 36-45, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property.Bodirsky, M. & Bodor, B., 29 Juni 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. S. 1-13, 13 S., 9470683Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On Logics and Homomorphism ClosureBodirsky, M., Feller, T., Knäuer, S. & Rudolph, S., 29 Juni 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Wiley-IEEE Press, S. 1-13, 13 S., 9470511Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband