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

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

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

de Lemos R, Giese H, A. Müller H, et al. Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems II. 2013:1-32. doi:10.1007/978-3-642-35813-5_1

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

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

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

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

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

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

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

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

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

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

Biermann T, Scalia L, Choi C, Kellerer W, Karl H. How backhaul networks influence the feasibility of coordinated multipoint in cellular networks. IEEE Communications Magazine. 2013;(8). doi:10.1109/MCOM.2013.6576356

Spijkerman M. Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden. In: Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium) SE 2013 (to Appear). Vol 215. LNI. GI; 2013:425--434.

Nagel  B, Gerth  C, Post J, Engels G. KaoSOA - Extending KAOS Models with Temporal and Logical Dependencies. In: Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13). Vol 998. CEUR Workshop Proceedings. CEUR-WS.org; 2013:9--16.

Kehrer  T, Gerth C. CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models. In: Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13). Vol 33. Softwaretechnik-Trends. FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI); 2013:32-34.

Grieger  M, Sauer S. Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung. In: Software Engineering 2013 Workshopband. GI, Köllen Druck+Verlag GmbH, Bonn; 2013:189-200.

Nagel  B, Gerth  C, Engels G. Goal-driven Composition of Business Process Models. In: Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (Accepted for Application). ; 2013.