Timm, Nils. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn, 2013.
LibreCat: /record/478

Frick, Bernd, and Robert Simmons. “The Impact of Individual and Collective Reputation on Wine Prices: Empirical Evidence from the Mosel Valley.”10.1007/s11573-013-0652-x__Journal of Business Economics, vol. 83, no. 2, Springer, 2013, pp. 101–19, doi:10.1007/s11573-013-0652-x.
LibreCat: /record/480
DOI: 10.1007/s11573-013-0652-x

Graffi, Kalman, and Lars Bremer. “Symbiotic Coupling of P and Cloud Systems: The Wikipedia Case.”10.1109/ICC.2013.6655082__Proceedings of the International Conference on Communications (ICC’13), 2013, pp. 3444–49, doi:10.1109/ICC.2013.6655082.
LibreCat: /record/481
DOI: 10.1109/ICC.2013.6655082

Bieshaar, Maarten. Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen. Universität Paderborn, 2013.
LibreCat: /record/482

Becker, Matthias, et al. “SimuLizar: Design-Time Modeling and Performance Analysis of Self-Adaptive Systems.” Proceedings of the Software Engineering Conference (SE), 2013, pp. 71–84.
LibreCat: /record/483

Platenius, Marie Christin, et al. “Service Matching under Consideration of Explicitly Specified Service Variants.”10.1109/ICWS.2013.98__IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–14, doi:10.1109/ICWS.2013.98.
LibreCat: /record/484
DOI: 10.1109/ICWS.2013.98

Mohr, Felix, and Hans Kleine Büning. “Semi-Automated Software Composition Through Generated Components.”10.1145/2539150.2539235__Proceedings of the 15th International Conference on Information Integration and Web-Based Applications &; Services (IiWAS), 2013, pp. 676–80, doi:10.1145/2539150.2539235.
LibreCat: /record/485
DOI: 10.1145/2539150.2539235

Otte, Oliver. Seitenkanalresistenz paarungsbasierter Kryptographie. Universität Paderborn, 2013.
LibreCat: /record/486

Bobolz, Jan. Security Proofs for Pairing-Based Cryptography in the Generic Group Model. Universität Paderborn, 2013.
LibreCat: /record/487

Blömer, Johannes, et al. “Securing Critical Unattended Systems with Identity Based Cryptography - A Case Study.” Proceedings of the 5th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), 2013, pp. 98–105.
LibreCat: /record/488

Knopf, Michael. Scheduling Variants with Speed-Scaling via the Primal-Dual Approach. Universität Paderborn, 2013.
LibreCat: /record/489

Wallaschek, Felix. Routing in heterogenen OpenFlow Netzwerken. Universität Paderborn, 2013.
LibreCat: /record/490

Robbert, Christoph. Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case. Universität Paderborn, 2013.
LibreCat: /record/492

Terentjew, Artjom. Reputationssysteme und Gerichtsverfahren als Wekzeuge zur Sicherstellung von Qualitätsstandards in Transaktionen. Universität Paderborn, 2013.
LibreCat: /record/493

von Detten, Markus. Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn, 2013.
LibreCat: /record/494

Mohr, Felix, et al. “Reducing Nondeterminism in Automated Service Composition.”10.1109/SOCA.2013.25__Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 2013, pp. 154–61, doi:10.1109/SOCA.2013.25.
LibreCat: /record/495
DOI: 10.1109/SOCA.2013.25

Benter, Markus, et al. “Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks.”10.1109/INFCOM.2013.6567022__Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 2193–201, doi:10.1109/INFCOM.2013.6567022.
LibreCat: /record/496
DOI: 10.1109/INFCOM.2013.6567022

Wonisch, Daniel, et al. “Programs from Proofs – A PCC Alternative.”10.1007/978-3-642-39799-8_65__Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–27, doi:10.1007/978-3-642-39799-8_65.
LibreCat: /record/498
DOI: 10.1007/978-3-642-39799-8_65

Kling, Peter, and Peter Pietrzyk. “Profitable Scheduling on Multiple Speed-Scalable Processors.”10.1145/2486159.2486183__Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2013, pp. 251–60, doi:10.1145/2486159.2486183.
LibreCat: /record/499
DOI: 10.1145/2486159.2486183

Soltenborn, Christian. Quality Assurance with Dynamic Meta Modeling. Universität Paderborn, 2013, doi:http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420.
LibreCat: /record/7569
DOI: http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420