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.
5786 Publications
2011 | Conference Paper | LibreCat-ID: 646
Richa AW, Scheideler C. Self-Stabilizing DeBruijn Networks. In: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). LNCS. ; 2011:416-430. doi:10.1007/978-3-642-24550-3_31
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 647
Leuschel M, Wehrheim H. Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming. 2011;(10):835--836. doi:10.1016/j.scico.2011.01.009
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 648
Brandes P. Robust Distributed Computation in Dynamic Networks. Universität Paderborn; 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 649
Besova G, Wehrheim H, Wagner A. Reputation-based Reliability Prediction of Service Compositions. Electronic Notes in Theoretical Computer Science. 2011;(2):3-16. doi:10.1016/j.entcs.2011.11.008
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 650
Platenius MC. Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 652
Gerth C, Luckey M, Küster J, Engels G. Precise Mappings between Business Process Models in Versioning Scenarios. In: Proceedings of the IEEE 8th International Conference on Service Computingt (SCC). ; 2011:218--225. doi:10.1109/SCC.2011.65
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 654
Graffi K. PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned. In: Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP). ; 2011:154-155. doi:10.1109/P2P.2011.6038673
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 657
Abshoff S, Cord-Landwehr A, Degener B, Kempkes B, Pietrzyk P. Local Approximation Algorithms for the Uncapacitated Metric Facility Location Problem in Power-Aware Sensor Networks. In: Proceedings of the 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS). LNCS. ; 2011:13-27. doi:10.1007/978-3-642-28209-6_3
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 658
Schremmer A. Function Specification Inference Using Craig Interpolation. Universität Paderborn; 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 659
Liske G. Fault Attacks in Pairing-Based Cryptography. Universität Paderborn; 2011.
LibreCat
| Files available
2011 | Bachelorsthesis | LibreCat-ID: 660
Peuster M. Defining and Deploying Complex Applicances in Multi-Site Cloud Environments. Universität Paderborn; 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 661
Arifulina S. Coverage Criteria for Testing DMM Specifications. Universität Paderborn; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 662
Nesterenko M, Mohd R, Scheideler C. Corona: A Stabilizing Deterministic Message-Passing Skip List. In: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). LNCS. ; 2011:356--370. doi:10.1007/978-3-642-24550-3_27
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 663
Swierkot K. Complexity Classes for Local Computation. Universität Paderborn; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 664
Gehweiler J, Kling P, Meyer auf der Heide F. An Experimental Comparison of Load Balancing Strategies in a Web Computing Environment. In: Proceedings of the 9th International Conference on Parallel Processing and Applied Mathematics (PPAM). LNCS. ; 2011:31--40. doi:10.1007/978-3-642-31500-8_4
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 665
Wette P. Adaptives Loadbalancing für strukturierte Peer-to-Peer-Netzwerke am Beispiel von Chord. Universität Paderborn; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 666
Drzevitzky S, Platzner M. Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach. In: Proceedings of the 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC). ; 2011:58-65. doi:10.1109/ReCoSoC.2011.5981499
LibreCat
| Files available
| DOI
2011 | Conference (Editor) | LibreCat-ID: 667
Meyer auf der Heide F, Rajaraman R, eds. 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures.; 2011. doi:10.1145/1989493
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 6740
Böttcher S, Bokermann D, Hartel R. Computing Compressed XML Data from Relational Databases. In: Advances in Databases - 28th British National Conference on Databases, BNCOD 28, Revised Selected Papers. Vol 7051. Lecture Notes in Computer Science. Springer Berlin/Heidelberg; 2011:209-220.
LibreCat
2011 | Conference Paper | LibreCat-ID: 16410
Cord-Landwehr A, Degener B, Fischer M, et al. Collisionless Gathering of Robots with an Extent. In: 37th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2011). Springer; 2011:178-189. doi:10.1007/978-3-642-18381-2_15
LibreCat
| DOI