@inproceedingsBecker_Kuznik_Joy_Xie_Müller_2012, title=Binary Mutation Testing Through Dynamic Translation, booktitle= 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), author=Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel Mary and Xie, Tao and Müller, Wolfgang, year=2012 
LibreCat: /record/26022

@inproceedingsHe_Müller_2012, title=Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms, booktitle=Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012), publisher=IEEE Xplore, author=He, Da and Müller, Wolfgang, year=2012 
LibreCat: /record/26023

@inproceedingsRadke_Rülke_Oliveira_Kuznik_Müller_Ecker_Esen_Hufnagel_Bannow_Oetjens_et al._2012, title=Compilation of Methodologies to Speed up the Verification Process at System Level, booktitle=edaWorkshop 12, author=Radke, Stephan and Rülke, Steffen and Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and Ecker, Wolfgang and Esen, Volkan and Hufnagel, Simon and Bannow, Nico and Oetjens, Jan-Hendrik and et al., year=2012 
LibreCat: /record/26024

@inbookMontealegre_Hagenkötter_2012, title=Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks, booktitle=Journal of Intelligent Manufacturing 23(3), publisher=Published online on June 2010, author=Montealegre, Norma and Hagenkötter, Sebastian, year=2012, pages=699–715 
LibreCat: /record/26025

@inproceedingsGrösbrink_Oberthür_Baldin_2012, title=Towards Adaptive Resource Management for Virtualized Real-Time Systems, booktitle=4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012), author=Grösbrink, Stefan and Oberthür, Simon and Baldin, Daniel, year=2012 
LibreCat: /record/26026

@inproceedingsZhao_Rammig_2012, title=Online Model Checking for Dependable Real-time Systems, booktitle=16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, publisher= IEEE Computer Society, author=Zhao, Yuhong and Rammig, Franz-Josef, year=2012, pages=154–161 
LibreCat: /record/26027

@inproceedingsMontealegre_Rammig_2012, place=Shenzhen, China, title=Agent-Based Modeling and Simulation of Artificial Immune Systems, booktitle=Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012), author=Montealegre, Norma and Rammig, Franz-Josef, year=2012 
LibreCat: /record/26028

@inproceedingsRammig_2012, place=Ouro Preto, Brazil, title=Self-Coordination as Fundamental Concept for Cyber Physical Systems, booktitle=2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, publisher=SBC, author=Rammig, Franz-Josef, year=2012, pages=45–48 
LibreCat: /record/26029

@inproceedingsMathews_2012, title=Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks, booktitle=Ninth International Conference On Information Technologyf: New Generations (ITNG), publisher=IEEE Computer Society, author=Mathews, Emi, year=2012 
LibreCat: /record/26030

@inproceedingsHe_Müller_2012, title=Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems, booktitle=2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), publisher=IEEE Xplore, author=He, Da and Müller, Wolfgang, year=2012 
LibreCat: /record/26031

@inproceedingsStern_Rasche_Kleinjohann_Kleinjohann_2012, place=St. Maarten, Netherlands Antilles, title=Efficient Alignment of Aerial Images Based on Virtual Forces, booktitle=Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS), publisher=IEEE Xplore, author=Stern, Claudius and Rasche, Christoph and Kleinjohann, Lisa and Kleinjohann, Bernd, year=2012 
LibreCat: /record/26032

@inproceedingsJungmann_Kleinjohann_Kleinjohann_Bieshaar_2012, title=Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems, booktitle=Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE), publisher=Xpert Publishing Services, author=Jungmann, Alexander and Kleinjohann, Bernd and Kleinjohann, Lisa and Bieshaar, Maarten, year=2012 
LibreCat: /record/26034

@inproceedingsGrösbrink_Oberthür_Baldin_2012, title=Dynamic Resource Management for Virtualized Mixed-Criticality Systems, booktitle=Quo Vadis, Virtual Platforms? (in conjunction with Design, Automation and Test in Europe DATE 2012), author=Grösbrink, Stefan and Oberthür, Simon and Baldin, Daniel, year=2012 
LibreCat: /record/26035

