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

Blömer, J., Günther, P., &; Krummel, V. (2013). 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) (pp. 98–105).

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

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

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

Mohr, F., Lettmann, T., &; Kleine Büning, H. (2013). Reducing Nondeterminism in Automated Service Composition. In Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA) (pp. 154–161).https://doi.org/10.1109/SOCA.2013.25 

Benter, M., Neumann, F., &; Frey, H. (2013). Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks. In Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM) (pp. 2193–2201).https://doi.org/10.1109/INFCOM.2013.6567022 

Wonisch, D., Schremmer, A., &; Wehrheim, H. (2013). Programs from Proofs – A PCC Alternative. In Proceedings of the 25th International Conference on Computer Aided Verification (CAV) (pp. 912–927).https://doi.org/10.1007/978-3-642-39799-8_65 

Kling, P., &; Pietrzyk, P. (2013). Profitable Scheduling on Multiple Speed-Scalable Processors. In Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) (pp. 251–260).https://doi.org/10.1145/2486159.2486183 

de Lemos, R., Giese, H., A. Müller, H., Shaw, M., Andersson, J., Litoiu, M.,https://doi.org/10.1007/978-3-642-35813-5_1__Wuttke, J. (2013). Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems II, 1–32.https://doi.org/10.1007/978-3-642-35813-5_1 

Bouillon, E., Güldali, B., Herrmann, A., Keuler, T., Moldt, D., &; Riebisch, M. (2013). Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel von Scrum. Softwaretechnik-Trends, 33(1), 29–30.

Grieger, M., Güldali, B., Sauer, S., &; Mlynarski, M. (2013). Testen bei Migrationsprojekten. OBJEKTspektrum (Online Themenspecials), 1–4.

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

Engels, G., &; Luckey, M. (2013). Editorial. Computer Science - Research and Development, 28(1), 1–2.

Engels, G., Gerth, C., Kleinjohann, B., Kleinjohann, L., Müller, W., &; Sauer, S. (2013). Informationstechnik spart Ressourcen. Forschungsforum Paderborn, 16/2013, 54–61.

Gerth, C., Küster, J., Luckey, M., &; Engels, G. (2013). Detection and Resolution of Conflicting Change Operations in Version Management of Process Models. Software and Systems Modeling, 12(3), 517–535.

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

Engels, G., &; Sauer, S. (2013). Object-oriented Modeling of Multimedia Applications. In S. K. Chang (Ed.), Handbook of Software Engineering and Knowledge Engineering (Vol. 2, pp. 21--53). Singapore: World Scientific Publishing Company.https://doi.org/10.1142/4603 

Soltenborn, C. (2013). Quality Assurance with Dynamic Meta Modeling. Universität Paderborn.http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420 

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