TY  - JOUR
A1  - Gspandl, Stephan
A1  - Pill, Ingo
A1  - Reip, Michael
A1  - Steinbauer, Gerald
A1  - Ferrein, Alexander
T1  - Belief Management for High-Level Robot Programs
JF  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence [electronic resource] : Barcelona, Catalonia, Spain, 16 - 22 July 2011 / sponsored by International Joint Conferences on Artificial Intelligence (IJCAI) and the Association for the Advancement of Artificial Intelligence (AAAI). Ed. by Toby Walsh
Y1  - 2011
N1  - International Joint Conference on Artificial Intelligence ; (22 : ; 2011.07.16-22 : ; Barcelona, Spain) ; IJCAI ; (22 : ; 2011.07.16-22 : ; Barcelona, Spain)
SP  - 900
EP  - 905
ER  - 
TY  - JOUR
A1  - Schiffer, Stefan
A1  - Ferrein, Alexander
A1  - Lakemeyer, Gerhard
T1  - Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus
JF  - Journal of Intelligent & Robotic Systems
Y1  - 2011
SN  - 0921-0296
VL  - 63
IS  - 2
SP  - 273
EP  - 300
PB  - Springer
CY  - Berlin
ER  - 
TY  - JOUR
A1  - Schaefer, Thomas
A1  - Höfken, Hans-Wilhelm
A1  - Schuba, Marko
T1  - Windows Phone 7 from a Digital Forensics’ Perspective
Y1  - 2011
N1  - ICDF2C <3, 2011, Dublin>
PB  - Springer
CY  - Berlin
ER  - 
TY  - JOUR
A1  - Maus, Stefan
A1  - Höfken, Hans-Wilhelm
A1  - Schuba, Marko
T1  - Forensic Analysis of Geodata in Android Smartphones
Y1  - 2011
N1  - Cyberforensics 2011, Glasgow
SP  - 1
EP  - 11
ER  - 
TY  - JOUR
A1  - Schubert, Nicole
A1  - Scholl, Ingrid
T1  - Comparing GPU-based multi-volume ray casting techniques
JF  - Computer Science - Research and Development
Y1  - 2011
SN  - 1865-2042
VL  - 26
IS  - 12
SP  - 39
EP  - 50
PB  - Springer
CY  - Berlin
ER  - 
TY  - JOUR
A1  - Scholl, Ingrid
A1  - Aach, Til
A1  - Deserno, Thomas M.
A1  - Kuhlen, Torsten
T1  - Challenges of medical image processing
JF  - Computer Science - Research and Development
Y1  - 2011
SN  - 1865-2042
VL  - 26
IS  - 1-2
SP  - 5
EP  - 13
PB  - Springer
CY  - Berlin
ER  - 
TY  - JOUR
A1  - Deserno, Thomas M.
A1  - Aach, Til
A1  - Amunts, Katrin
A1  - Hillen, Walter
A1  - Kuhlen, Torsten
A1  - Scholl, Ingrid
T1  - Advances in medical image processing : A special Issue on the Workshop in Aachen, Germany, March 2010
JF  - Computer Science - Research and Development. 26 (2011), H. 1-2
Y1  - 2011
SN  - 1865-2042
SP  - 1
EP  - 3
PB  - springer
CY  - Berlin
ER  - 
TY  - CHAP
A1  - Damm, Sebastian
A1  - Ritz, Thomas
A1  - Strauch, Jakob
ED  - Höpfner, Hagen
T1  - Muster und Cloud Computing als Plattformstrategie für mobile Unternehmenssoftware
T2  - Mobile und ubiquitäre Informationssysteme : MMS 2011 ; proceedings der 6. Konferenz, 28. Februar 2011 in Kaiserslautern, Deutschland. - (GI-Edition lecture notes in informatics ; 185)
Y1  - 2011
SN  - 978-3-88579-279-6
SP  - 91
EP  - 104
PB  - Ges. für Informatik
CY  - Bonn
ER  -