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.
4678 Publications
2012 | Bachelorsthesis | LibreCat-ID: 620
R. Mittendorf, Datenschutzgerechtes DRM im Cloud Computing. Universität Paderborn, 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 621
S. Sekula, Datenschutzgerechte E-Payment-Schemata im On-The-Fly Computing. Universität Paderborn, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 622
S. Arifulina, G. Engels, and C. Soltenborn, “Coverage Criteria for Testing DMM Specifications,” in Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 623
A. W. Richa, C. Scheideler, S. Schmid, and J. Zhang, “Competitive and fair throughput for co-existing networks under adversarial interference,” in Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC), 2012, pp. 291–300.
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 624
M.-C. Jakobs, Change and Validity Analysis in Deductive Program Verification. Universität Paderborn, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 625
S. Schmid, C. Avin, C. Scheideler, B. Häupler, and Z. Lotker, “Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures,” in Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 439–440.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 626
S. Kniesburges and C. Scheideler, “Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems,” in Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 435–436.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 627
D. Wonisch, “Block Abstraction Memoization for CPAchecker,” in Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012, pp. 531–533.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 628
A. Cord-Landwehr, M. Huellmann (married name: Eikel), P. Kling, and A. Setzer, “Basic Network Creation Games with Communication Interests,” in Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), 2012, pp. 72--83.
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 629
P. Schleiter, Attribute-basierte Verschlüsselung. Universität Paderborn, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 630
M. C. Platenius, M. von Detten, and S. Becker, “Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies,” in Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–264.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 631
M. von Detten, “Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction,” in Proceedings of the 19th Working Conference on Reverse Engineering (WCRE), 2012, pp. 503–504.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 632
P. Kolman and C. Scheideler, “Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case,” in Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA), 2012, pp. 800–810.
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 633
D. Pischel, Analyse, Konzeption und Implementierung von Aggregationsverfahren für Trinkwasserversorgungsnetze. Universität Paderborn, 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 634
J. Kratzmann, Analyse und Simulation von energieeffizienten Online-Scheduling Algorithmen. Universität Paderborn, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 635
C. Dohle (married name: Hallmann) and L. Suhl, “An Optimization Model for the optimal Usage of Water Tanks in Water Supply Systems,” in Proceedings of the International Conference on Applied Mathematical Optimization and Modelling (APMOD), 2012, pp. 404–408.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 636
F. Meyer auf der Heide, P. Pietrzyk, and P. Kling, “An Algorithm for Facility Leasing,” in Proceedings of the 19th International Colloquium on Structural Information & Communication Complexity (SIROCCO), 2012, pp. 61–72.
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 637
F. Dawirs, Alternative Berechnung der Machtindizes: Banzhaf und Shapley-Shubik Index. Universität Paderborn, 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 638
F. Eidens, Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken. Universität Paderborn, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 639
Z. Huma, C. Gerth, G. Engels, and O. Juwig, “A UML-based Rich Service Description for Automatic Service Discovery,” in Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 2012, pp. 90--97.
LibreCat
| Files available