J. Küster, D. Kovács, E. Bauer, and C. Gerth, Integrating Coverage Analysis into Test-driven Development of Model Transformations. Zurich: IBM Research, 2013.

Z. Huma, C. Gerth, and G. Engels, Automated Service Discovery and Composition for On-the-Fly SOAs. University of Paderborn, Germany, 2013.

E. Yigitbas, C. Gerth, and S. Sauer, “Konzeption modellbasierter Benutzungsschnittstellen für verteilte Selbstbedienungssysteme,” in 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, 2013, pp. 2714–2723.

F. Klompmaker, V. Paelke, and H. G. Fischer, “A Taxonomy-Based Approach towards NUI Interaction Design,” in Distributed, Ambient, and Pervasive Interactions, vol. 8028, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 32–41.

H. G. Fischer, B. Strenge, and K. Nebe, “Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design,” in Design, User Experience, and Usability. Design Philosophy, Methods, and Tools, vol. 8012, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 252–261.

H. G. Fischer, T. Geis, R. Molich, O. Kluge, R. Heimgärtner, and P. Hunkirchen, “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,” in Jahresband Usability Professionals, 2013, pp. 28–34.

D. Wonisch, A. Schremmer, and H. Wehrheim, “Zero Overhead Runtime Monitoring,” in Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 2013, pp. 244–258.

P. Wette and H. Karl, “Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow,” in Proceedings of the ACM SIGCOMM ’13, 2013, pp. 541–542.

A. Tezer, Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen. Universität Paderborn, 2013.

P. Kolman and C. Scheideler, “Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing,” Theory of Computing Systems, no. 2, pp. 341–363, 2013.

S. Abshoff, M. Benter, A. Cord-Landwehr, M. Malatyali, and F. Meyer auf der Heide, “Token Dissemination in Geometric Dynamic Networks,” in 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, 2013, pp. 22–34.

N. Timm, Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn, 2013.

K. Graffi and L. Bremer, “Symbiotic Coupling of P and Cloud Systems: The Wikipedia Case,” in Proceedings of the International Conference on Communications (ICC’13), 2013, pp. 3444–3449.

M. C. Platenius, M. von Detten, C. Gerth, W. Schäfer, and G. Engels, “Service Matching under Consideration of Explicitly Specified Service Variants,” in IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.

F. Mohr and H. Kleine Büning, “Semi-Automated Software Composition Through Generated Components,” in Proceedings of the 15th International Conference on Information Integration and Web-based Applications &; Services (iiWAS), 2013, pp. 676–680.

O. Otte, Seitenkanalresistenz paarungsbasierter Kryptographie. Universität Paderborn, 2013.

J. Bobolz, Security Proofs for Pairing-Based Cryptography in the Generic Group Model. Universität Paderborn, 2013.

J. Blömer, P. Günther, and V. Krummel, “Securing Critical Unattended Systems with Identity Based Cryptography - A Case Study,” in Proceedings of the 5th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), 2013, pp. 98–105.

F. Wallaschek, Routing in heterogenen OpenFlow Netzwerken. Universität Paderborn, 2013.

C. Robbert, Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case. Universität Paderborn, 2013.