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  -