@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{Schoelzel, author = {Sch{\"o}lzel, Mario}, title = {Time-Constrained Clustering for DSE of Clustered VLIW-ASP}, series = {2007 Design, Automation \& Test in Europe Conference \& Exhibition, Nice, France, 16 - 20 April 2007}, booktitle = {2007 Design, Automation \& Test in Europe Conference \& Exhibition, Nice, France, 16 - 20 April 2007}, publisher = {IEEE Service Center}, address = {Piscataway, NJ}, isbn = {978-3-9810801-2-4}, pages = {467 -- 472}, language = {en} } @inproceedings{PawlowskiSchoelzel, author = {Pawlowski, P. and Sch{\"o}lzel, Mario}, title = {A Case-Study for Built-In-Self-Repair in Application Specific Processors By Decreasing the Arithmetic Accuracy}, language = {de} } @inproceedings{Schoelzel, author = {Sch{\"o}lzel, Mario}, title = {Synthesis of Application Specific Processors - A Look at High-Level-approaches for Developing Application Specific Processors}, language = {en} } @inproceedings{SchoelzelBachmann, author = {Sch{\"o}lzel, Mario and Bachmann, Peter}, title = {Durchg{\"a}ngiger automatisierter Entwurf von der Prozessor-Architektur bis zur Anwendungs-Software}, series = {Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS'2006), Ehrenkolloquium f{\"u}r Prof. Dr.-Ing. G{\"u}nter Elst, 10. - 11. Mai 2006}, booktitle = {Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS'2006), Ehrenkolloquium f{\"u}r Prof. Dr.-Ing. G{\"u}nter Elst, 10. - 11. Mai 2006}, publisher = {Fraunhofer-Institut}, address = {Dresden}, pages = {19 -- 24}, 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{OPUS4-6219, title = {Workshop proceedings, MultiCPL'03, Second International Workshop on Multiparadigm Constraint Programming Languages and RCoRP'03, Fifth International Workshop on Rule-Based Constraint Reasoning and Programming, September 29, 2003, Kinsale, County Cork, Ireland}, editor = {Hanus, Michael and Hofstedt, Petra and Wolf, Armin and Abdennadher, Slim and Fr{\"u}hwirth, Thom and Lallouet, Arnaud}, pages = {110}, language = {en} } @inproceedings{OPUS4-6220, title = {Workshop Proceedings}, series = {MultiCPL'02: Workshop on Multiparadigm Constraint Programming Languages and RCoRP'02, Fourth Workshop on Rule-Based Constraint Reasoning and Programming, Cornell University, Ithaca, NY, USA}, booktitle = {MultiCPL'02: Workshop on Multiparadigm Constraint Programming Languages and RCoRP'02, Fourth Workshop on Rule-Based Constraint Reasoning and Programming, Cornell University, Ithaca, NY, USA}, editor = {Hanus, Michael and Hofstedt, Petra and Abdennadher, Slim and Fr{\"u}hwirth, Thom and Wolf, Armin}, pages = {91}, 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{RuehlkeSchneiderBachmannetal., author = {R{\"u}hlke, St. and Schneider, J. and Bachmann, Peter and Rogin, F.}, title = {Qualit{\"a}tssicherung f{\"u}r wiederverwendbare Schaltungsbeschreibungen durch HDL-Code-Analyse}, language = {de} }