×
Edit Profile (opens in new tab)

Kazda, Alexandr

Co-Author Distance
Author ID: kazda.alexandr Recent zbMATH articles by "Kazda, Alexandr"
Published as: Kazda, Alexandr
Homepage: http://pub.ist.ac.at/~akazda/
Documents Indexed: 22 Publications since 2008
Reviewing Activity: 7 Reviews
Co-Authors: 14 Co-Authors with 13 Joint Publications
320 Co-Co-Authors
all top 5

Co-Authors

9 single-authored
3 Zhuk, Dmitriy N.
2 Kolmogorov, Vladimir
2 Kůrka, Petr
2 Rolínek, Michal
2 Valeriote, Matthew A.
1 Barto, Libor
1 Kambites, Mark
1 Kari, Jarkko
1 Kompatscher, Michael
1 Kozik, Marcin
1 Mayr, Peter
1 McKenzie, Ralph N.
1 Opršal, Jakub
1 Steinby, Paula
all top 5

Serials

3 Algebra Universalis
3 International Journal of Algebra and Computation
2 Logical Methods in Computer Science
1 Nonlinearity
1 Canadian Mathematical Bulletin
1 The Journal of Symbolic Logic
1 European Journal of Combinatorics
1 Linear Algebra and its Applications
1 Novi Sad Journal of Mathematics
1 Chicago Journal of Theoretical Computer Science
1 Fundamenta Informaticae
1 Integers
1 Journal of Multiple-Valued Logic and Soft Computing
1 ACM Transactions on Algorithms
1 Actes des Rencontres du C.I.R.M.
all top 5

Fields

