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.
5714 Publications
2011 | Conference Paper | LibreCat-ID: 645
Doerr B, Goldberg LA, Minder L, Sauerwald T, Scheideler C. Stabilizing consensus with the power of two choices. In: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2011:149-158. doi:10.1145/1989493.1989516
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 7353
Weißleder S, Güldali B, Mlynarski M, et al. Modellbasiertes Testen: Hype oder Realität? OBJEKTspektrum. 2011;(6):59-65.
LibreCat
2011 | Journal Article | LibreCat-ID: 7354
Güldali B, Funke H, Sauer S, Engels G. TORC: test plan optimization by requirements clustering. Software Quality Journal. 2011;19(4):771-799. doi:10.1007/s11219-011-9149-4
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 7355
Soltenborn C, Engels G. Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications. Journal of Visual Languages & Computing. 2011;22(3):233-250. doi:10.1016/j.jvlc.2010.12.005
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 7535
Böckelmann I, Schenk D, Rößler T, et al. Physiologische Beanspruchungsreaktionen bei der Anwendung von kopfgetragenen AR-Displays. In: ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 7536
Klompmaker F, Senft B, Nebe K, Busch C, Willemsen D. User Centered Design Process of OSAMi-D - Developing User Interfaces for a Remote Ergometer Training Application. In: {HEALTHINF} 2011 - Proceedings of the International Conference on Health Informatics, Rome, Italy, 26-29 January, 2011. ; 2011:268-273.
LibreCat
2011 | Conference Paper | LibreCat-ID: 8471
Brüseke F, Becker S, Engels G. Palladio-based performance blame analysis. In: Proceedings of the 16th International Workshop on Component-Oriented Programming (WCOP; Satellite Event of the CompArch 2011), Boulder Colorado, CO (USA). New York, NY (USA): ACM; 2011:25-32. doi:http://dx.doi.org/10.1145/2000292.2000298
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 8472
Nagel B. Semi-automatische Ableitung externer Anpassungsmechanismen für selbst-adaptive Systeme. In: Proceedings of the Software Engineering 2011 (SE 2011), Karlsruhe (Germany). Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2011.
LibreCat
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
2011 | Book Chapter | LibreCat-ID: 16412
Gehweiler J, Meyer auf der Heide F. Bin Packing - How Do I Get My Stuff into the Boxes. In: Algorithms Unplugged. Berlin, Heidelberg; 2011:367-374. doi:10.1007/978-3-642-15328-0_38
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 16428
Rajaraman R, Meyer auf der Heide F. Proceedings of the 23rd ACM symposium on Parallelism in algorithms and architectures - SPAA ’11. In: ; 2011. doi:10.1145/1989493
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 16447
Degener B, Fekete SP, Kempkes B, Meyer auf der Heide F. A survey on relay placement with runtime and approximation guarantees. Computer Science Review. 2011:57-68. doi:10.1016/j.cosrev.2010.09.005
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 16451
Brandes P, Degener B, Kempkes B, Meyer auf der Heide F. Energy-efficient strategies for building short chains of mobile robots locally. In: SIROCCO ’11: Proc. of the 18th International Colloquium on Structural Information and Communication Complexity. ; 2011:138-149. doi:10.1016/j.tcs.2012.10.056
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 16453
Degener B, Kempkes B, Langner T, Meyer auf der Heide F, Pietrzyk P, Wattenhofer R. A tight runtime bound for synchronous gathering of autonomous robots with limited visibility. In: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’11. ; 2011. doi:10.1145/1989493.1989515
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 16454
Kling P, Meyer auf der Heide F. Convergence of local communication chain strategies via linear transformations. In: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’11. ; 2011. doi:10.1145/1989493.1989517
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 16455
Degener B, Kempkes B, Meyer auf der Heide F. Building Simple Formations in Large Societies of Tiny Mobile Robots. Procedia Computer Science. 2011:153-155. doi:10.1016/j.procs.2011.09.049
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 16456
Degener B, Kempkes B, Meyer auf der Heide F. Energy-Awareness in Self-organising Robotic Exploration Teams. In: Organic Computing — A Paradigm Shift for Complex Systems. Basel; 2011. doi:10.1007/978-3-0348-0130-0_35
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 16459
Brandes P, Degener B, Kempkes B, Meyer auf der Heide F. Energy-Efficient Strategies for Building Short Chains of Mobile Robots Locally. In: Structural Information and Communication Complexity. Berlin, Heidelberg; 2011. doi:10.1007/978-3-642-22212-2_13
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 16762
Arens S, Isenberg T, Bolte M, et al. Räumliche Wahrnehmung ct-angiographischer Koronararterien in einer Curved Planar Reformation mittels Direct Volume Rendering. In: Tagungsband Jahrestagung Nuklearmedizin. Bregenz, Austria; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 16798
Ebert A, Domik G, D. Gershon N, C. van der Veer G. Building Bridges - HCI and Visualization. In: F. Campos P, C. Nicholas Graham T, A. Jorge J, Jardim Nunes N, A. Palanque P, Winckler M, eds. Human-Computer Interaction - {INTERACT} 2011 - 13th {IFIP} {TC} 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part {IV}. Vol 6949. Lecture Notes in Computer Science. Springer; 2011:722-723. doi:10.1007/978-3-642-23768-3\_133
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 17009
Hsu DF, Magga BM, Ho HCT, Hromkovic J, Lau FCM, Meyer auf der Heide F. EDITORIAL. Journal of Interconnection Networks. 2011:vii-viii. doi:10.1142/s0219265911002885
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 10637
Boschmann A, Kaufmann P, Platzner M. Accurate gait phase detection using surface electromyographic signals and support vector machines. In: Proc. IEEE Int. Conf. Bioinformatics and Biomedical Technology (ICBBT). ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 10638
Boschmann A, Platzner M, Robrecht M, Hahn M, Winkler M. Development of a pattern recognition-based myoelectric transhumeral prosthesis with multifunctional simultaneous control using a model-driven ppproach for mechatronic systems. In: Proc. MyoElectric Controls Symposium (MEC). ; 2011.
LibreCat
2011 | Bachelorsthesis | LibreCat-ID: 10678
Ikonomakis N. PinSim: Schnelle Simulation Mit Pintools. Paderborn University; 2011.
LibreCat
2011 | Bachelorsthesis | LibreCat-ID: 10680
Kassner H. MPI-CUDA Codegenerierung Für Nanophoton Simulationen Auf Clustern. Paderborn University; 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 10687
Kaufmann P, Platzner M. Multi-objective Intrinsic Evolution of Embedded Systems. In: Müller-Schloer C, Schmeck H, Ungerer T, eds. Organic Computing---A Paradigm Shift for Complex Systems. Vol 1. Autonomic Systems. Springer Basel; 2011:193-206.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 10736
Schwabe A. Analysis of Algorithmic Approaches for Temporal Partitioning. Paderborn University; 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 10737
Sekanina L, Walker JA, Kaufmann P, Plessl C, Platzner M. Evolution of Electronic Circuits. In: Cartesian Genetic Programming. Natural Computing Series. Springer Berlin Heidelberg; 2011:125-179.
LibreCat
2011 | Book Chapter | LibreCat-ID: 10748
Walker JA, Miller JF, Kaufmann P, Platzner M. Problem Decomposition in Cartesian Genetic Programming. In: Cartesian Genetic Programming. Natural Computing Series. Springer Berlin Heidelberg; 2011:35-99.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 10750
Welp D. User Space Scheduling for Heterogeneous Systems. Paderborn University; 2011.
LibreCat
2011 | Bachelorsthesis | LibreCat-ID: 1092
Feldotto M. Parallele Kompression von XML mit XML-Schema-Subtraktion. Universität Paderborn; 2011.
LibreCat