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.

4178 Publications


2012 | Bachelorsthesis | LibreCat-ID: 616
Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen
S. Kluczniok, Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen, Universität Paderborn, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 617
Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems
A. Jungmann, B. Kleinjohann, E. Kleinjohann, M. Bieshaar, in: Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE), 2012, pp. 22–29.
LibreCat | Files available
 

2012 | Mastersthesis | LibreCat-ID: 618
Distributed Sampling of Regular Graphs
S. Kurras, Distributed Sampling of Regular Graphs, Universität Paderborn, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 619
Distributed Computing in Fault-Prone Dynamic Networks
P. Brandes, F. Meyer auf der Heide, in: Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS), 2012, pp. 9–14.
LibreCat | Files available | DOI
 

2012 | Bachelorsthesis | LibreCat-ID: 620
Datenschutzgerechtes DRM im Cloud Computing
R. Mittendorf, Datenschutzgerechtes DRM im Cloud Computing, Universität Paderborn, 2012.
LibreCat
 

2012 | Bachelorsthesis | LibreCat-ID: 621
Datenschutzgerechte E-Payment-Schemata im On-The-Fly Computing
S. Sekula, Datenschutzgerechte E-Payment-Schemata im On-The-Fly Computing, Universität Paderborn, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 622
Coverage Criteria for Testing DMM Specifications
S. Arifulina, G. Engels, C. Soltenborn, 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
Competitive and fair throughput for co-existing networks under adversarial interference
A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, 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
Change and Validity Analysis in Deductive Program Verification
M.-C. Jakobs, Change and Validity Analysis in Deductive Program Verification, Universität Paderborn, 2012.
LibreCat
 

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
 

Filters and Search Terms

isbn%3D978-1-4244-3892-1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed