How to Prove Algorithms Linearisable
G. Schellhorn, H. Wehrheim, J. Derrick, in: P. Madhusudan, S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
LibreCat: /record/3182
DOI: 10.1007/978-3-642-31424-7_21

Computer science and society as a field of computer science
D. Engbring, H. Selke, 5 (2012) 111–116.
LibreCat: /record/27176

User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes
F. Klompmaker,  Anke   Workowski, W. Thronicke, F. Ostermair, D. Willemsen, D. Hoffmann, in: 2012.
LibreCat: /record/27177

Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices 
F. Klompmaker, K.  Nebe, J. Eschenlohr, in: Springer, 2012.
LibreCat: /record/27179

The technical potential of digital boards
H. Selke, F. Winkelnkemper, in: J. "o rg Desel,  J \'22 o rg Haake, C. Spannagel (Eds.), 2012, pp. 171–182.
LibreCat: /record/27180

Der Qualit\'22atsstandard f\'22ur Usability Engineering der German UPA - Aktueller Stand der Arbeiten
H.G. Fischer, T. Geis, O. Kluge, C. Bogner,  Knut  Polkehn, in: German UPA, 2012.
LibreCat: /record/27181

Base Requirements for Virtual Tabletop Groupware Artifacts
M. Tobias, K. Nebe, F.  Klompmaker, in: 2012.
LibreCat: /record/27182

Collaborative work on interactive displays - design, operation and fields of application
H.G. Fischer,  Florian Klompmaker, M &; C, Humans and Computers (2012).
LibreCat: /record/27183

Das Heinz Nixdorf Institut: \'22Uber 25 Jahre interdisziplin\'22ar erfolgreich
R. Keil, in: Universit\'22at Paderborn, Paderborn, 2012, pp. 270–277.
LibreCat: /record/27184

EVALUATION OF WHOLE-BODY NAVIGATION AND SELECTION TECHNIQUES IN IMMERSIVE 3D ENVIRONMENTS
F. Klompmaker,  Alexander  Dridger, K. Nebe, in: Proceedings of the ASME 2012 International Design Engineering Technical Conferences &; Computers and Information in Engineering Conference, ASME, 2012.
LibreCat: /record/27185

Integrating Usability Engineering in the Software Development Lifecycle Based on International Standards
H.G. Fischer, in: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark, 2012, pp. 321–324.
LibreCat: /record/27187

Summary and Outlook
R. Keil, H.-J. "u rgen Metternich,  Steffan Ritzenhoff, in: R. Keil, H.-J. "u rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 112–115.
LibreCat: /record/27188

Durchl  "a ssigkeitsorientierte Bildung
R. Keil,  Dominik Niehus, D. Ossenschmidt, in: R. Keil, H.-J. "u rgen Metternich, S.  Ritzenhoff (Eds.), 2012, pp. 80–94.
LibreCat: /record/27189

Automatic emotion recognition - technologies, interpretation and applications
M. Brand, F. Klompmaker, P. Schleining, F. Weiss, Computer Science Spectrum 35 (2012).
LibreCat: /record/27190

Passability in education - a challenge for \'22 u r the future
Reinhard  Keil,  Hans-J  "u rgen Metternich, S. Ritzenhoff, in: R. Keil, H.-J. "u rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 15–17.
LibreCat: /record/27191

Enriching Disaster Control Management based on Human-Centered Design
H.G. Fischer, F. Klompmaker, in: Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Vancouver, Kanada, 2012.
LibreCat: /record/27192

German UPA Qualit\'22atsstandard f\'22ur Usability Engineering
K. Behrenbruch, C. Bogner, H.G. Fischer, T. Geis, C. Geitner,  R\'22udiger Heimg\'22artner, B. Hofmann,  Peter Hunkirchen, O. Kluge, B.  Litzenberg,  Rolf  Molich, K. Polkehn, Y. Pysarenko,  Dirk Zimmermann, German UPA Qualit\'22atsstandard F\'22ur Usability Engineering, German UPA e.V. (Hrsg.), 2012.
LibreCat: /record/27193

Learning scenarios for school 2.0
M. Jakoblew, D.  Niehus, H. Selke, in: N. Apostolopoulos, U. Mu  ss  mann, W. Coy,  Andreas Schwill (Eds.), Waxmann Verlag, M  "u nster, 2012, pp. 281–297.
LibreCat: /record/27194

E-learning strategies: best practice or careful structural renewal?
Reinhard  Keil, C. Schild, F. Winkelnkemper, in:  Nicolas Apostolopoulos, U.  Mu  ss mann, W. Coy, A. Schwill (Eds.), 2012, pp. 137–155.
LibreCat: /record/27195

dSensingNI – A Framework for Advanced Tangible Interaction using a Depth Camera
F. Klompmaker, K.  Nebe, A. Fast, in: ACM Press, 2012, pp. 217–224.
LibreCat: /record/27196