Cord-Landwehr, Andreas, et al. “Slow Down &; Sleep for Profit in Online Deadline Scheduling.”10.1007/978-3-642-34862-4_17__Proceedings of the 1st Mediterranean Conference on Algorithms (MedAlg), edited by Guy Even and Dror Rawitz, 2012, pp. 218–31, doi:10.1007/978-3-642-34862-4_17.
LibreCat: /record/580
DOI: 10.1007/978-3-642-34862-4_17

Drees, Maximilian, et al. “Self-Organizing Particle Systems.”10.1109/IPDPS.2012.116__Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1272–83, doi:10.1109/IPDPS.2012.116.
LibreCat: /record/581
DOI: 10.1109/IPDPS.2012.116

Petrlic, Ronald. “Proxy Re-Encryption in a Privacy-Preserving Cloud Computing DRM Scheme.”10.1007/978-3-642-35362-8_16__Proceedings of 4th International Symposium on Cyberspace Safety and Security (CSS), 2012, pp. 194–211, doi:10.1007/978-3-642-35362-8_16.
LibreCat: /record/585
DOI: 10.1007/978-3-642-35362-8_16

Plessl, Christian, et al. Programming Models for Reconfigurable Heterogeneous Multi-Cores. Awareness Magazine, 2012.
LibreCat: /record/587

Petrlic, Ronald, and Christoph Sorge. “Privacy-Preserving DRM for Cloud Computing.”10.1109/WAINA.2012.92__Proceedings of the 26th IEEE International Conference on Advanced Information Networking and Applications (AINA), 2012, pp. 1286–91, doi:10.1109/WAINA.2012.92.
LibreCat: /record/588
DOI: 10.1109/WAINA.2012.92

Petrlic, Ronald. “Privacy-Preserving Digital Rights Management in a Trusted Cloud Environment.”10.1109/TrustCom.2012.225__Proceedings of the 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2012, pp. 958–63, doi:10.1109/TrustCom.2012.225.
LibreCat: /record/589
DOI: 10.1109/TrustCom.2012.225

Wonisch, Daniel, and Heike Wehrheim. “Predicate Analysis with Block-Abstraction Memoization.”10.1007/978-3-642-34281-3_24__Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–47, doi:10.1007/978-3-642-34281-3_24.
LibreCat: /record/590
DOI: 10.1007/978-3-642-34281-3_24

Becker, Matthias, et al. “Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey.”10.1145/2304696.2304716__Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12), 2012, pp. 117–22, doi:10.1145/2304696.2304716.
LibreCat: /record/596
DOI: 10.1145/2304696.2304716

Mavronicolas, Marios, and Burkhard Monien. “Minimizing Expectation Plus Variance.”10.1007/978-3-642-33996-7_21__Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), 2012, pp. 239–50, doi:10.1007/978-3-642-33996-7_21.
LibreCat: /record/597
DOI: 10.1007/978-3-642-33996-7_21

Brangewitz, Sonja. Learning by Trading in Infinite Horizon Strategic Market Games with Default. Universität Paderborn, 2012.
LibreCat: /record/602

Wette, Philip, and Holger Karl. Introducing Feedback to Preemptive Routing and Wavelength Assignment Algorithms for Dynamic Traffic Scenarios. Universität Paderborn, 2012.
LibreCat: /record/603

Timm, Nils, et al. “Heuristic-Guided Abstraction Refinement for Concurrent Systems.”10.1007/978-3-642-34281-3_25__Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–63, doi:10.1007/978-3-642-34281-3_25.
LibreCat: /record/608
DOI: 10.1007/978-3-642-34281-3_25

Jungmann, Alexander, et al. “Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems.” Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE), 2012, pp. 22–29.
LibreCat: /record/617