@inproceedingsOliveira_Kuznik_Müller_Ecker_Esen_2012, title=A SystemC Library for Advanced TLM Verification, booktitle=Proceeding of Design and Verification Conference (DVCON), author=Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and Ecker, Wolfgang and Esen, Volkan, year=2012 
LibreCat: /record/26036

@articleNascimento_Oliveira_Wagner_2012, title=A model-driven engineering framework for embedded systems design, journal=Innovations in Systems and Software Engineering 8, author=Nascimento, Francisco A. M. and Oliveira, Marcio F. and Wagner, Flavio, year=2012, pages=19–33 
LibreCat: /record/26037

@inproceedingsBecker_Gnokam Defo_Müller_Fummi_Pravadelli_Vinco_2012, place=Dresden, title=MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution, booktitle=Design, Automation and Test in Europe (DATE 2012), author=Becker, Markus and Gnokam Defo, Gilles Bertrand and Müller, Wolfgang and Fummi, F. and Pravadelli, G. and Vinco, Sara, year=2012 
LibreCat: /record/26079

@inproceedingsBecker_Kuznik_Joy_Xie_Müller_2012, place=University Booth, Dresden, title=XEMU: A QEMU Based Binary Mutation Testing Framework, booktitle=Design, Automation and Test in Europe DATE, author=Becker, Markus and Kuznik, Christoph and Joy, M. tech. Mabel and Xie, Tao and Müller, Wolfgang, year=2012 
LibreCat: /record/26080

@inproceedingsMauerer_Hillier_Sawallisch_Hönick_Oberthür_2012, title=Real-Time Android: Deterministic Ease of use, booktitle=Proceedings of Embedded World Conference, author=Mauerer, Wolfgang and Hillier, Gernot and Sawallisch, Jan and Hönick, Stefan and Oberthür, Simon, year=2012 
LibreCat: /record/26081

@inproceedingsJungmann_Schierbaum_Kleinjohann_2012, title=Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot, booktitle=Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP), publisher= INSTICC PRESS, author=Jungmann, Alexander and Schierbaum, Thomas and Kleinjohann, Bernd, year=2012, pages=441–444 
LibreCat: /record/26086

@inproceedingsBin Tariq_2012, title=Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints, booktitle=Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, author=Bin Tariq, Fahad, year=2012 
LibreCat: /record/26089

@inproceedingsMathews_Frey_2012, place=The Hong Kong Polytechnic University, Hong Kong, China, title=A Localized Link Removal and Addition based Planarization Algorithm, booktitle=13th International Conference On Distributed Computing And Networking (ICDCN), publisher=Springer, author=Mathews, Emi and Frey, Hannes, year=2012 
LibreCat: /record/26090

@articleMathews_Mathew_2012, title=Deployment of mobile routers ensuring coverage and connectivity, journal=International Journal of Computer Networks and Communications 4(1), author=Mathews, Emi and Mathew, Ciby, year=2012, pages=175–192 
LibreCat: /record/26091

@inproceedingsMüller_Becker_Zabel_Elfeky_DiPasquale_2012, place=Sydney, title=Virtual Prototyping of Cyber-Physical Systems, booktitle=In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012, author=Müller, Wolfgang and Becker, Markus and Zabel, Henning and Elfeky, Ahmed and DiPasquale, Anthony, year=2012 
LibreCat: /record/26092

@inbookKhaluf_Mathews_Rammig_2012, place=New York, Heidelberg, Dordrecht, London, title=Swarm Robotic Time Synchronization for Object Tracking, booktitle=Self-Organization in Embedded Real-Time Systems, publisher=Springer, author=Khaluf, Yara and Mathews, Emi and Rammig, Franz-Josef, editor=Higuera-Toledano, M. Theresa and Brinkschulte, Uwe and Rettberg, Achim, year=2012, pages=75–92 
LibreCat: /record/26093

