- Language Equations
- Slides from my talk at Highlights of AutoMathA 2010.

- Structure of Finite Semigroups and Language Equations
- Slides from my course at School on Algebraic Theory of Automata 2008.

- The simplest language where equivalence of finite substitutions is undecidable
- In proceedings of FCT 2007.

Slides from my talk.

- Communication of two stacks and rewriting (with Juhani Karhumäki and Alexander Okhotin)
- In proceedings of ICALP 2006.

- Algebraic characterization of the finite power property
- Manuscript (last update 29.4.2006).

Extended abstract in proceedings of ICALP 2006; slides from my talk.

- Computing by commuting (with Juhani Karhumäki and Alexander Okhotin)
- Theoretical Computer Science 356(1-2), 200-211, 2006.

- Simple language equations (a survey)
- Bulletin of the European Association for Theoretical Computer Science EATCS 85, 81-102, 2005.

- Largest solutions of left-linear language inequalities
- Manuscript (last update 27.4.2005).

Slides from my talk on AFL 2005.

- On language inequalities XK ⊆ LX
- In proceedings of DLT 2005.

Slides from my talk.

- The power of commuting with finite sets of words
- Theory
of Computing Systems 40(4), 521-551, 2007.

Extended abstract in proceedings of STACS 2005; slides from my talk.

- Regular solutions of language inequalities and well quasi-orders
- Theoretical Computer Science 348(2-3), 277-293, 2005.

Extended abstract in proceedings of ICALP 2004; slides from my talk.

- Deciding existence of trace codings (PhD thesis): ps, pdf.
- abstract: ps, pdf.

- Undecidability of the trace coding problem and some decidable cases
- Theoretical Computer Science 310, 393-456, 2004.

Slides from my talk on ICALP 2001.

- Equational description of pseudovarieties of homomorphisms
- Theoretical Informatics and Applications 37, 243-254, 2003.

Slides from my talk on Algebraic Theory of Automata and Logic workshop.

- Free partially commutative semigroups in band varieties
- In Proc. AAA 58, Contributions to General Algebra 12, Verlag Johannes Heyn, Klagenfurt, 257-268, 2000.

Back to my homepage

e-mail: kunc@math.muni.cz