Brandes, Philipp, and Friedhelm Meyer auf der Heide. “Distributed Computing in Fault-Prone Dynamic Networks.”10.1145/2414815.2414818__Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS), 2012, pp. 9–14, doi:10.1145/2414815.2414818.
LibreCat: /record/619
DOI: 10.1145/2414815.2414818

Arifulina, Svetlana, et al. “Coverage Criteria for Testing DMM Specifications.”10.14279/tuj.eceasst.47.718__Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012, doi:10.14279/tuj.eceasst.47.718.
LibreCat: /record/622
DOI: 10.14279/tuj.eceasst.47.718

Richa, Andrea W., et al. “Competitive and Fair Throughput for Co-Existing Networks under Adversarial Interference.”10.1145/2332432.2332488__Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC), 2012, pp. 291–300, doi:10.1145/2332432.2332488.
LibreCat: /record/623
DOI: 10.1145/2332432.2332488

Schmid, Stefan, et al. “Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures.”10.1007/978-3-642-33651-5_47__Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 439–40, doi:10.1007/978-3-642-33651-5_47.
LibreCat: /record/625
DOI: 10.1007/978-3-642-33651-5_47

Kniesburges, Sebastian, and Christian Scheideler. “Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems.”10.1007/978-3-642-33651-5_45__Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 435–36, doi:10.1007/978-3-642-33651-5_45.
LibreCat: /record/626
DOI: 10.1007/978-3-642-33651-5_45

Wonisch, Daniel. “Block Abstraction Memoization for CPAchecker.”10.1007/978-3-642-28756-5_41__Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012, pp. 531–33, doi:10.1007/978-3-642-28756-5_41.
LibreCat: /record/627
DOI: 10.1007/978-3-642-28756-5_41

Cord-Landwehr, Andreas, et al. “Basic Network Creation Games with Communication Interests.”10.1007/978-3-642-33996-7_7__Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), 2012, pp. 72--83, doi:10.1007/978-3-642-33996-7_7.
LibreCat: /record/628
DOI: 10.1007/978-3-642-33996-7_7

Platenius, Marie Christin, et al. “Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies.”10.1109/CSMR.2012.33__Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–64, doi:10.1109/CSMR.2012.33.
LibreCat: /record/630
DOI: 10.1109/CSMR.2012.33

von Detten, Markus. “Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction.”10.1109/WCRE.2012.61__Proceedings of the 19th Working Conference on Reverse Engineering (WCRE), 2012, pp. 503–04, doi:10.1109/WCRE.2012.61.
LibreCat: /record/631
DOI: 10.1109/WCRE.2012.61

Kolman, Petr, and Christian Scheideler. “Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case.”10.1137/1.9781611973099.64__Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA), 2012, pp. 800–10, doi:10.1137/1.9781611973099.64.
LibreCat: /record/632
DOI: 10.1137/1.9781611973099.64

Dohle (married name: Hallmann) , Corinna, and Leena Suhl. “An Optimization Model for the Optimal Usage of Water Tanks in Water Supply Systems.” Proceedings of the International Conference on Applied Mathematical Optimization and Modelling (APMOD), 2012, pp. 404–08.
LibreCat: /record/635

Meyer auf der Heide, Friedhelm, et al. “An Algorithm for Facility Leasing.”10.1007/978-3-642-31104-8_6__Proceedings of the 19th International Colloquium on Structural Information &; Communication Complexity (SIROCCO), 2012, pp. 61–72, doi:10.1007/978-3-642-31104-8_6.
LibreCat: /record/636
DOI: 10.1007/978-3-642-31104-8_6

Huma, Zille, et al. “A UML-Based Rich Service Description for Automatic Service Discovery.” Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 2012, pp. 90--97.
LibreCat: /record/639

Kniesburges, Sebastian, et al. “A Self-Stabilization Process for Small-World Networks.”10.1109/IPDPS.2012.115__Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1261--1271, doi:10.1109/IPDPS.2012.115.
LibreCat: /record/640
DOI: 10.1109/IPDPS.2012.115

