@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} } @inproceedings{FrankHofstedtReckmann, author = {Frank, Stephan and Hofstedt, Petra and Reckmann, D.}, title = {Strategies for the Efficient Solution of Hybrid Constraint Logic Programs}, series = {Third Workshop on Multiparadigm Constraint Programming Languages, Workshop Proceedings September 2004, Saint-Malo, France}, booktitle = {Third Workshop on Multiparadigm Constraint Programming Languages, Workshop Proceedings September 2004, Saint-Malo, France}, pages = {103 -- 118}, language = {en} } @inproceedings{GrabmuellerHofstedt, author = {Grabm{\"u}ller, Martin and Hofstedt, Petra}, title = {Turtle. A Constraint Imperative Programming Language}, series = {Research and development in intelligent systems XX, proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence}, booktitle = {Research and development in intelligent systems XX, proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence}, publisher = {Springer}, address = {London [u.a.]}, isbn = {1-85233-780-X}, pages = {185 -- 198}, language = {en} } @misc{FrankHofstedtMai, author = {Frank, Stephan and Hofstedt, Petra and Mai, Pierre R.}, title = {Meta-S: A Strategy-Oriented Meta-Solvet Framework}, series = {Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, St. Augustine}, journal = {Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, St. Augustine}, publisher = {AAAI Press}, address = {Menlo Park, Calif.}, isbn = {1-577-35177-0}, pages = {177 -- 181}, language = {en} } @misc{FrankHofstedtMai, author = {Frank, Stephan and Hofstedt, Petra and Mai, Pierre R.}, title = {A Flexible Meta-solver Framework for Constraint Solver Collaboration}, series = {Advances in artificial intelligence, 26th Annual German Conference on AI, proceedings, Hamburg, Germany, September 15 - 18, 2003}, journal = {Advances in artificial intelligence, 26th Annual German Conference on AI, proceedings, Hamburg, Germany, September 15 - 18, 2003}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-20059-2}, pages = {520 -- 534}, language = {en} } @inproceedings{FrankHofstedtMai, author = {Frank, Stephan and Hofstedt, Petra and Mai, Pierre R.}, title = {A Case Study on Termination}, series = {Termination, 6th International Workshop, WST 2003, Valencia, Spain, June 13 - 14, 2003, proceedings}, booktitle = {Termination, 6th International Workshop, WST 2003, Valencia, Spain, June 13 - 14, 2003, proceedings}, editor = {Rubio, Albert}, publisher = {Universidad Polit{\´e}cnica de Valencia}, address = {Valencia}, pages = {49 -- 51}, language = {en} } @inproceedings{HofstedtMetzner, author = {Hofstedt, Petra and Metzner, Andr{\´e}}, title = {Multiple Evaluation Strategies for the Multiparadigm Programming Language Brooks}, series = {12th International Workshop, WFLP 2003, Valencia, Spain, June 12 - 13, 2003, proceedings}, booktitle = {12th International Workshop, WFLP 2003, Valencia, Spain, June 12 - 13, 2003, proceedings}, editor = {Vidal, Germ{\´a}n}, publisher = {Universidad Polit{\´e}cnica de Valencia}, address = {Valencia}, pages = {75 -- 88}, language = {en} } @inproceedings{VoertlerKlotzFordranetal., author = {V{\"o}rtler, Thilo and Klotz, Thomas and Fordran, Eva and Hofstedt, Petra}, title = {Formale Verifikation von Contiki-Anwendungen}, series = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 21.-23.2.2011 in Oldenburg, Tagungsband}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 21.-23.2.2011 in Oldenburg, Tagungsband}, publisher = {OFFIS}, address = {Oldenburg}, isbn = {978-3-00-033820-5}, language = {de} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {Cooperating Constraint Solvers}, series = {Principles and practice of constraint programming, 6th international conference, Singapore, September 18 - 21, 2000, proceedings}, booktitle = {Principles and practice of constraint programming, 6th international conference, Singapore, September 18 - 21, 2000, proceedings}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-41053-8}, pages = {520 -- 524}, language = {en} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {Better Communication for Tighter Cooperation}, series = {Computational logic, first international conference, London, UK, July 24 - 28, 2000, proceedings}, booktitle = {Computational logic, first international conference, London, UK, July 24 - 28, 2000, proceedings}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-67797-6}, pages = {342 -- 357}, language = {en} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {Task Parallel Skeletons for Irregularly Structured Problems}, series = {Parallel processing, proceedings / Euro-Par '98, 4th International Euro-Par Conference, Southampton, UK, September 1 - 4, 1998}, booktitle = {Parallel processing, proceedings / Euro-Par '98, 4th International Euro-Par Conference, Southampton, UK, September 1 - 4, 1998}, editor = {Pritchard, David}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-64952-2}, pages = {676 -- 681}, language = {en} }