@inbookRammig_2012, place=München, title=Biologically Inspired Information Technology: Towards a Cyber Biosphere, booktitle=Schemata und Praktiken, publisher=Wilhelm Fink Verlag, author=Rammig, Franz-Josef, editor=Conradi, Tobias and Ecker, Gisela and Eke, Norbert Otto and Muhle, Florian, year=2012, pages=141–160 
LibreCat: /record/26094

@inbookBin Tariq_Korrapati_2012, title=Adaptive Web Services for Modular and Reusable Software Development, booktitle=Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, publisher= IGI Global, author=Bin Tariq, Fahad and Korrapati, Sandeep, year=2012, pages=263–276 
LibreCat: /record/26102

@inproceedingsJungmann_Kleinjohann_2012, title=Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition, booktitle=Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), publisher=Xpert Publishing Services, author=Jungmann, Alexander and Kleinjohann, Bernd, year=2012, pages=43–47 
LibreCat: /record/26181

@inproceedingsJungmann_Kleinjohann_2012, title=Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition, booktitle=Proceedings of the 9th IEEE International Conference on Services Computing (SCC), publisher=IEEE, author=Jungmann, Alexander and Kleinjohann, Bernd, year=2012 
LibreCat: /record/26190

@inproceedingsKhaluf_Weiss_Micus_2012, place= Leganés, Madrid, title=Master Election for Time Synchronization in Swarm Robotic Systems, booktitle=The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, author=Khaluf, Yara and Weiss, Fabian and Micus, Sebastian, year=2012 
LibreCat: /record/26212

@inproceedingsMathews_Mathew_2012, place=Bangalore, India, title=Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks, booktitle=Third International Conference on Networks &; Communications, LNICST, publisher=Springer, author=Mathews, Emi and Mathew, Ciby, year=2012 
LibreCat: /record/26264

@inproceedingsWachsmuth_Stein_2012, title=Optimal Scheduling of Information Extraction Algorithms, booktitle=Proceedings of COLING 2012: Posters, author=Wachsmuth, Henning and Stein, Benno, year=2012, pages=1281–1290 
LibreCat: /record/3812

@inbookKakvi_Kiltz_May_2012, place=Berlin, Heidelberg, title=Certifying RSA, DOI=10.1007/978-3-642-34961-4_25, booktitle=Advances in Cryptology – ASIACRYPT 2012, publisher=Springer Berlin Heidelberg, author=Kakvi, Saqib and Kiltz, Eike and May, Alexander, year=2012, pages=404–414 
LibreCat: /record/2918
DOI: 10.1007/978-3-642-34961-4_25

@inbookKakvi_Kiltz_2012, place=Berlin, Heidelberg, title=Optimal Security Proofs for Full Domain Hash, Revisited, DOI=10.1007/978-3-642-29011-4_32, booktitle=Advances in Cryptology – EUROCRYPT 2012, publisher=Springer Berlin Heidelberg, author=Kakvi, Saqib and Kiltz, Eike, year=2012, pages=537–553 
LibreCat: /record/2919
DOI: 10.1007/978-3-642-29011-4_32

@articleAckermann_Märtens_Raupach_Swierkot_Lammersen_Sohler_2012, place=New York, NY, USA, series=ACM Journal of Experimental Algorithmics, title=StreamKM++: A clustering algorithm for data streams, volume=17, DOI=10.1145/2133803.2184450, publisher=ACM, author=Ackermann, Marcel Rudolf and Märtens, Marcus and Raupach, Christoph and Swierkot, Kamil and Lammersen, Christiane and Sohler, Christian, year=2012, collection=ACM Journal of Experimental Algorithmics 
LibreCat: /record/2982
DOI: 10.1145/2133803.2184450

@articleBlömer_2012, title=Turing und Kryptografie, volume=35, DOI=10.1007/s00287-012-0622-7, number=4, journal=Informatik-Spektrum, author=Blömer, Johannes, year=2012 
LibreCat: /record/2984
DOI: 10.1007/s00287-012-0622-7

