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.

5669 Publications


2011 | Conference Paper | LibreCat-ID: 7536
User Centered Design Process of OSAMi-D - Developing User Interfaces for a Remote Ergometer Training Application
F. Klompmaker, B. Senft, K. Nebe, C. Busch, D. Willemsen, in: {HEALTHINF} 2011 - Proceedings of the International Conference on Health Informatics, Rome, Italy, 26-29 January, 2011, 2011, pp. 268–273.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 8471
Palladio-based performance blame analysis
F. Brüseke, S. Becker, G. Engels, in: Proceedings of the 16th International Workshop on Component-Oriented Programming (WCOP; Satellite Event of the CompArch 2011), Boulder Colorado, CO (USA), ACM, New York, NY (USA), 2011, pp. 25–32.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 8472
Semi-automatische Ableitung externer Anpassungsmechanismen für selbst-adaptive Systeme
B. Nagel, in: Proceedings of the Software Engineering 2011 (SE 2011), Karlsruhe (Germany), Gesellschaft für Informatik (GI), Bonn, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 646
Self-Stabilizing DeBruijn Networks
A.W. Richa, C. Scheideler, 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
Selected papers on Integrated Formal Methods (iFM09)
M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.
LibreCat | Files available | DOI
 

2011 | Mastersthesis | LibreCat-ID: 648
Robust Distributed Computation in Dynamic Networks
P. Brandes, Robust Distributed Computation in Dynamic Networks, Universität Paderborn, 2011.
LibreCat
 

2011 | Journal Article | LibreCat-ID: 649
Reputation-based Reliability Prediction of Service Compositions
G. Besova, H. Wehrheim, A. Wagner, Electronic Notes in Theoretical Computer Science (2011) 3–16.
LibreCat | Files available | DOI
 

2011 | Mastersthesis | LibreCat-ID: 650
Reengineering of Design Deficiencies in Component-Based Software Architectures
M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures, Universität Paderborn, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 652
Precise Mappings between Business Process Models in Versioning Scenarios
C. Gerth, M. Luckey, J. Küster, G. Engels, 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: 654
PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned
K. Graffi, in: Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP), 2011, pp. 154–155.
LibreCat | Files available | DOI
 

2011 | Conference Paper | LibreCat-ID: 657
Local Approximation Algorithms for the Uncapacitated Metric Facility Location Problem in Power-Aware Sensor Networks
S. Abshoff, A. Cord-Landwehr, B. Degener, B. Kempkes, P. Pietrzyk, 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
Function Specification Inference Using Craig Interpolation
A. Schremmer, Function Specification Inference Using Craig Interpolation, Universität Paderborn, 2011.
LibreCat
 

2011 | Mastersthesis | LibreCat-ID: 659
Fault attacks in pairing-based cryptography
G. Liske, Fault Attacks in Pairing-Based Cryptography, Universität Paderborn, 2011.
LibreCat | Files available
 

2011 | Bachelorsthesis | LibreCat-ID: 660
Defining and Deploying Complex Applicances in Multi-Site Cloud Environments
M. Peuster, Defining and Deploying Complex Applicances in Multi-Site Cloud Environments, Universität Paderborn, 2011.
LibreCat
 

2011 | Mastersthesis | LibreCat-ID: 661
Coverage Criteria for Testing DMM Specifications
S. Arifulina, Coverage Criteria for Testing DMM Specifications, Universität Paderborn, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 662
Corona: A Stabilizing Deterministic Message-Passing Skip List
M. Nesterenko, R. Mohd, C. Scheideler, in: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 356--370.
LibreCat | Files available | DOI
 

2011 | Mastersthesis | LibreCat-ID: 663
Complexity Classes for Local Computation
K. Swierkot, Complexity Classes for Local Computation, Universität Paderborn, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 664
An Experimental Comparison of Load Balancing Strategies in a Web Computing Environment
J. Gehweiler, P. Kling, F. Meyer auf der Heide, in: Proceedings of the 9th International Conference on Parallel Processing and Applied Mathematics (PPAM), 2011, pp. 31--40.
LibreCat | Files available | DOI
 

2011 | Mastersthesis | LibreCat-ID: 665
Adaptives Loadbalancing für strukturierte Peer-to-Peer-Netzwerke am Beispiel von Chord
P. Wette, Adaptives Loadbalancing für strukturierte Peer-to-Peer-Netzwerke am Beispiel von Chord, Universität Paderborn, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 666
Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach
S. Drzevitzky, M. Platzner, in: Proceedings of the 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011, pp. 58–65.
LibreCat | Files available | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed