Dependable Systems Group

Contact

Group Leader
Prof. Dr. Dirk Nowotka

Postal Address
Kiel University
Dept. of Computer Science
24098 Kiel
Germany

Visitor Address
Kiel University
Dept. of Computer Science
Christian-Albrechts-Platz 4
24118 Kiel
Germany

Location

Latest Publ.

On the Solvability Problem for Restricted Classes of Word Equations, DLT 2016 (F. Manea, D. Nowotka, M. Schmid)

One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations, DLT 2016 (D. Nowotka, A. Saarela)

Parallelizing Constraint Programming with Learning, CPAIOR 2016 (T. Ehlers, P. Stuckey)

Efficiently Finding All Maximal α-gapped Repeats, STACS 2016 (P. Gawrychowski, T. I, S. Inenaga, D. Köppl, F. Manea)

Cubic Patterns with Permutations, JCSS (F. Manea, M. Müller, D. Nowotka)

Team Members

Prof. Dr. Dirk Nowotka

Group Leader

Christian-Albrecht-Platz 4, R.1308
Phone: +49 431 880-4199
Telefax: +49 431 880-5745
nowotka@zs.uni-kiel.de

Dr. Florin Manea

Researcher

Christian-Albrechts-Platz 4, R.1305
Phone: +49 431 880-7547
Telefax: +49 431 880-5745
flm@informatik.uni-kiel.de

Dr. Danny Poulsen

Researcher

Christian-Albrechts-Platz 4, R. 1312
dbp@informatik.uni-kiel.de

Joel Day

Research Assistent

Christian-Albrechts-Platz 4, R. 1305
jda@informatik.uni-kiel.de

Philipp Sieweck

PhD student

Christian-Albrechts-Platz 4, R.1311
Phone: +49 431 880-7545
Telefax: +49 431 880-5745
psi@informatik.uni-kiel.de

Thorsten Ehlers

PhD student

Christian-Albrechts-Platz 4, R. 1311
Phone: +49 431 880-7545
Telefax: +49 431 880-5745
the@informatik.uni-kiel.de

Kamellia Reshadi

PhD student

Christian-Albrechts-Platz 4, R. 1310
Phone: +49 431 880-7549
kre@informatik.uni-kiel.de

Maike Bradler

Secretary

Christian-Albrechts-Platz 4, R. 1309 (CAP4)
Phone: +49 431 880-4810
Telefax: +49 431 880-5745
mb@informatik.uni-kiel.de