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.

M. von Detten, Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn, 2013.

F. Mohr, T. Lettmann, and H. Kleine Büning, “Reducing Nondeterminism in Automated Service Composition,” in Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 2013, pp. 154–161.

M. Benter, F. Neumann, and H. Frey, “Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks,” in Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 2193–2201.

D. Wonisch, A. Schremmer, and H. Wehrheim, “Programs from Proofs – A PCC Alternative,” in Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–927.

P. Kling and P. Pietrzyk, “Profitable Scheduling on Multiple Speed-Scalable Processors,” in Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2013, pp. 251–260.

R. de Lemos et al., “Software Engineering for Self-Adaptive Systems: A Second Research Roadmap,” Software Engineering for Self-Adaptive Systems II, pp. 1–32, 2013.

E. Bouillon, B. Güldali, A. Herrmann, T. Keuler, D. Moldt, and M. Riebisch, “Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum,” Softwaretechnik-Trends, vol. 33, no. 1, pp. 29–30, 2013.

M. Grieger, B. Güldali, S. Sauer, and M. Mlynarski, “Testen bei Migrationsprojekten,” OBJEKTspektrum (Online Themenspecials), pp. 1–4, 2013.

M. Fazal-Baqaie, B. Güldali, M. Luckey, S. Sauer, and M. Spijkerman, “Maßgeschneidert und werkzeugunterstützt Entwickeln angepasster Requirements Engineering-Methoden,” OBJEKTspektrum (Online Themenspecials), no. RE/2013, pp. 1–5, 2013.

G. Engels and M. Luckey, “Editorial,” Computer Science - Research and Development, vol. 28, no. 1, pp. 1–2, 2013.

G. Engels, C. Gerth, B. Kleinjohann, L. Kleinjohann, W. Müller, and S. Sauer, “Informationstechnik spart Ressourcen,” Forschungsforum Paderborn, vol. 16/2013, pp. 54–61, 2013.

C. Gerth, J. Küster, M. Luckey, and G. Engels, “Detection and Resolution of Conflicting Change Operations in Version Management of Process Models,” Software and Systems Modeling, vol. 12, no. 3, pp. 517–535, 2013.

D. Faragó, A.-M. Törsel, M. Mlynarski, S. Weißleder, B. Güldali, and C. Brandes, “Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt,” OBJEKTspektrum, vol. 4, pp. 32–38, 2013.

G. Engels and S. Sauer, “Object-oriented Modeling of Multimedia Applications,” in Handbook of Software Engineering and Knowledge Engineering, vol. 2, S. K. Chang, Ed. Singapore: World Scientific Publishing Company, 2013, pp. 21--53.

C. Soltenborn, Quality Assurance with Dynamic Meta Modeling. Universität Paderborn, 2013.

C. Gerth, Business Process Models - Change Management. 2013.