@article{Hofstedt, author = {Hofstedt, Petra}, title = {CCFL - A Concurrent Constraint Functional Language}, 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 = {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} } @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} } @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} } @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{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{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} } @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{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} } @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} }