@inproceedingsIsenberg_Steenken_Wehrheim_2013, series=Lecture Notes in Computer Science, title=Bounded Model Checking of Graph Transformation Systems via SMT Solving, DOI=10.1007/978-3-642-38592-6_13, booktitle=Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, author=Isenberg, Tobias and Steenken, Dominik and Wehrheim, Heike, editor=Beyer, Dirk and Boreale, MicheleEditors, year=2013, pages=178--192, collection=Lecture Notes in Computer Science 

@inproceedingsTravkin_Mütze_Wehrheim_2013, series=Lecture Notes in Computer Science, title=SPIN as a Linearizability Checker under Weak Memory Models, DOI=10.1007/978-3-319-03077-7_21, booktitle=Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, author=Travkin, Oleg and Mütze, Annika and Wehrheim, Heike, editor=Bertacco, Valeria and Legay, AxelEditors, year=2013, pages=311--326, collection=Lecture Notes in Computer Science 

@inproceedingsDongol_Travkin_Derrick_Wehrheim_2013, series=Lecture Notes in Computer Science, title=A High-Level Semantics for Program Execution under Total Store Order Memory, DOI=10.1007/978-3-642-39718-9_11, booktitle=Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, author=Dongol, Brijesh and Travkin, Oleg and Derrick, John and Wehrheim, Heike, editor=Liu, Zhiming and Woodcock, Jim and Zhu, HuibiaoEditors, year=2013, pages=177--194, collection=Lecture Notes in Computer Science 

@inproceedingsZiegert_Wehrheim_2013, series=LNI, title=Temporal Reconfiguration Plans for Self-Adaptive Systems, booktitle=Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M\'22arz 2013 in Aachen, author=Ziegert, Steffen and Wehrheim, Heike, editor=Kowalewski, Stefan and Rumpe, BernhardEditors, year=2013, pages=271--284, collection=LNI 

@inproceedingsGausemeier_Grafe_Meyer auf der Heide_2013, title=11. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung, volume=311, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 , author=Gausemeier, Jürgen and Grafe, Michael and Meyer auf der Heide, Friedhelm, year=2013 

@inproceedingsKeil_Winkelnkemper_2013, title=Approaches for an informational separation of powers in learning platforms, publisher=Society for Informatics, author=Keil, Reinhard and Winkelnkemper, Felix, year=2013, pages=131–142 

@inproceedingsFischer_Geis _Molich_Kluge_Heimg\'22artner_Hunkirchen_Polkehn_2013, title=eDo You Speak Usability?“3 Aktueller Stand des Glossars und des Curriculums f\'22ur den eCertified Professional for Usability and User Experience (CPUX)“der German UPA, publisher=German UPA, author=Fischer, Holger Gerhard and Geis, Thomas and  Molich, Rolf and Kluge, Oliver  and Heimg\'22artner,  R\'22udiger and Hunkirchen,  Peter  and Polkehn, Knut, year=2013, pages=28334 

@bookK  "u hnel_2013, place=Universit \'22 a t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science, title=Contextual tagging in the coactive knowledge organization, publisher=Heinz Nixdorf Institute, Universit  "a t Paderborn, author=K  "u hnel, Birger, year=2013 

@articleFischer_Strenge_Nebe_2013, series=LNCS 8012, title=Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design, publisher=Springer Verlag, author=Fischer, Holger Gerhard and Strenge, Benjamin and Nebe,  Karsten, year=2013, pages=252–261, collection=LNCS 8012 

@articleKeil_Selke_Winkelnkemper_2013, title=Computer science and education - A struggle for creative sovereignty in society?, journal=FIfF-Kommunikation, author=Keil,  Reinhard and Selke, Harald and Winkelnkemper, Felix, year=2013, pages=61–65 

@inproceedingsKeil_2013, place=Berlin, title=Media contexts - context media, publisher=Verbrecher Verlag, author=Keil, Reinhard, year=2013, pages=217–226 

@articleKlompmaker_Paelke_Fischer_2013, series=LNCS 8028, title=A Taxonomy-Based Approach Towards NUI Interaction Design, publisher=Springer Verlag, author=Klompmaker, Florian and Paelke, Volker and Fischer, Holger Gerhard, year=2013, pages=32–41, collection=LNCS 8028 

@bookKaufmann_2013, place=Berlin, title=Adapting Hardware Systems by Means of Multi-Objective Evolution, publisher=Logos Verlag Berlin GmbH, author=Kaufmann, Paul, year=2013 

@bookHüwe_2013, title=Das Verteilungsproblem für mechatronische Systeme, publisher=Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, author=Hüwe, Marcus, year=2013 

@inproceedingsFarshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013, title=Simulationsgestützter Entwurf für Elektrofahrzeuge, booktitle=8. Dortmunder Autotag, author=Farshizadeh, Emad and Briese, Hermann and Steinmann, David and Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz, Kay and Heinzemann, Christian and Peter, Klaus and Leuer, Michael, year=2013 

@bookKoch_2013, title=Combining Scenario-based and Architecture-based Timing Requirements, publisher=University of Paderborn, author=Koch, Thorsten, year=2013 

@inproceedingsPetring_Eikel_Jähn_Fischer_Meyer auf der Heide_2013, place=Paderborn, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, title=Darstellung heterogener 3-D-Szenen in Echtzeit, volume=311, booktitle=11. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung, author=Petring, Ralf and Eikel, Benjamin and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm, year=2013, pages=49--60, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts 

@bookEikel_2013, place=Universität Paderborn, title=Spherical visibility samplingf: preprocessed visibility for occlusion culling in complex 3D scenes, author=Eikel, Benjamin, year=2013 

@inproceedingsMeyer auf der Heide_2013, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, title=Algorithmische Grundlagen für die Selbstorganisation von Roboterschwärmen, volume=311, booktitle=11. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Meyer auf der Heide, Friedhelm, year=2013, pages=7–16, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn 

@bookGausemeier_Grafe_Meyer auf der Heide_2013, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, title=11. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung, volume=311, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, year=2013, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn 

@articleCohen_Nudelman_Polevoy_2013, title=On the Admission of Dependent Flows in Powerful Sensor Networks, volume=21, DOI=10.1109/TNET.2012.2227792, number=5, journal=Networking, IEEE/ACM Transactions on, author=Cohen, R. and Nudelman, I. and Polevoy, Gleb, year=2013, pages=1461–1471 

@inproceedingsRammig_Stahl_Vaz_2013, title=A framework for enhancing dependability in self-x systems by Artificial Immune Systems, DOI=10.1109/ISORC.2013.6913240, booktitle=IEEE Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC), publisher=IEEE, author=Rammig, Franz and Stahl, Katharina and Vaz, Gavin Francis, year=2013, pages=1–10 

@inproceedingsKasap_Redif_2013, title=FPGA Implementation of a Second-Order Convolutive Blind Signal Separation Algorithm, DOI=10.1109/SIU.2013.6531530, booktitle=Proc. IEEE Signal Processing and Communications Conf. (SUI), publisher=IEEE, author=Kasap, Server and Redif, Soydan, year=2013 

@articleKasap_Redif_2013, title=Novel Field-Programmable Gate Array Architecture for Computing the Eigenvalue Decomposition of Para-Hermitian Polynomial Matrices, volume=22, DOI=10.1109/TVLSI.2013.2248069, number=3, journal=IEEE Trans. on Very Large Scale Integration (VLSI) Systems, publisher=IEEE, author=Kasap, Server and Redif, Soydan, year=2013, pages=522–536 

@articleW. Richa_Scheideler_Schmid_Zhang_2013, title=Competitive throughput in multi-hop wireless networks despite adaptive jamming, DOI=10.1007/s00446-012-0180-x, number=3, journal=Distributed Computing, author=W. Richa, Andr\rquote ea and Scheideler, Christian and Schmid, Stefan and Zhang, Jin, year=2013, pages=159--171 

@articleMohd Nor_Nesterenko_Scheideler_2013, title=Corona:  A stabilizing deterministic message-passing skip list, DOI=10.1016/j.tcs.2012.08.029, journal=Theor. Comput. Sci., author=Mohd Nor, Rizal and Nesterenko, Mikhail and Scheideler, Christian, year=2013, pages=119--129 

@articleW. Richa_Scheideler_Schmid_Zhang_2013, title=An Efficient and Fair MAC Protocol Robust to Reactive Interference, DOI=10.1109/TNET.2012.2210241, number=3, journal=IEEE/ACM Trans. Netw., author=W. Richa, Andrea and Scheideler, Christian and Schmid, Stefan and Zhang, Jin, year=2013, pages=760--771 

@inproceedingsGeismann_2013, place=Bonn, Germany, series=GI-Edition - Lecture Notes in Informatics (LNI), title=Quelltextgenerierung für LEGO Mindstorms-Roboter, volume=12, booktitle=Berichtsband der Informatiktage 2013: Smarte Sichten, smarte Schichten, publisher=Köllen Verlag, author=Geismann, Johannes, year=2013, pages=71–74, collection=GI-Edition - Lecture Notes in Informatics (LNI) 

