Personal information

Activities

Employment (3)

Charles University: Prague, CZ

2017-05-01 to 2022-01-31 | researcher (Department of Algebra)
Employment
Source: Self-asserted source
Alexandr Kazda

IST Austria: Klosterneuburg, Lower Austria, AT

2015-08-01 to 2017-04-30 | Postdoc
Employment
Source: Self-asserted source
Alexandr Kazda

Vanderbilt University: Nashville, Tennessee, US

2013-08 to 2015-08 | Postdoc (Department of Mathematics)
Employment
Source: Self-asserted source
Alexandr Kazda

Education and qualifications (1)

Charles University: Prague, CZ

2009-10 to 2013-06 | PhD. (Department of Algebra)
Education
Source: Self-asserted source
Alexandr Kazda

Works (22)

Algebraic Approach to Approximation

2024-07-08 | Conference paper
Contributors: Libor Barto; Silvia Butti; Alexandr Kazda; Caterina Viola; Stanislav Živný
Source: check_circle
Crossref

Local–global property for G-invariant terms

International Journal of Algebra and Computation
2022 | Journal article
Part of ISSN: 0218-1967
Part of ISSN: 1793-6500
Contributors: Alexandr Kazda
Source: Self-asserted source
Alexandr Kazda

Small Promise CSPs that reduce to large CSPs

Logical Methods in Computer Science
2022-08 | Journal article
Part of ISSN: 1860-5974
Contributors: Alexandr Kazda
Source: Self-asserted source
Alexandr Kazda

Deciding the Existence of QuasiWeak Near Unanimity Terms in Finite Algebras

Journal of Multiple-Valued Logic and Soft Computing
2021 | Journal article
Contributors: Alexandr Kazda
Source: Self-asserted source
Alexandr Kazda

Existence of cube terms in finite algebras

Algebra universalis
2021-02 | Journal article
Contributors: Alexandr Kazda; Dmitriy Zhuk
Source: check_circle
Crossref

DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS

The Journal of Symbolic Logic
2020-06 | Journal article
Contributors: ALEXANDR KAZDA; MATT VALERIOTE
Source: check_circle
Crossref

Taylor term does not imply any nontrivial linear one-equality Maltsev condition

Algebra Universalis
2019 | Journal article
EID:

2-s2.0-85062427851

Contributors: Kazda, A.
Source: Self-asserted source
Alexandr Kazda via Scopus - Elsevier
grade
Preferred source (of 2)‎

Absorption and directed Jónsson terms

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
2018 | Book chapter
Part of ISBN: 978-3-319-74772-9
Source: Self-asserted source
Alexandr Kazda
grade
Preferred source (of 2)‎

Even delta-matroids and the complexity of planar boolean CSPs

ACM Transactions on Algorithms
2018 | Journal article
EID:

2-s2.0-85061215080

Contributors: Kazda, A.; Kolmogorov, V.; Rolínek, M.
Source: Self-asserted source
Alexandr Kazda via Scopus - Elsevier
grade
Preferred source (of 2)‎

n-permutability and linear Datalog implies symmetric Datalog

Logical Methods in Computer Science
2018 | Journal article
Source: Self-asserted source
Alexandr Kazda
grade
Preferred source (of 2)‎

Even delta-matroids and the complexity of planar boolean CSP

Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms
2017 | Conference paper
EID:

2-s2.0-85016198678

Contributors: Kolmogorov, V.; Kazda, A.; Rollnek, M.
Source: Self-asserted source
Alexandr Kazda via Scopus - Elsevier

CSP for binary conservative relational structures

Algebra Universalis
2016 | Journal article
EID:

2-s2.0-84955662998

Contributors: Kazda, A.
Source: Self-asserted source
Alexandr Kazda via Scopus - Elsevier

Deciding absorption

International Journal of Algebra and Computation
2016 | Journal article
EID:

2-s2.0-84979222105

Contributors: Barto, L.; Kazda, A.
Source: Self-asserted source
Alexandr Kazda via Scopus - Elsevier

The word problem for free adequate semigroups

International Journal of Algebra and Computation
2014 | Journal article
EID:

2-s2.0-84928535928

Contributors: Kambites, M.; Kazda, A.
Source: Self-asserted source
Alexandr Kazda via Scopus - Elsevier

Complexity of the homomorphism extension problem in the random case

Chicago Journal of Theoretical Computer Science
2013-07-18 | Journal article
Source: Self-asserted source
Alexandr Kazda

On continuous weighted finite automata

Linear Algebra and Its Applications
2012 | Journal article
EID:

2-s2.0-84857111557

Contributors: Kari, J.; Kazda, A.; Steinby, P.
Source: Self-asserted source
Alexandr Kazda via Scopus - Elsevier

Maltsev digraphs have a majority polymorphism

European Journal of Combinatorics
2011 | Journal article
EID:

2-s2.0-78649561232

Contributors: Kazda, A.
Source: Self-asserted source
Alexandr Kazda via Scopus - Elsevier

Möbius Number Systems

Novi Sad Journal of Mathematics
2010 | Conference paper
Source: Self-asserted source
Alexandr Kazda

Möbius number systems based on interval covers

Nonlinearity
2010 | Journal article
EID:

2-s2.0-77951144393

Contributors: Kůrka, P.; Kazda, A.
Source: Self-asserted source
Alexandr Kazda via Scopus - Elsevier

Representing real numbers in Möbius number systems

Actes du CIRM
2009 | Journal article
Contributors: Alexandr Kazda; Petr Kùrka
Source: Self-asserted source
Alexandr Kazda via Crossref Metadata Search

Convergence in Möbius Number Systems

Integers
2009-01 | Journal article
Contributors: Alexandr Kazda
Source: Self-asserted source
Alexandr Kazda via Crossref Metadata Search

The chain relation in sofic subshifts

Fundamenta Informaticae
2008 | Journal article
EID:

2-s2.0-52649152341

Contributors: Kazda, A.
Source: Self-asserted source
Alexandr Kazda via Scopus - Elsevier

Peer review (2 reviews for 2 publications/grants)

Review activity for Algebra universalis (1)
Review activity for Theory of computing systems. (1)