@book{OPUS4-33866,
  title     = {Dsign thinking research : studying co-creation in practice},
  editor    = {Plattner, Hasso and Meinel, Christoph and Leifer, Larry},
  publisher = {Springer Berlin Heidelberg},
  address   = {Berlin, Heidelberg},
  isbn      = {978-3-642-21642-8},
  doi       = {10.1007/978-3-642-21643-5},
  pages     = {277 S.},
  year      = {2012},
  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{LinckelsMeinel2011,
  author    = {Linckels, Serge and Meinel, Christoph},
  title     = {E-Librarian service : user-friendly semantic search in digital libraries},
  publisher = {Springer-Verlag Berlin Heidelberg},
  address   = {Berlin, Heidelberg},
  isbn      = {978-3-642-17742-2},
  doi       = {10.1007/978-3-642-17743-9},
  pages     = {212 S.},
  year      = {2011},
  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{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, Tobias},
  title     = {Web service generation and data quality web services},
  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{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{Feinbube2010,
  author    = {Feinbube, Frank},
  title     = {On Programming models for multi-core computers},
  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{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{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{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{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{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{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{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{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{StoffelKunz1997,
  author    = {Stoffel, Dominik and Kunz, Wolfgang},
  title     = {Structural FSM traversal : theory and a practical algorithm},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1997, 05},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ. Potsdam},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {34 S. : Ill.},
  year      = {1997},
  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}
}
@book{SeuringGoesselSogomonyan1997,
  author    = {Seuring, Markus and G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {A structural approach for space compaction for concurrent checking and BIST},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1997, 01},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ. Potsdam},
  address   = {Potsdam [u.a.]},
  issn      = {0946-7580},
  pages     = {19 S. : Ill.},
  year      = {1997},
  language  = {en}
}
@book{SeuringGoessel1998,
  author    = {Seuring, Markus and G{\"o}ssel, Michael},
  title     = {A structural approach for space compaction for sequential circuits},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1998, 05},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {16 Bl. : graph. Darst.},
  year      = {1998},
  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{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{OPUS4-22017,
  title     = {Workshop on Implementing Automata : WIA99 - pre-proceedings ; Potsdam, Germany, 17 - 19. July 1999},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 4},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  editor    = {Boldt, Oliver and J{\"u}rgensen, Helmut and Robbins, L. E.},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {getr. Z{\"a}hl.},
  year      = {1999},
  language  = {en}
}
@book{JuergensenKatsuraKonstantinidis1999,
  author    = {J{\"u}rgensen, Helmut and Katsura, M. and Konstantinidis, Stavros},
  title     = {Maximal solid codes},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 03},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {23 Bl.},
  year      = {1999},
  language  = {en}
}
@book{BrzozowskiJuergensen1999,
  author    = {Brzozowski, J. A. and J{\"u}rgensen, Helmut},
  title     = {Semilattices of fault semiautomata},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 02},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {13 Bl.},
  year      = {1999},
  language  = {en}
}
@book{JuergensenKariThierrin1999,
  author    = {J{\"u}rgensen, Helmut and Kari, L. and Thierrin, G.},
  title     = {Morphisms preserving densities},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 09},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {21 Bl.},
  year      = {1999},
  language  = {en}
}
@book{JuergensenStaiger1999,
  author    = {J{\"u}rgensen, Helmut and Staiger, Ludwig},
  title     = {Finite automata : encoding geometric figures},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 07},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {8 S. : graph. Darst.},
  year      = {1999},
  language  = {en}
}
@book{Schaub1999,
  author    = {Schaub, Torsten H.},
  title     = {The automation of reasoning with incomplete information : from semantic foundations to efficient computation},
  series = {Lecture notes in computer science},
  volume    = {1409},
  journal   = {Lecture notes in computer science},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {3-540-64515-2},
  doi       = {10.1007/BFb0054963},
  pages     = {XI, 159 S.},
  year      = {1999},
  language  = {en}
}
@book{Linke2000,
  author    = {Linke, Thomas},
  title     = {New foundations for automation of default reasoning},
  volume    = {237},
  publisher = {Akad. Verl.-Ges. Aka},
  address   = {Berlin},
  isbn      = {3-89838-237-0},
  pages     = {VII, 182 S.},
  year      = {2000},
  language  = {en}
}
@book{RaetschSchoelkopfMikaetal.2000,
  author    = {R{\"a}tsch, Gunnar and Sch{\"o}lkopf, B. and Mika, Sebastian and M{\"u}ller, Klaus-Robert},
  title     = {SVM and boosting : one class},
  series = {GMD-Report},
  volume    = {119},
  journal   = {GMD-Report},
  publisher = {GMD-Forschungszentrum Informationstechnik},
  address   = {Sankt Augustin},
  pages     = {36 S.},
  year      = {2000},
  language  = {en}
}
@book{TsudaSugiyamaMueller2000,
  author    = {Tsuda, Koji and Sugiyama, Masashi and M{\"u}ller, Klaus-Robert},
  title     = {Subspace information criterion for non-quadratice regularizers : model selection for sparse regressors},
  series = {GMD-Report},
  volume    = {120},
  journal   = {GMD-Report},
  publisher = {GMD-Forschungszentrum Informationstechnik},
  address   = {Sankt Augustin},
  pages     = {36 S.},
  year      = {2000},
  language  = {en}
}
@book{OPUS4-19402,
  title     = {Advances in neural information processing systems 12 : proceedings of the 1999 conference},
  editor    = {Solla, Sara A. and M{\"u}ller, Klaus-Robert},
  publisher = {MIT Press},
  address   = {Cambridge, Mass.},
  isbn      = {0-262-19450-3},
  year      = {2000},
  language  = {en}
}
@book{FedosovSchulzeTarchanov2000,
  author    = {Fedosov, Boris V. and Schulze, Bert-Wolfgang and Tarchanov, Nikolaj N.},
  title     = {Analytic index formulas for elliptic corner 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     = {70 S.},
  year      = {2000},
  language  = {en}
}
@book{CoriascoPanarese2000,
  author    = {Coriasco, S. and Panarese, P.},
  title     = {Fourier integral operators defined by classical symbols with exit behaviour},
  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     = {17 S.},
  year      = {2000},
  language  = {en}
}
@book{Tepoyan2000,
  author    = {Tepoyan, Liparit},
  title     = {Degenerated operator equations og higher order},
  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      = {2000},
  language  = {en}
}
@book{OPUS4-18498,
  title     = {Proceedings of the Fifth Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications, DGNMR'2001, Potsdam, 4. - 6. April 2001},
  editor    = {Brewka, Gerhard and Witteveen, Cees and Schaub, Torsten H.},
  address   = {Potsdam},
  year      = {2001},
  language  = {en}
}
@book{OPUS4-18154,
  title     = {Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference, ECSQARU 2001, Toulouse, France, September 19 - 21, 2001 ; proceedings},
  series = {Lecture notes in computer science},
  volume    = {2143},
  journal   = {Lecture notes in computer science},
  editor    = {Benferhat, Salem and Besnard, Philippe},
  publisher = {Springer},
  address   = {Berlin, Heidelberg},
  isbn      = {3-540-42464-4},
  doi       = {10.1007/3-540-44652-4},
  pages     = {818 S.},
  year      = {2001},
  language  = {en}
}
@book{AydinJuergensenRobbins2001,
  author    = {Aydin, Suna and J{\"u}rgensen, Helmut and Robbins, L. E.},
  title     = {Dialogues as co-operating grammars},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2001, 1},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {16 S.},
  year      = {2001},
  language  = {en}
}
@book{WuKarriKuznetsovetal.2003,
  author    = {Wu, K. and Karri, R. and Kuznetsov, Grigory and G{\"o}ssel, Michael},
  title     = {Low Cost Concurrent Error Detection for the Advanced Encryption Standart},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2003, 8},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {10 S.},
  year      = {2003},
  language  = {en}
}
@book{SogomonyanMarienfeldOcheretnijetal.2003,
  author    = {Sogomonyan, Egor S. and Marienfeld, Daniel and Ocheretnij, V. and G{\"o}ssel, Michael},
  title     = {A new self-checking sum-bit duplicated carry-select adder},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2003, 5},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {10 S.},
  year      = {2003},
  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{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{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{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{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{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     = {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{EgorovKondratievSchulze2004,
  author    = {Egorov, Yu. and Kondratiev, V. A. and Schulze, Bert-Wolfgang},
  title     = {On the completeness of root functions of elliptic boundary problems in a domain with conical points on the boundary},
  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     = {21 S.},
  year      = {2004},
  language  = {en}
}
@book{NazajkinskijSavinSchulzeetal.2004,
  author    = {Nazajkinskij, Vladimir E. and Savin, Anton and Schulze, Bert-Wolfgang and Sternin, Boris},
  title     = {On the homotopy classification of elliptic operators on manifolds 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     = {26 S.},
  year      = {2004},
  language  = {en}
}
@book{LiuSchulze2004,
  author    = {Liu, Xiaochun and Schulze, Bert-Wolfgang},
  title     = {Boundary value problems in edge representation},
  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     = {43 S.},
  year      = {2004},
  language  = {en}
}
@book{NazajkinskijSavinSchulzeetal.2004,
  author    = {Nazajkinskij, Vladimir E. and Savin, Anton and Schulze, Bert-Wolfgang and Sternin, Boris},
  title     = {Elliptic theory on manifolds 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     = {48 S.},
  year      = {2004},
  language  = {en}
}
@book{HarutjunjanSchulze2004,
  author    = {Harutjunjan, Gohar and Schulze, Bert-Wolfgang},
  title     = {Boundary problems with meromorphic symbols in cylindrical domains},
  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     = {19 S.},
  year      = {2004},
  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{SaposhnikovSaposhnikovMorozovetal.2004,
  author    = {Saposhnikov, V. V. and Saposhnikov, Vl. V. and Morozov, Alexei and G{\"o}ssel, Michael},
  title     = {Necessary and Sufficient Conditions for the Existence of Self-Checking Circuits ba Use of Complementary Circuits},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2004, 1},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {11 S.},
  year      = {2004},
  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{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{MarienfeldSogomonyanOcheretnijetal.2005,
  author    = {Marienfeld, Daniel and Sogomonyan, Egor S. and Ocheretnij, V. and G{\"o}ssel, Michael},
  title     = {Self-checking Output-duplicated Booth-2 Multiplier},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2005, 1},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  year      = {2005},
  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{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{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{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{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     = {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     = {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     = {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{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{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{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{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{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{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{LamprechtMagariaSteffenetal.2007,
  author    = {Lamprecht, Anna-Lena and Magaria, Tiziana and Steffen, Bernhard and Sczyrba, Alexander and Hartmeier, Sven and Giegerich, Robert},
  title     = {GeneFisher-P},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {2007, 3},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {17 S.},
  year      = {2007},
  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{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{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{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{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{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{PlattnerLeukert2015,
  author    = {Plattner, Hasso and Leukert, Bernd},
  title     = {The in-memory revolution},
  publisher = {Springer},
  address   = {Cham},
  isbn      = {978-3-319-16672-8},
  pages     = {275},
  year      = {2015},
  abstract  = {This book describes the next generation of business applications enabled by SAP's in-memory database, SAP HANA. In particular, the authors show the substantial changes introduced in S4/HANA by switching to SAP HANA. Using numerous examples and use cases from the authors' wealth of real-world experience, it illustrates the quantum leap in performance made possible by the new technology. The book is written by two of the most prominent actors in the area of business application systems: Hasso Plattner, co-founder of SAP and inaugurator of the Hasso Plattner Institute at the University of Potsdam, and Bernd Leukert, member of the Executive Board and the Global Managing Board of SAP. This clearly structured, highly illustrated book takes an exciting new technology and presents the practicality and success of first mover applications.},
  language  = {en}
}