Stern, Claudius, et al. “Efficient Alignment of Aerial Images Based on Virtual Forces.” Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS), IEEE Xplore, 2012.

Jungmann, Alexander, et al. “Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems.” Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE), Xpert Publishing Services, 2012.

Grösbrink, Stefan, et al. “Dynamic Resource Management for Virtualized Mixed-Criticality Systems.” Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012), 2012.

Oliveira, Marcio F., et al. “A SystemC Library for Advanced TLM Verification.” Proceeding of Design and Verification Conference (DVCON), 2012.

Nascimento, Francisco A. M., et al. “A Model-Driven Engineering Framework for Embedded Systems Design.” Innovations in Systems and Software Engineering 8, 2012, pp. 19–33.

Becker, Markus, et al. “MOUSSE: Scaling MOdelling and Verification to Complex HeterogeneoUS Embedded Systems Evolution.” Design, Automation and Test in Europe (DATE 2012), 2012.

Becker, Markus, et al. “XEMU: A QEMU Based Binary Mutation Testing Framework.” Design, Automation and Test in Europe DATE, 2012.

Mauerer, Wolfgang, et al. “Real-Time Android: Deterministic Ease of Use.” Proceedings of Embedded World Conference, 2012.

Jungmann, Alexander, et al. “Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot.” Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP),  INSTICC PRESS, 2012, pp. 441–44.

Bin Tariq, Fahad. “Deterministic Runtime Adaptation for Hard Real-Time Embedded Systems with Processing Constraints.” Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, 2012.

Mathews, Emi, and Hannes Frey. “A Localized Link Removal and Addition Based Planarization Algorithm.” 13th International Conference On Distributed Computing And Networking (ICDCN), Springer, 2012.

Mathews, Emi, and Ciby Mathew. “Deployment of Mobile Routers Ensuring Coverage and Connectivity.” International Journal of Computer Networks and Communications 4(1), 2012, pp. 175–92.

Müller, Wolfgang, et al. “Virtual Prototyping of Cyber-Physical Systems.” In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012, 2012.

Khaluf, Yara, et al. “Swarm Robotic Time Synchronization for Object Tracking.” Self-Organization in Embedded Real-Time Systems, edited by M. Theresa Higuera-Toledano et al., Springer, 2012, pp. 75–92.

Rammig, Franz-Josef. “Biologically Inspired Information Technology: Towards a Cyber Biosphere.” Schemata Und Praktiken, edited by Tobias Conradi et al., Wilhelm Fink Verlag, 2012, pp. 141–60.

Bin Tariq, Fahad, and Sandeep Korrapati. “Adaptive Web Services for Modular and Reusable Software Development.” Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems,  IGI Global, 2012, pp. 263–76.

Jungmann, Alexander, and Bernd Kleinjohann. “Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition.” Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), Xpert Publishing Services, 2012, pp. 43–47.

Jungmann, Alexander, and Bernd Kleinjohann. “Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition.” Proceedings of the 9th IEEE International Conference on Services Computing (SCC), IEEE, 2012.

Khaluf, Yara, et al. “Master Election for Time Synchronization in Swarm Robotic Systems.” The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, 2012.

Mathews, Emi, and Ciby Mathew. “Connectivity of Autonomous Agents Using Ad-Hoc Mobile Router Networks.” Third International Conference on Networks &; Communications, LNICST, Springer, 2012.

Wachsmuth, Henning, and Benno Stein. “Optimal Scheduling of Information Extraction Algorithms.” Proceedings of COLING 2012: Posters, 2012, pp. 1281–90.

Kakvi, Saqib, et al. “Certifying RSA.”10.1007/978-3-642-34961-4_25__Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, 2012, pp. 404–14, doi:10.1007/978-3-642-34961-4_25.

Kakvi, Saqib, and Eike Kiltz. “Optimal Security Proofs for Full Domain Hash, Revisited.”10.1007/978-3-642-29011-4_32__Advances in Cryptology – EUROCRYPT 2012, Springer Berlin Heidelberg, 2012, pp. 537–53, doi:10.1007/978-3-642-29011-4_32.

Ackermann, Marcel Rudolf, et al. StreamKM++: A Clustering Algorithm for Data Streams. Vol. 17, ACM, 2012, doi:10.1145/2133803.2184450.

