doc. Mgr. Michal Kunc, Ph.D.
Associate professor, Department of Mathematics and Statistics
Office: pav. 08/02014b
Kotlářská 267/2
611 37 Brno
Phone: | +420 549 49 4839 |
---|---|
E‑mail: |
social and academic networks: |
---|
Total number of publications: 28
2021
-
Language equations
Handbook of Automata Theory: Volume I. Theoretical Foundations Volume II. Automata in Mathematics and Selected Applications, year: 2021, number of pages: 35 s.
2020
-
Reversibility of computations in graph-walking automata
Information and computation, year: 2020, volume: 275, edition: December 2020, DOI
2019
-
The generalized rank of trace languages
International Journal of Foundations of Computer Science, year: 2019, volume: 30, edition: 1, DOI
2018
-
The omega-inequality problem for concatenation hierarchies of star-free languages
Forum Mathematicum, year: 2018, volume: 30, edition: 3, DOI
2017
-
The generalized rank of trace languages
Developments in Language Theory. 21st International Conference, DLT 2017, Liege, Belgium, August 7-11, 2017, Proceedings, year: 2017
2015
-
On decidability of intermediate levels of concatenation hierarchies
Developments in Language Theory : 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings, year: 2015
2013
-
Reversibility of computations in graph-walking automata
Mathematical Foundations of Computer Science 2013, year: 2013
2012
-
State complexity of operations on two-way finite automata over a unary alphabet
Theoretical Computer Science, year: 2012, volume: 449, edition: 1, DOI
2011
-
Describing periodicity in two-way deterministic finite automata using transformation semigroups
Developments in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings, year: 2011
-
State complexity of operations on two-way deterministic finite automata over a unary alphabet
Descriptional Complexity of Formal Systems: 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings, year: 2011