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

Engbring, D., &; Selke, H. (2012). Computer science and society as a field of computer science (P. Forbrig, D.  Rick, &; A.  Schmolitzky, Eds.; Vol. 5, pp. 111–116). Universit   "a tsverlag Potsda.
LibreCat: /record/27176

Klompmaker, F.,  Workowski,  Anke , Thronicke, W., Ostermair, F., Willemsen, D., &; Hoffmann, D. (2012). User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes. 3rd International Conference on Wireless Mobile Communication and Healthcare.
LibreCat: /record/27177

Klompmaker, F.,  Nebe, K., &; Eschenlohr, J. (2012). Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices . Fourth International Conference on Mobile Computing, Applications and Services.
LibreCat: /record/27179

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

Fischer, H. G., Geis, T., Kluge, O., Bogner, C., &;  Polkehn,  Knut. (2012). Der Qualit\'22atsstandard f\'22ur Usability Engineering der German UPA - Aktueller Stand der Arbeiten. Brau, H. et al. (Hrsg.): Jahresband Usability Professionals 2012.
LibreCat: /record/27181

Tobias, M., Nebe, K., &;  Klompmaker, F. (2012). Base Requirements for Virtual Tabletop Groupware Artifacts. Kollaboratives Arbeiten an interaktiven Displays, Workshop im Rahmen der Mensch und Computer 2012.
LibreCat: /record/27182

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

Keil, R. (2012). Das Heinz Nixdorf Institut: \'22Uber 25 Jahre interdisziplin\'22ar erfolgreich. 270–277.
LibreCat: /record/27184

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

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

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

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

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

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

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

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

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

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

Klompmaker, F.,  Nebe, K., &; Fast, A. (2012). dSensingNI – A Framework for Advanced Tangible Interaction using a Depth Camera. 217–224.
LibreCat: /record/27196