On the Size Complexity of Non-Returning Context-Free PC Grammar Systems
On Three Alternative Characterizations of Combined Traces
Operating binary strings using gliders and eaters in reaction-diffusion cellular automaton
Operational State Complexity of Deterministic Unranked Tree Automata
Optimal Hyper-Minimization
Optimal Time-Abstract Schedulers for CTMDPs and Markov Games
Orbits of linear maps and regular languages
Parameterised Pushdown Systems with Non-Atomic Writes
Parameterized Regular Expressions and their Languages
Parikh's Theorem: A simple and direct automaton construction
Partially Ordered Two-way Büchi Automata
Pattern 1^j0^i avoiding binary words
Pattern Avoidability with Involution
Pattern avoidance with involution
Periodic scheduling of marked graphs using balanced binary words
Power of Randomization in Automata on Infinite Strings
Precedence Automata and Languages
Primitive Recursive Presentations of Automata and their Products
Primitive words and roots of words
Probabilistic Arithmetic Automata and their Applications