@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 
LibreCat: /record/3178
DOI: 10.1007/978-3-642-39718-9_11

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@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 
LibreCat: /record/17663
DOI: 10.1109/TNET.2012.2227792

@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 
LibreCat: /record/1785
DOI: 10.1109/ISORC.2013.6913240