@inproceedingsSchellhorn_Wehrheim_Derrick_2012, series=Lecture Notes in Computer Science, title=How to Prove Algorithms Linearisable, DOI=10.1007/978-3-642-31424-7_21, booktitle=Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, author=Schellhorn, Gerhard and Wehrheim, Heike and Derrick, John, editor=Madhusudan, P. and A. Seshia, SanjitEditors, year=2012, pages=243--259, collection=Lecture Notes in Computer Science 

@articleEngbring_Selke_2012, series=Commentarii informaticae didacticae, title=Computer science and society as a field of computer science, volume=5, publisher=Universit   "a tsverlag Potsda, author=Engbring, Dieter and Selke, Harald, editor=Forbrig, Peter and  Rick, Detlef and  Schmolitzky, Axel, year=2012, pages=111–116, collection=Commentarii informaticae didacticae 

@inproceedingsKlompmaker _Workowski_Thronicke_Ostermair_Willemsen_Hoffmann_2012, title=User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes, author=Klompmaker, Florian and  Workowski,  Anke  and Thronicke, Wolfgang  and Ostermair, Florian and Willemsen, Detlev and Hoffmann, D, year=2012 

@inproceedingsKlompmaker _Nebe_Eschenlohr_2012, title=Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices , publisher=Springer, author=Klompmaker, Florian and  Nebe, Karsten and Eschenlohr, Julien, year=2012 

@inproceedingsSelke_Winkelnkemper_2012, title=The technical potential of digital boards, author=Selke, Harald and Winkelnkemper, Felix, editor=Desel, J  "o rg and Haake,  J \'22 o rg and Spannagel, Christian, year=2012, pages=171–182 

@inproceedingsFischer_Geis_Kluge_Bogner _Polkehn_2012, title=Der Qualit\'22atsstandard f\'22ur Usability Engineering der German UPA - Aktueller Stand der Arbeiten, publisher=German UPA, author=Fischer, Holger Gerhard and Geis, Thomas  and Kluge, Oliver and Bogner, Christian and  Polkehn,  Knut, year=2012 

@inproceedingsTobias_Nebe _Klompmaker_2012, title=Base Requirements for Virtual Tabletop Groupware Artifacts, author=Tobias, M\'22uller and Nebe, Karsten and  Klompmaker, Florian, year=2012 

@articleFischer_Klompmaker_2012, title=Collaborative work on interactive displays - design, operation and fields of application, journal=M &; C, humans and computers, author=Fischer, Holger Gerhard and Klompmaker,  Florian, year=2012 

@inproceedingsKeil_2012, place=Paderborn, title=Das Heinz Nixdorf Institut: \'22Uber 25 Jahre interdisziplin\'22ar erfolgreich, publisher=Universit\'22at Paderborn, author=Keil, Reinhard, year=2012, pages=270–277 

@inproceedingsKlompmaker_Dridger_Nebe_2012, title=EVALUATION OF WHOLE-BODY NAVIGATION AND SELECTION TECHNIQUES IN IMMERSIVE 3D ENVIRONMENTS, booktitle=Proceedings of the ASME 2012 International Design Engineering Technical Conferences &; Computers and Information in Engineering Conference, publisher=ASME, author=Klompmaker, Florian and Dridger,  Alexander  and Nebe, Karsten, year=2012 

@inproceedingsFischer_2012, title=Integrating Usability Engineering in the Software Development Lifecycle Based on International Standards, booktitle=Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark, author=Fischer, Holger Gerhard, year=2012, pages=321–324 

@inproceedingsKeil_Metternich_Ritzenhoff_2012, title=Summary and Outlook, author=Keil, Reinhard  and Metternich, Hans-J  "u rgen and Ritzenhoff,  Steffan, editor=Keil, Reinhard and Metternich, Hans- J  "u rgen and Ritzenhoff, Steffan, year=2012, pages=112–115 

@inproceedingsKeil_Niehus_Ossenschmidt_2012, title=Durchl  "a ssigkeitsorientierte Bildung, author=Keil, Reinhard  and Niehus,  Dominik and Ossenschmidt, Daniel, editor=Keil, Reinhard and Metternich, Hans-J  "u rgen and  Ritzenhoff, Steffan, year=2012, pages=80–94 

@articleBrand_Klompmaker_Schleining_Weiss_2012, title=Automatic emotion recognition - technologies, interpretation and applications, volume=35, number=2, journal=Computer science spectrum, author=Brand, Marcel and Klompmaker, Florian  and Schleining, Peter  and Weiss, Fabian, year=2012 

@inproceedingsKeil_Metternich_Ritzenhoff_2012, title=Passability in education - a challenge for \'22 u r the future, author=Keil,  Reinhard  and Metternich,  Hans-J  "u rgen and Ritzenhoff, Steffan, editor=Keil, Reinhard  and Metternich, Hans-J  "u rgen  and Ritzenhoff, Steffan, year=2012, pages=15–17 

@inproceedingsFischer_Klompmaker_2012, title=Enriching Disaster Control Management based on Human-Centered Design, booktitle=Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Vancouver, Kanada, author=Fischer, Holger Gerhard and Klompmaker, Florian, year=2012 

@bookBehrenbruch_Bogner_Fischer_Geis_Geitner_Heimg\'22artner_Hofmann_Hunkirchen_Kluge _Litzenberg_et al._2012, place=German UPA e.V. (Hrsg.), title=German UPA Qualit\'22atsstandard f\'22ur Usability Engineering, author=Behrenbruch, Kay and Bogner, Christian and Fischer, Holger Gerhard and Geis, Thomas  and Geitner, Claudia and Heimg\'22artner,  R\'22udiger and Hofmann, Britta and Hunkirchen,  Peter and Kluge, Oliver and  Litzenberg, Britta and et al., year=2012 

@inproceedingsJakoblew _Niehus_Selke_2012, title=Learning scenarios for school 2.0, publisher=Waxmann Verlag, M  "u nster, author=Jakoblew, Marcel and  Niehus, Dominik  and Selke, Harald, editor=Apostolopoulos, Nicolas and Mu  ss  mann, Ulrike and Coy, Wolfgang and Schwill,  Andreas, year=2012, pages=281–297 

@inproceedingsKeil_Schild_Winkelnkemper_2012, title=E-learning strategies: best practice or careful structural renewal?, author=Keil,  Reinhard  and Schild, Christian and Winkelnkemper, Felix, editor=Apostolopoulos,  Nicolas and  Mu  ss mann, Ulrike and Coy, Wolfgang and Schwill, Andreas, year=2012, pages=137–155 

@inproceedingsKlompmaker _Nebe_Fast_2012, title=dSensingNI – A Framework for Advanced Tangible Interaction using a Depth Camera, publisher=ACM Press, author=Klompmaker, Florian and  Nebe, Karsten and Fast, Alex, year=2012, pages=217–224