Wonisch, D., Schremmer, A., &; Wehrheim, H. (2013). Zero Overhead Runtime Monitoring. In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM) (pp. 244–258).https://doi.org/10.1007/978-3-642-40561-7_17 

Wette, P., &; Karl, H. (2013). Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow. In Proceedings of the ACM SIGCOMM ’13 (pp. 541–542).https://doi.org/10.1145/2486001.2491710 

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

Kolman, P., &; Scheideler, C. (2013). Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing. Theory of Computing Systems, (2), 341–363.https://doi.org/10.1007/s00224-013-9454-3 

Abshoff, S., Benter, M., Cord-Landwehr, A., Malatyali, M., &; Meyer auf der Heide, F. (2013). 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 (pp. 22–34).https://doi.org/10.1007/978-3-642-45346-5_3 

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

Graffi, K., &; Bremer, L. (2013). Symbiotic Coupling of P and Cloud Systems: The Wikipedia Case. In Proceedings of the International Conference on Communications (ICC’13) (pp. 3444–3449).https://doi.org/10.1109/ICC.2013.6655082 

Platenius, M. C., von Detten, M., Gerth, C., Schäfer, W., &; Engels, G. (2013). Service Matching under Consideration of Explicitly Specified Service Variants. In IEEE 20th International Conference on Web Services (ICWS 2013) (pp. 613–614).https://doi.org/10.1109/ICWS.2013.98 

Mohr, F., &; Kleine Büning, H. (2013). Semi-Automated Software Composition Through Generated Components. In Proceedings of the 15th International Conference on Information Integration and Web-based Applications &; Services (iiWAS) (pp. 676–680).https://doi.org/10.1145/2539150.2539235 

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

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