@bookJager_2012, title=On black-box models of computation in cryptology, publisher=Ruhr University Bochum, author=Jager, Tibor, year=2012 
LibreCat: /record/3132

@inproceedingsJager_Kohlar_Schäge_Schwenk_2012, title=On the Security of TLS-DHE in the Standard Model, DOI=10.1007/978-3-642-32009-5_17, booktitle=Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, author=Jager, Tibor and Kohlar, Florian and Schäge, Sven and Schwenk, Jörg, year=2012, pages=273--293 
LibreCat: /record/3133
DOI: 10.1007/978-3-642-32009-5_17

@inproceedingsHofheinz_Jager_2012, title=Tightly Secure Signatures and Public-Key Encryption, DOI=10.1007/978-3-642-32009-5_35, booktitle=Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, author=Hofheinz, Dennis and Jager, Tibor, year=2012, pages=590--607 
LibreCat: /record/3134
DOI: 10.1007/978-3-642-32009-5_35

@inproceedingsJager_Schinzel_Somorovsky_2012, title=Bleichenbacher’s Attack Strikes again: Breaking PKCS .5 in XML Encryption, DOI=10.1007/978-3-642-33167-1_43, booktitle=Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, author=Jager, Tibor and Schinzel, Sebastian and Somorovsky, Juraj, year=2012, pages=752--769 
LibreCat: /record/3135
DOI: 10.1007/978-3-642-33167-1_43

@inproceedingsHofheinz_Jager_Knapp_2012, title=Waters Signatures with Optimal Security Reduction, DOI=10.1007/978-3-642-30057-8_5, booktitle=Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings, author=Hofheinz, Dennis and Jager, Tibor and Knapp, Edward, year=2012, pages=66--83 
LibreCat: /record/3136
DOI: 10.1007/978-3-642-30057-8_5

@articleTravkin_Wehrheim_Schellhorn_2012, title=Proving Linearizability of Multiset with Local Proof Obligations, journal=ECEASST, author=Travkin, Oleg and Wehrheim, Heike and Schellhorn, Gerhard, year=2012 
LibreCat: /record/3180

@articleRuhroth_Wehrheim_2012, title=Model evolution and refinement, DOI=10.1016/j.scico.2011.04.007, number=3, journal=Sci. Comput. Program., author=Ruhroth, Thomas and Wehrheim, Heike, year=2012, pages=270--289 
LibreCat: /record/3181
DOI: 10.1016/j.scico.2011.04.007

@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 
LibreCat: /record/3182
DOI: 10.1007/978-3-642-31424-7_21

@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 
LibreCat: /record/27176

@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 
LibreCat: /record/27177

@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 
LibreCat: /record/27179

@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 
LibreCat: /record/27180

@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 
LibreCat: /record/27181

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

@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 
LibreCat: /record/27183

@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 
LibreCat: /record/27184

@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 
LibreCat: /record/27185

@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 
LibreCat: /record/27187

@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 
LibreCat: /record/27188

@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 
LibreCat: /record/27189

@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 
LibreCat: /record/27190

@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 
LibreCat: /record/27191

@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 
LibreCat: /record/27192

@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 
LibreCat: /record/27193

@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 
LibreCat: /record/27194

@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 
LibreCat: /record/27195

@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 
LibreCat: /record/27196

@inproceedingsKlompmaker_Fischer_Jung_2012, title=Authenticated Tangible Interaction using RFID and Depth-Sensing Cameras - Supporting Collaboration on Interactive Tabletops, booktitle=Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), Valencia, Spanien, author=Klompmaker,  Florian  and Fischer, Holger Gerhard and Jung, Helge, year=2012, pages=141–144 
LibreCat: /record/27197

