TY - JOUR A1 - Hofstedt, Petra T1 - CCFL - A Concurrent Constraint Functional Language Y1 - 2008 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 A1 - Lorenzen, Florian T1 - Constraint Functional Multicore Programming T2 - Informatik 2009 : im Focus das Leben, Beiträge der 39. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 28.9. - 2.10.2009 in Lübeck Y1 - 2009 PB - Ges. für Informatik CY - Bonn ER - TY - CHAP A1 - Frank, Stephan A1 - Grabmüller, Martin A1 - Hofstedt, Petra A1 - Kleeblatt, Dirk A1 - Pepper, Peter T1 - Safety of Compilers and Translation Techniques - Status quo of Technology and Science T2 - Automotive - Safety & Security 2008 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 19. und 20. November 2008, Stuttgart Y1 - 2008 SN - 978-3-8322-7681-2 SP - 47 EP - 62 PB - Shaker CY - Aachen ER - TY - CHAP A1 - Hofstedt, Petra T1 - The Multiparadigm Programming Language CCFL T2 - Informatik 2010, Service Science - neue Perspektiven für die Informatik, 27.09. - 01.10.2010 Leipzig, 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bd. 2 Y1 - 2010 SN - 978-3-88579-270-3 SP - 699 EP - 704 PB - Ges. für Informatik CY - Bonn ER - TY - CHAP A1 - Hofstedt, Petra T1 - Realizing evaluation strategies by hierarchical graph rewriting T2 - Workshop: Implementation of Constraint Logic Programming Systems, CICLOPS 2010, Proceedings, Edinburgh, 2010 Y1 - 2010 UR - http://arxiv.org/abs/1009.3770 ER - TY - GEN A1 - Hofstedt, Petra T1 - Constraint-Based Object-Oriented Programming T2 - IEEE Computer Society, IEEE Software Y1 - 2010 SN - 0740-7459 VL - 27 IS - 5 SP - 53 EP - 56 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 - 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 - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Pepper, Peter A1 - Reckmann, D. T1 - Solution Strategies for Multi-domain Constraint Logic Programs T2 - Perspectives of systems informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006 Y1 - 2007 SN - 978-3-540-70880-3 SP - 209 EP - 222 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Hofstedt, Petra A1 - Krzikalla, O. T1 - Turtle++ - A CIP-Library for C++ T2 - Declarative programming for knowledge management : revised selected papers, 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22 - 24, 2005 Y1 - 2006 SN - 978-3-540-69233-1 SP - 12 EP - 24 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra T1 - CLFD: A Finite Domain Constraint Solver in Common Lisp Y1 - 2005 ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Reckmann, D. T1 - System Description: Meta-S. Combining Solver Cooperation and programming Languages Y1 - 2005 ER - TY - CHAP A1 - Frank, Stephan A1 - Grabmüller, Martin A1 - Hofstedt, Petra A1 - Metzner, André T1 - Constraints, Predicates, Functions and a Turtle T2 - 20. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", 2003 Y1 - 2003 ER - TY - CHAP A1 - Hofstedt, Petra T1 - A general Approach for Building Constraint Languages T2 - Advances in artificial intelligence, proceedings, AI 2002, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2 - 6, 2002. Y1 - 2002 SN - 3-540-00197-2 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Gips, Carsten A1 - Hofstedt, Petra A1 - Wysotzki, Fritz T1 - Spatial Inference - Learning vs. Constraint Solving T2 - Advances in artificial intelligence, proceedings, KI 2002, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16 - 20, 2002 Y1 - 2002 SN - 3-540-44185-9 SP - 299 EP - 316 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 - CHAP A1 - Hofstedt, Petra T1 - Declarative Host Languages for Constraint Systems T2 - Artificial intelligence - future trends, contributions presented at the International Symposium on Artificial Intelligence (ISAI 2001), held at Fort Panhala, Kolhapur, India from December 18th to 20th, 2001 Y1 - 2001 SN - 81-7764298-7 SP - 193 EP - 205 PB - Allied Publishers CY - New Delhi [u.a.] ER - TY - CHAP A1 - Hofstedt, Petra A1 - Seifert, Dirk A1 - Godehardt, Eike T1 - A Framework for Cooperating Constraint Solvers - A Prototypic Implementation T2 - Workshop on Cooperative Solvers in Constraint Programming - CoSolv, At the Seventh International Conference on Principles and Practice of Constraint Programming, 2001 Y1 - 2001 UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.9290 ER -