Huma, Zille, et al. “Automated Service Composition for On-the-Fly SOAs.” Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13), vol. 8274, Springer-Verlag, 2013, pp. 524–32.
LibreCat: /record/8060

Luckey, Markus, and Gregor Engels. “High-­Quality Specification of Self-­Adaptive Software Systems.” Proceeding of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, ACM, 2013, pp. 143–52.
LibreCat: /record/8061

Brüseke, Frank, et al. “Decision Support via Automated Metric Comparison for the Palladio-Based Performance Blame Analysis.” Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague (Czech Republic), ACM New York, NY, USA, 2013, pp. 77–88.
LibreCat: /record/8062

Becker, Matthias, et al. “Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time.” Ninth International ACM Sigsoft Conference on the Quality of Software Architectures, ACM New York, NY, USA, 2013, pp. 43–52.
LibreCat: /record/8063

Küster, Jochen, et al. Integrating Coverage Analysis into Test-Driven Development of Model Transformations. IBM Research, 2013.
LibreCat: /record/8222

Huma, Zille, et al. Automated Service Discovery and Composition for On-the-Fly SOAs. University of Paderborn, Germany, 2013.
LibreCat: /record/8223

Yigitbas, Enes, et al. “Konzeption Modellbasierter Benutzungsschnittstellen Für Verteilte Selbstbedienungssysteme.” Informatik 2013, 43. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Informatik Angepasst an Mensch, Organisation Und Umwelt, 16.-20. September 2013, Koblenz, Deutschland, 2013, pp. 2714–23.
LibreCat: /record/5752

Klompmaker, Florian, et al. “A Taxonomy-Based Approach towards NUI Interaction Design.”10.1007/978-3-642-39351-8_4__Distributed, Ambient, and Pervasive Interactions, vol. 8028, Springer Berlin Heidelberg, 2013, pp. 32–41, doi:10.1007/978-3-642-39351-8_4.
LibreCat: /record/6276
DOI: 10.1007/978-3-642-39351-8_4

Fischer, Holger Gerhard, et al. “Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design.”10.1007/978-3-642-39229-0_28__Design, User Experience, and Usability. Design Philosophy, Methods, and Tools, vol. 8012, Springer Berlin Heidelberg, 2013, pp. 252–61, doi:10.1007/978-3-642-39229-0_28.
LibreCat: /record/6279
DOI: 10.1007/978-3-642-39229-0_28

Fischer, Holger Gerhard, et al. “Do You Speak Usability? - Aktueller Stand des Glossars und des Curriculums für den Certified Professional for Usability and User Experience (CPUX) der German UPA.” Jahresband Usability Professionals, German UPA, 2013, pp. 28–34.
LibreCat: /record/6284

Wonisch, Daniel, et al. “Zero Overhead Runtime Monitoring.”10.1007/978-3-642-40561-7_17__Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 2013, pp. 244–58, doi:10.1007/978-3-642-40561-7_17.
LibreCat: /record/469
DOI: 10.1007/978-3-642-40561-7_17

Wette, Philip, and Holger Karl. “Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow.”10.1145/2486001.2491710__Proceedings of the ACM SIGCOMM ’13, 2013, pp. 541–42, doi:10.1145/2486001.2491710.
LibreCat: /record/470
DOI: 10.1145/2486001.2491710

Tezer, Alina. Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen. Universität Paderborn, 2013.
LibreCat: /record/471

Kolman, Petr, and Christian Scheideler. “Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing.”10.1007/s00224-013-9454-3__Theory of Computing Systems, no. 2, Springer, 2013, pp. 341–63, doi:10.1007/s00224-013-9454-3.
LibreCat: /record/476
DOI: 10.1007/s00224-013-9454-3

Abshoff, Sebastian, et al. “Token Dissemination in Geometric Dynamic Networks.”10.1007/978-3-642-45346-5_3__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, 2013, pp. 22–34, doi:10.1007/978-3-642-45346-5_3.
LibreCat: /record/477
DOI: 10.1007/978-3-642-45346-5_3

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

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

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