@inproceedingsPaelke_Nebe_Geiger_Klompmaker_Fischer_2012, title=Designing Multi-Modal Map-Based Interfaces for Disaster Management, booktitle=Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), Valencia, Spanien, author=Paelke, Volker and Nebe, Karsten and Geiger,  Christian and Klompmaker, Florian and Fischer, Holger Gerhard, year=2012, pages=95–100 
LibreCat: /record/27198

@articleSelke_2012, title=Computer science and society - a lecture in the master’s degree in computer science, journal=FIfF communication, author=Selke, Harald, year=2012 
LibreCat: /record/27617

@articleKeil_Wessner_2012, title=Interdisciplinary  “a t as a challenge for \rdblquote  u r e-learning research, journal=i -com magazine f  "u r interactive and cooperative media, author=Keil, Reinhard and Wessner, Martin, year=2012 
LibreCat: /record/27618

@articleKeil_2012, title=Between innovation and suitability for everyday use - “Lernstatt Paderborn”, journal=Paderborn University  "a ts-Zeitschrift, author=Keil, Reinhard, year=2012 
LibreCat: /record/27619

@bookHolzwei  ss ig_2012, title=A coactive support approach for  "u r processes of social reality construction in product creation processes, author=Holzwei  ss ig,  Kai, year=2012 
LibreCat: /record/27620

@inproceedingsKasap_Redif_2012, title=FPGA-based design and implementation of an approximate polynomial matrix EVD algorithm, DOI=10.1109/FPT.2012.6412125, booktitle=Proc. Int. Conf. on Field Programmable Technology (ICFPT), publisher=IEEE Computer Society, author=Kasap, Server and Redif, Soydan, year=2012, pages=135–140 
LibreCat: /record/2097
DOI: 10.1109/FPT.2012.6412125

@inproceedingsFockel_Holtmann_Meyer_2012, title=Semi-automatic establishment and maintenance of valid traceability in automotive development processes, DOI=10.1109/sees.2012.6225489, booktitle=2012 Second International Workshop on Software Engineering for Embedded Systems (SEES), author=Fockel, Markus and Holtmann, Jörg and Meyer, Jan, year=2012 
LibreCat: /record/20974
DOI: 10.1109/sees.2012.6225489

@inproceedingsKasap_Redif_2012, title=FPGA implementation of a second-order convolutive blind signal separation algorithm, booktitle=Int. Architecture and Engineering Symp. (ARCHENG), author=Kasap, Server and Redif, Soydan, year=2012 
LibreCat: /record/2100

@inproceedingsWistuba_Schaefers_Platzner_2012, title=Comparison of Bayesian Move Prediction Systems for Computer Go, DOI=10.1109/CIG.2012.6374143, booktitle=Proc. IEEE Conf. on Computational Intelligence and Games (CIG), publisher=IEEE, author=Wistuba, Martin and Schaefers, Lars and Platzner, Marco, year=2012, pages=91–99 
LibreCat: /record/2103
DOI: 10.1109/CIG.2012.6374143

@inproceedingsGrunzke_Birkenheuer_Blunk_Breuers_Brinkmann_Gesing_Herres-Pawlis_Kohlbacher_Krüger_Kruse_et al._2012, title=A Data Driven Science Gateway for Computational Workflows, booktitle=Proc. UNICORE Summit, author=Grunzke, Richard and Birkenheuer, Georg and Blunk, Dirk and Breuers, Sebastian and Brinkmann, André and Gesing, Sandra and Herres-Pawlis, Sonja and Kohlbacher, Oliver and Krüger, Jens and Kruse, Martin and et al., year=2012 
LibreCat: /record/2107

@inproceedingsCohen_Nudelman_Polevoy_2012, title=On the Admission of Dependent Flows in Powerful Sensor Networks, booktitle=Infocom’2012, Orlando, Florida, author=Cohen, Reuven and Nudelman, Ilia and Polevoy, Gleb, year=2012 
LibreCat: /record/17664

