@bookBobolz_2013, title=Security Proofs for Pairing-Based Cryptography in the Generic Group Model, publisher=Universität Paderborn, author=Bobolz, Jan, year=2013 
LibreCat: /record/487

@inproceedingsBlömer_Günther_Krummel_2013, title=Securing Critical Unattended Systems with Identity Based Cryptography - A Case Study, booktitle=Proceedings of the 5th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), author=Blömer, Johannes and Günther, Peter and Krummel, Volker, year=2013, pages=98–105 
LibreCat: /record/488

@bookWallaschek_2013, title=Routing in heterogenen OpenFlow Netzwerken, publisher=Universität Paderborn, author=Wallaschek, Felix, year=2013 
LibreCat: /record/490

@bookRobbert_2013, title=Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case, publisher=Universität Paderborn, author=Robbert, Christoph, year=2013 
LibreCat: /record/492

@bookvon Detten_2013, title=Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies, publisher=Universität Paderborn, author=von Detten, Markus, year=2013 
LibreCat: /record/494

@inproceedingsMohr_Lettmann_Kleine Büning_2013, title=Reducing Nondeterminism in Automated Service Composition, DOI=10.1109/SOCA.2013.25, booktitle=Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), author=Mohr, Felix and Lettmann, Theodor and Kleine Büning, Hans, year=2013, pages=154–161 
LibreCat: /record/495
DOI: 10.1109/SOCA.2013.25

@inproceedingsBenter_Neumann_Frey_2013, title=Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks, DOI=10.1109/INFCOM.2013.6567022, booktitle=Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), author=Benter, Markus and Neumann, Florentin and Frey, Hannes, year=2013, pages=2193–2201 
LibreCat: /record/496
DOI: 10.1109/INFCOM.2013.6567022

@inproceedingsWonisch_Schremmer_Wehrheim_2013, series=LNCS, title=Programs from Proofs – A PCC Alternative, DOI=10.1007/978-3-642-39799-8_65, booktitle=Proceedings of the 25th International Conference on Computer Aided Verification (CAV), author=Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike, year=2013, pages=912–927, collection=LNCS 
LibreCat: /record/498
DOI: 10.1007/978-3-642-39799-8_65

@inproceedingsKling_Pietrzyk_2013, title=Profitable Scheduling on Multiple Speed-Scalable Processors, DOI=10.1145/2486159.2486183, booktitle=Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), author=Kling, Peter and Pietrzyk, Peter, year=2013, pages=251–260 
LibreCat: /record/499
DOI: 10.1145/2486159.2486183

@articlede Lemos_Giese_A. Müller_Shaw_Andersson_Litoiu_Schmerl_Tamura_M. Villegas_Vogel_et al._2013, title=Software Engineering for Self-Adaptive Systems: A Second Research Roadmap, DOI=10.1007/978-3-642-35813-5_1, journal=Software Engineering for Self-Adaptive Systems II, author=de Lemos, Rogrio and Giese, Holger and A. Müller, Hausi and Shaw, Mary and Andersson, Jesper and Litoiu, Marin and Schmerl, Bradley and Tamura, Gabriel and M. Villegas, Norha and Vogel, Thomas and et al., year=2013, pages=1–32 
LibreCat: /record/7271
DOI: 10.1007/978-3-642-35813-5_1

@articleBouillon_Güldali_Herrmann_Keuler_Moldt_Riebisch_2013, title=Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum, volume=33, number=1, journal=Softwaretechnik-Trends, author=Bouillon, Elke and Güldali, Baris and Herrmann, Andrea and Keuler, Thorsten and Moldt, Daniel and Riebisch, Matthias, year=2013, pages=29–30 
LibreCat: /record/7272

@articleGrieger_Güldali_Sauer_Mlynarski_2013, title=Testen bei Migrationsprojekten, journal=OBJEKTspektrum (Online Themenspecials), author=Grieger, Marvin and Güldali, Baris and Sauer, Stefan and Mlynarski, Michael, year=2013, pages=1–4 
LibreCat: /record/7273

@articleFazal-Baqaie_Güldali_Luckey_Sauer_Spijkerman_2013, title=Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden, number=RE/2013, journal=OBJEKTspektrum (Online Themenspecials), author=Fazal-Baqaie, Masud and Güldali, Baris and Luckey, Markus and Sauer, Stefan and Spijkerman, Michael, year=2013, pages=1–5 
LibreCat: /record/7274

@articleEngels_Luckey_2013, title=Editorial, volume=28, number=1, journal=Computer Science - Research and Development, author=Engels, Gregor and Luckey, Markus, year=2013, pages=1–2 
LibreCat: /record/7275

@articleEngels_Gerth_Kleinjohann_Kleinjohann_Müller_Sauer_2013, title=Informationstechnik spart Ressourcen, volume=16/2013, journal=Forschungsforum Paderborn, author=Engels, Gregor and Gerth, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Müller, Wolfgang and Sauer, Stefan, year=2013, pages=54–61 
LibreCat: /record/7276

@articleGerth_Küster_Luckey_Engels_2013, title=Detection and Resolution of Conflicting Change Operations in Version Management of Process Models, volume=12, number=3, journal=Software and Systems Modeling, author=Gerth, Christian and Küster, Jochen and Luckey, Markus and Engels, Gregor, year=2013, pages=517–535 
LibreCat: /record/7277

@articleFaragó_Törsel_Mlynarski_Weißleder_Güldali_Brandes_2013, title=Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt, volume=4, journal=OBJEKTspektrum, author=Faragó, David and Törsel, Arne-Michael and Mlynarski, Michael and Weißleder, Stephan and Güldali, Baris and Brandes, Christian, year=2013, pages=32–38 
LibreCat: /record/7278

@inbookEngels_Sauer_2013, place=Singapore, title=Object-oriented Modeling of Multimedia Applications, volume=2, DOI=https://doi.org/10.1142/4603, booktitle=Handbook of Software Engineering and Knowledge Engineering, publisher=World Scientific Publishing Company, author=Engels, Gregor and Sauer, Stefan, editor=Chang, S KEditor, year=2013, pages=21--53 
LibreCat: /record/7523
DOI: https://doi.org/10.1142/4603

@bookSoltenborn_2013, title=Quality Assurance with Dynamic Meta Modeling, DOI=http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420, publisher=Universität Paderborn, author=Soltenborn, Christian, year=2013 
LibreCat: /record/7569
DOI: http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420

@bookGerth_2013, title=Business Process Models - Change Management, author=Gerth, Christian, year=2013 
LibreCat: /record/7571