Dennis Nolte

Contact

Email: dennis.nolte(at)uni-due.de

Phone: +49 (0)203 / 379 1401
Fax: +49 (0)203 / 379 3557

Room: LF 263

Address: see contact

Office hours: by appointment

Research interests

  • Abstraction of Graph Transformation Systems
  • Termination Analysis
  • Recognizable Graph Languages
  • Verification of Graph Transformation Systems
  • Counterexample-guided abstraction refinement
  • ...

Publications

See my list of publications

Teaching

  • WS 2017/18:
    • Teaching assistance for "Logik" (Website)
    • Seminar assistance "Graphen in der Informatik: Algorithmen und Modellierung" (Website)
  • SS 2017:
    • Teaching assistance for "Mathematische Strukturen" (Website)
  • WS 2016/17:
    • Teaching assistance for "Logik" (Website)
    • Seminar assistance "Graphen in der Informatik: Algorithmen und Modellierung" (Website)
  • SS 2016:
    • Teaching assistance for "Mathematische Strukturen" (Website)
  • WS 2015/16:
    • Teaching assistance for "Logik" (Website)
    • Seminar assistance "Quantitative Modelle der Informatik" (Website)
  • SS 2015:
    • Teaching assistance for "Mathematische Strukturen" (Website)
    • Seminar assistance "Quantitative Modelle der Informatik" (Website)
  • WS 2014/15:
    • Teaching assistance for "Logik" (Website)
    • Seminar assistance "Quantitative Modelle der Informatik" (Website)
  • SS 2014:
    • Block seminar assistance "Spiele in der Informatik" (Website)
© University of Duisburg-Essen, Theoretical Computer Science groupLogin