Bodden, Eric, et al. “Partially Evaluating Finite-State Runtime Monitors Ahead of Time.”10.1145/2220365.2220366__ACM Transactions on Programming Languages and Systems, vol. 34, no. 2, Association for Computing Machinery (ACM), 2012, pp. 1–52, doi:10.1145/2220365.2220366.
LibreCat: /record/5183
DOI: 10.1145/2220365.2220366

Besova, Galina, et al. “Weaving-Based Configuration and Modular Transformation of Multi-Layer Systems.”10.1007/978-3-642-33666-9_49__Proceedings of the 15th International Conference on Model Driven Engineering Languages &; Systems (MoDELS), 2012, pp. 776–92, doi:10.1007/978-3-642-33666-9_49.
LibreCat: /record/565
DOI: 10.1007/978-3-642-33666-9_49

Lewis, Peter, et al. An Outlook for Self-Awareness in Computing Systems. Awareness Magazine, 2012.
LibreCat: /record/13462

Happe, Markus, et al. “Eight Ways to Put Your FPGA on Fire – A Systematic Study of Heat Generators.”10.1109/ReConFig.2012.6416745__Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig), IEEE, 2012, pp. 1–8, doi:10.1109/ReConFig.2012.6416745.
LibreCat: /record/615
DOI: 10.1109/ReConFig.2012.6416745

Kenter, Tobias, et al. “Pragma Based Parallelization - Trading Hardware Efficiency for Ease of Use?”10.1109/ReConFig.2012.6416773__Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2012, pp. 1–8, doi:10.1109/ReConFig.2012.6416773.
LibreCat: /record/591
DOI: 10.1109/ReConFig.2012.6416773

Happe, Markus, et al. “Hardware/Software Platform for Self-Aware Compute Nodes.” Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS), 2012, pp. 8–9.
LibreCat: /record/609

Barrio, Pablo, et al. “Turning Control Flow Graphs into Function Calls: Code Generation for Heterogeneous Architectures.”10.1109/HPCSim.2012.6266973__Proceedings of the International Conference on High Performance Computing and Simulation (HPCS), IEEE, 2012, pp. 559–65, doi:10.1109/HPCSim.2012.6266973.
LibreCat: /record/567
DOI: 10.1109/HPCSim.2012.6266973

Rüthing, Christoph, et al. “Exploration of Ring Oscillator Design Space for Temperature Measurements on FPGAs.”10.1109/FPL.2012.6339370__Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), IEEE, 2012, pp. 559–62, doi:10.1109/FPL.2012.6339370.
LibreCat: /record/612
DOI: 10.1109/FPL.2012.6339370

Dimitrov, Dinko, and Claus-Jochen Haake. “Proportionality and the Power of Unequal Parties.”10.1111/j.1742-7363.2011.00158.x__International Journal of Economic Theory, vol. 7, no. 2, Wiley-Blackwell, 2011, pp. 189–200, doi:10.1111/j.1742-7363.2011.00158.x.
LibreCat: /record/2512
DOI: 10.1111/j.1742-7363.2011.00158.x

von Detten, Markus. “Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution.”10.1145/2024569.2024573__Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), 2011, pp. 17–20, doi:10.1145/2024569.2024573.
LibreCat: /record/644
DOI: 10.1145/2024569.2024573

Doerr, Benjamin, et al. “Stabilizing Consensus with the Power of Two Choices.”10.1145/1989493.1989516__Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2011, pp. 149–58, doi:10.1145/1989493.1989516.
LibreCat: /record/645
DOI: 10.1145/1989493.1989516

Richa, Andrea W., and Christian Scheideler. “Self-Stabilizing DeBruijn Networks.”10.1007/978-3-642-24550-3_31__Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 416–30, doi:10.1007/978-3-642-24550-3_31.
LibreCat: /record/646
DOI: 10.1007/978-3-642-24550-3_31

Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).”10.1016/j.scico.2011.01.009__Science of Computer Programming, no. 10, Elsevier, 2011, pp. 835--836, doi:10.1016/j.scico.2011.01.009.
LibreCat: /record/647
DOI: 10.1016/j.scico.2011.01.009

