TY  - BOOK
A1  - Wu, K.
A1  - Karri, R.
A1  - Kuznetsov, Grigory
A1  - Gössel, Michael
T1  - Low Cost Concurrent Error Detection for the Advanced Encryption Standart
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2003
SN  - 0946-7580
VL  - 2003, 8
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Weske, Mathias
T1  - Business Process Management : Concepts, Languages, Architectures
Y1  - 2007
SN  - 978-3-540-73521-2
U6  - https://doi.org/10.1007/978-3-540-73522-9
PB  - Springer-Verlag Berlin Heidelberg
CY  - Berlin, Heidelberg
ER  - 
TY  - BOOK
A1  - Vogel, Tobias
T1  - Web service generation and data quality web services
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - BOOK
A1  - Vogel, Thomas
T1  - Models at runtime for Monitoring and adapting software systems
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - BOOK
A1  - Tsuda, Koji
A1  - Sugiyama, Masashi
A1  - Müller, Klaus-Robert
T1  - Subspace information criterion for non-quadratice regularizers : model selection for sparse regressors
T3  - GMD-Report
Y1  - 2000
VL  - 120
PB  - GMD-Forschungszentrum Informationstechnik
CY  - Sankt Augustin
ER  - 
TY  - BOOK
A1  - Trümper, Jonas
T1  - Towards visualization of complex, service-based software systems
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - BOOK
A1  - Tepoyan, Liparit
T1  - The Mixed problem for a degenerate operator equation
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2008
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Tepoyan, Liparit
T1  - The Neumann problem for a degenerate operator equation
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Tepoyan, Liparit
T1  - Degenerated operator equations og higher order
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2000
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Tarkhanov, Nikolai Nikolaevich
T1  - Harmonic integrals on domains with edges
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Stoffel, Dominik
A1  - Kunz, Wolfgang
T1  - Structural FSM traversal : theory and a practical algorithm
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1997
SN  - 0946-7580
VL  - 1997, 05
PB  - Univ. Potsdam
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Sogomonyan, Egor S.
A1  - Marienfeld, Daniel
A1  - Ocheretnij, V.
A1  - Gössel, Michael
T1  - A new self-checking sum-bit duplicated carry-select adder
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2003
SN  - 0946-7580
VL  - 2003, 5
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Seuring, Markus
A1  - Gössel, Michael
A1  - Sogomonyan, Egor S.
T1  - A structural approach for space compaction for concurrent checking and BIST
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1997
SN  - 0946-7580
VL  - 1997, 01
PB  - Univ. Potsdam
CY  - Potsdam [u.a.]
ER  - 
TY  - BOOK
A1  - Seuring, Markus
A1  - Gössel, Michael
T1  - A structural approach for space compaction for sequential circuits
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1998
SN  - 0946-7580
VL  - 1998, 05
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Schröder-Preikschat, Wolfgang
T1  - The logical design of parallel operating systems
Y1  - 1994
PB  - Prentice Hall International
CY  - Englewood Cliffs
ER  - 
TY  - BOOK
A1  - Schaub, Torsten H.
T1  - The automation of reasoning with incomplete information : from semantic foundations to efficient computation
T3  - Lecture notes in computer science
Y1  - 1999
SN  - 3-540-64515-2
U6  - https://doi.org/10.1007/BFb0054963
VL  - 1409
PB  - Springer
CY  - Berlin
ER  - 
TY  - BOOK
A1  - Saposhnikov, Vl. V.
T1  - Self-dual duplication for error detection and testing
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1997
SN  - 0946-7580
VL  - 1997, 02
PB  - Inst. für Informatik
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Saposhnikov, V. V.
A1  - Saposhnikov, Vl. V.
A1  - Morozov, Alexei
A1  - Gössel, Michael
T1  - Necessary and Sufficient Conditions for the Existence of Self-Checking Circuits ba Use of Complementary Circuits
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2004
SN  - 0946-7580
VL  - 2004, 1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Rätsch, Gunnar
A1  - Schölkopf, B.
A1  - Mika, Sebastian
A1  - Müller, Klaus-Robert
T1  - SVM and boosting : one class
T3  - GMD-Report
Y1  - 2000
VL  - 119
PB  - GMD-Forschungszentrum Informationstechnik
CY  - Sankt Augustin
ER  - 
TY  - BOOK
A1  - Richter, Peter
T1  - Efficient deterministic approaches solving the general layout problem in graphs : Forschungsbericht
Y1  - 1996
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Polyvyanyy, Artem
A1  - Kuropka, Dominik
T1  - A Quantitative Evalution of the Enhanced Topic-based Vector Space Model
T3  - Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsda
Y1  - 2007
SN  - 978-3-939469-95-7
SN  - 1613-5652
VL  - 19
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Plattner, Hasso
A1  - Zeier, Alexander
T1  - In-memory data managment : an inflection point for enterprise applications
Y1  - 2011
SN  - 978-3-642-19362-0
PB  - Springer
CY  - Heidelberg, New York
ER  - 
TY  - BOOK
A1  - Plattner, Hasso
A1  - Leukert, Bernd
T1  - The in-memory revolution
BT  - how sap hana enables business of the future
N2  - 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.
Y1  - 2015
SN  - 978-3-319-16672-8
PB  - Springer
CY  - Cham
ER  - 
TY  - BOOK
A1  - Niu, Pengcheng
A1  - Han, Yazhou
T1  - Hardy-Sobolev type inequalities on the Heisenberg Group
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Nazajkinskij, Vladimir E.
A1  - Savin, Anton
A1  - Schulze, Bert-Wolfgang
A1  - Sternin, Boris
T1  - Elliptic theory on manifolds with edges
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Nazajkinskij, Vladimir E.
A1  - Savin, Anton
A1  - Schulze, Bert-Wolfgang
A1  - Sternin, Boris
T1  - On the homotopy classification of elliptic operators on manifolds with edges
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Mihahn, Michael
A1  - Schnor, Bettina
T1  - Fault-Tolerant Grid Peer Services
T3  - Technischer Bericht
Y1  - 2004
SN  - 0946-7580
PB  - Universität Potsdam, Institut für Informatik
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Marques de Carvalho, Jackson W.
A1  - Jürgensen, Helmut
T1  - Dynamic multi-purpose mathematics notation
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1998
SN  - 0946-7580
VL  - 1998, 04
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Marienfeld, Daniel
A1  - Sogomonyan, Egor S.
A1  - Ocheretnij, V.
A1  - Gössel, Michael
T1  - Self-checking Output-duplicated Booth-2 Multiplier
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2005
SN  - 0946-7580
VL  - 2005, 1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Margaria, Tiziana
A1  - Kubczak, Christian
A1  - Steffen, Bernhard
T1  - Bio-jETI: a Service Integration, Design, and Provisioning Platform for Orchestrated Bioinformatics Processes - ("part of From Components to Processes")
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2007
SN  - 0946-7580
VL  - 2007, 4
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Margaria, Tiziana
ED  - Messnarz, Richard
T1  - Proceedings / EuroSPI 2007, European Software Process Improvement, 26.-28.09.2007, University of Potsdam, Germany
Y1  - 2007
SN  - 978-3-9809145-6-7
PB  - ASQF
CY  - Erlangen
ER  - 
TY  - BOOK
A1  - Liu, Xiaochun
A1  - Schulze, Bert-Wolfgang
T1  - Boundary value problems in edge representation
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Linke, Thomas
T1  - New foundations for automation of default reasoning
Y1  - 2000
SN  - 3-89838-237-0
VL  - 237
PB  - Akad. Verl.-Ges. Aka
CY  - Berlin
ER  - 
TY  - BOOK
A1  - Linckels, Serge
A1  - Meinel, Christoph
T1  - E-Librarian service : user-friendly semantic search in digital libraries
Y1  - 2011
SN  - 978-3-642-17742-2
U6  - https://doi.org/10.1007/978-3-642-17743-9
PB  - Springer-Verlag Berlin Heidelberg
CY  - Berlin, Heidelberg
ER  - 
TY  - BOOK
A1  - Lerch, Alexander
T1  - An introduction to audio content analysis : applications in signal processing and music informatics
Y1  - 2012
SN  - 978-1-118-26682-3
U6  - https://doi.org/10.1002/9781118393550
PB  - Wiley
CY  - Hoboken, N.J
ER  - 
TY  - BOOK
A1  - Lamprecht, Anna-Lena
A1  - Magaria, Tiziana
A1  - Steffen, Bernhard
A1  - Sczyrba, Alexander
A1  - Hartmeier, Sven
A1  - Giegerich, Robert
T1  - GeneFisher-P
BT  - Variations of GneFisher as Process in Bio jETI - (part of "From Components to Processes")
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2007
SN  - 0946-7580
VL  - 2007, 3
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Kytmanov, Alexander M.
A1  - Myslivets, Simona
A1  - Tarkhanov, Nikolai Nikolaevich
T1  - Zeta-function of a nonlinear system
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Kytmanov, Alexander M.
A1  - Myslivets, Simona
A1  - Tarkhanov, Nikolai Nikolaevich
T1  - Power sums of roots of a nonlinear system
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Kuropka, Dominik
A1  - Meyer, Harald
T1  - Survey on service composition
T3  - Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsda
Y1  - 2005
SN  - 3-937786-78-3
SN  - 1613-5652
VL  - 10
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Krahmer, Sebastian
T1  - Generating runtime call graphs
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2006
SN  - 0946-7580
VL  - 2006, 8
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Krahmer, Sebastian
T1  - Control flow integrity with ptrace()
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2006
SN  - 0946-7580
VL  - 2006, 2
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Krahmer, Sebastian
T1  - Hardend *OS exploitation techniques
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2006
SN  - 0946-7580
VL  - 2006, 4
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Kowark, Thomas
T1  - Towards a service landscape for a real-time project manager dasboard
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - BOOK
A1  - Koutzevlov, Atanas
A1  - Tschapek, Alexej
T1  - Software & interface requirements specifications
T3  - HGG-Dokument
Y1  - 1996
VL  - UPHGG.014.1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Koutzevlov, Atanas
A1  - Schubert, Wolfgang
A1  - Tschapek, Alexej
T1  - Software test plan & test description
T3  - HGG-Dokument
Y1  - 1996
VL  - UPHGG.016.1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Kirsch, Florian
A1  - Nienhaus, Marc
A1  - Döllner, Jürgen Roland Friedrich
T1  - Visualizing design and spatial assembly of interactive CSG
T3  - Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsda
Y1  - 2005
SN  - 3-937786-56-2
SN  - 1613-5652
VL  - 7
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
A1  - Staiger, Ludwig
T1  - Finite automata : encoding geometric figures
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 07
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
A1  - Katsura, M.
A1  - Konstantinidis, Stavros
T1  - Maximal solid codes
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 03
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
A1  - Kari, L.
A1  - Thierrin, G.
T1  - Morphisms preserving densities
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 09
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
T1  - Complexity, information, energy
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2006
SN  - 0946-7580
VL  - 2006, 6
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
T1  - Synchronization
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2006
SN  - 0946-7580
VL  - 2006, 5
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Jürgensen, Helmut
T1  - Towards computer science
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1998
SN  - 0946-7580
VL  - 1998, 03
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Hüttenrauch, Stefan
A1  - Kylau, Uwe
A1  - Grund, Martin
A1  - Queck, Tobias
A1  - Ploskonos, Anna
A1  - Schreiter, Torben
A1  - Breest, Martin
A1  - Haubrock, Sören
A1  - Bouche, Paul
T1  - Fundamentals of Service-Oriented Engineering
BT  - Proceedings of the Fall 2006 Workshop of the HPI Research School on Service-Oriented Systems Engineering
T3  - Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam
Y1  - 2006
SN  - 3-939469-35-1
SN  - 1613-5652
VL  - 18
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Hentschel, Uwe M.Sc.
T1  - Services for real -time computing
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - BOOK
A1  - Harutjunjan, Gohar
A1  - Schulze, Bert-Wolfgang
T1  - Boundary problems with meromorphic symbols in cylindrical domains
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Hartmann, Stefanie
A1  - Selbig, Joachim
T1  - Introductory Bioinformatics
Y1  - 2009
SN  - 978-3-8370-5189-6
PB  - Books on Demand
CY  - Norderstedt
ER  - 
TY  - BOOK
A1  - Goessel, Michael
A1  - Ocheretny, Vitaly
A1  - Sogomonyan, Egor S.
A1  - Marienfeld, Daniel
T1  - New methods of concurrent checking
T3  - Frontiers in electronic testing
Y1  - 2008
SN  - 978-1-402-08419-5
U6  - https://doi.org/10.1007/978-1-4020-8420-1
VL  - 42
PB  - Springer
CY  - Dordrecht; Heidelberg
ER  - 
TY  - BOOK
A1  - Gil, J. B.
A1  - Krainer, Thomas
A1  - Mendoza, A.
T1  - Geometry and Spectra of closed extensions of elliptic cone operators
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Gil, J. B.
A1  - Krainer, Thomas
A1  - Mendoza, A.
T1  - Resolvents of elliptic cone operators
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Feinbube, Frank
T1  - On Programming models for multi-core computers
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - BOOK
A1  - Fedosov, Boris V.
A1  - Schulze, Bert-Wolfgang
A1  - Tarchanov, Nikolaj N.
T1  - Analytic index formulas for elliptic corner operators
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2000
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Egorov, Yu.
A1  - Kondratiev, V. A.
A1  - Schulze, Bert-Wolfgang
T1  - On the completeness of root functions of elliptic boundary problems in a domain with conical points on the boundary
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2004
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - de Carvalho, Jackson Marques
A1  - Jürgensen, Helmut
T1  - Document authoring environments and authoring mathematics
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2008
SN  - 0946-7580
VL  - 2008, 1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Coriasco, S.
A1  - Panarese, P.
T1  - Fourier integral operators defined by classical symbols with exit behaviour
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2000
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Calame, Jens R.
T1  - Considerations on object oriented software testing
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2003
SN  - 0946-7580
VL  - 2003, 4
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Brzozowski, J. A.
A1  - Jürgensen, Helmut
T1  - Semilattices of fault semiautomata
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 02
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Brauer, Uwe
A1  - Karp, Lavi
T1  - Well-posedness of Einstein-Euler Systems in asymptotically flat spacetimes
T3  - Preprint / Universität Potsdam, Institut für Mathematik, Arbeitsgruppe Partiell
Y1  - 2008
SN  - 1437-739X
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Becker, Basil
T1  - Model-based extension of AUTOSAR for architectural online reconfiguration
Y1  - 2010
SN  - 978-3-86956-036-6
ER  - 
TY  - BOOK
A1  - Balan, Sakthin M.
A1  - Jürgensen, Helmut
T1  - Peptide computing : universality and theoretical model
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2006
SN  - 0946-7580
VL  - 2006, 1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Balan, Sakthin M.
A1  - Jürgensen, Helmut
T1  - On the universality of peptide computing
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2006
SN  - 0946-7580
VL  - 2006, 9
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Aydin, Suna
A1  - Jürgensen, Helmut
A1  - Robbins, L. E.
T1  - Dialogues as co-operating grammars
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2001
SN  - 0946-7580
VL  - 2001, 1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Al-Saffar, Loay Talib Ahmed
T1  - Where girls the role of boys in CS - attitudes of CS students in a female-dominated environment
Y1  - 2013
SN  - 978-3-86956-220-9
ER  - 
TY  - BOOK
A1  - Abrahamsson, Pekka
A1  - Baddoo, Nathan
A1  - Margaria, Tiziana
A1  - Messnarz, Richard
T1  - Software Process Improvement : 14th europea conference, EuroSpi 2007, Potsdam, Germany, September 26-28, 2007 ; Proceedings
T3  - Lecture Notes in Computer Science
Y1  - 2007
VL  - 4764
PB  - Springer
CY  - Berlin
ER  - 
TY  - BOOK
ED  - Lambrecht, Anna-Lena
ED  - Margaria, Tizian
T1  - Process design for natural scientists
BT  - an agile model-driven approach
T3  - Communications in computer and information science ; 500
N2  - 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.
Y1  - 2014
SN  - 978-3-662-45005-5
PB  - Springer
CY  - Wiesbaden
ER  - 
TY  - BOOK
ED  - Rabe, Bernhard
ED  - Rasche, Andreas
T1  - Proceedings of the 2nd International Workshop on e-learning and Virtual and Remote Laboratories
T3  - Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsda
Y1  - 2008
SN  - 978-3-940793-17-1
SN  - 1613-5652
VL  - 21
PB  - Universitätsverlag Potsdam
CY  - Potsdam
ER  - 
TY  - BOOK
ED  - Jürgensen, Helmut
T1  - Accessible Media : Pre-Proceedings of a Workshop Potsdam 8-9 May, 2006
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2006
SN  - 0946-7580
VL  - 2006, 7
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
ED  - Schröder-Preikschat, Wolfgang
ED  - Wu, Min-You
T1  - The journal of supercomputing : trends in parallel operating systems
Y1  - 1995
PB  - Kluwer
CY  - Boston
ER  - 
TY  - BOOK
ED  - Benferhat, Salem
ED  - Besnard, Philippe
T1  - Symbolic and quantitative approaches to reasoning with uncertainty : 6th European conference, ECSQARU 2001, Toulouse, France, September 19 - 21, 2001 ; proceedings
T3  - Lecture notes in computer science
Y1  - 2001
SN  - 3-540-42464-4
U6  - https://doi.org/10.1007/3-540-44652-4
VL  - 2143
PB  - Springer
CY  - Berlin, Heidelberg
ER  - 
TY  - BOOK
ED  - Brewka, Gerhard
ED  - Witteveen, Cees
ED  - Schaub, Torsten H.
T1  - Proceedings of the Fifth Dutch German Workshop on Nonmonotonic Reasoning Techniques and their Applications, DGNMR'2001, Potsdam, 4. - 6. April 2001
Y1  - 2001
CY  - Potsdam
ER  - 
TY  - BOOK
ED  - Solla, Sara A.
ED  - Müller, Klaus-Robert
T1  - Advances in neural information processing systems 12 : proceedings of the 1999 conference
Y1  - 2000
SN  - 0-262-19450-3
PB  - MIT Press
CY  - Cambridge, Mass.
ER  - 
TY  - BOOK
ED  - Boldt, Oliver
ED  - Jürgensen, Helmut
ED  - Robbins, L. E.
T1  - Workshop on Implementing Automata : WIA99 - pre-proceedings ; Potsdam, Germany, 17 - 19. July 1999
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 4
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
ED  - Plattner, Hasso
ED  - Meinel, Christoph
ED  - Leifer, Larry
T1  - Dsign thinking research : studying co-creation in practice
Y1  - 2012
SN  - 978-3-642-21642-8
U6  - https://doi.org/10.1007/978-3-642-21643-5
PB  - Springer Berlin Heidelberg
CY  - Berlin, Heidelberg
ER  -