@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}
}