@article{Hofstedt, author = {Hofstedt, Petra}, title = {CCFL - A Concurrent Constraint Functional Language}, language = {de} } @inproceedings{HofstedtUeda, author = {Hofstedt, Petra and Ueda, K.}, title = {Realizing Multiparadigm Programming bades on Hierarchical Graph Rewriting}, language = {de} } @inproceedings{HofstedtLorenzen, author = {Hofstedt, Petra and Lorenzen, Florian}, title = {Constraint Functional Multicore Programming}, series = {Informatik 2009 : im Focus das Leben, Beitr{\"a}ge der 39. Jahrestagung der Gesellschaft f{\"u}r Informatik e.V. (GI), 28.9. - 2.10.2009 in L{\"u}beck}, booktitle = {Informatik 2009 : im Focus das Leben, Beitr{\"a}ge der 39. Jahrestagung der Gesellschaft f{\"u}r Informatik e.V. (GI), 28.9. - 2.10.2009 in L{\"u}beck}, publisher = {Ges. f{\"u}r Informatik}, address = {Bonn}, language = {en} } @inproceedings{FrankGrabmuellerHofstedtetal., author = {Frank, Stephan and Grabm{\"u}ller, Martin and Hofstedt, Petra and Kleeblatt, Dirk and Pepper, Peter}, title = {Safety of Compilers and Translation Techniques - Status quo of Technology and Science}, series = {Automotive - Safety \& Security 2008 - Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik, 19. und 20. November 2008, Stuttgart}, booktitle = {Automotive - Safety \& Security 2008 - Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik, 19. und 20. November 2008, Stuttgart}, publisher = {Shaker}, address = {Aachen}, isbn = {978-3-8322-7681-2}, pages = {47 -- 62}, language = {en} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {The Multiparadigm Programming Language CCFL}, series = {Informatik 2010, Service Science - neue Perspektiven f{\"u}r die Informatik, 27.09. - 01.10.2010 Leipzig, 40. Jahrestagung der Gesellschaft f{\"u}r Informatik e.V. (GI), Bd. 2}, booktitle = {Informatik 2010, Service Science - neue Perspektiven f{\"u}r die Informatik, 27.09. - 01.10.2010 Leipzig, 40. Jahrestagung der Gesellschaft f{\"u}r Informatik e.V. (GI), Bd. 2}, publisher = {Ges. f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-270-3}, pages = {699 -- 704}, language = {de} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {Realizing evaluation strategies by hierarchical graph rewriting}, series = {Workshop: Implementation of Constraint Logic Programming Systems, CICLOPS 2010, Proceedings, Edinburgh, 2010}, booktitle = {Workshop: Implementation of Constraint Logic Programming Systems, CICLOPS 2010, Proceedings, Edinburgh, 2010}, pages = {15}, language = {en} } @misc{Hofstedt, author = {Hofstedt, Petra}, title = {Constraint-Based Object-Oriented Programming}, series = {IEEE Computer Society, IEEE Software}, volume = {27}, journal = {IEEE Computer Society, IEEE Software}, number = {5}, issn = {0740-7459}, pages = {53 -- 56}, language = {de} } @book{HofstedtWolf, author = {Hofstedt, Petra and Wolf, Armin}, title = {Einf{\"u}hrung in die Constraint-Programmierung}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-23184-6}, pages = {XII, 388}, language = {de} } @book{PepperHofstedt, author = {Pepper, Peter and Hofstedt, Petra}, title = {Funktionale Programmierung: Sprachdesign und Programmiertechnik}, publisher = {Berlin}, address = {Springer}, isbn = {3-540-20959-X}, pages = {XVII, 492}, language = {de} } @article{HofstedtPepper, author = {Hofstedt, Petra and Pepper, Peter}, title = {Integration of Declarative and Constraint Programming}, series = {Theory and practice of logic programming}, volume = {7}, journal = {Theory and practice of logic programming}, number = {1-2}, issn = {1471-0684}, pages = {93 -- 121}, language = {en} } @inproceedings{FrankHofstedtPepperetal., author = {Frank, Stephan and Hofstedt, Petra and Pepper, Peter and Reckmann, D.}, title = {Solution Strategies for Multi-domain Constraint Logic Programs}, series = {Perspectives of systems informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006}, booktitle = {Perspectives of systems informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-540-70880-3}, pages = {209 -- 222}, language = {en} } @inproceedings{HofstedtKrzikalla, author = {Hofstedt, Petra and Krzikalla, O.}, title = {Turtle++ - A CIP-Library for C++}, series = {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}, booktitle = {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}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-540-69233-1}, pages = {12 -- 24}, language = {en} } @inproceedings{FrankHofstedt, author = {Frank, Stephan and Hofstedt, Petra}, title = {CLFD: A Finite Domain Constraint Solver in Common Lisp}, language = {en} } @inproceedings{FrankHofstedtReckmann, author = {Frank, Stephan and Hofstedt, Petra and Reckmann, D.}, title = {System Description: Meta-S. Combining Solver Cooperation and programming Languages}, language = {en} } @inproceedings{FrankGrabmuellerHofstedtetal., author = {Frank, Stephan and Grabm{\"u}ller, Martin and Hofstedt, Petra and Metzner, Andr{\´e}}, title = {Constraints, Predicates, Functions and a Turtle}, series = {20. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", 2003}, booktitle = {20. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", 2003}, pages = {10}, language = {en} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {A general Approach for Building Constraint Languages}, series = {Advances in artificial intelligence, proceedings, AI 2002, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2 - 6, 2002.}, booktitle = {Advances in artificial intelligence, proceedings, AI 2002, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2 - 6, 2002.}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-00197-2}, language = {en} } @inproceedings{GipsHofstedtWysotzki, author = {Gips, Carsten and Hofstedt, Petra and Wysotzki, Fritz}, title = {Spatial Inference - Learning vs. Constraint Solving}, series = {Advances in artificial intelligence, proceedings, KI 2002, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16 - 20, 2002}, booktitle = {Advances in artificial intelligence, proceedings, KI 2002, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16 - 20, 2002}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-44185-9}, pages = {299 -- 316}, language = {en} } @phdthesis{Hofstedt, author = {Hofstedt, Petra}, title = {Cooperation and Coordination of Constraint Solvers}, publisher = {Shaker}, address = {Aachen}, language = {en} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {Declarative Host Languages for Constraint Systems}, series = {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}, booktitle = {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}, publisher = {Allied Publishers}, address = {New Delhi [u.a.]}, isbn = {81-7764298-7}, pages = {193 -- 205}, language = {en} } @inproceedings{HofstedtSeifertGodehardt, author = {Hofstedt, Petra and Seifert, Dirk and Godehardt, Eike}, title = {A Framework for Cooperating Constraint Solvers - A Prototypic Implementation}, series = {Workshop on Cooperative Solvers in Constraint Programming - CoSolv, At the Seventh International Conference on Principles and Practice of Constraint Programming, 2001}, booktitle = {Workshop on Cooperative Solvers in Constraint Programming - CoSolv, At the Seventh International Conference on Principles and Practice of Constraint Programming, 2001}, pages = {15}, language = {en} }