@articleDolev_Scheideler_2012, title=Editorial for Algorithmic Aspects of Wireless Sensor Networks, DOI=10.1016/j.tcs.2012.07.012, journal=Theor. Comput. Sci., author=Dolev, Shlomi and Scheideler, Christian, year=2012, pages=1 
LibreCat: /record/1882
DOI: 10.1016/j.tcs.2012.07.012

@inproceedingsMonien_Scheideler_2012, series=Lecture Notes in Computer Science, title=Selfish Distributed Optimization, volume=7484, DOI=10.1007/978-3-642-32820-6_1, booktitle=Euro-Par 2012 Parallel Processing - 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings, publisher=Springer, author=Monien, Burkhard and Scheideler, Christian, year=2012, pages=1--2, collection=Lecture Notes in Computer Science 
LibreCat: /record/1884
DOI: 10.1007/978-3-642-32820-6_1

@inbookFockel_Heidl_Höfflinger_Hönninger_Holtmann_Horn_Meyer_Meyer_Schäuffele_2012, place=Berlin, Heidelberg, title=Application and Evaluation in the Automotive Domain, DOI=10.1007/978-3-642-34614-9_12, booktitle=Model-Based Engineering of Embedded Systems, author=Fockel, Markus and Heidl, Peter and Höfflinger, Jens and Hönninger, Harald and Holtmann, Jörg and Horn, Wilfried and Meyer, Jan and Meyer, Matthias and Schäuffele, Jörg, year=2012 
LibreCat: /record/20914
DOI: 10.1007/978-3-642-34614-9_12

@bookMeith_2012, title=Jamming-resistente MAC-Protokolle, author=Meith, Frank Ingo, year=2012 
LibreCat: /record/17999

@inproceedingsBiermann_Scalia_2012, title=Mobile WDM Backhaul Access Networks with Physical Inter-Base-Station Links for Coordinated Multipoint Transmission/Reception Systems, DOI=10.1109/glocom.2011.6133510, booktitle=2011 IEEE Global Telecommunications Conference - GLOBECOM 2011, publisher=IEEE, author=Biermann, T. and Scalia, L., year=2012 
LibreCat: /record/1805
DOI: 10.1109/glocom.2011.6133510

@inproceedingsChoi_Scalia_Biermann_Mizuta_2012, title=Coordinated multipoint multiuser-MIMO transmissions over backhaul-constrained mobile access networks, DOI=10.1109/pimrc.2011.6139719, booktitle=2011 IEEE 22nd International Symposium on Personal, Indoor and Mobile Radio Communications, publisher=IEEE, author=Choi, Changsoon and Scalia, Luca and Biermann, Thorsten and Mizuta, Shinj, year=2012 
LibreCat: /record/1806
DOI: 10.1109/pimrc.2011.6139719

@inproceedingsLow_Aldemir_Aziz_Dumitrescu_Anacker_2012, title=Strategy Planning of Collaborative Humanoid Soccer Robots based on Principle Solution, booktitle=Proceedings of the 1st German-Malaysian Workshop, Hannover, 27. - 29. Jun. 2012, author=Low, Cheng and Aldemir, Mustafa and Aziz, Norheliena and Dumitrescu, Roman and Anacker, Harald, year=2012 
LibreCat: /record/22936

@articleThielemans_Tsoumpas_Mustafovic_Beisel_Aguiar_Dikaios_W Jacobson_2012, title=STIR: Software for Tomographic Image Reconstruction Release 2, volume=57, DOI=10.1088/0031-9155/57/4/867, number=4, journal=Physics in Medicine and Biology, publisher=IOP Publishing, author=Thielemans, Kris and Tsoumpas, Charalampos and Mustafovic, Sanida and Beisel, Tobias and Aguiar, Pablo and Dikaios, Nikolaos and W Jacobson, Matthew, year=2012, pages=867–883 
LibreCat: /record/2172
DOI: 10.1088/0031-9155/57/4/867

