@inproceedings{3134, author = {{Hofheinz, Dennis and Jager, Tibor}}, booktitle = {{Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings}}, pages = {{590----607}}, title = {{{Tightly Secure Signatures and Public-Key Encryption}}}, doi = {{10.1007/978-3-642-32009-5_35}}, year = {{2012}}, } @inproceedings{3135, author = {{Jager, Tibor and Schinzel, Sebastian and Somorovsky, Juraj}}, booktitle = {{Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings}}, pages = {{752----769}}, title = {{{Bleichenbacher's Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption}}}, doi = {{10.1007/978-3-642-33167-1_43}}, year = {{2012}}, } @inproceedings{3136, author = {{Hofheinz, Dennis and Jager, Tibor and Knapp, Edward}}, booktitle = {{Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings}}, pages = {{66----83}}, title = {{{Waters Signatures with Optimal Security Reduction}}}, doi = {{10.1007/978-3-642-30057-8_5}}, year = {{2012}}, } @article{3180, author = {{Travkin, Oleg and Wehrheim, Heike and Schellhorn, Gerhard}}, journal = {{{ECEASST}}}, title = {{{Proving Linearizability of Multiset with Local Proof Obligations}}}, year = {{2012}}, } @article{3181, author = {{Ruhroth, Thomas and Wehrheim, Heike}}, journal = {{Sci. Comput. Program.}}, number = {{3}}, pages = {{270----289}}, title = {{{Model evolution and refinement}}}, doi = {{10.1016/j.scico.2011.04.007}}, year = {{2012}}, } @inproceedings{3182, author = {{Schellhorn, Gerhard and Wehrheim, Heike and Derrick, John}}, booktitle = {{Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}}, editor = {{Madhusudan, P. and A. Seshia, Sanjit}}, pages = {{243----259}}, title = {{{How to Prove Algorithms Linearisable}}}, doi = {{10.1007/978-3-642-31424-7_21}}, year = {{2012}}, } @inproceedings{27176, abstract = {{In this article we report on the experiences of a redesigned teaching in the field of computer science and society (IuG). The reasons for the redesign and the concept are outlined. We have condensed our experiences into theses: 1. Computer science and society should be a compulsory course in the bachelor's degree, in which students get an overview of which social framework conditions are relevant for them and how they can be incorporated into practice. 2. Historical contents of computer science are to be processed here by considering current developments in the context of their genesis. }}, author = {{Engbring, Dieter and Selke, Harald}}, editor = {{Forbrig, Peter and Rick, Detlef and Schmolitzky, Axel}}, pages = {{111--116}}, publisher = {{Universit { \ "a} tsverlag Potsda}}, title = {{{Computer science and society as a field of computer science}}}, volume = {{5}}, year = {{2012}}, } @inproceedings{27177, author = {{Klompmaker, Florian and Workowski, Anke and Thronicke, Wolfgang and Ostermair, Florian and Willemsen, Detlev and Hoffmann, D}}, title = {{{User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes}}}, year = {{2012}}, } @inproceedings{27179, author = {{Klompmaker, Florian and Nebe, Karsten and Eschenlohr, Julien}}, publisher = {{Springer}}, title = {{{Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices }}}, year = {{2012}}, } @inproceedings{27180, abstract = {{This article explains the technical potential of digital boards with which more and more schools are being equipped. A consideration of current usage scenarios of these interactive whiteboards shows that a large part of this potential is still unused and the deficits of the software often have to be circumvented with tricks, especially for use in demanding, student-oriented lessons. Finally, the further development of existing teaching scenarios using this technical potential shows that considering the technical possibilities of digital boards can motivate new didactic scenarios. }}, author = {{Selke, Harald and Winkelnkemper, Felix}}, editor = {{Desel, J {\ "o} rg and Haake, J {\" o} rg and Spannagel, Christian}}, pages = {{171--182}}, title = {{{The technical potential of digital boards}}}, year = {{2012}}, } @inproceedings{27181, author = {{Fischer, Holger Gerhard and Geis, Thomas and Kluge, Oliver and Bogner, Christian and Polkehn, Knut}}, publisher = {{German UPA}}, title = {{{Der Qualit{\"a}tsstandard f{\"u}r Usability Engineering der German UPA - Aktueller Stand der Arbeiten}}}, year = {{2012}}, } @inproceedings{27182, author = {{Tobias, M{\"u}ller and Nebe, Karsten and Klompmaker, Florian}}, title = {{{Base Requirements for Virtual Tabletop Groupware Artifacts}}}, year = {{2012}}, } @article{27183, author = {{Fischer, Holger Gerhard and Klompmaker, Florian}}, journal = {{M & C, humans and computers}}, title = {{{Collaborative work on interactive displays - design, operation and fields of application}}}, year = {{2012}}, } @inproceedings{27184, author = {{Keil, Reinhard}}, pages = {{270--277}}, publisher = {{Universit{\"a}t Paderborn}}, title = {{{Das Heinz Nixdorf Institut: {\"U}ber 25 Jahre interdisziplin{\"a}r erfolgreich}}}, year = {{2012}}, } @inproceedings{27185, abstract = {{Since 2010 when the Microsoft Kinect with its integrated depth-sensing camera appeared on the market, completely new kinds of interaction techniques have been integrated into console games. They don’t require any instrumentalization and no complicated calibration or time-consuming setup anymore. But even having these benefits, some drawbacks exist. Most games only enable the user to fulfill very simple gestures like waving, jumping or stooping, which is not the natural behavior of a user. In addition the depth-sensing technology lacks of haptic feedback. Of course we cannot solve the lack of haptic feedback, but we want to improve the whole-body interaction. Our goal is to develop 3D interaction techniques that give a maximum of freedom to the user and enable her to perform precise and immersive interactions. This work focuses on whole-body interaction in immersive virtual environments. We present 3D interaction techniques that provide the user with a maximum of freedom and enables her to operate precisely and immersive in virtual environments. Furthermore we present a user study, in which we analyzed how Navigation and Manipulation techniques can be performed by users’ body-interaction using a depth-sensing camera and a huge projection screen. Therefore three alternative approaches have been developed and tested: classical gamepad interaction, an indirect pointer-based interaction and a more direct whole- body interaction technique. We compared their effectiveness and preciseness. It turned out that users act faster, while using the gamepad, but generate significantly more errors at the same time. Using depth-sensing based whole-body interaction techniques it became apparent, that the interaction is much more immersive, natural and intuitive, even if slower. We will show the advantages of our approach and how it can be used in various domains, more effectively and efficiently for their users.}}, author = {{Klompmaker, Florian and Dridger, Alexander and Nebe, Karsten}}, booktitle = {{Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference}}, publisher = {{ASME}}, title = {{{EVALUATION OF WHOLE-BODY NAVIGATION AND SELECTION TECHNIQUES IN IMMERSIVE 3D ENVIRONMENTS}}}, year = {{2012}}, } @inproceedings{27187, author = {{Fischer, Holger Gerhard}}, booktitle = {{Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark}}, pages = {{321--324}}, title = {{{Integrating Usability Engineering in the Software Development Lifecycle Based on International Standards}}}, year = {{2012}}, } @inproceedings{27189, author = {{Keil, Reinhard and Niehus, Dominik and Ossenschmidt, Daniel}}, editor = {{Keil, Reinhard and Metternich, Hans-J {\ "u} rgen and Ritzenhoff, Steffan}}, pages = {{80--94}}, title = {{{Durchl {\ "a} ssigkeitsorientierte Bildung}}}, year = {{2012}}, } @article{27190, author = {{Brand, Marcel and Klompmaker, Florian and Schleining, Peter and Weiss, Fabian}}, journal = {{Computer science spectrum}}, number = {{2}}, title = {{{Automatic emotion recognition - technologies, interpretation and applications}}}, volume = {{35}}, year = {{2012}}, } @inproceedings{27192, author = {{Fischer, Holger Gerhard and Klompmaker, Florian}}, booktitle = {{Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Vancouver, Kanada}}, title = {{{Enriching Disaster Control Management based on Human-Centered Design}}}, year = {{2012}}, } @techreport{27193, author = {{Behrenbruch, Kay and Bogner, Christian and Fischer, Holger Gerhard and Geis, Thomas and Geitner, Claudia and Heimg{\"a}rtner, R{\"u}diger and Hofmann, Britta and Hunkirchen, Peter and Kluge, Oliver and Litzenberg, Britta and Molich, Rolf and Polkehn, Knut and Pysarenko, Yuliya and Zimmermann, Dirk}}, title = {{{German UPA Qualit{\"a}tsstandard f{\"u}r Usability Engineering}}}, year = {{2012}}, }