Blömer, Johannes. “Turing Und Kryptografie.”10.1007/s00287-012-0622-7__Informatik-Spektrum, vol. 35, no. 4, 2012, doi:10.1007/s00287-012-0622-7.

Jager, Tibor. On Black-Box Models of Computation in Cryptology. Ruhr University Bochum, 2012.

Jager, Tibor, et al. “On the Security of TLS-DHE in the Standard Model.”10.1007/978-3-642-32009-5_17__Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 273--293, doi:10.1007/978-3-642-32009-5_17.

Hofheinz, Dennis, and Tibor Jager. “Tightly Secure Signatures and Public-Key Encryption.”10.1007/978-3-642-32009-5_35__Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 590--607, doi:10.1007/978-3-642-32009-5_35.

Jager, Tibor, et al. “Bleichenbacher’s Attack Strikes Again: Breaking PKCS .5 in XML Encryption.”10.1007/978-3-642-33167-1_43__Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, 2012, pp. 752--769, doi:10.1007/978-3-642-33167-1_43.

Hofheinz, Dennis, et al. “Waters Signatures with Optimal Security Reduction.”10.1007/978-3-642-30057-8_5__Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings, 2012, pp. 66--83, doi:10.1007/978-3-642-30057-8_5.

Travkin, Oleg, et al. “Proving Linearizability of Multiset with Local Proof Obligations.” ECEASST, 2012.

Ruhroth, Thomas, and Heike Wehrheim. “Model Evolution and Refinement.”10.1016/j.scico.2011.04.007__Sci. Comput. Program., no. 3, 2012, pp. 270--289, doi:10.1016/j.scico.2011.04.007.

Schellhorn, Gerhard, et al. “How to Prove Algorithms Linearisable.”10.1007/978-3-642-31424-7_21__Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, edited by P. Madhusudan and Sanjit A. Seshia, 2012, pp. 243--259, doi:10.1007/978-3-642-31424-7_21.

Engbring, Dieter, and Harald Selke. Computer Science and Society as a Field of Computer Science. Edited by Peter Forbrig et al., vol. 5, Universit   "a tsverlag Potsda, 2012, pp. 111–16.

Klompmaker, Florian, et al. User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes. 2012.

Klompmaker, Florian, et al. Towards Multimodal 3D Tabletop Interaction Using Sensor Equipped Mobile Devices . Springer, 2012.

Selke, Harald, and Felix Winkelnkemper. The Technical Potential of Digital Boards. Edited by J  "o rg Desel et al., 2012, pp. 171–82.

Fischer, Holger Gerhard, et al. Der Qualit\'22atsstandard F\'22ur Usability Engineering Der German UPA - Aktueller Stand Der Arbeiten. German UPA, 2012.

Tobias, M\'22uller, et al. Base Requirements for Virtual Tabletop Groupware Artifacts. 2012.

Fischer, Holger Gerhard, and  Florian Klompmaker. “Collaborative Work on Interactive Displays - Design, Operation and Fields of Application.” M &; C, Humans and Computers, 2012.

Keil, Reinhard. Das Heinz Nixdorf Institut: \'22Uber 25 Jahre Interdisziplin\'22ar Erfolgreich. Universit\'22at Paderborn, 2012, pp. 270–77.

Klompmaker, Florian, et al. “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, ASME, 2012.

Fischer, Holger Gerhard. “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, 2012, pp. 321–24.

Keil, Reinhard, et al. Summary and Outlook. Edited by Reinhard Keil et al., 2012, pp. 112–15.

Keil, Reinhard, et al. Durchl  "a Ssigkeitsorientierte Bildung. Edited by Reinhard Keil et al., 2012, pp. 80–94.

Brand, Marcel, et al. “Automatic Emotion Recognition - Technologies, Interpretation and Applications.” Computer Science Spectrum, vol. 35, no. 2, 2012.

Keil,  Reinhard , et al. Passability in Education - a Challenge for \'22 U r the Future. Edited by Reinhard  Keil et al., 2012, pp. 15–17.

Fischer, Holger Gerhard, and Florian Klompmaker. “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, 2012.

Behrenbruch, Kay, et al. German UPA Qualit\'22atsstandard F\'22ur Usability Engineering. 2012.

Jakoblew, Marcel, et al. Learning Scenarios for School 2.0. Edited by Nicolas Apostolopoulos et al., Waxmann Verlag, M  "u nster, 2012, pp. 281–97.