,

An approach of example partitioning for practical regular expression synthesis

,

Three Open Problems related to Context-Free Languages

,

Effective Test Case Generation from Logical Description in Competitive Programming (poster presentation)

,

Contributed Session 1 - 1 On the transformation of two-way nondeterministic finite automata to unambiguous finite automata

,

Contributed Session 1 - 2 Nondeterminism Makes Unary 1-Limited Automata Concise