Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9810 Publications
2013 | Conference Paper | LibreCat-ID: 8063
Becker, Matthias, Markus Luckey, and Steffen Becker. “Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time.” In Ninth International ACM Sigsoft Conference on the Quality of Software Architectures, 43–52. QoSA 2013. New York, NY, USA: ACM New York, NY, USA, 2013.
LibreCat
2013 | Report | LibreCat-ID: 8222
Küster, Jochen, Dániel Kovács, Eduard Bauer, and Christian Gerth. Integrating Coverage Analysis into Test-Driven Development of Model Transformations. IBM Research Report. Zurich: IBM Research, 2013.
LibreCat
2013 | Report | LibreCat-ID: 8223
Huma, Zille, Christian Gerth, and Gregor Engels. Automated Service Discovery and Composition for On-the-Fly SOAs. University of Paderborn, Germany, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 5752
Yigitbas, Enes, Christian Gerth, and Stefan Sauer. “Konzeption Modellbasierter Benutzungsschnittstellen Für Verteilte Selbstbedienungssysteme.” In 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, 2714–23, 2013.
LibreCat
2013 | Book Chapter | LibreCat-ID: 6276
Klompmaker, Florian, Volker Paelke, and Holger Gerhard Fischer. “A Taxonomy-Based Approach towards NUI Interaction Design.” In Distributed, Ambient, and Pervasive Interactions, 8028:32–41. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-39351-8_4.
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 6279
Fischer, Holger Gerhard, Benjamin Strenge, and Karsten Nebe. “Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design.” In Design, User Experience, and Usability. Design Philosophy, Methods, and Tools, 8012:252–61. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. https://doi.org/10.1007/978-3-642-39229-0_28.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6284
Fischer, Holger Gerhard, Thomas Geis, Rolf Molich, Oliver Kluge, Rüdiger Heimgärtner, and Peter Hunkirchen. “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.” In Jahresband Usability Professionals, 28–34. German UPA, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 469
Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Zero Overhead Runtime Monitoring.” In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 244–58. LNCS, 2013. https://doi.org/10.1007/978-3-642-40561-7_17.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 470
Wette, Philip, and Holger Karl. “Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow.” In Proceedings of the ACM SIGCOMM ’13, 541–42. Digital Library, 2013. https://doi.org/10.1145/2486001.2491710.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 471
Tezer, Alina. Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen. Universität Paderborn, 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 476
Kolman, Petr, and Christian Scheideler. “Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing.” Theory of Computing Systems, no. 2 (2013): 341–63. https://doi.org/10.1007/s00224-013-9454-3.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 477
Abshoff, Sebastian, Markus Benter, Andreas Cord-Landwehr, Manuel Malatyali, and Friedhelm Meyer auf der Heide. “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, 22–34. Lecture Notes in Computer Science, 2013. https://doi.org/10.1007/978-3-642-45346-5_3.
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 478
Timm, Nils. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 481
Graffi, Kalman, and Lars Bremer. “Symbiotic Coupling of P2P and Cloud Systems: The Wikipedia Case.” In Proceedings of the International Conference on Communications (ICC’13), 3444–49, 2013. https://doi.org/10.1109/ICC.2013.6655082.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 484
Platenius, Marie Christin, Markus von Detten, Christian Gerth, Wilhelm Schäfer, and Gregor Engels. “Service Matching under Consideration of Explicitly Specified Service Variants.” In IEEE 20th International Conference on Web Services (ICWS 2013), 613–14, 2013. https://doi.org/10.1109/ICWS.2013.98.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 485
Mohr, Felix, and Hans 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), 676–80, 2013. https://doi.org/10.1145/2539150.2539235.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 486
Otte, Oliver. Seitenkanalresistenz paarungsbasierter Kryptographie. Universität Paderborn, 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 487 | 
Bobolz, Jan. Security Proofs for Pairing-Based Cryptography in the Generic Group Model. Universität Paderborn, 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 488
Blömer, Johannes, Peter Günther, and Volker 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), 98–105, 2013.
LibreCat
| Files available
2013 | Bachelorsthesis | LibreCat-ID: 490
Wallaschek, Felix. Routing in heterogenen OpenFlow Netzwerken. Universität Paderborn, 2013.
LibreCat