@bookKüster_Kovács_Bauer_Gerth_2013, place=Zurich, series=IBM Research Report, title=Integrating Coverage Analysis into Test-driven Development of Model Transformations, publisher=IBM Research, author=Küster, Jochen and Kovács, Dániel and Bauer, Eduard and Gerth, Christian, year=2013, collection=IBM Research Report 
LibreCat: /record/8222

@bookHuma_Gerth_Engels_2013, title=Automated Service Discovery and Composition for On-the-Fly SOAs, publisher=University of Paderborn, Germany, author=Huma, Zille and Gerth, Christian and Engels, Gregor, year=2013 
LibreCat: /record/8223

@inproceedingsYigitbas_Gerth_Sauer_2013, title=Konzeption modellbasierter Benutzungsschnittstellen für verteilte Selbstbedienungssysteme, booktitle=Informatik 2013, 43. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Informatik angepasst an Mensch, Organisation und Umwelt, 16.-20. September 2013, Koblenz, Deutschland, author=Yigitbas, Enes and Gerth, Christian and Sauer, Stefan, year=2013, pages=2714–2723 
LibreCat: /record/5752

@inbookKlompmaker_Paelke_Fischer_2013, place=Berlin, Heidelberg, series=Lecture Notes in Computer Science, title=A Taxonomy-Based Approach towards NUI Interaction Design, volume=8028, DOI=10.1007/978-3-642-39351-8_4, booktitle=Distributed, Ambient, and Pervasive Interactions, publisher=Springer Berlin Heidelberg, author=Klompmaker, Florian and Paelke, Volker and Fischer, Holger Gerhard, year=2013, pages=32–41, collection=Lecture Notes in Computer Science 
LibreCat: /record/6276
DOI: 10.1007/978-3-642-39351-8_4

@inbookFischer_Strenge_Nebe_2013, place=Berlin, Heidelberg, series=Lecture Notes in Computer Science, title=Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design, volume=8012, DOI=10.1007/978-3-642-39229-0_28, booktitle=Design, User Experience, and Usability. Design Philosophy, Methods, and Tools, publisher=Springer Berlin Heidelberg, author=Fischer, Holger Gerhard and Strenge, Benjamin and Nebe, Karsten, year=2013, pages=252–261, collection=Lecture Notes in Computer Science 
LibreCat: /record/6279
DOI: 10.1007/978-3-642-39229-0_28

@inproceedingsFischer_Geis_Molich_Kluge_Heimgärtner_Hunkirchen_2013, title=Do You Speak Usability? - Aktueller Stand des Glossars und des Curriculums für den Certified Professional for Usability and User Experience (CPUX) der German UPA, booktitle=Jahresband Usability Professionals, publisher=German UPA, author=Fischer, Holger Gerhard and Geis, Thomas and Molich, Rolf and Kluge, Oliver and Heimgärtner, Rüdiger and Hunkirchen, Peter, year=2013, pages=28–34 
LibreCat: /record/6284

@inproceedingsWonisch_Schremmer_Wehrheim_2013, series=LNCS, title=Zero Overhead Runtime Monitoring, DOI=10.1007/978-3-642-40561-7_17, booktitle=Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), author=Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike, year=2013, pages=244–258, collection=LNCS 
LibreCat: /record/469
DOI: 10.1007/978-3-642-40561-7_17

@inproceedingsWette_Karl_2013, series=Digital Library, title=Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow, DOI=10.1145/2486001.2491710, booktitle=Proceedings of the ACM SIGCOMM ’13, author=Wette, Philip and Karl, Holger, year=2013, pages=541–542, collection=Digital Library 
LibreCat: /record/470
DOI: 10.1145/2486001.2491710

@bookTezer_2013, title=Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen, publisher=Universität Paderborn, author=Tezer, Alina, year=2013 
LibreCat: /record/471

@articleKolman_Scheideler_2013, title=Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing, DOI=10.1007/s00224-013-9454-3, number=2, journal=Theory of Computing Systems, publisher=Springer, author=Kolman, Petr and Scheideler, Christian, year=2013, pages=341–363 
LibreCat: /record/476
DOI: 10.1007/s00224-013-9454-3

@inproceedingsAbshoff_Benter_Cord-Landwehr_Malatyali_Meyer auf der Heide_2013, series=Lecture Notes in Computer Science, title=Token Dissemination in Geometric Dynamic Networks, DOI=10.1007/978-3-642-45346-5_3, booktitle=Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers, author=Abshoff, Sebastian and Benter, Markus and Cord-Landwehr, Andreas and Malatyali, Manuel and Meyer auf der Heide, Friedhelm, year=2013, pages=22–34, collection=Lecture Notes in Computer Science 
LibreCat: /record/477
DOI: 10.1007/978-3-642-45346-5_3

@bookTimm_2013, title=Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems, publisher=Universität Paderborn, author=Timm, Nils, year=2013 
LibreCat: /record/478

@inproceedingsGraffi_Bremer_2013, title=Symbiotic Coupling of P and Cloud Systems: The Wikipedia Case, DOI=10.1109/ICC.2013.6655082, booktitle=Proceedings of the International Conference on Communications (ICC’13), author=Graffi, Kalman and Bremer, Lars, year=2013, pages=3444–3449 
LibreCat: /record/481
DOI: 10.1109/ICC.2013.6655082

@inproceedingsPlatenius_von Detten_Gerth_Schäfer_Engels_2013, title=Service Matching under Consideration of Explicitly Specified Service Variants, DOI=10.1109/ICWS.2013.98, booktitle=IEEE 20th International Conference on Web Services (ICWS 2013), author=Platenius, Marie Christin and von Detten, Markus and Gerth, Christian and Schäfer, Wilhelm and Engels, Gregor, year=2013, pages=613–614 
LibreCat: /record/484
DOI: 10.1109/ICWS.2013.98

@inproceedingsMohr_Kleine Büning_2013, title=Semi-Automated Software Composition Through Generated Components, DOI=10.1145/2539150.2539235, booktitle=Proceedings of the 15th International Conference on Information Integration and Web-based Applications &; Services (iiWAS), author=Mohr, Felix and Kleine Büning, Hans, year=2013, pages=676–680 
LibreCat: /record/485
DOI: 10.1145/2539150.2539235

@bookOtte_2013, title=Seitenkanalresistenz paarungsbasierter Kryptographie, publisher=Universität Paderborn, author=Otte, Oliver, year=2013 
LibreCat: /record/486

@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