@inproceedings{HinzeKirkiciSaueretal., author = {Hinze, Thomas and Kirkici, Korcan and Sauer, Patricia and Sauer, Peter and Behre, J{\"o}rn}, title = {Membrane Computing Meets Temperature: A Thermoreceptor Model as Molecular Slide Rule with Evolutionary Potential}, series = {Membrane Computing, 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015,}, booktitle = {Membrane Computing, 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015,}, editor = {Rozenberg, Grzegorz and Salomaa, Arto and Sempere, Jos{\´e} M. and Zandron, Claudio}, publisher = {Springer Verlag}, address = {Cham [u.a.]}, isbn = {978-3-319-28474-3}, pages = {215 -- 235}, 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} } @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{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{HinzeGruetzmannHoeckneretal., author = {Hinze, Thomas and Gr{\"u}tzmann, Konrad and H{\"o}ckner, Benny and Sauer, Peter and Hayat, Sikander}, title = {Categorised Counting Mediated by Blotting Membrane Systems for Particle-Based Data Mining and Numerical Algorithms}, series = {Membrane computing, 15th International Conference, CMC 2014 Prague, Czech Republic, August 20-22, 2014}, booktitle = {Membrane computing, 15th International Conference, CMC 2014 Prague, Czech Republic, August 20-22, 2014}, editor = {Gheorghe, Marian and Rozenberg, Grzegorz and Salomaa, Arto and Sos{\´i}k, Petr and Zandron, Claudio}, publisher = {Springer}, address = {Cham [u.a.]}, isbn = {978-3-319-14369-9}, pages = {241 -- 257}, 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} } @misc{JenihhinHamdiouiSonzaReordaetal., author = {Jenihhin, Maksim and Hamdioui, Said and Sonza-Reorda, Matteo and Krstic, Milos and Langend{\"o}rfer, Peter and Sauer, Christian and Klotz, Anton and H{\"u}bner, Michael and Nolte, J{\"o}rg and Vierhaus, Heinrich Theodor and Selimis, Georgions and Alexandrescu, Dan and Taouil, Mottaqiallah and Schrijen, Geert-Jan and Sterpone, Luca and Squillero, Giovanni and Dyka, Zoya and Raik, Jaan}, title = {RESCUE: Interdependent Challenges of Reliability, Security and Quality in Nanoelectronic Systems}, series = {ArXiv.org}, journal = {ArXiv.org}, pages = {7}, 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{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 W. 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} } @incollection{KleberTerhorstHuelleetal., author = {Kleber, Arno and Terhorst, Birgit and H{\"u}lle, Daniela and Leopold, Matthias and M{\"u}ller, S. and Raab, Thomas and Sauer, Daniela and Scholten, Thomas and Dietze, Michael and Felix-Henningsen, Peter and Heinrich, J. and Spies, E. D. and Thiemeyer, H.}, title = {Subdued Mountains of Central Europe}, series = {Mid-Latitude Slope Deposits (Cover Beds)}, booktitle = {Mid-Latitude Slope Deposits (Cover Beds)}, editor = {Kleber, Arno and Terhorst, Birgit}, publisher = {Elsevier}, address = {Oxford}, isbn = {978-0-444-53118-6}, doi = {10.1016/B978-0-444-53118-6.00002-7}, pages = {9 -- 93}, abstract = {Slope deposits, which veil entire slopes or large parts of them in a rather uniform manner (cover beds), are ubiquitous in the subdued mountains of Central Europe. Here we provide an overview of the current state of knowledge on these deposits. The Central European cover beds are divided into (1) the upper layer that is ubiquitously distributed and displays a relatively constant thickness; (2) the intermediate layer the distribution of which is mainly restricted to flat relief, to slope depressions, and to lee-ward facing slopes; and (3) the basal layer, which is rather widespread again. Both the upper and intermediate layer contain intermixed loess, whereas the basal layer is free of loess and typically has a high bulk density. Aside from the loess content, the composition of the layers differs, reflecting varying portions of crushed and chemically weathered rock allocated from up-slope. This causes notable diversity depending on bedrock and, thus, induces remarkable regional differences. Cover beds were mainly formed by periglacial gelifluction. The upper layer formed in the Late Glacial possibly during several short episodes of activity. In contrast, the underlying layers may be diachronous; nevertheless, they display recurring vertical sequences. This is probably due to the fact that loess-free layers usually could not deposit as long as there was loess in the environs, which may have been inherited from older deposits. Thus, the last phase of surface wash, during which older loess was removed, determines the age of the lower layers.}, language = {en} }