​

​Dr. Dennis Nolte
Adresse: siehe Kontakt

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

Forschungsgebiete

• Abstraktion von Graphtransformationssystemen
• Terminierungsanalyse
• Erkennbare Graphsprachen
• Verifikation von Graphtransformationssystemen
• Counterexample-guided abstraction refinement
• ...

Veröffentlichungen

Veröffentlichungsliste bei der Universitätsbibliothek.

Lehre

• SS 2019:
  • Übungsleitung für "Automaten und formale Sprachen"
  • Seminarbetreuung "Spiele der Informatik"
• WS 2018/19:
  • Übungsleitung für "Logik"
  • Seminarbetreuung "Spiele der Informatik"
• SS 2018:
  • Forschungssemester
• WS 2017/18:
  • Übungsleitung für "Logik"
  • Seminarbetreuung "Graphen in der Informatik: Algorithmen und Modellierung"
• SS 2017:
  • Übungsleitung für "Mathematische Strukturen"
• WS 2016/17:
  • Übungsleitung für "Logik"
  • Seminarbetreuung "Graphen in der Informatik: Algorithmen und Modellierung"
• SS 2016:
  • Übungsleitung für "Mathematische Strukturen"
• WS 2015/16:
  • Übungsleitung für "Logik"
  • Seminarbetreuung "Quantitative Modelle der Informatik"
• SS 2015:
  • Übungsleitung für "Mathematische Strukturen"
  • Seminarbetreuung "Quantitative Modelle der Informatik"
• WS 2014/15:
  • Übungsleitung für "Logik"
  • Seminarbetreuung "Quantitative Modelle der Informatik"
• SS 2014:
  • Blockseminarbetreuung "Spiele in der Informatik"