TY - GEN A1 - Hofstedt, Petra T1 - Themenschwerpunkt "Sprachen der KI" T2 - Künstliche Intelligenz Y1 - 2012 SN - 1610-1987 VL - 26 IS - 1 SP - 7 EP - 9 ER - TY - RPRT ED - Hofstedt, Petra ED - Lewerentz, Claus T1 - Doktorandensymposium der Software Engineering (SE) 2012 : proceedings Y1 - 2012 PB - BTU CY - Cottbus ER - TY - CHAP A1 - Hofstedt, Petra ED - Görz, Günther ED - Schneeberger, Josef ED - Schmid, U. T1 - Constraints T2 - Handbuch der Künstlichen Intelligenz Y1 - 2013 SN - 978-3-486-71307-7 SN - 978-3-486-71979-6 SP - 205 EP - 234 PB - Oldenburg Verlag CY - München ET - 5. korrigierte Auflage ER - TY - RPRT A1 - Hofstedt, Petra A1 - Schwigon, S. T1 - Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme Y1 - 1997 N1 - TUD-FI-97-08 PB - Techn. Univ. CY - Dresden ER - TY - CHAP A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Kaltschmidt, Sascha A1 - Sauer, Peter A1 - Vörtler, Thilo T1 - Design Space Exploration for Cyber Physical System Design using Constraint Solving T2 - The 2013 Forum on specification & Design Languages (FDL), Paris, France, September 24-26, 2013 Y1 - 2013 PB - IEEE ER - TY - CHAP A1 - Vörtler, Thilo A1 - Rülke, Steffen A1 - Hofstedt, Petra T1 - Bounded Model Checking of Contiki Applications T2 - 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS 2012), Tallin, Estonia, 18 - 20 April 2012 Y1 - 2012 SN - 978-1-4673-1187-8 SP - 258 EP - 261 PB - IEEE CY - Piscataway, NJ ER - TY - CHAP A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Vörtler, Thilo A1 - Sauer, Peter A1 - Hinze, Thomas ED - Hanus, Michael ED - Rocha, Ricardo T1 - Constraint-based Approach for an Early Inspection of the Feasibility of Cyber Physical Systems T2 - 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP). 2013 Y1 - 2013 UR - http://www.informatik.uni-kiel.de/uploads/tx_publication/tr-1306-bericht.pdf SP - 183 EP - 197 PB - Institut für Informatik, Christian-Albrechts-Universität CY - Kiel ER - TY - CHAP A1 - Schneeweiss, Denny A1 - Hofstedt, Petra T1 - FdConfig: A Constraint-Based Interactive Configurator T2 - Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011 Y1 - 2013 SN - 978-3-642-41523-4 SP - 239 EP - 255 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Hofstedt, Petra A1 - Ueda, K. T1 - Realizing Multiparadigm Programming bades on Hierarchical Graph Rewriting Y1 - 2009 ER - TY - CHAP A1 - Hofstedt, Petra ED - Indermark, Klaus T1 - How to integrate Declarative Languages and Constraint Systems T2 - Kolloquium Programmiersprachen und Grundlagen der Programmierung Y1 - 2001 PB - RWTH, Department of Computer Science CY - Aachen ER -