Publications of Author

Klaus Indermark, and Thomas Noll. Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. Acta Informatica, 43:1–43, 2006.

Klaus Indermark, and Thomas Noll. Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. Technical Report 2004-08, RWTH Aachen University, 2004.

Thomas Noll, and Klaus Indermark, editors, Kolloquium Programmiersprachen und Grundlagen der Programmierung. Technical Report 2001-11, Aachen University of Technology, 2001.

BSc/MSc/Diploma Topics
Teaching WS09/10
Hybrid Systems Group

1-2 stud. Hilfskr. zur Unterstützung bei der Erstellung eines neuen Foliensatzes für "Datenstrukturen & Algorithmen 2010". (mehr)

Tingting Han defended her thesis "Synthesis, Diagnosis and Analysis of Probabilistic Systems" with highest praise at the University of Twente (NL) and today also at the RWTH Aachen! (more)