Graph-Controlled Insertion-Deletion Systems
Groups defined by automata
How much could we cover a set by c.e sets?
Implementing Turing Machines in Dynamic Field Architectures
Independent sets of words and the synchronization problem
Infinite permutations vs. infinite words
Integer Reset Timed Automata: Clock Reduction and Determinizability
Interrupt Timed Automata: verification and expressiveness
Inverse Star, Borders, and Palstars
Isomorphism of regular trees and words
It Is NL-complete to Decide Whether a Hairpin Completion of Regular Languages Is Regular
Iterated Hairpin Completions of Non-crossing Words
IUPC: Identification and Unification of Process Constraints
Jancar's formal system for deciding bisimulation of first-order grammars and its non-soundness
k-Automatic sets of rational numbers
Languages of Dot-depth One over Infinite Words
Late Weak Bisimulation for Markov Automata
Lattices of Logical Fragments over Words
Learning Residual Finite-State Automata Using Observation Tables
Length of the Shortest Word in the Intersection of Regular Languages