M. Bodirsky, É. Bonnet, Ž. Semanišinová. Temporal Valued Constraint Satisfaction Problems. Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science (MFCS), 2025. DOI 10.4230/LIPIcs.MFCS.2025.24, arXiv.
M. Bodirsky, P. Jonsson, B. Martin, A. Mottet, Ž. Semanišinová. Complexity Classification Transfer for CSPs via Algebraic Products. SIAM Journal on Computing, 2024. DOI 10.1137/22M1534304, arXiv.
M. Bodirsky, Ž. Semanišinová, C. Lutz. The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2024. DOI 10.1145/3661814.3662071, arXiv.
J. Rydval, Ž. Semanišinová, M. Wrona. Identifying Tractable Quantified Temporal Constraints within Ord-Horn. 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP), 2024.
DOI 10.4230/LIPIcs.ICALP.2024.151, arXiv.
Ž. Semanišinová, D. Stanovský. Three concepts of nilpotence in loops. Results in Mathematics, 2023. DOI 10.1007/s00025-023-01882-x, arXiv.
Ž. Semanišinová. Paramedial quasigroups of prime and prime square order. Journal of Algebra and Its Applications, 2022. DOI 10.1142/S0219498822502346, arXiv.
*invited talks and invitational events
CWC 2025*, Breuil-Cervinia, Italy, September 2025.
Talk*: Valued Constraints on Infinite Domains. Slides.
AAA107, Bern, Switzerland, June 2025.
Talk: Temporal Valued Constraint Satisfaction Problems. Slides.
Dagstuhl seminar: The Constraint Satisfaction Problem: Complexity and Approximability*, Schloss Dagstuhl, Germany, May 2025.
Talk: Valued Constraint Satisfaction Problem and Resilience in Database Theory. Slides.
Dagstuhl seminar: Semirings in Databases, Automata, and Logic*, Schloss Dagstuhl, Germany, February 2025.
Talk: Valued Constraint Satisfaction Problem and Resilience in Database Theory. Slides.
Research Seminar in Discrete Mathematics and Algebra, Freiberg, Germany, February 2025.
Talk*: Valued Constraints over Infinite Domains. Slides.
Algebra seminar, Dresden, Germany, October 2024.
Talk: Valued Constraints over Infinite Domains. Slides.
CWC 2024*, Kolfuschg, Italy, September 2024.
LICS 2024, ICALP 2024 and collocated workshops, Tallinn, Estonia, July 2024.
Talk (workshop Trends in Arithmetic Theories)*: Identifying Tractable Quantified Temporal Constraints. Slides.
Talk (workshop Women in Logic): Classification Transfer for CSPs via Algebraic Products. Slides.
Talk (LICS): The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. Slides.
AAA105, Prague, Czech Republic, May/June 2024.
Talk: Identifying Tractable Quantified Temporal Constraints within Ord-Horn. Slides.
Algebra seminar at Pavol Jozef Šafárik University, Košice, Slovakia, February 2024.
Talk: Constraint satisfaction problems: an algebraic approach to classifying computational complexity. Slides.
Combinatorial Problems in Model Theory and Computer Science, Leeds, United Kingdom, November 2023.
Talk*: Valued Constraint Satisfaction Problem and Resilience in Database Theory. Slides.
CWC 2023*, Weissensee, Austria, September 2023.
Algebra Week, Siena, Italy, July 2023.
Talk*: Valued Constraint Satisfaction Problem and Resilience in Database Theory. Slides.
AAA103, Tartu, Estonia, June 2023.
Talk: Valued Constraint Satisfaction Problem and Resilience in Database Theory. Slides.
Spring school of the Department of Algebra, Železnice, Czech Republic, March 2023.
Talk: Valued Constraint Satisfaction Problem and Resilience in Database Theory. Slides.
PALS (Panglobal Algebra and Logic Seminar), online, January 2023.
Talk: Complexity classification transfer for CSPs via algebraic products. Slides.
Visiting reseacher at the Institute for Algebra, JKU Linz, Austria, September/October 2022.
CWC 2022*, Molveno, Italy, September 2022.
Talk: Constraint Satisfaction Problems of First-Order Expansions of Algebraic Products.
AAA102, Szeged, Hungary, June 2022.
Talk: Constraint Satisfaction Problems of First-Order Expansions of Algebraic Products. Slides.
Spring school of the Department of Algebra, Lomnice nad Popelkou, Czech Republic, May 2022.
Talk: Constraint Satisfaction Problems of First-Order Expansions of Algebraic Products. Slides.
AlMoTh 2022, Bremen, Germany, March 2022.
Fall school of the Department of Algebra, Telecí, Czech Republic, November 2021.
Talk: Paramedial quasigroups of prime and prime square order. Slides.
International Seminar, Dresden, Germany, October 2021.
Talk: Supernilpotent loops. Slides.
LOOPS 2019, Budapest, Hungary, July 2019.
Talk: Paramedial quasigroups of prime and prime square order. Slides (contain some mistakes, revised results are for example in these slides).
Doctoral thesis: Valued Constraint Satisfaction in Structures with an Oligomorphic Automorphism Group
Slides from my defense.
Master thesis: Higher Commutators in Loop Theory
Bachelor thesis: Enumeration of Affine Quasigroups (in Slovak)