@book{OPUS4-7534, title = {Process design for natural scientists}, series = {Communications in computer and information science ; 500}, journal = {Communications in computer and information science ; 500}, editor = {Lambrecht, Anna-Lena and Margaria, Tizian}, publisher = {Springer}, address = {Wiesbaden}, isbn = {978-3-662-45005-5}, pages = {X, 251}, year = {2014}, abstract = {This book presents an agile and model-driven approach to manage scientific workflows. The approach is based on the Extreme Model Driven Design (XMDD) paradigm and aims at simplifying and automating the complex data analysis processes carried out by scientists in their day-to-day work. Besides documenting the impact the workflow modeling might have on the work of natural scientists, this book serves three major purposes: 1. It acts as a primer for practitioners who are interested to learn how to think in terms of services and workflows when facing domain-specific scientific processes. 2. It provides interesting material for readers already familiar with this kind of tools, because it introduces systematically both the technologies used in each case study and the basic concepts behind them. 3. As the addressed thematic field becomes increasingly relevant for lectures in both computer science and experimental sciences, it also provides helpful material for teachers that plan similar courses.}, language = {en} } @book{OPUS4-10652, title = {Proceedings of the 2nd International Workshop on e-learning and Virtual and Remote Laboratories}, series = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, volume = {21}, journal = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, editor = {Rabe, Bernhard and Rasche, Andreas}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-940793-17-1}, issn = {1613-5652}, pages = {98 S.}, year = {2008}, language = {en} } @book{deCarvalhoJuergensen2008, author = {de Carvalho, Jackson Marques and J{\"u}rgensen, Helmut}, title = {Document authoring environments and authoring mathematics}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2008, 1}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {8 S.}, year = {2008}, language = {en} } @book{GoesselOcheretnySogomonyanetal.2008, author = {Goessel, Michael and Ocheretny, Vitaly and Sogomonyan, Egor S. and Marienfeld, Daniel}, title = {New methods of concurrent checking}, series = {Frontiers in electronic testing}, volume = {42}, journal = {Frontiers in electronic testing}, publisher = {Springer}, address = {Dordrecht; Heidelberg}, isbn = {978-1-402-08419-5}, doi = {10.1007/978-1-4020-8420-1}, pages = {250 S.}, year = {2008}, language = {en} } @book{Tepoyan2008, author = {Tepoyan, Liparit}, title = {The Mixed problem for a degenerate operator equation}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {13 S.}, year = {2008}, language = {en} } @book{BrauerKarp2008, author = {Brauer, Uwe and Karp, Lavi}, title = {Well-posedness of Einstein-Euler Systems in asymptotically flat spacetimes}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {83 S.}, year = {2008}, language = {en} } @book{MargariaKubczakSteffen2007, author = {Margaria, Tiziana and Kubczak, Christian and Steffen, Bernhard}, title = {Bio-jETI: a Service Integration, Design, and Provisioning Platform for Orchestrated Bioinformatics Processes - ("part of From Components to Processes")}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2007, 4}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {16 S.}, year = {2007}, language = {en} } @book{Weske2007, author = {Weske, Mathias}, title = {Business Process Management : Concepts, Languages, Architectures}, publisher = {Springer-Verlag Berlin Heidelberg}, address = {Berlin, Heidelberg}, isbn = {978-3-540-73521-2}, doi = {10.1007/978-3-540-73522-9}, pages = {368 S.}, year = {2007}, language = {en} } @book{Margaria2007, author = {Margaria, Tiziana}, title = {Proceedings / EuroSPI 2007, European Software Process Improvement, 26.-28.09.2007, University of Potsdam, Germany}, editor = {Messnarz, Richard}, publisher = {ASQF}, address = {Erlangen}, isbn = {978-3-9809145-6-7}, pages = {Getr. Z{\"a}hl.}, year = {2007}, language = {en} } @book{AbrahamssonBaddooMargariaetal.2007, author = {Abrahamsson, Pekka and Baddoo, Nathan and Margaria, Tiziana and Messnarz, Richard}, title = {Software Process Improvement : 14th europea conference, EuroSpi 2007, Potsdam, Germany, September 26-28, 2007 ; Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4764}, journal = {Lecture Notes in Computer Science}, publisher = {Springer}, address = {Berlin}, pages = {223 S.}, year = {2007}, language = {en} } @book{PolyvyanyyKuropka2007, author = {Polyvyanyy, Artem and Kuropka, Dominik}, title = {A Quantitative Evalution of the Enhanced Topic-based Vector Space Model}, series = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, volume = {19}, journal = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-939469-95-7}, issn = {1613-5652}, pages = {88 S.}, year = {2007}, language = {en} } @book{OPUS4-11818, title = {Accessible Media : Pre-Proceedings of a Workshop Potsdam 8-9 May, 2006}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2006, 7}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, editor = {J{\"u}rgensen, Helmut}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, year = {2006}, language = {en} } @book{Krahmer2006, author = {Krahmer, Sebastian}, title = {Generating runtime call graphs}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2006, 8}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {16 S.}, year = {2006}, language = {en} } @book{HuettenrauchKylauGrundetal.2006, author = {H{\"u}ttenrauch, Stefan and Kylau, Uwe and Grund, Martin and Queck, Tobias and Ploskonos, Anna and Schreiter, Torben and Breest, Martin and Haubrock, S{\"o}ren and Bouche, Paul}, title = {Fundamentals of Service-Oriented Engineering}, series = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsdam}, volume = {18}, journal = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsdam}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {3-939469-35-1}, issn = {1613-5652}, year = {2006}, language = {en} } @book{KuropkaMeyer2005, author = {Kuropka, Dominik and Meyer, Harald}, title = {Survey on service composition}, series = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, volume = {10}, journal = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {3-937786-78-3}, issn = {1613-5652}, pages = {35 S.}, year = {2005}, language = {en} } @book{KytmanovMyslivetsTarkhanov2004, author = {Kytmanov, Alexander M. and Myslivets, Simona and Tarkhanov, Nikolai Nikolaevich}, title = {Zeta-function of a nonlinear system}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {11 S.}, year = {2004}, language = {en} } @book{Tarkhanov2004, author = {Tarkhanov, Nikolai Nikolaevich}, title = {Harmonic integrals on domains with edges}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {41 S.}, year = {2004}, language = {en} } @book{KytmanovMyslivetsTarkhanov2004, author = {Kytmanov, Alexander M. and Myslivets, Simona and Tarkhanov, Nikolai Nikolaevich}, title = {Power sums of roots of a nonlinear system}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {12 S.}, year = {2004}, language = {en} } @book{Juergensen2006, author = {J{\"u}rgensen, Helmut}, title = {Complexity, information, energy}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2006, 6}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {5 S.}, year = {2006}, language = {en} } @book{BalanJuergensen2006, author = {Balan, Sakthin M. and J{\"u}rgensen, Helmut}, title = {Peptide computing : universality and theoretical model}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2006, 1}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {15 S.}, year = {2006}, language = {en} } @book{Krahmer2006, author = {Krahmer, Sebastian}, title = {Control flow integrity with ptrace()}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2006, 2}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {16 S.}, year = {2006}, language = {en} } @book{BalanJuergensen2006, author = {Balan, Sakthin M. and J{\"u}rgensen, Helmut}, title = {On the universality of peptide computing}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2006, 9}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {ca. 23 S.}, year = {2006}, language = {en} } @book{Krahmer2006, author = {Krahmer, Sebastian}, title = {Hardend *OS exploitation techniques}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2006, 4}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {8 S.}, year = {2006}, language = {en} } @book{Juergensen2006, author = {J{\"u}rgensen, Helmut}, title = {Synchronization}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2006, 5}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {21 S.}, year = {2006}, language = {en} } @book{Tepoyan2004, author = {Tepoyan, Liparit}, title = {The Neumann problem for a degenerate operator equation}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {11 S.}, year = {2004}, language = {en} } @book{NiuHan2004, author = {Niu, Pengcheng and Han, Yazhou}, title = {Hardy-Sobolev type inequalities on the Heisenberg Group}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {13 S.}, year = {2004}, language = {en} } @book{GilKrainerMendoza2004, author = {Gil, J. B. and Krainer, Thomas and Mendoza, A.}, title = {Geometry and Spectra of closed extensions of elliptic cone operators}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {47 S.}, year = {2004}, language = {en} } @book{GilKrainerMendoza2004, author = {Gil, J. B. and Krainer, Thomas and Mendoza, A.}, title = {Resolvents of elliptic cone operators}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {46 S.}, year = {2004}, language = {en} } @book{Calame2003, author = {Calame, Jens R.}, title = {Considerations on object oriented software testing}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2003, 4}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {71 S.}, year = {2003}, language = {en} } @book{KirschNienhausDoellner2005, author = {Kirsch, Florian and Nienhaus, Marc and D{\"o}llner, J{\"u}rgen Roland Friedrich}, title = {Visualizing design and spatial assembly of interactive CSG}, series = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, volume = {7}, journal = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {3-937786-56-2}, issn = {1613-5652}, pages = {8 S.}, year = {2005}, language = {en} } @book{MihahnSchnor2004, author = {Mihahn, Michael and Schnor, Bettina}, title = {Fault-Tolerant Grid Peer Services}, series = {Technischer Bericht}, journal = {Technischer Bericht}, publisher = {Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, address = {Potsdam}, issn = {0946-7580}, year = {2004}, language = {en} } @book{HartmannSelbig2009, author = {Hartmann, Stefanie and Selbig, Joachim}, title = {Introductory Bioinformatics}, publisher = {Books on Demand}, address = {Norderstedt}, isbn = {978-3-8370-5189-6}, pages = {246 S.}, year = {2009}, language = {en} } @book{AlSaffar2013, author = {Al-Saffar, Loay Talib Ahmed}, title = {Where girls the role of boys in CS - attitudes of CS students in a female-dominated environment}, isbn = {978-3-86956-220-9}, year = {2013}, language = {en} } @book{Juergensen1998, author = {J{\"u}rgensen, Helmut}, title = {Towards computer science}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1998, 03}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {10 Bl. : Ill.}, year = {1998}, language = {en} } @book{OPUS4-27228, title = {The journal of supercomputing : trends in parallel operating systems}, editor = {Schr{\"o}der-Preikschat, Wolfgang and Wu, Min-You}, publisher = {Kluwer}, address = {Boston}, pages = {157 S.}, year = {1995}, language = {en} } @book{MarquesdeCarvalhoJuergensen1998, author = {Marques de Carvalho, Jackson W. and J{\"u}rgensen, Helmut}, title = {Dynamic multi-purpose mathematics notation}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1998, 04}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {14 Bl. : graph. Darst.}, year = {1998}, language = {en} } @book{KoutzevlovTschapek1996, author = {Koutzevlov, Atanas and Tschapek, Alexej}, title = {Software \& interface requirements specifications}, series = {HGG-Dokument}, volume = {UPHGG.014.1}, journal = {HGG-Dokument}, publisher = {Univ.}, address = {Potsdam}, year = {1996}, language = {en} } @book{KoutzevlovSchubertTschapek1996, author = {Koutzevlov, Atanas and Schubert, Wolfgang and Tschapek, Alexej}, title = {Software test plan \& test description}, series = {HGG-Dokument}, volume = {UPHGG.016.1}, journal = {HGG-Dokument}, publisher = {Univ.}, address = {Potsdam}, year = {1996}, language = {en} } @book{Richter1996, author = {Richter, Peter}, title = {Efficient deterministic approaches solving the general layout problem in graphs : Forschungsbericht}, publisher = {Univ.}, address = {Potsdam}, pages = {20 Bl.}, year = {1996}, language = {en} } @book{SchroederPreikschat1994, author = {Schr{\"o}der-Preikschat, Wolfgang}, title = {The logical design of parallel operating systems}, publisher = {Prentice Hall International}, address = {Englewood Cliffs}, pages = {370 S.}, year = {1994}, language = {en} } @book{PlattnerZeier2011, author = {Plattner, Hasso and Zeier, Alexander}, title = {In-memory data managment : an inflection point for enterprise applications}, publisher = {Springer}, address = {Heidelberg, New York}, isbn = {978-3-642-19362-0}, pages = {236 S.}, year = {2011}, language = {en} } @book{Lerch2012, author = {Lerch, Alexander}, title = {An introduction to audio content analysis : applications in signal processing and music informatics}, publisher = {Wiley}, address = {Hoboken, N.J}, isbn = {978-1-118-26682-3}, doi = {10.1002/9781118393550}, pages = {248 S.}, year = {2012}, language = {en} } @book{Becker2010, author = {Becker, Basil}, title = {Model-based extension of AUTOSAR for architectural online reconfiguration}, isbn = {978-3-86956-036-6}, year = {2010}, language = {en} } @book{Vogel2010, author = {Vogel, Thomas}, title = {Models at runtime for Monitoring and adapting software systems}, isbn = {978-3-86956-036-6}, year = {2010}, language = {en} } @book{Hentschel2010, author = {Hentschel, Uwe M.Sc.}, title = {Services for real -time computing}, isbn = {978-3-86956-036-6}, year = {2010}, language = {en} } @book{Feinbube2010, author = {Feinbube, Frank}, title = {On Programming models for multi-core computers}, isbn = {978-3-86956-036-6}, year = {2010}, language = {en} } @book{Kowark2010, author = {Kowark, Thomas}, title = {Towards a service landscape for a real-time project manager dasboard}, isbn = {978-3-86956-036-6}, year = {2010}, language = {en} } @book{Truemper2010, author = {Tr{\"u}mper, Jonas}, title = {Towards visualization of complex, service-based software systems}, isbn = {978-3-86956-036-6}, year = {2010}, language = {en} } @book{Vogel2010, author = {Vogel, Tobias}, title = {Web service generation and data quality web services}, isbn = {978-3-86956-036-6}, year = {2010}, language = {en} } @book{Saposhnikov1997, author = {Saposhnikov, Vl. V.}, title = {Self-dual duplication for error detection and testing}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {1997, 02}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Inst. f{\"u}r Informatik}, address = {Potsdam}, issn = {0946-7580}, pages = {16 S. : graph. Darst.}, year = {1997}, language = {en} }