Michal Kunc

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Language equations2022-02-04Paper
Reversibility of computations in graph-walking automata
Information and Computation
2020-12-15Paper
The generalized rank of trace languages
International Journal of Foundations of Computer Science
2019-06-24Paper
The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages
Forum Mathematicum
2018-05-09Paper
The generalized rank of trace languages2017-10-13Paper
On decidability of intermediate levels of concatenation hierarchies
Developments in Language Theory
2015-11-10Paper
Reversibility of computations in graph-walking automata
Mathematical Foundations of Computer Science 2013
2013-09-20Paper
State complexity of operations on two-way finite automata over a unary alphabet
Theoretical Computer Science
2012-08-13Paper
State Complexity of Union and Intersection for Two-way Nondeterministic Finite Automata
Fundamenta Informaticae
2011-11-22Paper
Describing Periodicity in Two-Way Deterministic Finite Automata Using Transformation Semigroups
Developments in Language Theory
2011-07-29Paper
State complexity of operations on two-way deterministic finite automata over a unary alphabet
Descriptional Complexity of Formal Systems
2011-07-29Paper
Computational power of two stacks with restricted communication
Information and Computation
2010-10-07Paper
scientific article; zbMATH DE number 5605057 (Why is no real title available?)2009-09-19Paper
Algebraic Characterization of the Finite Power Property
Automata, Languages and Programming
2009-03-12Paper
The Simplest Language Where Equivalence of Finite Substitutions Is Undecidable
Fundamentals of Computation Theory
2008-02-26Paper
Communication of Two Stacks and Rewriting
Automata, Languages and Programming
2007-09-11Paper
The power of commuting with finite sets of words
Theory of Computing Systems
2007-08-23Paper
Developments in Language Theory
Lecture Notes in Computer Science
2006-06-23Paper
Computing by commuting.
Theoretical Computer Science
2006-05-18Paper
Regular solutions of language inequalities and well quasi-orders
Theoretical Computer Science
2006-01-09Paper
STACS 2005
Lecture Notes in Computer Science
2005-12-02Paper
Automata, Languages and Programming
Lecture Notes in Computer Science
2005-08-24Paper
Undecidability of the trace coding problem and some decidable cases
Theoretical Computer Science
2004-10-27Paper
scientific article; zbMATH DE number 2051829 (Why is no real title available?)2004-03-07Paper
scientific article; zbMATH DE number 2051829 (Why is no real title available?)2004-03-07Paper
scientific article; zbMATH DE number 1756015 (Why is no real title available?)2002-06-16Paper
scientific article; zbMATH DE number 1522662 (Why is no real title available?)2001-08-26Paper


Research outcomes over time


This page was built for person: Michal Kunc