@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} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {An Introduction of FD-Complete Constraints}, series = {Artificial Intelligence Applications and Innovations : 16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5-7, 2020, Proceedings, Part II}, journal = {Artificial Intelligence Applications and Innovations : 16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5-7, 2020, Proceedings, Part II}, editor = {Maglogiannis, Ilias and Iliadis, Lazaros S. and Pimenidis, Elias}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-49185-7}, issn = {1868-4238}, doi = {10.1007/978-3-030-49186-4_3}, pages = {27 -- 38}, language = {en} } @misc{OPUS4-26413, title = {Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers}, editor = {Hofstedt, Petra and Abreu, Salvador and John, Ulrich and Kuchen, Herbert and Seipel, Dietmar}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-46713-5}, issn = {0302-9743}, doi = {10.1007/978-3-030-46714-2}, pages = {307}, language = {en} } @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} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Solving the Social Golfers Problem by Constraint Programming in Sequential and Parallel}, series = {Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 209, Volume 2}, journal = {Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 209, Volume 2}, editor = {Rocha, Ana Paula and Steels, Luc and Herik, Jaap van den}, publisher = {SciTePress}, isbn = {978-989-758-350-6}, doi = {10.5220/0007252300290039}, pages = {29 -- 39}, language = {en} } @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{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Social Golfer Problem Revisited}, series = {Agents and Artificial Intelligence - 11th International Conference, {ICAART} 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers}, journal = {Agents and Artificial Intelligence - 11th International Conference, {ICAART} 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers}, editor = {Herik, Jaap van den and Rocha, Ana Paula and Steels, Luc}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-37493-8}, issn = {0302-9743}, doi = {10.1007/978-3-030-37494-5_5}, pages = {72 -- 99}, language = {en} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Exploring Properties of Icosoku by Constraint Satisfaction Approach}, series = {Pre-proceedings of the {DECLARE} 2019 Conference}, journal = {Pre-proceedings of the {DECLARE} 2019 Conference}, editor = {Abreu, Salvador and Hofstedt, Petra and John, Ulrich and Kuchen, Herbert and Seipel, Dietmar}, pages = {7}, language = {en} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {The Regularization of Small Sub-Constraint Satisfaction Problems}, series = {Pre-proceedings of the DECLARE 2019 Conference}, journal = {Pre-proceedings of the DECLARE 2019 Conference}, editor = {Abreu, Salvador and Hofstedt, Petra and John, Ulrich and Kuchen, Herbert and Seipel, Dietmar}, pages = {7}, language = {en} } @techreport{OPUS4-24944, title = {Pre-proceedings of the DECLARE 2019 Conference}, editor = {Abreu, Salvador and Hofstedt, Petra and John, Ulrich and Kuchen, Herbert and Seipel, Dietmar}, language = {en} } @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} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {Hypertree Decomposition for Constraint programming in Parallel}, series = {Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband}, journal = {Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband}, publisher = {Friedrich-Schiller-Universit{\"a}t}, address = {Jena}, pages = {86 -- 89}, language = {en} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {Transformations of CSPs to Regular CSPs}, series = {Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband}, journal = {Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband}, publisher = {Friedrich-Schiller-Universit{\"a}t}, address = {Jena}, pages = {127 -- 129}, language = {en} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Hypertree Decomposition: The First Step Towards Parallel Constraint Solving}, series = {Declare 2017 - Conference on Declarative Programming}, journal = {Declare 2017 - Conference on Declarative Programming}, editor = {Seipel, Dietmar and Hanus, Michael and Abreu, Salvador}, publisher = {Institute of Computer Science}, address = {W{\"u}rzburg}, pages = {91 -- 103}, language = {en} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {The Power of Regular Constraints in CSPs}, series = {Informatik 2017, 25.- 29. September 2017 Chemnitz, Deutschland}, journal = {Informatik 2017, 25.- 29. September 2017 Chemnitz, Deutschland}, editor = {Eibl, Maximilian and Gaedke, Martin}, publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)}, address = {Bonn}, isbn = {978-3-88579-669-5}, doi = {10.18420/in2017 57}, pages = {603 -- 614}, 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} }