An Optimal Construction of Finite Automata from Regular Expressions. - Stefan Gulan; Henning Fernau (FSTTCS, 2008)

Local elimination-strategies in automata for shorter regular expressions. - Stefan Gulan; Henning Fernau (SOFSEM (2), 2008)

Simplifying Regular Expressions. - Hermann Gruber; Stefan Gulan (LATA, 2010)

Graphs Encoded by Regular Expressions. - Stefan Gulan (STACS, 2011)

Graphical modelling meets formal methods. - Stefan Gulan; Sven Johr; Roberto Kretschmer; Stefan Rieger; Michael Ditze (INDIN, 2013)

Series Parallel Digraphs with Loops - Graphs Encoded by Regular Expression. - Stefan Gulan (Theory Comput. Syst., 2013)

RegViz: visual debugging of regular expressions. - Fabian Beck 001; Stefan Gulan; Benjamin Biegel 001; Sebastian Baltes; Daniel Weiskopf (ICSE Companion, 2014)

Model-Based Analysis for Safety Critical Software. - Stefan Gulan; Jens Harnisch; Sven Johr; Roberto Kretschmer; Stefan Rieger; Rafael Zalman (SAFECOMP, 2015)