@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} }