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

Probabilistic Automata over Infinite Words: Expressiveness, Efficiency, and Decidability

Proceedings 12th International Workshop on Verification of Infinite-State Systems

Proceedings 8th International Conference Words 2011

Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems

Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems

Pseudo-Power Avoidance

Pseudorandom Generators against CFL/n