Mathematical publications
Articles in journals and proceedings
 Alexandr Kazda. npermutability
and linear Datalog implies symmetric Datalog.
Logical Methods in Computer Sciences, 14 (2), 2018,
DOI: 10.23638/LMCS14(2:3)2018.

Alexandr Kazda, Vladimir Kolmogorov, Michal Rolínek. Even
DeltaMatroids and the Complexity of Planar Boolean CSPs,
Proceedings of the TwentyEighth Annual ACMSIAM Symposium on Discrete
Algorithms (SODA'17). 2017, 307–326. (preprint).
 Alexandr Kazda, Libor Barto: Deciding absorption. International
Journal of Algebra and Computation, 26(5):10331060, 2016,
10.1142/S0218196716500430
(preprint).
 Alexandr Kazda: CSP for binary conservative relational
structures. Algebra Universalis, 75(1):7584, 2015,
10.1007/s0001201503588
(preprint).
 Mark Kambites, Alexandr Kazda.
The word problem for free adequate semigroups. International Journal of Algebra and Computation,
24(06):893–907, 2014. DOI: 10.1142/S0218196714500404 (preprint)
 Alexandr Kazda. Complexity of the homomorphism extension problem
in the random case. Chicago Journal of Theoretical Computer Science. 2013 (9),
2013. DOI:
10.4086/cjtcs.2013.009

Jarkko Kari, Alexandr Kazda, Paula Steinby. On continuous weighted finite
automata. Linear Algebra and its Applications. Volume 436, Issue 7, 2012, pages
17911824. DOI:
10.1016/j.laa.2011.10.031 (preprint)

Alexandr Kazda: Maltsev digraphs
have a majority polymorphism. European Journal of
Combinatorics 32 (2011), pages 390397. (preprint)

Petr Kůrka, Alexandr Kazda: Moebius number systems
based on interval covers. Nonlinearity 23 (2010), pages 10311046,
doi:
10.1088/09517715/23/5/001.

Alexandr Kazda:
Möbius Number Systems. Novi Sad Journal of Mathematics. Volume 40.
Number 3. 2010. Pages 2753. (Proceedings of 3rd Novi Sad Algebraic
Conference)

Alexandr Kazda, Petr Kůrka.
Representing real numbers in Möbius number systems. in Actes des
rencontres du CIRM, 1 no. 1 (2009), p. 3539. (Proceedings of the
Numeration conference)

Alexandr Kazda.
Convergence in Möbius Number Systems. in Integers.
volume 9, issue 3. pages 261279. 2009. (subscriptionfree
version)

Alexandr Kazda. The Chain Relation in Sofic Subshifts. in Fundamenta
Informaticae. volume 84. number 34. pages 375390. 2008.
(preprint)
Work in progress
Conference talks
The symbol ♥ marks invited talks.
 Algebraic Approach to Promise Constraint Satisfaction, Noon lecture, Dept of Applied Mathematics, Charles University, March, 2018
 ♥ The interpretability
lattice of clonoids, 95th AAA, Bratislava, 2018
 Solving edge CSP with even deltamatroid constraints, The 55th Summer School on Algebra and Ordered Sets, Starý Smokovec, 2017
 Solving edge CSP with even deltamatroid constraints, AAA94+NSAC 2017, Novi Sad, 2017
 Minority is the join of two varieties defined by linear
equations, 94th AAA, Bern, 2017
 DeltaMatroids and the Complexity of Planar Boolean CSPs, SODA 2017, Barcelona, 2017
 Finding Ramsey, Structure and Complexity in Universal Algebra, Nashville, 2016
 ♥ Directed Jónsson terms, 92th AAA, Prague, 2016
 Even deltamatroids and the complexity
of planar Boolean CSPs, Algebra and Algorithms, Boulder, 2016
 Linear Datalog and kpermutability
=
symmetric Datalog, Algebraic
and Model Theoretical Methods in Constraint Satisfaction, Banff, 2014
 No M3s and Maltsev implies
majority, 53rd Summer School on General Algebra and Ordered Sets,
Srní, 2015
 Linear Datalog and npermutability implies symmetric
Datalog, The Constraint Satisfaction Problem: Complexity and
Approximability workshop, Schloss Dagstuhl, 2015
 Deciding the existence of a $k$wnu operation in polynomial
time, 90th AAA, Novi Sad, 2015
 Linear Datalog and kpermutability
=
symmetric Datalog, Algebraic
and Model Theoretical Methods in Constraint Satisfaction, Banff, 2014
 Linear Datalog and kpermutability
=
symmetric Datalog, Conference on Algebras and Clones, Prague, 2014
 Algorithms that decide absorption, 2014 North American Annual Meeting
of the Association for Symbolic Logic, Boulder, 2014
 How to decide absorption (joint work with Libor Barto), AMS Sectional
Meeting, Louisville, 2013
 How to decide absorption (joint work with Libor Barto), Novi
Sad Algebraic Conference 2013, Novi Sad, 2013
 Absorbing sets and where to
find them, 86th AAA, Olomouc, 2013
 Absorption in idempotent
reducts of groups, 50th Summer School on
Algebra and Ordered Sets
 Absorption and reflexive
digraphs (joint work with Libor Barto), Conference on
Universal Algebra and Lattice Theory, Szeged, 2012
 Dichotomy for conservative
digraphs, 84rd AAA, Dresden, 2012
 Random CSP
complexity, Summer
Thematic Program on Mathematics of Constraint Satisfaction, Toronto,
2011
 Dichotomy
for conservative digraphs, Summer
Thematic Program on Mathematics of Constraint Satisfaction, Toronto,
2011
 Maltsev digraphs have a majority
polymorphism, Jardafest, Prague, 2010
 Möbius number systems, Novi Sad Algebraic Conference, 2009
 Möbius number systems, Marseille, 2009
 Continuous weighted finite
automata, Liege, 2009 (poster presentation)
 The chain relation in sofic
subshifts, Paris, 2007