Concepedia

Andrzej Kisielewicz

AK

17

Publications

283

Citations

12

H-Index

1987

Active since

Affiliations

University of Wrocław(Current)

Institute of Mathematics

Institute of Computer Science

Université Clermont Auvergne

Laboratoire de Mathématiques Blaise Pascal

Andrzej Kisielewicz is an author at University of Wrocław specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceGraph TheoryFormal MethodsDiscrete MathematicsComputational ComplexityFormal VerificationRepresentation TheoryCombinatorial OptimizationAutomated Reasoning

Publications per year

1987–2014

17

Publications

17

Computing the shortest reset words of synchronizing automata

Andrzej Kisielewicz, Jakub Kowalski, Marek Szykuła · Journal of Combinatorial Optimization · 2013 · 27 citations · Full text

Engineering, Pushdown Automaton, Computational Complexity +18

On the number of operations in a clone

Joel Berman, Andrzej Kisielewicz · Proceedings of the American Mathematical Society · 1994 · 26 citations

Circuit Complexity, Engineering, Annotation Encoding= +9

The Cerný conjecture for automata respecting intervals of a directed graph

Mariusz Grech, Andrzej Kisielewicz · Discrete Mathematics & Theoretical Computer Science · 2013 · 25 citations · Full text

Directed Graph, Engineering, Automata Respecting Intervals +16

Varieties of commutative semigroups

Andrzej Kisielewicz · Transactions of the American Mathematical Society · 1994 · 23 citations

Equational Theories, Topological Semigroups, Abstract Algebra +5

Rainbow Induced Subgraphs in Proper Vertex Colorings

Andrzej Kisielewicz, Marek Szykuła · Fundamenta Informaticae · 2011 · 22 citations

Engineering, Graph Theory, Algebraic Graph Theory +13

Rows per page

1–5 of 17