​

​Dr. Dennis Nolte
Adress: see contact

• dennis.nolte(at)uni-due.de

Research interests

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

Publications

List of publications at the university library

Teachings

• SS 2019:
  • Teaching assistance for "Automaten und formale Sprachen"
  • Seminar assistance "Spiele der Informatik"
• WS 2018/19:
  • Teaching assistance for "Logik"
  • Seminar assistance "Spiele in der Informatik"
• SS 2018:
  • Sabbatical
• WS 2017/18:
  • Teaching assistance for "Logik"
  • Seminar assistance "Graphen in der Informatik: Algorithmen und Modellierung"
• SS 2017:
  • Teaching assistance for "Mathematische Strukturen"
• WS 2016/17:
  • Teaching assistance for "Logik"
  • Seminar assistance "Graphen in der Informatik: Algorithmen und Modellierung"
• SS 2016:
  • Teaching assistance for "Mathematische Strukturen"
• WS 2015/16:
  • Teaching assistance for "Logik"
  • Seminar assistance "Quantitative Modelle der Informatik"
• SS 2015:
  • Teaching assistance for "Mathematische Strukturen"
  • Seminar assistance "Quantitative Modelle der Informatik"
• WS 2014/15:
  • Teaching assistance for "Logik"
  • Seminar assistance "Quantitative Modelle der Informatik"
• SS 2014:
  • Block seminar assistance "Spiele in der Informatik"