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.
1597 Publications
2011 | Bachelorsthesis | LibreCat-ID: 642
M. Diehl, Vorteile der Paketbildung in Verhandlungen: Ein prozeduraler Zugang zu Superadditivität. Universität Paderborn, 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 643
D. Welp, User-space Scheduling for Heterogeneous System under Linux. Universität Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 644
M. von Detten, “Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution,” in Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), 2011, pp. 17–20.
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 645
B. Doerr, L. A. Goldberg, L. Minder, T. Sauerwald, and C. Scheideler, “Stabilizing consensus with the power of two choices,” in Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2011, pp. 149–158.
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 646
A. W. Richa and C. Scheideler, “Self-Stabilizing DeBruijn Networks,” in Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 416–430.
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 647
M. Leuschel and H. Wehrheim, “Selected papers on Integrated Formal Methods (iFM09),” Science of Computer Programming, no. 10, pp. 835--836, 2011.
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 648
P. Brandes, Robust Distributed Computation in Dynamic Networks. Universität Paderborn, 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 649
G. Besova, H. Wehrheim, and A. Wagner, “Reputation-based Reliability Prediction of Service Compositions,” Electronic Notes in Theoretical Computer Science, no. 2, pp. 3–16, 2011.
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 650
M. C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn, 2011.
LibreCat
2011 | Bachelorsthesis | LibreCat-ID: 651
N. Stroh-Maraun, Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme. Universität Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 652
C. Gerth, M. Luckey, J. Küster, and G. Engels, “Precise Mappings between Business Process Models in Versioning Scenarios,” in Proceedings of the IEEE 8th International Conference on Service Computingt (SCC), 2011, pp. 218--225.
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 653
S. Lehrig and T. Zolynski, “Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study,” in Proceedings of the Palladio Days 2011, 2011, pp. 15–22.
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 654
K. Graffi, “PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned,” in Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP), 2011, pp. 154–155.
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 655
J. Meyer, Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud. Universität Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 657
S. Abshoff, A. Cord-Landwehr, B. Degener, B. Kempkes, and P. Pietrzyk, “Local Approximation Algorithms for the Uncapacitated Metric Facility Location Problem in Power-Aware Sensor Networks,” in Proceedings of the 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS), 2011, pp. 13–27.
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 658
A. Schremmer, Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 659
G. Liske, Fault attacks in pairing-based cryptography. Universität Paderborn, 2011.
LibreCat
| Files available
2011 | Bachelorsthesis | LibreCat-ID: 660
M. Peuster, Defining and Deploying Complex Applicances in Multi-Site Cloud Environments. Universität Paderborn, 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 661
S. Arifulina, Coverage Criteria for Testing DMM Specifications. Universität Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 662
M. Nesterenko, R. Mohd, and C. Scheideler, “Corona: A Stabilizing Deterministic Message-Passing Skip List,” in Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 356--370.
LibreCat
| Files available
| DOI