@misc{Hofstedt, author = {Hofstedt, Petra}, title = {Themenschwerpunkt "Sprachen der KI"}, series = {K{\"u}nstliche Intelligenz}, volume = {26}, journal = {K{\"u}nstliche Intelligenz}, number = {1}, issn = {1610-1987}, pages = {7 -- 9}, language = {de} } @techreport{OPUS4-9861, title = {Doktorandensymposium der Software Engineering (SE) 2012 : proceedings}, editor = {Hofstedt, Petra and Lewerentz, Claus}, publisher = {BTU}, address = {Cottbus}, pages = {66}, language = {de} } @incollection{Hofstedt, author = {Hofstedt, Petra}, title = {Constraints}, series = {Handbuch der K{\"u}nstlichen Intelligenz}, booktitle = {Handbuch der K{\"u}nstlichen Intelligenz}, editor = {G{\"o}rz, G{\"u}nther and Schneeberger, Josef and Schmid, U.}, edition = {5. korrigierte Auflage}, publisher = {Oldenburg Verlag}, address = {M{\"u}nchen}, isbn = {978-3-486-71307-7}, pages = {205 -- 234}, language = {de} } @techreport{HofstedtSchwigon, author = {Hofstedt, Petra and Schwigon, S.}, title = {Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme}, publisher = {Techn. Univ.}, address = {Dresden}, pages = {39}, language = {de} } @inproceedings{HoecknerHofstedtKaltschmidtetal., author = {H{\"o}ckner, Benny and Hofstedt, Petra and Kaltschmidt, Sascha and Sauer, Peter and V{\"o}rtler, Thilo}, title = {Design Space Exploration for Cyber Physical System Design using Constraint Solving}, series = {The 2013 Forum on specification \& Design Languages (FDL), Paris, France, September 24-26, 2013}, booktitle = {The 2013 Forum on specification \& Design Languages (FDL), Paris, France, September 24-26, 2013}, publisher = {IEEE}, pages = {4}, language = {en} } @inproceedings{VoertlerRuelkeHofstedt, author = {V{\"o}rtler, Thilo and R{\"u}lke, Steffen and Hofstedt, Petra}, title = {Bounded Model Checking of Contiki Applications}, series = {15th International Symposium on Design and Diagnostics of Electronic Circuits \& Systems (DDECS 2012), Tallin, Estonia, 18 - 20 April 2012}, booktitle = {15th International Symposium on Design and Diagnostics of Electronic Circuits \& Systems (DDECS 2012), Tallin, Estonia, 18 - 20 April 2012}, publisher = {IEEE}, address = {Piscataway, NJ}, isbn = {978-1-4673-1187-8}, pages = {258 -- 261}, language = {en} } @inproceedings{HoecknerHofstedtVoertleretal., author = {H{\"o}ckner, Benny and Hofstedt, Petra and V{\"o}rtler, Thilo and Sauer, Peter and Hinze, Thomas}, title = {Constraint-based Approach for an Early Inspection of the Feasibility of Cyber Physical Systems}, series = {20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP). 2013}, booktitle = {20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP). 2013}, editor = {Hanus, Michael and Rocha, Ricardo}, publisher = {Institut f{\"u}r Informatik, Christian-Albrechts-Universit{\"a}t}, address = {Kiel}, pages = {183 -- 197}, language = {en} } @inproceedings{SchneeweissHofstedt, author = {Schneeweiss, Denny and Hofstedt, Petra}, title = {FdConfig: A Constraint-Based Interactive Configurator}, series = {Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011}, booktitle = {Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-642-41523-4}, pages = {239 -- 255}, language = {en} } @inproceedings{HofstedtUeda, author = {Hofstedt, Petra and Ueda, K.}, title = {Realizing Multiparadigm Programming bades on Hierarchical Graph Rewriting}, language = {de} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {How to integrate Declarative Languages and Constraint Systems}, series = {Kolloquium Programmiersprachen und Grundlagen der Programmierung}, booktitle = {Kolloquium Programmiersprachen und Grundlagen der Programmierung}, editor = {Indermark, Klaus}, publisher = {RWTH, Department of Computer Science}, address = {Aachen}, language = {en} } @inproceedings{SchneeweissHofstedt, author = {Schneeweiss, Denny and Hofstedt, Petra}, title = {FdConfig: A Constraint-Based Interactive Configurator}, language = {en} } @inproceedings{OPUS4-6900, title = {Proceedings, International Workshop on Innovative Scheduling and other Applications using CP-AI-OR (ISA 2011)}, editor = {Hofstedt, Petra and Wolf, Armin}, publisher = {BTU}, address = {Cottbus}, pages = {28}, language = {en} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {Implementing reduction strategies by hierarchical graph rewriting}, editor = {Fernandez, Maribel}, language = {en} } @inproceedings{HofstedtJeltschKoenigetal., author = {Hofstedt, Petra and Jeltsch, Wolfgang and K{\"o}nig, Thomas and Guangyun, Xu}, title = {Monadische Constraint-Programmierung}, language = {de} } @phdthesis{Schoelzel, author = {Sch{\"o}lzel, Mario}, title = {Automatisierter Entwurf anwendungsspezifischer VLIW-Prozessoren}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus-397}, 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} } @misc{HofstedtKoenig, author = {Hofstedt, Petra and K{\"o}nig, Thomas}, title = {Interview with Pascal Van Hentenryck on Constraint-Based Programming}, series = {K{\"u}nstliche Intelligenz}, volume = {26}, journal = {K{\"u}nstliche Intelligenz}, number = {1}, issn = {1610-1987}, pages = {75 -- 77}, language = {de} } @misc{KoenigHofstedt, author = {K{\"o}nig, Thomas and Hofstedt, Petra}, title = {Constraint-basierte Programmiersprachen - Von den Urspr{\"u}ngen in der logischen Programmierung bis zu heutigen Anwendungen}, series = {K{\"u}nstliche Intelligenz}, volume = {26}, journal = {K{\"u}nstliche Intelligenz}, number = {1}, issn = {1610-1987}, pages = {47 -- 54}, language = {de} } @misc{Bachmann, author = {Bachmann, Peter}, title = {Formal Verification of Event Driven Systems}, 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} } @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{RuelkeSchneiderBachmannetal., author = {R{\"u}lke, Steffen and Schneider, J{\"o}rg and Bachmann, Peter and Rogin, Frank}, title = {Quality guaranty of reusable circuit description throught HDL-Source Code Analysis}, series = {International Workshop on IP-Based Synthesis and System Design'99}, journal = {International Workshop on IP-Based Synthesis and System Design'99}, language = {en} } @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} } @book{Hofstedt, author = {Hofstedt, Petra}, title = {Multiparadigm Constraint Programming Languages}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-642-17329-5}, pages = {XI, 180}, language = {en} } @phdthesis{Hofstedt, author = {Hofstedt, Petra}, title = {Cooperation and Coordination of Constraint Solvers}, publisher = {Shaker}, address = {Aachen}, language = {en} } @phdthesis{ELssaedi, author = {ELssaedi, Mosbah Mohamed}, title = {A new approach to Event-Driven Programming}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus-4574}, language = {en} } @periodical{OPUS4-9863, title = {KI - K{\"u}nstliche Intelligenz : Themenband "AI Languages"}, volume = {26}, number = {1}, editor = {Hofstedt, Petra}, issn = {0933-1875}, language = {mul} }