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.

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

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.

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

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.

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.

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

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

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

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.

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.

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.

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.

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

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.

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.

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.

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.

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.

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