@articleRedif_Kasap_2012, title=Parallel algorithm for computation of second-order sequential best rotations, volume=100, DOI=10.1080/00207217.2012.751343, number=12, journal=Int. Journal of Electronics, publisher=Taylor &; Francis, author=Redif, Soydan and Kasap, Server, year=2012, pages=1646–1651 
LibreCat: /record/2173
DOI: 10.1080/00207217.2012.751343

@articleKasap_Benkrid_2012, title=Parallel Processor Design and Implementation for Molecular Dynamics Simulations on a FPGA Parallel Computer, volume=7, number=6, journal=Journal of Computers, publisher=Academy Publishers, author=Kasap, Server and Benkrid, Khaled, year=2012, pages=1312–1328 
LibreCat: /record/2174

@articleDomik_Arens_Tünnermann_Scharlau_2012, title=Evaluierung medizinischer Volumenrendering-Algorithmen durch empirische Studien, volume=29, number=3, journal=FIfF-Kommunikation, publisher=Forum InformatikerInnen für Frieden und gesellschaftliche Verantwortung e.V., author=Domik, Gitta and Arens, Stephan and Tünnermann, Jan and Scharlau, Ingrid Rose, year=2012, pages=45–50 
LibreCat: /record/21755

@articleZhu_2012, title=Introducing Google Chart Tools and Google Maps API in Data Visualization Courses, volume=32, DOI=10.1109/MCG.2012.114, number=6, journal=IEEE Computer Graphics and Applications, publisher=IEEE, author=Zhu, Y., year=2012, pages=6–9 
LibreCat: /record/21756
DOI: 10.1109/MCG.2012.114

@articleKoning_2012, title=Teaching 3D Computer Animation to Illustrators: The Instructor as Translator and Technical Director, volume=32, DOI=10.1109/MCG.2012.106, number=5, journal=IEEE Computer Graphics and Applications, publisher=IEEE, author=Koning, W. F., year=2012, pages=81–83 
LibreCat: /record/21757
DOI: 10.1109/MCG.2012.106

@articleMüller_Reina_Burch_Weiskopf_2012, title=Large-Scale Visualization Projects for Teaching Software Engineering, volume=32, DOI=10.1109/MCG.2012.81, number=4, journal=IEEE Computer Graphics and Applications, publisher=IEEE, author=Müller, C. and Reina, G. and Burch, M. and Weiskopf, D., year=2012, pages=14–19 
LibreCat: /record/21758
DOI: 10.1109/MCG.2012.81

@inproceedingsDomik_Ebert_Kohlhammer_Rushmeier_Santos_Weiskopf_2012, title=Visualization Curriculum Panel - or The Changes We Have Made to Our Visualization Courses Over the Last 10 Years, DOI=10.2312/conf/EG2012/education/001-002, booktitle=Eurographics 2012 - Education Papers, publisher=The Eurographics Association, author=Domik, Gitta and Ebert, David and Kohlhammer, Jörn and Rushmeier, Holly and Santos, Beatriz Sousa and Weiskopf, Daniel, editor=Gallo, Giovanni and Sousa Santos, BeatrizEditors, year=2012 
LibreCat: /record/21759
DOI: 10.2312/conf/EG2012/education/001-002

@articleElmqvist_Ebert_2012, title=Leveraging Multidisciplinarity in a Visual Analytics Graduate Course, volume=32, DOI=10.1109/MCG.2012.55, number=3, journal=IEEE Computer Graphics and Applications, publisher=IEEE, author=Elmqvist, N. and Ebert, D. S., year=2012, pages=84–87 
LibreCat: /record/21760
DOI: 10.1109/MCG.2012.55

@articleGoldman_2012, title=Digital Media and the Beginning Designer, volume=32, DOI=10.1109/MCG.2012.35, number=2, journal=IEEE Computer Graphics and Applications, publisher=IEEE, author=Goldman, G., year=2012, pages=14–21 
LibreCat: /record/21761
DOI: 10.1109/MCG.2012.35