15 Computer science (68-XX)
12 General algebraic systems (08-XX)
5 Dynamical systems and ergodic theory (37-XX)
3 Mathematical logic and foundations (03-XX)
3 Combinatorics (05-XX)
3 Number theory (11-XX)
3 Group theory and generalizations (20-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Sequences, series, summability (40-XX)
1 Real functions (26-XX)
1 Geometry (51-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

17 Publications have been cited 72 times in 56 Documents Cited by ▼ Year ▼
Absorption and directed Jónsson terms. Zbl 1459.08005
Kazda, Alexandr; Kozik, Marcin; McKenzie, Ralph; Moore, Matthew
14
2018
Maltsev digraphs have a majority polymorphism. Zbl 1214.05043
Kazda, Alexandr
12
2011
Deciding some Maltsev conditions in finite idempotent algebras. Zbl 1497.08003
Kazda, Alexandr; Valeriote, Matt
8
2020
Deciding the existence of minority terms. Zbl 1484.08007
Kazda, Alexandr; Opršal, Jakub; Valeriote, Matt; Zhuk, Dmitriy
7
2020
Taylor term does not imply any nontrivial linear one-equality Maltsev condition. Zbl 1472.08007
Kazda, Alexandr
5
2019
Deciding absorption. Zbl 1352.08006
Barto, Libor; Kazda, Alexandr
4
2016
\(n\)-permutability and linear Datalog implies symmetric Datalog. Zbl 1476.68107
Kazda, Alexandr
4
2018
CSP for binary conservative relational structures. Zbl 1356.08001
Kazda, Alexandr
3
2016
Even delta-matroids and the complexity of planar Boolean CSPs. Zbl 1410.68170
Kazda, Alexandr; Kolmogorov, Vladimir; Rolínek, Michal
3
2017
Existence of cube terms in finite algebras. Zbl 1498.08006
Kazda, Alexandr; Zhuk, Dmitriy
3
2021
The word problem for free adequate semigroups. Zbl 1307.20046
Kambites, Mark; Kazda, Alexandr
2
2014
Möbius number systems based on interval covers. Zbl 1209.37010
Kůrka, Petr; Kazda, Alexandr
2
2010
The chain relation in sofic subshifts. Zbl 1151.37014
Kazda, Alexandr
1
2008
Convergence in Möbius number systems. Zbl 1196.37022
Kazda, Alexandr
1
2009
Complexity of the homomorphism extension problem in the random case. Zbl 1286.68198
Kazda, Alexandr
1
2013
Deciding the existence of quasiweak near unanimity terms in finite algebras. Zbl 1529.08023
Kazda, Alexandr
1
2021
Representing real numbers in Möbius number systems. Zbl 1479.37014
Kazda, Alexandr; Kùrka, Petr
1
2009
Existence of cube terms in finite algebras. Zbl 1498.08006
Kazda, Alexandr; Zhuk, Dmitriy
3
2021
Deciding the existence of quasiweak near unanimity terms in finite algebras. Zbl 1529.08023
Kazda, Alexandr
1
2021
Deciding some Maltsev conditions in finite idempotent algebras. Zbl 1497.08003
Kazda, Alexandr; Valeriote, Matt
8
2020
Deciding the existence of minority terms. Zbl 1484.08007
Kazda, Alexandr; Opršal, Jakub; Valeriote, Matt; Zhuk, Dmitriy
7
2020
Taylor term does not imply any nontrivial linear one-equality Maltsev condition. Zbl 1472.08007
Kazda, Alexandr
5
2019
Absorption and directed Jónsson terms. Zbl 1459.08005
Kazda, Alexandr; Kozik, Marcin; McKenzie, Ralph; Moore, Matthew
14
2018
\(n\)-permutability and linear Datalog implies symmetric Datalog. Zbl 1476.68107
Kazda, Alexandr
4
2018
Even delta-matroids and the complexity of planar Boolean CSPs. Zbl 1410.68170
Kazda, Alexandr; Kolmogorov, Vladimir; Rolínek, Michal
3
2017
Deciding absorption. Zbl 1352.08006
Barto, Libor; Kazda, Alexandr
4
2016
CSP for binary conservative relational structures. Zbl 1356.08001
Kazda, Alexandr
3
2016
The word problem for free adequate semigroups. Zbl 1307.20046
Kambites, Mark; Kazda, Alexandr
2
2014
Complexity of the homomorphism extension problem in the random case. Zbl 1286.68198
Kazda, Alexandr
1
2013
Maltsev digraphs have a majority polymorphism. Zbl 1214.05043
Kazda, Alexandr
12
2011
Möbius number systems based on interval covers. Zbl 1209.37010
Kůrka, Petr; Kazda, Alexandr
2
2010
Convergence in Möbius number systems. Zbl 1196.37022
Kazda, Alexandr
1
2009
Representing real numbers in Möbius number systems. Zbl 1479.37014
Kazda, Alexandr; Kùrka, Petr
1
2009
The chain relation in sofic subshifts. Zbl 1151.37014
Kazda, Alexandr
1
2008
all cited Publications top 5 cited Publications
all top 5

Cited by 72 Authors

9 Lipparini, Paolo
6 Kazda, Alexandr
5 Jackson, Marcel G.
4 Barto, Libor
4 Olšák, Miroslav
4 Zhuk, Dmitriy N.
3 Cooper, Martin C.
3 Kozik, Marcin
3 Krokhin, Andrei A.
3 Maróti, Miklós
3 Niven, Todd
3 Valeriote, Matthew A.
3 Živný, Stanislav
2 Bulín, Jakub
2 Carvalho, Catarina A.
2 Egri, László
2 Gyenizse, Gergő
2 Kůrka, Petr
2 Martin, Barnaby D.
2 Opršal, Jakub
2 Zádori, László
1 Bodirsky, Manuel
1 Brady, Zarathustra
1 Bulatov, Andrei A.
1 Calta, Kariane
1 Carbonnel, Clément
1 Chotwattakawanit, Udom
1 Cohen, David A.
1 Dalmau, Víctor
1 Dapić, Petar
1 Esnay, Solène J.
1 Freese, Ralph S.
1 Fulla, Peter
1 García Chamizo, Juan Manuel
1 Gillibert, Pierre
1 Guo, Heng
1 Hirsch, Robin
1 Hoefnagel, Michael Anton
1 Idziak, Paweł M.
1 Jacqmin, Pierre-Alain
1 Janelidze, Zurab
1 Jeavons, Peter G.
1 Jonušas, Julius
1 Kompatscher, Michael
1 Kowalski, Tomasz
1 Kraaikamp, Cor
1 Krzaczkowski, Jacek
1 Kudryavtseva, Ganna
1 Laan, Valdis
1 Larose, Benoit
1 Lu, Pinyan
1 Lutz, Carsten
1 Makarychev, Konstantin S.
1 Makarychev, Yury S.
1 Marković, Petar
1 Mikulás, Szabolcs
1 Mora-Mora, Higinio
1 Mora-Pascual, Jerónimo
1 Nation, James B.
1 Núñez, Alonso
1 Pinsker, Michael
1 Rooney, J. P.
1 Sabellek, Leif
1 Schmidt, Thomas A.
1 Signes Pont, María Teresa
1 Srithus, Ratana
1 Starke, Florian
1 Sun, Qinghe
1 Törmä, Ilkka A.
1 van der Walt, Emil
1 Wernthaler, Michael
1 Willard, Ross
all top 5

Cited in 27 Serials

12 Algebra Universalis
4 International Journal of Algebra and Computation
2 Bulletin of the London Mathematical Society
2 Journal of Computer and System Sciences
2 The Journal of Symbolic Logic
2 SIAM Journal on Computing
2 Theoretical Computer Science
2 Order
2 Constraints
2 Journal of Multiple-Valued Logic and Soft Computing
1 Artificial Intelligence
1 Communications in Algebra
1 Discrete Mathematics
1 Archiv der Mathematik
1 Canadian Mathematical Bulletin
1 Journal of Computational and Applied Mathematics
1 Journal of Pure and Applied Algebra
1 Mathematica Slovaca
1 Proceedings of the Edinburgh Mathematical Society. Series II
1 Quaestiones Mathematicae
1 SIAM Journal on Discrete Mathematics
1 Expositiones Mathematicae
1 The Electronic Journal of Combinatorics
1 Journal of the Australian Mathematical Society
1 ACM Transactions on Computational Logic
1 Actes des Rencontres du C.I.R.M.
1 TheoretiCS
all top 5

Cited in 13 Fields

40 General algebraic systems (08-XX)
27 Computer science (68-XX)
9 Combinatorics (05-XX)
5 Order, lattices, ordered algebraic structures (06-XX)
4 Mathematical logic and foundations (03-XX)
3 Dynamical systems and ergodic theory (37-XX)
2 Number theory (11-XX)
2 Category theory; homological algebra (18-XX)
2 Group theory and generalizations (20-XX)
2 Numerical analysis (65-XX)
2 Operations research, mathematical programming (90-XX)
1 General and overarching topics; collections (00-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)

Citations by Year