@incollection{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 Biology, Springer Series Emergence, Complexity, and Computation, 2013}, booktitle = {Applications of Membrane Computing in Biology, Springer Series Emergence, Complexity, and Computation, 2013}, editor = {Paun, G.}, publisher = {Springer-Verlag}, address = {Berlin}, 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{HoecknerHofstedtVoertleretal., author = {H{\"o}ckner, Benny and Hofstedt, Petra and V{\"o}rtler, Thilo and Sauer, Peter and Hinze, Thomas}, title = {Constraint-based Approach for an Early Inspection of the Feasibility of Cyber Physical Systems}, series = {20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP). 2013}, booktitle = {20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP). 2013}, editor = {Hanus, Michael and Rocha, Ricardo}, publisher = {Institut f{\"u}r Informatik, Christian-Albrechts-Universit{\"a}t}, address = {Kiel}, pages = {183 -- 197}, language = {en} } @inproceedings{HoecknerHofstedtKaltschmidtetal., author = {H{\"o}ckner, Benny and Hofstedt, Petra and Kaltschmidt, Sascha and Sauer, Peter and V{\"o}rtler, Thilo}, title = {Design Space Exploration for Cyber Physical System Design using Constraint Solving}, series = {The 2013 Forum on specification \& Design Languages (FDL), Paris, France, September 24-26, 2013}, booktitle = {The 2013 Forum on specification \& Design Languages (FDL), Paris, France, September 24-26, 2013}, publisher = {IEEE}, pages = {4}, language = {en} } @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} } @inproceedings{SauerSchneeweissHofstedt, author = {Sauer, Peter and Schneeweiss, Denny and Hofstedt, Petra}, title = {Divide \& Conquer - Komplexe Constraint-Probleme durch Aufteilen l{\"o}sen}, series = {Informatik 2015, Tagung vom 28. September - 2. Oktober 2015 in Cottbus}, booktitle = {Informatik 2015, Tagung vom 28. September - 2. Oktober 2015 in Cottbus}, editor = {Cunningham, Douglas William and Hofstedt, Petra and Meer, Klaus and Schmitt, Ingo}, publisher = {Gesellschaft f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-640-4}, pages = {1047 -- 1060}, 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} }