Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9825 Publications
2012 | Conference Paper | LibreCat-ID: 3182
Schellhorn, Gerhard, Heike Wehrheim, and John Derrick. “How to Prove Algorithms Linearisable.” In Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, edited by P. Madhusudan and Sanjit A. Seshia, 243--259. Lecture Notes in Computer Science, 2012. https://doi.org/10.1007/978-3-642-31424-7_21.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 27176
Engbring, Dieter, and Harald Selke. “Computer Science and Society as a Field of Computer Science.” Edited by Peter Forbrig, Detlef Rick, and Axel Schmolitzky. Commentarii Informaticae Didacticae. Universit { \ "a} tsverlag Potsda, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27177
Klompmaker, Florian, Anke Workowski, Wolfgang Thronicke, Florian Ostermair, Detlev Willemsen, and D Hoffmann. “User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes,” 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27179
Klompmaker, Florian, Karsten Nebe, and Julien Eschenlohr. “Towards Multimodal 3D Tabletop Interaction Using Sensor Equipped Mobile Devices .” Springer, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27180
Selke, Harald, and Felix Winkelnkemper. “The Technical Potential of Digital Boards.” edited by J {\ "o} rg Desel, J {\" o} rg Haake, and Christian Spannagel, 171–82, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27181
Fischer, Holger Gerhard, Thomas Geis, Oliver Kluge, Christian Bogner, and Knut Polkehn. “Der Qualit{\"a}tsstandard F{\"u}r Usability Engineering Der German UPA - Aktueller Stand Der Arbeiten.” German UPA, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27182
Tobias, M{\"u}ller, Karsten Nebe, and Florian Klompmaker. “Base Requirements for Virtual Tabletop Groupware Artifacts,” 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 27183
Fischer, Holger Gerhard, and Florian Klompmaker. “Collaborative Work on Interactive Displays - Design, Operation and Fields of Application.” M & C, Humans and Computers, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27184
Keil, Reinhard. “Das Heinz Nixdorf Institut: {\"U}ber 25 Jahre Interdisziplin{\"a}r Erfolgreich,” 270–77. Paderborn: Universit{\"a}t Paderborn, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27185
Klompmaker, Florian, Alexander Dridger, and Karsten Nebe. “EVALUATION OF WHOLE-BODY NAVIGATION AND SELECTION TECHNIQUES IN IMMERSIVE 3D ENVIRONMENTS.” In Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference. ASME, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27187
Fischer, Holger Gerhard. “Integrating Usability Engineering in the Software Development Lifecycle Based on International Standards.” In Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark, 321–24, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27188
Keil, Reinhard , Hans-J {\ "u} rgen Metternich, and Steffan Ritzenhoff. “Summary and Outlook.” edited by Reinhard Keil, Hans- J {\ "u} rgen Metternich, and Steffan Ritzenhoff, 112–15, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27189
Keil, Reinhard , Dominik Niehus, and Daniel Ossenschmidt. “Durchl {\ "a} Ssigkeitsorientierte Bildung.” edited by Reinhard Keil, Hans-J {\ "u} rgen Metternich, and Steffan Ritzenhoff, 80–94, 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 27190
Brand, Marcel, Florian Klompmaker, Peter Schleining, and Fabian Weiss. “Automatic Emotion Recognition - Technologies, Interpretation and Applications.” Computer Science Spectrum 35, no. 2 (2012).
LibreCat
2012 | Conference Paper | LibreCat-ID: 27191
Keil, Reinhard , Hans-J {\ "u} rgen Metternich, and Steffan Ritzenhoff. “Passability in Education - a Challenge for {\" U} r the Future.” edited by Reinhard Keil, Hans-J {\ "u} rgen Metternich, and Steffan Ritzenhoff, 15–17, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27192
Fischer, Holger Gerhard, and Florian Klompmaker. “Enriching Disaster Control Management Based on Human-Centered Design.” In Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Vancouver, Kanada, 2012.
LibreCat
2012 | Report | LibreCat-ID: 27193
Behrenbruch, Kay, Christian Bogner, Holger Gerhard Fischer, Thomas Geis, Claudia Geitner, R{\"u}diger Heimg{\"a}rtner, Britta Hofmann, et al. German UPA Qualit{\"a}tsstandard F{\"u}r Usability Engineering. German UPA e.V. (Hrsg.), 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27194
Jakoblew, Marcel, Dominik Niehus, and Harald Selke. “Learning Scenarios for School 2.0.” edited by Nicolas Apostolopoulos, Ulrike Mu {\ ss } mann, Wolfgang Coy, and Andreas Schwill, 281–97. Waxmann Verlag, M {\ "u} nster, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27195
Keil, Reinhard , Christian Schild, and Felix Winkelnkemper. “E-Learning Strategies: Best Practice or Careful Structural Renewal?” edited by Nicolas Apostolopoulos, Ulrike Mu {\ ss} mann, Wolfgang Coy, and Andreas Schwill, 137–55, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 27196
Klompmaker, Florian, Karsten Nebe, and Alex Fast. “DSensingNI – A Framework for Advanced Tangible Interaction Using a Depth Camera,” 217–24. ACM Press, 2012.
LibreCat