Besova, Galina, et al. “Reputation-Based Reliability Prediction of Service Compositions.”10.1016/j.entcs.2011.11.008__Electronic Notes in Theoretical Computer Science, no. 2, Elsevier, 2011, pp. 3–16, doi:10.1016/j.entcs.2011.11.008.
LibreCat: /record/649
DOI: 10.1016/j.entcs.2011.11.008

Gerth, Christian, et al. “Precise Mappings between Business Process Models in Versioning Scenarios.”10.1109/SCC.2011.65__Proceedings of the IEEE 8th International Conference on Service Computingt (SCC), 2011, pp. 218--225, doi:10.1109/SCC.2011.65.
LibreCat: /record/652
DOI: 10.1109/SCC.2011.65

Lehrig, Sebastian, and Thomas Zolynski. “Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study.”10.5445/IR/1000025188 __Proceedings of the Palladio Days 2011, 2011, pp. 15–22, doi:10.5445/IR/1000025188 .
LibreCat: /record/653
DOI: 10.5445/IR/1000025188 

Graffi, Kalman. “PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned.”10.1109/P2P.2011.6038673__Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP), 2011, pp. 154–55, doi:10.1109/P2P.2011.6038673.
LibreCat: /record/654
DOI: 10.1109/P2P.2011.6038673

Abshoff, Sebastan, et al. “Local Approximation Algorithms for the Uncapacitated Metric Facility Location Problem in Power-Aware Sensor Networks.”10.1007/978-3-642-28209-6_3__Proceedings of the 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS), 2011, pp. 13–27, doi:10.1007/978-3-642-28209-6_3.
LibreCat: /record/657
DOI: 10.1007/978-3-642-28209-6_3

Nesterenko, Mikhail, et al. “Corona: A Stabilizing Deterministic Message-Passing Skip List.”10.1007/978-3-642-24550-3_27__Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 356--370, doi:10.1007/978-3-642-24550-3_27.
LibreCat: /record/662
DOI: 10.1007/978-3-642-24550-3_27

Gehweiler, Joachim, et al. “An Experimental Comparison of Load Balancing Strategies in a Web Computing Environment.”10.1007/978-3-642-31500-8_4__Proceedings of the 9th International Conference on Parallel Processing and Applied Mathematics (PPAM), 2011, pp. 31--40, doi:10.1007/978-3-642-31500-8_4.
LibreCat: /record/664
DOI: 10.1007/978-3-642-31500-8_4

Drzevitzky, Stephanie, and Marco Platzner. “Achieving Hardware Security for Reconû01gurable Systems on Chip by a Proof-Carrying Code Approach.”10.1109/ReCoSoC.2011.5981499__Proceedings of the 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011, pp. 58–65, doi:10.1109/ReCoSoC.2011.5981499.
LibreCat: /record/666
DOI: 10.1109/ReCoSoC.2011.5981499

Meyer auf der Heide, Friedhelm, and Rajmohan Rajaraman, editors. 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures. 2011, doi:10.1145/1989493.
LibreCat: /record/667
DOI: 10.1145/1989493

Kaimann, Daniel. “To Infinity and beyond!” - A Genre-Specific Film Analysis of Movie Success Mechanisms. Universität Paderborn, 2011.
LibreCat: /record/668

Happe, Markus, et al. “Measuring and Predicting Temperature Distributions on FPGAs at Run-Time.”10.1109/ReConFig.2011.59__Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs (ReConFig), IEEE, 2011, pp. 55–60, doi:10.1109/ReConFig.2011.59.
LibreCat: /record/656
DOI: 10.1109/ReConFig.2011.59