@inproceedingsFrieben_Heutger_Meyer_Becker_2013, place=Paderborn, title=Modulare Leistungsprognose von Kompaktsteuerungen, booktitle=9. Paderborner Workshop Entwurf mechatronischer Systeme, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Frieben, Jens and Heutger, Henning and Meyer, Matthias and Becker, Steffen, year=2013, pages=147–160 

@inproceedingsKeller_Robbert_Peuster_2013, title=An evaluation testbed for adaptive, topology-aware deployment of elastic applications, booktitle=Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM , author=Keller, Matthias and Robbert, Christoph and Peuster, Manuel, year=2013 

@inproceedingsAli-Ahmad_Cicconetti_de la Oliva_Draxler_Gupta_Mancuso_Roullet_Sciancalepore_2013, title=CROWD: An SDN Approach for DenseNets, DOI=10.1109/ewsdn.2013.11, booktitle=2013 Second European Workshop on Software Defined Networks, publisher=IEEE, author=Ali-Ahmad, Hassan and Cicconetti, Claudio and de la Oliva, Antonio and Draxler, Martin and Gupta, Rohit and Mancuso, Vincenzo and Roullet, Laurent and Sciancalepore, Vincenzo, year=2013 

@inbookBlanckenstein_Garcia-Jimenez_Klaue_Karl_2013, place=Cham, title=A Scalable Redundant TDMA Protocol for High-Density WSNs Inside an Aircraft, DOI=10.1007/978-3-319-03071-5_18, booktitle=Lecture Notes in Electrical Engineering, publisher=Springer International Publishing, author=Blanckenstein, Johannes and Garcia-Jimenez, Javier and Klaue, Jirka and Karl, Holger, year=2013, pages=165–177 

@bookBlumentritt_2013, title=Cliquenbildung in verteilten Systemen, publisher=Universität Paderborn, author=Blumentritt, Fritz, year=2013 

@inproceedingsWette_Graffi_2013, title=Adding Capacity-Aware Storage Indirection to Homogeneous Distributed Hash Tables, DOI=10.1109/netsys.2013.9, booktitle=2013 Conference on Networked Systems, publisher=IEEE, author=Wette, P. and Graffi, K., year=2013 

@inproceedingsDannewitz_Herlich_Karl_2013, title=OpenNetInf - prototyping an information-centric Network Architecture, DOI=10.1109/lcnw.2012.6424044, booktitle=37th Annual IEEE Conference on Local Computer Networks -- Workshops, publisher=IEEE, author=Dannewitz, Christian and Herlich, Matthias and Karl, Holger, year=2013 

@inbookde la Oliva_Morelli_Mancuso_Draexler_Hentschel_Melia_Seite_Cicconetti_2013, place=Berlin, Heidelberg, title=Denser Networks for the Future Internet, the CROWD Approach, DOI=10.1007/978-3-642-37935-2_3, booktitle=Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, publisher=Springer Berlin Heidelberg, author=de la Oliva, Antonio and Morelli, Arianna and Mancuso, Vincenzo and Draexler, Martin and Hentschel, Tim and Melia, Telemaco and Seite, Pierrick and Cicconetti, Claudio, year=2013, pages=28–41 

@inproceedingsDumitrescu_Kühn_2013, title= Intelligenz in der Produktion - Spitzencluster it’s OWL als Wegbereiter für Industrie 4.0, booktitle=Markt&;Technik Summit Industrie 4.0, München, 16. - 17. Okt. 2013, author=Dumitrescu, Roman and Kühn, Arno, year=2013 

@inproceedingsSchmitt_Kaiser_Dumitrescu_Hofmann_2013, place=München, title=Von der Anforderungserfassung bis zur Funktionsstruktur - Ein Systems Engineering-Vorgehen für die industrielle Praxis, booktitle=Tag des Systems Engineering, publisher=Carl Hanser Verlag, author=Schmitt, Nicolas and Kaiser, Lydia and Dumitrescu, Roman and Hofmann, Maik, editor=Maurer, Maik and Schulze, Sven-OlafEditors, year=2013 

@inproceedingsLow_Kasim_Koch_Dumitrescu_Yussof_Jaafar_Jaafar_Aqilah_Ng_2013, title=Hybrid-Actuated Finger Prosthesis with Tactile Sensing, volume=Band 10, booktitle=International Journal of Advanced Robotic Systems, author=Low, Cheng Yee and Kasim, Mohamad Amlie Abu and Koch, Torben and Dumitrescu, Roman and Yussof, Hanafiah and Jaafar, Roseleena and Jaafar, Ahmed and Aqilah, Ahsana and Ng, Kok Mun, year=2013 

