TY - CHAP A1 - Hofstedt, Petra ED - Pritchard, David T1 - Task Parallel Skeletons for Irregularly Structured Problems T2 - Parallel processing, proceedings / Euro-Par '98, 4th International Euro-Par Conference, Southampton, UK, September 1 - 4, 1998 Y1 - 1998 SN - 3-540-64952-2 SP - 676 EP - 681 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Heinig, Andy A1 - Schölzel, Mario T1 - Zeitbeschränkte Clusterung zur Design-Space-Exploration geclusterter VLIW-Prozessoren T2 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 9. ITG/GI/GMM Workshop, 20. - 22. Februar 2006 in Dresden Y1 - 2006 SN - 3-9810287-1-6 SP - 319 EP - 328 PB - Fraunhofer-Institut für Integrierte Schaltungen, Außenstelle Entwurfsautomatisierung CY - Dresden ER - TY - CHAP A1 - Scholz, Sebastian A1 - Schölzel, Mario T1 - Design-Space-Exploration Using Simulated Annealing Y1 - 2005 ER - TY - CHAP A1 - Schölzel, Mario A1 - Bachmann, Peter T1 - DESCOMP: A New Design Space Exploration Approach T2 - Systems aspects in organic and pervasive computing - ARCS 2005, 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14 - 17, 2005, proceedings Y1 - 2005 SN - 3-540-25273-8 SP - 178 EP - 192 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Reckmann, D. T1 - Strategies for the Efficient Solution of Hybrid Constraint Logic Programs T2 - Third Workshop on Multiparadigm Constraint Programming Languages, Workshop Proceedings September 2004, Saint-Malo, France Y1 - 2004 SP - 103 EP - 118 ER - TY - CHAP ED - Muñoz-Hernández, Susana ED - Gómez-Pérez, José Manuel ED - Hofstedt, Petra T1 - Workshop Proceedings T2 - Third Workshop on Multiparadigm Constraint Programming Languages, September 2004, Saint-Malo, France Y1 - 2004 ER - TY - CHAP A1 - Grabmüller, Martin A1 - Hofstedt, Petra T1 - Turtle. A Constraint Imperative Programming Language T2 - Research and development in intelligent systems XX, proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence Y1 - 2003 SN - 1-85233-780-X SP - 185 EP - 198 PB - Springer CY - London [u.a.] ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Mai, Pierre R. ED - Rubio, Albert T1 - A Case Study on Termination T2 - Termination, 6th International Workshop, WST 2003, Valencia, Spain, June 13 - 14, 2003, proceedings Y1 - 2003 SP - 49 EP - 51 PB - Universidad Politécnica de Valencia CY - Valencia ER - TY - CHAP A1 - Hofstedt, Petra A1 - Metzner, André ED - Vidal, Germán T1 - Multiple Evaluation Strategies for the Multiparadigm Programming Language Brooks T2 - 12th International Workshop, WFLP 2003, Valencia, Spain, June 12 - 13, 2003, proceedings Y1 - 2003 SP - 75 EP - 88 PB - Universidad Politécnica de Valencia CY - Valencia ER - TY - GEN A1 - Hofstedt, Petra T1 - Die Evolution der Programmiersprachen der KI T2 - Künstliche Intelligenz Y1 - 2012 SN - 1610-1987 VL - 26 IS - 1 SP - 11 EP - 13 ER - 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 - TY - CHAP A1 - Schneeweiss, Denny A1 - Hofstedt, Petra T1 - FdConfig: A Constraint-Based Interactive Configurator Y1 - 2011 ER - TY - CHAP ED - Hofstedt, Petra ED - Wolf, Armin T1 - Proceedings, International Workshop on Innovative Scheduling and other Applications using CP-AI-OR (ISA 2011) Y1 - 2011 PB - BTU CY - Cottbus ER - TY - CHAP A1 - Hofstedt, Petra ED - Fernandez, Maribel T1 - Implementing reduction strategies by hierarchical graph rewriting Y1 - 2009 ER - TY - CHAP A1 - Hofstedt, Petra A1 - Jeltsch, Wolfgang A1 - König, Thomas A1 - Guangyun, Xu T1 - Monadische Constraint-Programmierung Y1 - 2011 ER - TY - THES A1 - Schölzel, Mario T1 - Automatisierter Entwurf anwendungsspezifischer VLIW-Prozessoren KW - Entwurfsautomation KW - Hardwareentwurf KW - VLIW-Architektur KW - Design-Space-Exploration KW - VLIW KW - Prozessorentwurf Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus-397 UR - http://opus.kobv.de/btu/volltexte/2006/39/ ER - TY - BOOK A1 - Hofstedt, Petra A1 - Wolf, Armin T1 - Einführung in die Constraint-Programmierung Y1 - 2007 SN - 3-540-23184-6 SN - 978-3-540-23184-4 PB - Springer CY - Berlin [u.a.] ER - TY - BOOK A1 - Pepper, Peter A1 - Hofstedt, Petra T1 - Funktionale Programmierung: Sprachdesign und Programmiertechnik Y1 - 2006 SN - 3-540-20959-X PB - Berlin CY - Springer ER - TY - GEN A1 - Hofstedt, Petra A1 - König, Thomas T1 - Interview with Pascal Van Hentenryck on Constraint-Based Programming T2 - Künstliche Intelligenz Y1 - 2012 SN - 1610-1987 VL - 26 IS - 1 SP - 75 EP - 77 ER - TY - GEN A1 - König, Thomas A1 - Hofstedt, Petra T1 - Constraint-basierte Programmiersprachen - Von den Ursprüngen in der logischen Programmierung bis zu heutigen Anwendungen T2 - Künstliche Intelligenz Y1 - 2012 SN - 1610-1987 VL - 26 IS - 1 SP - 47 EP - 54 ER - TY - GEN A1 - Bachmann, Peter T1 - Formal Verification of Event Driven Systems Y1 - 2006 ER - TY - GEN A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Mai, Pierre R. T1 - A Flexible Meta-solver Framework for Constraint Solver Collaboration T2 - Advances in artificial intelligence, 26th Annual German Conference on AI, proceedings, Hamburg, Germany, September 15 - 18, 2003 Y1 - 2003 SN - 3-540-20059-2 SP - 520 EP - 534 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Mai, Pierre R. T1 - Meta-S: A Strategy-Oriented Meta-Solvet Framework T2 - Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, St. Augustine Y1 - 2003 SN - 1-577-35177-0 SP - 177 EP - 181 PB - AAAI Press CY - Menlo Park, Calif. ER - TY - GEN A1 - Rülke, Steffen A1 - Schneider, Jörg A1 - Bachmann, Peter A1 - Rogin, Frank T1 - Quality guaranty of reusable circuit description throught HDL-Source Code Analysis T2 - International Workshop on IP-Based Synthesis and System Design’99 Y1 - 1999 ER - TY - JOUR A1 - Hofstedt, Petra A1 - Pepper, Peter T1 - Integration of Declarative and Constraint Programming JF - Theory and practice of logic programming Y1 - 2007 SN - 1471-0684 N1 - Special Issue on Multiparadigm Languages and Constraint Programming VL - 7 IS - 1-2 SP - 93 EP - 121 ER - TY - BOOK A1 - Hofstedt, Petra T1 - Multiparadigm Constraint Programming Languages Y1 - 2011 SN - 978-3-642-17329-5 PB - Springer CY - Berlin [u.a.] ER - TY - THES A1 - Hofstedt, Petra T1 - Cooperation and Coordination of Constraint Solvers Y1 - 2001 PB - Shaker CY - Aachen ER - TY - THES A1 - ELssaedi, Mosbah Mohamed T1 - A new approach to Event-Driven Programming KW - Ereignisgesteuerte Programmie Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus-4574 UR - http://opus.kobv.de/btu/volltexte/2008/457/ ER - TY - JFULL ED - Hofstedt, Petra T1 - KI - Künstliche Intelligenz : Themenband "AI Languages" Y1 - 2012 SN - 0933-1875 SN - 1610-1987 VL - 26 IS - 1 ER -