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.
9824 Publications
2013 | Conference Paper | LibreCat-ID: 8061
@inproceedings{Luckey_Engels_2013, place={New York, NY, USA}, series={SEAMS ’13}, title={High-Quality Specification of Self-Adaptive Software Systems}, booktitle={Proceeding of the 8th international symposium on Software engineering for adaptive and self-managing systems}, publisher={ACM}, author={Luckey, Markus and Engels, Gregor}, year={2013}, pages={143–152}, collection={SEAMS ’13} }
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 8062
@inproceedings{Brüseke_Becker_Engels_2013, title={Decision Support via Automated Metric Comparison for the Palladio-based Performance Blame Analysis}, booktitle={Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague (Czech Republic)}, publisher={ACM New York, NY, USA}, author={Brüseke, Frank and Becker, Steffen and Engels, Gregor}, year={2013}, pages={77–88} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 8063
@inproceedings{Becker_Luckey_Becker_2013, place={New York, NY, USA}, series={QoSA 2013}, title={Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time}, booktitle={Ninth International ACM Sigsoft Conference on the Quality of Software Architectures}, publisher={ACM New York, NY, USA}, author={Becker, Matthias and Luckey, Markus and Becker, Steffen}, year={2013}, pages={43–52}, collection={QoSA 2013} }
LibreCat
2013 | Report | LibreCat-ID: 8222
@book{Küster_Kovács_Bauer_Gerth_2013, place={Zurich}, series={IBM Research Report}, title={Integrating Coverage Analysis into Test-driven Development of Model Transformations}, publisher={IBM Research}, author={Küster, Jochen and Kovács, Dániel and Bauer, Eduard and Gerth, Christian}, year={2013}, collection={IBM Research Report} }
LibreCat
2013 | Report | LibreCat-ID: 8223
@book{Huma_Gerth_Engels_2013, title={Automated Service Discovery and Composition for On-the-Fly SOAs}, publisher={University of Paderborn, Germany}, author={Huma, Zille and Gerth, Christian and Engels, Gregor}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 5752
@inproceedings{Yigitbas_Gerth_Sauer_2013, title={Konzeption modellbasierter Benutzungsschnittstellen für verteilte Selbstbedienungssysteme}, booktitle={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}, author={Yigitbas, Enes and Gerth, Christian and Sauer, Stefan}, year={2013}, pages={2714–2723} }
LibreCat
2013 | Book Chapter | LibreCat-ID: 6276
@inbook{Klompmaker_Paelke_Fischer_2013, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={A Taxonomy-Based Approach towards NUI Interaction Design}, volume={8028}, DOI={10.1007/978-3-642-39351-8_4}, booktitle={Distributed, Ambient, and Pervasive Interactions}, publisher={Springer Berlin Heidelberg}, author={Klompmaker, Florian and Paelke, Volker and Fischer, Holger Gerhard}, year={2013}, pages={32–41}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 6279
@inbook{Fischer_Strenge_Nebe_2013, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design}, volume={8012}, DOI={10.1007/978-3-642-39229-0_28}, booktitle={Design, User Experience, and Usability. Design Philosophy, Methods, and Tools}, publisher={Springer Berlin Heidelberg}, author={Fischer, Holger Gerhard and Strenge, Benjamin and Nebe, Karsten}, year={2013}, pages={252–261}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6284
@inproceedings{Fischer_Geis_Molich_Kluge_Heimgärtner_Hunkirchen_2013, title={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}, booktitle={Jahresband Usability Professionals}, publisher={German UPA}, author={Fischer, Holger Gerhard and Geis, Thomas and Molich, Rolf and Kluge, Oliver and Heimgärtner, Rüdiger and Hunkirchen, Peter}, year={2013}, pages={28–34} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 469
@inproceedings{Wonisch_Schremmer_Wehrheim_2013, series={LNCS}, title={Zero Overhead Runtime Monitoring}, DOI={10.1007/978-3-642-40561-7_17}, booktitle={Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM)}, author={Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike}, year={2013}, pages={244–258}, collection={LNCS} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 470
@inproceedings{Wette_Karl_2013, series={Digital Library}, title={Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow}, DOI={10.1145/2486001.2491710}, booktitle={Proceedings of the ACM SIGCOMM ’13}, author={Wette, Philip and Karl, Holger}, year={2013}, pages={541–542}, collection={Digital Library} }
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 471
@book{Tezer_2013, title={Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen}, publisher={Universität Paderborn}, author={Tezer, Alina}, year={2013} }
LibreCat
2013 | Journal Article | LibreCat-ID: 476
@article{Kolman_Scheideler_2013, title={Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing}, DOI={10.1007/s00224-013-9454-3}, number={2}, journal={Theory of Computing Systems}, publisher={Springer}, author={Kolman, Petr and Scheideler, Christian}, year={2013}, pages={341–363} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 477
@inproceedings{Abshoff_Benter_Cord-Landwehr_Malatyali_Meyer auf der Heide_2013, series={Lecture Notes in Computer Science}, title={Token Dissemination in Geometric Dynamic Networks}, DOI={10.1007/978-3-642-45346-5_3}, booktitle={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}, author={Abshoff, Sebastian and Benter, Markus and Cord-Landwehr, Andreas and Malatyali, Manuel and Meyer auf der Heide, Friedhelm}, year={2013}, pages={22–34}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 478
@book{Timm_2013, title={Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems}, publisher={Universität Paderborn}, author={Timm, Nils}, year={2013} }
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 481
@inproceedings{Graffi_Bremer_2013, title={Symbiotic Coupling of P2P and Cloud Systems: The Wikipedia Case}, DOI={10.1109/ICC.2013.6655082}, booktitle={Proceedings of the International Conference on Communications (ICC’13)}, author={Graffi, Kalman and Bremer, Lars}, year={2013}, pages={3444–3449} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 484
@inproceedings{Platenius_von Detten_Gerth_Schäfer_Engels_2013, title={Service Matching under Consideration of Explicitly Specified Service Variants}, DOI={10.1109/ICWS.2013.98}, booktitle={IEEE 20th International Conference on Web Services (ICWS 2013)}, author={Platenius, Marie Christin and von Detten, Markus and Gerth, Christian and Schäfer, Wilhelm and Engels, Gregor}, year={2013}, pages={613–614} }
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 485
@inproceedings{Mohr_Kleine Büning_2013, title={Semi-Automated Software Composition Through Generated Components}, DOI={10.1145/2539150.2539235}, booktitle={Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS)}, author={Mohr, Felix and Kleine Büning, Hans}, year={2013}, pages={676–680} }
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 486
@book{Otte_2013, title={Seitenkanalresistenz paarungsbasierter Kryptographie}, publisher={Universität Paderborn}, author={Otte, Oliver}, year={2013} }
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 487 | 
@book{Bobolz_2013, title={Security Proofs for Pairing-Based Cryptography in the Generic Group Model}, publisher={Universität Paderborn}, author={Bobolz, Jan}, year={2013} }
LibreCat
| Files available