Stem nonregular$ (all stems)

4 papers:

DLT-2005-Straubing #regular expression

Inexpressibility Results for Regular Languages in Nonregular Settings (HS), pp. 69–77.

ICALP-1997-BouajjaniH #analysis #reachability #set

Symbolic Reachability Analysis of FIFO Channel Systems with Nonregular Sets of Configurations (Extended Abstract) (AB, PH), pp. 560–570.

LICS-1995-BouajjaniEH #on the #problem #process #verification

On the Verification Problem of Nonregular Properties for Nonregular Processes (AB, RE, PH), pp. 123–133.

ICALP-1991-KanepsF #automaton #probability #regular expression

Running Time to Recognize Nonregular Languages by 2-Way Probabilistic Automata (JK, RF), pp. 174–185.