Thilo Vörtler, Steffen Rülke, Petra Hofstedt
Bounded Model Checking of Contiki Applications
15th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems. Erscheint 2012.

Petra Hofstedt, Claus Lewerentz (Eds.)
Doktorandensymposium der SOFTWARE ENGINEERING 2012
Proceedings
Computer Science Report 01/12, BTU Cottbus, February 2012 (f pdf)

 

Petra Hofstedt
Die Evolution der Programmiersprachen der KI
Künstliche Intelligenz, Volume 26, Number 1, February 2012 ( link)

 

Thomas König, Petra Hofstedt
Constraint-basierte Programmiersprachen - Von den Ursprüngen in der logischen Programmierung bis zu heutigen Anwendungen
Künstliche Intelligenz, Volume 26, Number 1, February 2012 ( link)

 

Petra Hofstedt
Themenschwerpunkt "Sprachen der KI"
Künstliche Intelligenz, Volume 26, Number 1, February 2012 ( link)

 

Petra Hofstedt, Thomas König
Interview with Pascal Van Hentenryck on Constraint-Based Programming
Künstliche Intelligenz, Volume 26, Number 1, February 2012 ( link)