Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Stefan Gulan

> Home > Persons

Person information

affiliation (former): University of Trier, Department of Computer Science, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/Gulan13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/Gulan13
Stefan Gulan:
Series Parallel Digraphs with Loops - Graphs Encoded by Regular Expression. Theory Comput. Syst. 53(2): 126-158 (2013)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2015
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/GulanHJKRZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/GulanHJKRZ15
Stefan Gulan, Jens Harnisch, Sven Johr, Roberto Kretschmer, Stefan Rieger, Rafael Zalman:
Model-Based Analysis for Safety Critical Software. SAFECOMP 2015: 111-120
2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BeckGBBW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BeckGBBW14
Fabian Beck, Stefan Gulan, Benjamin Biegel, Sebastian Baltes, Daniel Weiskopf:
RegViz: visual debugging of regular expressions. ICSE Companion 2014: 504-507
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/GulanJKRD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/GulanJKRD13
Stefan Gulan, Sven Johr, Roberto Kretschmer, Stefan Rieger, Michael Ditze:
Graphical modelling meets formal methods. INDIN 2013: 716-721
2011
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/Gulan11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/Gulan11
Stefan Gulan:
Graphs Encoded by Regular Expressions. STACS 2011: 495-506
2010
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/GruberG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/GruberG10
Hermann Gruber, Stefan Gulan:
Simplifying Regular Expressions. LATA 2010: 285-296
2008
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/GulanF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/GulanF08
Stefan Gulan, Henning Fernau:
An Optimal Construction of Finite Automata from Regular Expressions. FSTTCS 2008: 211-222
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sofsem/GulanF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/GulanF08
Stefan Gulan, Henning Fernau:
Local elimination-strategies in automata for shorter regular expressions. SOFSEM (2) 2008: 46-57

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.