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.

1596 Publications


2012 | Conference Paper | LibreCat-ID: 625
Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures
S. Schmid, C. Avin, C. Scheideler, B. Häupler, Z. Lotker, 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
Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems
S. Kniesburges, C. Scheideler, 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
Block Abstraction Memoization for CPAchecker
D. Wonisch, 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
Basic Network Creation Games with Communication Interests
A. Cord-Landwehr, M. Huellmann (married name: Eikel), P. Kling, A. Setzer, 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
Attribute-basierte Verschlüsselung
P. Schleiter, Attribute-basierte Verschlüsselung, Universität Paderborn, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 630
Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies
M.C. Platenius, M. von Detten, S. Becker, 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
Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction
M. von Detten, 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
Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case
P. Kolman, C. Scheideler, 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
Analyse, Konzeption und Implementierung von Aggregationsverfahren für Trinkwasserversorgungsnetze
D. Pischel, Analyse, Konzeption und Implementierung von Aggregationsverfahren für Trinkwasserversorgungsnetze, Universität Paderborn, 2012.
LibreCat
 

2012 | Bachelorsthesis | LibreCat-ID: 634
Analyse und Simulation von energieeffizienten Online-Scheduling Algorithmen
J. Kratzmann, Analyse und Simulation von energieeffizienten Online-Scheduling Algorithmen, Universität Paderborn, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 635
An Optimization Model for the optimal Usage of Water Tanks in Water Supply Systems
C. Dohle (married name: Hallmann) , L. Suhl, 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
An Algorithm for Facility Leasing
F. Meyer auf der Heide, P. Pietrzyk, P. Kling, 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
Alternative Berechnung der Machtindizes: Banzhaf und Shapley-Shubik Index
F. Dawirs, Alternative Berechnung der Machtindizes: Banzhaf und Shapley-Shubik Index, Universität Paderborn, 2012.
LibreCat
 

2012 | Bachelorsthesis | LibreCat-ID: 638
Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken
F. Eidens, Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken, Universität Paderborn, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 639
A UML-based Rich Service Description for Automatic Service Discovery
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 2012, pp. 90--97.
LibreCat | Files available
 

2012 | Conference Paper | LibreCat-ID: 640
A Self-Stabilization Process for Small-World Networks
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1261--1271.
LibreCat | Files available | DOI
 

2012 | Mastersthesis | LibreCat-ID: 641
A Forensic Framework for Automatic Information Retrieval in Distributed Systems
J. Schluessler, A Forensic Framework for Automatic Information Retrieval in Distributed Systems, Universität Paderborn, 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 5183
Partially Evaluating Finite-State Runtime Monitors Ahead of Time
E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.
LibreCat | Files available | DOI | Download (ext.)
 

2012 | Conference Paper | LibreCat-ID: 565
Weaving-based configuration and modular transformation of multi-layer systems
G. Besova, S. Walther, H. Wehrheim, S. Becker, in: Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), 2012, pp. 776–792.
LibreCat | Files available | DOI
 

2012 | Bachelorsthesis | LibreCat-ID: 566
Untersuchung von Modellen zur operativen Planung in Trinkwasserversorgungsnetzwerken
I. Hilger, Untersuchung von Modellen zur operativen Planung in Trinkwasserversorgungsnetzwerken, Universität Paderborn, 2012.
LibreCat
 

Filters and Search Terms

(project=1)

Search

Filter Publications

Display / Sort

Export / Embed