TY - CHAP A1 - Grabmüller, Martin A1 - Hofstedt, Petra T1 - Turtle. A Constraint Imperative Programming Language T2 - Research and development in intelligent systems XX, proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence Y1 - 2003 SN - 1-85233-780-X SP - 185 EP - 198 PB - Springer CY - London [u.a.] ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Mai, Pierre R. ED - Rubio, Albert T1 - A Case Study on Termination T2 - Termination, 6th International Workshop, WST 2003, Valencia, Spain, June 13 - 14, 2003, proceedings Y1 - 2003 SP - 49 EP - 51 PB - Universidad Politécnica de Valencia CY - Valencia ER - TY - CHAP A1 - Hofstedt, Petra A1 - Metzner, André ED - Vidal, Germán T1 - Multiple Evaluation Strategies for the Multiparadigm Programming Language Brooks T2 - 12th International Workshop, WFLP 2003, Valencia, Spain, June 12 - 13, 2003, proceedings Y1 - 2003 SP - 75 EP - 88 PB - Universidad Politécnica de Valencia CY - Valencia ER - TY - GEN A1 - Hofstedt, Petra T1 - Die Evolution der Programmiersprachen der KI T2 - Künstliche Intelligenz Y1 - 2012 SN - 1610-1987 VL - 26 IS - 1 SP - 11 EP - 13 ER - TY - GEN A1 - Hofstedt, Petra T1 - Themenschwerpunkt "Sprachen der KI" T2 - Künstliche Intelligenz Y1 - 2012 SN - 1610-1987 VL - 26 IS - 1 SP - 7 EP - 9 ER - TY - CHAP A1 - Hofstedt, Petra ED - Görz, Günther ED - Schneeberger, Josef ED - Schmid, U. T1 - Constraints T2 - Handbuch der Künstlichen Intelligenz Y1 - 2013 SN - 978-3-486-71307-7 SN - 978-3-486-71979-6 SP - 205 EP - 234 PB - Oldenburg Verlag CY - München ET - 5. korrigierte Auflage ER - TY - CHAP A1 - Hofstedt, Petra A1 - Sauer, Peter A1 - Höckner, Benny T1 - Functional Programming with Pros and Cons T2 - HaL8 - Haskell-Treffen an der Universität Leipzig, Workshop am 21. Juni 2013 Y1 - 2013 UR - http://www.bioinf.uni-leipzig.de/conference-registration/13haskell/papers/paper_8.pdf ER - TY - GEN A1 - Schneeweiss, Denny A1 - Hofstedt, Petra T1 - Configurable Domain Objects for Resource Modelling in Treatment Scheduling T2 - International Journal of Software Engineering and Knowledge Engineering Y1 - 2015 SN - 0218-1940 VL - 25 IS - 5 SP - 871 EP - 885 ER - TY - CHAP A1 - Hinze, Thomas A1 - Behre, Jörn A1 - Bodenstein, Christian A1 - Escuela, Gabi A1 - Grünert, Gerd A1 - Hofstedt, Petra A1 - Sauer, Peter A1 - Hayat, Sikander A1 - Dittrich, Peter ED - Frisco, Pierluigi ED - Gheorghe, Marian ED - Pérez-Jiménez, Mario J. T1 - Membrane Systems and Tools Combining Dynamical Structures with Reaction Kinetics for Applications in Chronobiology T2 - Applications of Membrane Computing in Systems and Synthetic Biology Y1 - 2014 SN - 978-3-319-03190-3 SP - 133 EP - 173 PB - Springer CY - Cham [u.a.] ER - TY - CHAP A1 - Sauer, Peter A1 - Hausten, Tom A1 - Hofstedt, Petra T1 - Using Internet of Things Technology to Create a Really Platform Independent Robotics Framework T2 - International Symposium on Systems Engineering (ISSE), 3-5 Oct. 2016 Y1 - 2016 SN - 978-1-5090-0792-9 SN - 978-1-5090-0793-6 SP - 228 EP - 233 PB - IEEE CY - Piscataway, NJ ER -