Personal information
Activities
Employment (3)
2017-05-01
to
2022-01-31
|
researcher
(Department of Algebra)
Employment
Source:
Alexandr Kazda
2015-08-01
to
2017-04-30
|
Postdoc
Employment
Source:
Alexandr Kazda
2013-08
to
2015-08
|
Postdoc
(Department of Mathematics)
Employment
Source:
Alexandr Kazda
Education and qualifications (1)
2009-10
to
2013-06
|
PhD.
(Department of Algebra)
Education
Source:
Alexandr Kazda
Works (22)
2024-07-08
|
Conference paper
Contributors:
Libor Barto;
Silvia Butti;
Alexandr Kazda;
Caterina Viola;
Stanislav Živný
Source:
check_circle
Crossref
International Journal of Algebra and Computation
2022
|
Journal article
Contributors:
Alexandr Kazda
Source:
Alexandr Kazda
Logical Methods in Computer Science
2022-08
|
Journal article
Contributors:
Alexandr Kazda
Source:
Alexandr Kazda
Journal of Multiple-Valued Logic and Soft Computing
2021
|
Journal article
Contributors:
Alexandr Kazda
Source:
Alexandr Kazda
Algebra universalis
2021-02
|
Journal article
Contributors:
Alexandr Kazda;
Dmitriy Zhuk
Source:
check_circle
Crossref
The Journal of Symbolic Logic
2020-06
|
Journal article
Contributors:
ALEXANDR KAZDA;
MATT VALERIOTE
Source:
check_circle
Crossref
Algebra Universalis
2019
|
Journal article
EID:
2-s2.0-85062427851
Contributors:
Kazda, A.
Source:
Alexandr Kazda
via
Scopus - Elsevier
grade
Preferred source
(of
2)
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
2018
|
Book chapter
Source:
Alexandr Kazda
grade
Preferred source
(of
2)
ACM Transactions on Algorithms
2018
|
Journal article
EID:
2-s2.0-85061215080
Contributors:
Kazda, A.;
Kolmogorov, V.;
Rolínek, M.
Source:
Alexandr Kazda
via
Scopus - Elsevier
grade
Preferred source
(of
2)
Source:
Alexandr Kazda
grade
Preferred source
(of
2)
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:
Alexandr Kazda
via
Scopus - Elsevier
Algebra Universalis
2016
|
Journal article
EID:
2-s2.0-84955662998
Contributors:
Kazda, A.
Source:
Alexandr Kazda
via
Scopus - Elsevier
International Journal of Algebra and Computation
2016
|
Journal article
EID:
2-s2.0-84979222105
Contributors:
Barto, L.;
Kazda, A.
Source:
Alexandr Kazda
via
Scopus - Elsevier
International Journal of Algebra and Computation
2014
|
Journal article
EID:
2-s2.0-84928535928
Contributors:
Kambites, M.;
Kazda, A.
Source:
Alexandr Kazda
via
Scopus - Elsevier
Chicago Journal of Theoretical Computer Science
2013-07-18
|
Journal article
Source:
Alexandr Kazda
Linear Algebra and Its Applications
2012
|
Journal article
EID:
2-s2.0-84857111557
Contributors:
Kari, J.;
Kazda, A.;
Steinby, P.
Source:
Alexandr Kazda
via
Scopus - Elsevier
European Journal of Combinatorics
2011
|
Journal article
EID:
2-s2.0-78649561232
Contributors:
Kazda, A.
Source:
Alexandr Kazda
via
Scopus - Elsevier
Novi Sad Journal of Mathematics
2010
|
Conference paper
Source:
Alexandr Kazda
Nonlinearity
2010
|
Journal article
EID:
2-s2.0-77951144393
Contributors:
Kůrka, P.;
Kazda, A.
Source:
Alexandr Kazda
via
Scopus - Elsevier
Source:
Alexandr Kazda
via
Crossref Metadata Search
Source:
Alexandr Kazda
via
Crossref Metadata Search
Fundamenta Informaticae
2008
|
Journal article
EID:
2-s2.0-52649152341
Contributors:
Kazda, A.
Source:
Alexandr Kazda
via
Scopus - Elsevier