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