@articleDomik_2012, title=Fostering Collaboration and Self-Motivated Learning: Best Practices in a One-Semester Visualization Course, volume=32, DOI=10.1109/MCG.2012.18, number=1, journal=IEEE Computer Graphics and Applications, publisher=IEEE, author=Domik, Gitta, year=2012, pages=87–91 
LibreCat: /record/21762
DOI: 10.1109/MCG.2012.18

@bookEhrig_Engels_Kreowski_Rozenberg_2012, series=LNCS, title=Graph Transformation - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings, volume=7562, publisher=Springer, year=2012, collection=LNCS 
LibreCat: /record/7763

@articleBiermann_Scalia_Choi_Karl_Kellerer_2012, title=CoMP clustering and backhaul limitations in cooperative cellular mobile access networks, DOI=10.1016/j.pmcj.2012.03.005, number=5, journal=Pervasive and Mobile Computing, author=Biermann, Thorsten and Scalia, Luca and Choi, Changsoon and Karl, Holger and Kellerer, Wolfgang, year=2012, pages=662--681 
LibreCat: /record/782
DOI: 10.1016/j.pmcj.2012.03.005

@articleWillig_Karl_Kipnis_2012, title=Segment-based packet combining: how to schedule a dense relayer cluster?, DOI=10.1007/s11276-011-0395-y, number=2, journal=Wireless Networks, author=Willig, Andreas and Karl, Holger and Kipnis, Danil, year=2012, pages=199--213 
LibreCat: /record/783
DOI: 10.1007/s11276-011-0395-y

@inproceedingsHerlich_Karl_2012, title=Average and competitive analysis of latency and power consumption of a queuing system with a sleep mode, DOI=10.1145/2208828.2208842, booktitle=Proceedings of the 3rd International Conference on Energy-Efficient Computing and Networking, e-Energy’12, Madrid, Spain, May 9-11, 2012, author=Herlich, Matthias and Karl, Holger, year=2012, pages=14 
LibreCat: /record/784
DOI: 10.1145/2208828.2208842

@inproceedingsBlanckenstein_Klaue_Karl_2012, title=Energy Efficient Clustering using a Wake-up Receiver, booktitle=European Wireless 2012 - 18th European Conference 2012, April 18-20, 2012, Poznan, Poland., author=Blanckenstein, Johannes and Klaue, Jirka and Karl, Holger, year=2012 
LibreCat: /record/785

@inproceedingsKünsemöller_Karl_2012, title=On Local Separation of Processing and Storage in Infrastructure-as-a-Service, DOI=10.1007/978-3-642-35194-5_10, booktitle=Economics of Grids, Clouds, Systems, and Services - 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings, author=Künsemöller, Jörn and Karl, Holger, year=2012, pages=125--138 
LibreCat: /record/786
DOI: 10.1007/978-3-642-35194-5_10

@inproceedingsDräxler_Karl_2012, title=Efficiency of On-Path and Off-Path Caching Strategies in Information Centric Networks, DOI=10.1109/GreenCom.2012.82, booktitle=2012 IEEE International Conference on Green Computing and Communications, Conference on Internet of Things, and Conference on Cyber, Physical and Social Computing, GreenCom/iThings/CPSCom 2012, Besancon, France, November 20-23, 2012, author=Dräxler, Martin and Karl, Holger, year=2012, pages=581--587 
LibreCat: /record/787
DOI: 10.1109/GreenCom.2012.82

@inproceedingsDannewitz_Herlich_Karl_2012, title=OpenNetInf - prototyping an information-centric Network Architecture, DOI=10.1109/LCNW.2012.6424044, booktitle=37th Annual IEEE Conference on Local Computer Networks, Workshop Proceedings, Clearwater Beach, FL, USA, October 22-25, 2012, author=Dannewitz, Christian and Herlich, Matthias and Karl, Holger, year=2012, pages=1061--1069 
LibreCat: /record/788
DOI: 10.1109/LCNW.2012.6424044