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.
4755 Publications
2012 | Conference Paper | LibreCat-ID: 623
Richa AW, Scheideler C, Schmid S, Zhang J. 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:291-300. doi:10.1145/2332432.2332488
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 624
Jakobs M-C. Change and Validity Analysis in Deductive Program Verification. Universität Paderborn; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 625
Schmid S, Avin C, Scheideler C, Häupler B, Lotker Z. Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures. In: Proceedings of the 26th International Symposium on Distributed Computing (DISC). LNCS. ; 2012:439-440. doi:10.1007/978-3-642-33651-5_47
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 626
Kniesburges S, Scheideler C. 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). LNCS. ; 2012:435-436. doi:10.1007/978-3-642-33651-5_45
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 627
Wonisch D. Block Abstraction Memoization for CPAchecker. In: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). LNCS. ; 2012:531-533. doi:10.1007/978-3-642-28756-5_41
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 628
Cord-Landwehr A, Huellmann (married name: Eikel) M, Kling P, Setzer A. Basic Network Creation Games with Communication Interests. In: Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT). LNCS. ; 2012:72--83. doi:10.1007/978-3-642-33996-7_7
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 629
Schleiter P. Attribute-basierte Verschlüsselung. Universität Paderborn; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 630
Platenius MC, von Detten M, Becker S. 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:255-264. doi:10.1109/CSMR.2012.33
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 631
von Detten M. Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction. In: Proceedings of the 19th Working Conference on Reverse Engineering (WCRE). ; 2012:503-504. doi:10.1109/WCRE.2012.61
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 632
Kolman P, Scheideler C. Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case. In: Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA). ; 2012:800-810. doi:10.1137/1.9781611973099.64
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 633
Pischel D. Analyse, Konzeption und Implementierung von Aggregationsverfahren für Trinkwasserversorgungsnetze. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 634
Kratzmann J. Analyse und Simulation von energieeffizienten Online-Scheduling Algorithmen. Universität Paderborn; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 635
Dohle (married name: Hallmann) C, Suhl L. 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:404-408.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 636
Meyer auf der Heide F, Pietrzyk P, Kling P. An Algorithm for Facility Leasing. In: Proceedings of the 19th International Colloquium on Structural Information & Communication Complexity (SIROCCO). LNCS. ; 2012:61-72. doi:10.1007/978-3-642-31104-8_6
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 637
Dawirs F. Alternative Berechnung der Machtindizes: Banzhaf und Shapley-Shubik Index. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 638
Eidens F. Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken. Universität Paderborn; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 639
Huma Z, Gerth C, Engels G, Juwig O. 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. CEUR Workshop Proceedings. ; 2012:90--97.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 640
Kniesburges S, Koutsopoulos A, Scheideler C. A Self-Stabilization Process for Small-World Networks. In: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS). ; 2012:1261--1271. doi:10.1109/IPDPS.2012.115
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 641
Schluessler J. A Forensic Framework for Automatic Information Retrieval in Distributed Systems. Universität Paderborn; 2012.
LibreCat
2012 | Dissertation | LibreCat-ID: 4443
Jenert T. Studienprogramme Als Didaktische Gestaltungs-Und Untersuchungseinheit: Theoretische Grundlegung Und Empirische Analyse. Universität St. Gallen; 2012.
LibreCat