doc. Mgr. Michal Kunc, Ph.D.

2021

• Language equations

  KUNC Michal OKHOTIN Alexander

  Kapitola v knize

  Handbook of Automata Theory: Volume I. Theoretical Foundations Volume II. Automata in Mathematics and Selected Applications, rok: 2021, počet stran: 35 s.

2020

• Reversibility of computations in graph-walking automata

  KUNC Michal OKHOTIN Alexander

  Článek v odborném periodiku

  Information and computation, rok: 2020, ročník: 275, vydání: December 2020, DOI

2019

• The generalized rank of trace languages

  KUNC Michal MEITNER Jan

  Článek v odborném periodiku

  International Journal of Foundations of Computer Science, rok: 2019, ročník: 30, vydání: 1, DOI

2018

• The omega-inequality problem for concatenation hierarchies of star-free languages

  ALMEIDA Jorge KLÍMA Ondřej KUNC Michal

  Článek v odborném periodiku

  Forum Mathematicum, rok: 2018, ročník: 30, vydání: 3, DOI

2017

• The generalized rank of trace languages

  KUNC Michal MEITNER Jan

  Článek ve sborníku

  Developments in Language Theory. 21st International Conference, DLT 2017, Liege, Belgium, August 7-11, 2017, Proceedings, rok: 2017

2015

• On decidability of intermediate levels of concatenation hierarchies

  MENESES GUIMARÄES DE ALMEIDA Jorge Manuel BARTOŇOVÁ Jana KLÍMA Ondřej KUNC Michal

  Článek ve sborníku

  Developments in Language Theory : 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings, rok: 2015

2013

• Reversibility of computations in graph-walking automata

  KUNC Michal OKHOTIN Alexander

  Článek ve sborníku

  Mathematical Foundations of Computer Science 2013, rok: 2013

2012

• State complexity of operations on two-way finite automata over a unary alphabet

  KUNC Michal OKHOTIN Alexander

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2012, ročník: 449, vydání: 1, DOI

2011

• Describing periodicity in two-way deterministic finite automata using transformation semigroups

  KUNC Michal OKHOTIN Alexander

  Článek ve sborníku

  Developments in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings, rok: 2011

• State complexity of operations on two-way deterministic finite automata over a unary alphabet

  KUNC Michal OKHOTIN Alexander

  Článek ve sborníku

  Descriptional Complexity of Formal Systems: 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings, rok: 2011