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

B. Frick and R. Simmons, “The Impact of Individual and Collective Reputation on Wine Prices: Empirical Evidence from the Mosel Valley,” Journal of Business Economics, vol. 83, no. 2, pp. 101–119, 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. Bieshaar, Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen. Universität Paderborn, 2013.

M. Becker, S. Becker, and J. Meyer, “SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive Systems,” in Proceedings of the Software Engineering Conference (SE), 2013, pp. 71–84.

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.

M. Knopf, Scheduling Variants with Speed-Scaling via the Primal-Dual Approach. Universität Paderborn, 2013.

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.

A. Terentjew, Reputationssysteme und Gerichtsverfahren als Wekzeuge zur Sicherstellung von Qualitätsstandards in Transaktionen. 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.

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