@articleLow_Aldemir_Aziz_Dumitrescu_Anacker_2013, title=Strategy Planning of Collaborative Humanoid Soccer Robots based on Principle Solution, journal=Journal of Production Engineering Research &; Development (PERE) 7, author=Low, Cheng and Aldemir, Mustafa and Aziz, Norheliena and Dumitrescu, Roman and Anacker, Harald, year=2013, pages=23–34 

@articleJoel_2013, title=The Need to Start Research Education Early, volume=33, DOI=10.1109/MCG.2013.79, number=5, journal=IEEE Computer Graphics and Applications, publisher=IEEE, author=Joel, W. J., year=2013, pages=79–81 

@articleKerren_2013, title=Information Visualization Courses for Students with a Computer Science Background, volume=33, DOI=10.1109/MCG.2013.27, number=2, journal=IEEE Computer Graphics and Applications, publisher=IEEE, author=Kerren, A., year=2013, pages=12–15 

@articleSchell_Klug_2013, title=Building Virtual Worlds Carrying on the Legacy of Randy Pausch’s “Head Fake”, volume=33, DOI=10.1109/MCG.2013.42, number=3, journal=IEEE Computer Graphics and Applications, author=Schell, J. and Klug, C., year=2013, pages=12–15 

@articleDannewitz_Kutscher_Ohlman_Farrell_Ahlgren_Karl_2013, title=Network of Information (NetInf) - An information-centric networking architecture, DOI=10.1016/j.comcom.2013.01.009, number=7, journal=Computer Communications, author=Dannewitz, Christian and Kutscher, Dirk and Ohlman, B and Farrell, Stephen and Ahlgren, Bengt and Karl, Holger, year=2013, pages=721--735 

@articleDräxler_Biermann_Karl_2013, title=Improving Cooperative Transmission Feasibility by Network Reconfiguration in Limited Backhaul Networks, DOI=10.1007/s10776-013-0207-7, number=3, journal=International Journal of Wireless Information Networks, author=Dräxler, Martin and Biermann, Thorsten and Karl, Holger, year=2013, pages=183--194 

@inproceedingsHohenberger_Herlich_Karl_2013, title=Trade-off between latency and coverage in cooperative radio access networks, DOI=10.1109/ANTS.2013.6802869, booktitle=IEEE International Conference on Advanced Networks and Telecommunications Systems, ANTS 2013, Kattankulathur, India, December 15-18, 2013, author=Hohenberger, Till and Herlich, Matthias and Karl, Holger, year=2013, pages=1--6 

@inproceedingsM. Facca_Salvadori_Karl_R. Lopez_Arranda Gutierrez_Kostic_Riggio_2013, title=NetIDE: First Steps towards an Integrated Development Environment for Portable Network Apps, DOI=10.1109/EWSDN.2013.24, booktitle=Second European Workshop on Software Defined Networks, EWSDN 2013, Berlin, Germany, October 10-11, 2013, author=M. Facca, Federico and Salvadori, Elio and Karl, Holger and R. Lopez, Diego and Arranda Gutierrez, Pedro and Kostic, Dejan and Riggio, Roberto, year=2013, pages=105--110 

@inproceedingsCicconetti_Morelli_Dräxler_Karl_Mancuso_Sciancalepore_Gupta_de la Oliva_Isabel Sanchez_Serrano_et al._2013, title=The playground of Wireless Dense networks of the future, booktitle=2013 Future Network &; Mobile Summit, Lisboa, Portugal, July 3-5, 2013, author=Cicconetti, Claudio and Morelli, Arianna and Dräxler, Martin and Karl, Holger and Mancuso, Vincenzo and Sciancalepore, Vincenzo and Gupta, Rohit and de la Oliva, Antonio and Isabel Sanchez, M. and Serrano, Pablo and et al., year=2013, pages=1--4 

@inproceedingsKeller_Peuster_Robbert_Karl_2013, title=A topology-aware adaptive deployment framework for elastic applications, DOI=10.1109/ICIN.2013.6670895, booktitle=17th International Conference on Intelligence in Next Generation Networks, ICIN 2013, Venice, Italy, October 15-16, 2013, author=Keller, Matthias and Peuster, Manuel and Robbert, Christoph and Karl, Holger, year=2013, pages=61--69 

@inproceedingsHerlich_Karl_2013, title=Energy-Efficient Assignment of User Equipment to Cooperative Base Stations, booktitle=ISWCS 2013, The Tenth International Symposium on Wireless Communication Systems, Ilmenau, Germany, August 27-30, 2013, author=Herlich, Matthias and Karl, Holger, year=2013, pages=1--5