@inproceedings{GrabmuellerHofstedt, author = {Grabm{\"u}ller, Martin and Hofstedt, Petra}, title = {Turtle. A Constraint Imperative Programming Language}, series = {Research and development in intelligent systems XX, proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence}, booktitle = {Research and development in intelligent systems XX, proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence}, publisher = {Springer}, address = {London [u.a.]}, isbn = {1-85233-780-X}, pages = {185 -- 198}, language = {en} } @inproceedings{FrankHofstedtMai, author = {Frank, Stephan and Hofstedt, Petra and Mai, Pierre R.}, title = {A Case Study on Termination}, series = {Termination, 6th International Workshop, WST 2003, Valencia, Spain, June 13 - 14, 2003, proceedings}, booktitle = {Termination, 6th International Workshop, WST 2003, Valencia, Spain, June 13 - 14, 2003, proceedings}, editor = {Rubio, Albert}, publisher = {Universidad Polit{\´e}cnica de Valencia}, address = {Valencia}, pages = {49 -- 51}, language = {en} } @inproceedings{HofstedtMetzner, author = {Hofstedt, Petra and Metzner, Andr{\´e}}, title = {Multiple Evaluation Strategies for the Multiparadigm Programming Language Brooks}, series = {12th International Workshop, WFLP 2003, Valencia, Spain, June 12 - 13, 2003, proceedings}, booktitle = {12th International Workshop, WFLP 2003, Valencia, Spain, June 12 - 13, 2003, proceedings}, editor = {Vidal, Germ{\´a}n}, publisher = {Universidad Polit{\´e}cnica de Valencia}, address = {Valencia}, pages = {75 -- 88}, language = {en} } @misc{Hofstedt, author = {Hofstedt, Petra}, title = {Die Evolution der Programmiersprachen der KI}, series = {K{\"u}nstliche Intelligenz}, volume = {26}, journal = {K{\"u}nstliche Intelligenz}, number = {1}, issn = {1610-1987}, pages = {11 -- 13}, language = {de} } @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} } @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} } @inproceedings{HofstedtSauerHoeckner, author = {Hofstedt, Petra and Sauer, Peter and H{\"o}ckner, Benny}, title = {Functional Programming with Pros and Cons}, series = {HaL8 - Haskell-Treffen an der Universit{\"a}t Leipzig, Workshop am 21. Juni 2013}, booktitle = {HaL8 - Haskell-Treffen an der Universit{\"a}t Leipzig, Workshop am 21. Juni 2013}, pages = {5}, language = {en} } @misc{SchneeweissHofstedt, author = {Schneeweiss, Denny and Hofstedt, Petra}, title = {Configurable Domain Objects for Resource Modelling in Treatment Scheduling}, series = {International Journal of Software Engineering and Knowledge Engineering}, volume = {25}, journal = {International Journal of Software Engineering and Knowledge Engineering}, number = {5}, issn = {0218-1940}, pages = {871 -- 885}, language = {en} } @inproceedings{HinzeBehreBodensteinetal., author = {Hinze, Thomas and Behre, J{\"o}rn and Bodenstein, Christian and Escuela, Gabi and Gr{\"u}nert, Gerd and Hofstedt, Petra and Sauer, Peter and Hayat, Sikander and Dittrich, Peter}, title = {Membrane Systems and Tools Combining Dynamical Structures with Reaction Kinetics for Applications in Chronobiology}, series = {Applications of Membrane Computing in Systems and Synthetic Biology}, booktitle = {Applications of Membrane Computing in Systems and Synthetic Biology}, editor = {Frisco, Pierluigi and Gheorghe, Marian and P{\´e}rez-Jim{\´e}nez, Mario J.}, publisher = {Springer}, address = {Cham [u.a.]}, isbn = {978-3-319-03190-3}, pages = {133 -- 173}, language = {en} } @inproceedings{SauerHaustenHofstedt, author = {Sauer, Peter and Hausten, Tom and Hofstedt, Petra}, title = {Using Internet of Things Technology to Create a Really Platform Independent Robotics Framework}, series = {International Symposium on Systems Engineering (ISSE), 3-5 Oct. 2016}, booktitle = {International Symposium on Systems Engineering (ISSE), 3-5 Oct. 2016}, publisher = {IEEE}, address = {Piscataway, NJ}, isbn = {978-1-5090-0792-9}, pages = {228 -- 233}, language = {en} }