TY  - JOUR
A1  - Brain, Martin
A1  - Gebser, Martin
A1  - Pührer, Jörg
A1  - Schaub, Torsten H.
A1  - Tompits, Hans
A1  - Woltran, Stefan
T1  - "That is illogical, Captain!" : the debugging support tool spock for answer-set programs ; system description
Y1  - 2007
ER  - 
TY  - JOUR
A1  - Brain, Martin
A1  - Gebser, Martin
A1  - Pührer, Jörg
A1  - Schaub, Torsten H.
A1  - Tompits, Hans
A1  - Woltran, Stefan
T1  - Debugging ASP programs by means of ASP
Y1  - 2007
SN  - 978-3-540- 72199-4
ER  - 
TY  - JOUR
A1  - Gebser, Martin
A1  - Schaub, Torsten H.
A1  - Tompits, Hans
A1  - Woltran, Stefan
T1  - Alternative characterizations for program equivalence under aswer-set semantics : a preliminary report
Y1  - 2007
ER  - 
TY  - GEN
A1  - Marques de Carvalho, Jackson W.
A1  - Jürgensen, Helmut
T1  - Flexible Structured Mathematics Notation : IADIS, International Conference Interfaces and Human Computer Interaction, Lisabon, 2007
T2  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 2007
SN  - 0946-7580
VL  - 2007, 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  - 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  - 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  - THES
A1  - Puhlmann, Frank
T1  - On the application of a theory for mobile systems to business process management
Y1  - 2007
CY  - Potsdam
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
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  -