1597 Publications
2014 | Journal Article | LibreCat-ID: 387
Awerbuch, B., Richa, A. W., Scheideler, C., Schmid, S., & Zhang, J. (2014). Principles of Robust Medium Access and an Application to Leader Election. Transactions on Algorithms, (4). https://doi.org/10.1145/2635818
LibreCat
| Files available
| DOI
2014 | Report | LibreCat-ID: 389
Stapel, F., & Suhl, L. (2014). Ontology-based Representation of Optimization Models. Universität Paderborn.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 390
Huma, Z., Gerth, C., & Engels, G. (2014). On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains. Computer Science - Research and Development, (3–4), 333–361. https://doi.org/10.1007/s00450-014-0254-z
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 391
Feldkord, B. (2014). On Variants of the Page Migration Problem. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 18001
Luo, L. (2014). Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 441
Sorge, C., & Petrlic, R. (2014). Datenschutz im Future Internet: rechtliche Aspekte und technische Maßnahmen. In Tagungsband des 17. Internationalen Rechtsinformatik Symposions.
LibreCat
| Files available
2014 | Preprint | LibreCat-ID: 442 | 
Blömer, J., & Liske, G. (2014). Constructing CCA-secure predicate encapsulation schemes from CPA-secure schemes and universal one-way hash functions. Universität Paderborn.
LibreCat
| Files available
| Download (ext.)
2014 | Report | LibreCat-ID: 443
Mauleon, A., Röhl, N., & Vannetelbosch, V. (2014). Constitutions and Social Networks. Universität Paderborn.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 444
Mir Djawadi, B., Fahr, R., & Turk, F. (2014). Conceptual Model and Economic Experiments to Explain Nonpersistence and Enable Mechanism Designs Fosterin Behavioral Change. Value in Health, (8), 814–822. https://doi.org/10.1016/j.jval.2014.08.2669
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 445
Brangewitz, S., & Gamp, J.-P. (2014). Competitive outcomes and the inner core of NTU market games. Economic Theory, (3), 529–554. https://doi.org/10.1007/s00199-014-0846-7
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 446
Ogierman, A., Richa, A. W., Scheideler, C., Schmid, S., & Zhang, J. (2014). Competitive MAC under adversarial SINR. In Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM) (pp. 2751--2759). https://doi.org/10.1109/INFOCOM.2014.6848224
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 447
Jungmann, A., Mohr, F., & Kleinjohann, B. (2014). Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services. In Proceedings of the 10th World Congress on Services (SERVICES) (pp. 346–353). https://doi.org/10.1109/SERVICES.2014.68
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 448
Gao, Y. (2014). Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 449
Becker, M., Platenius, M. C., & Becker, S. (2014). Cloud Computing Reduces Uncertainties in Quality-of-Service Matching! In Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB) (pp. 153–159). https://doi.org/10.1007/978-3-319-14886-1_15
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 450
Jakobs, M.-C., & Wehrheim, H. (2014). Certification for Configurable Program Analysis. In Proceedings of the 21st International Symposium on Model Checking of Software (SPIN) (pp. 30–39). https://doi.org/10.1145/2632362.2632372
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 451
Drees, M., Riechers, S., & Skopalik, A. (2014). Budget-restricted utility games with ordered strategic decisions. In R. Lavi (Ed.), Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT) (pp. 110–121). https://doi.org/10.1007/978-3-662-44803-8_10
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 452
Abshoff, S., Cord-Landwehr, A., Jung, D., & Skopalik, A. (2014). Brief Announcement: A Model for Multilevel Network Games. In R. Lavi (Ed.), Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT) (p. 294).
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 453
Feldotto, M., Gairing, M., & Skopalik, A. (2014). Bounding the Potential Function in Congestion Games and Approximate Pure Nash Equilibria. In Proceedings of the 10th International Conference on Web and Internet Economics (WINE) (pp. 30–43). https://doi.org/10.1007/978-3-319-13129-0_3
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 454
Heldt, W. (2014). Automated Service Composition: Adaption of the ASTRO Approach. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 455
Hansknecht, C., Klimm, M., & Skopalik, A. (2014). Approximate pure Nash equilibria in weighted congestion games. In Proceedings of the 17th. International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX) (pp. 242–257). https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2014.242
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 456
Gairing, M., Kotsialou, G., & Skopalik, A. (2014). Approximate pure Nash equilibria in Social Context Congestion Games. In Proceedings of the 10th International Conference on Web and Internet Economics (WINE) (pp. 480–485). https://doi.org/10.1007/978-3-319-13129-0_43
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 457
Jungmann, A., Mohr, F., & Kleinjohann, B. (2014). Applying Reinforcement Learning for Resolving Ambiguity in Service Composition. In Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA) (pp. 105–112). https://doi.org/10.1109/SOCA.2014.48
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 458
Dreimann, P. (2014). Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 459
Kniesburges, S., Markarian, C., Meyer auf der Heide, F., & Scheideler, C. (2014). Algorithmic Aspects of Resource Management in the Cloud. In Proceedings of the 21st International Colloquium on Structural Information and Communication Complexity (SIROCCO) (pp. 1–13). https://doi.org/10.1007/978-3-319-09620-9_1
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 460
Mittendorf, R. (2014). Advanced AES-key recovery from decayed RAM-dumps using multi-threading and FPGAs. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 461
Dräxler, S. (2014). Adaptive Placement of Programmable Virtual Network Function Chains. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 462
Feldotto, M., & Skopalik, A. (2014). A Simulation Framework for Analyzing Complex Infinitely Repeated Games. In Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014) (pp. 625–630). https://doi.org/10.5220/0005110406250630
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 463
Blömer, J., Gomes da Silva, R., Günther, P., Krämer, J., & Seifert, J.-P. (2014). A Practical Second-Order Fault Attack against a Real-World Pairing Implementation. In Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC) (pp. 123--136). https://doi.org/10.1109/FDTC.2014.22
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 464
Gall, D., Jacob, R., Richa, A. W., Scheideler, C., Schmid, S., & Täubig, H. (2014). A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization. Theory of Computing Systems, (1), 110–135. https://doi.org/10.1007/s00224-013-9504-x
LibreCat
| Files available
| DOI
2014 | Report | LibreCat-ID: 465
Stapel, F., & Suhl, L. (2014). A MINLP Approach for Planning the Renewal of Pipes in Drinking Water Networks. Universität Paderborn.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 466
Brand, M. (2014). A generalized loop accelerator implemented as a coarse grained array. Universität Paderborn.
LibreCat
2014 | Journal Article | LibreCat-ID: 467
Künsemöller, J., & Karl, H. (2014). A Game-Theoretic Approach to the Financial Benefits of Infrastructure-as-a-Service. Future Generation Computer Systems, 44--52. https://doi.org/10.1016/j.future.2014.03.005
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 479
Sorge, C. (2014). The Legal Classification of Identity-Based Signatures. Computer Law & Security Review, 30(2), 126–136. https://doi.org/10.1016/j.clsr.2014.01.002
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 762
Schwabe, A., & Karl, H. (2014). Using MAC addresses as efficient routing labels in data centers. In Proceedings of the third workshop on Hot topics in software defined networking, HotSDN ’14, Chicago, Illinois, USA, August 22, 2014 (pp. 115--120). https://doi.org/10.1145/2620728.2620730
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 392
Brummel, N. (2014). On the Relation between Innovation and Competion: The Case of Energy Industry. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 393
Foreback, D., Koutsopoulos, A., Nesterenko, M., Scheideler, C., & Strothmann, T. F. (2014). On Stabilizing Departures in Overlay Networks. In Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (pp. 48--62). https://doi.org/10.1007/978-3-319-11764-5_4
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 394
Schwichtenberg, S., Gerth, C., Huma, Z., & Engels, G. (2014). Normalizing Heterogeneous Service Description Models with Generated QVT Transformations. In Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA) (pp. 180–195). https://doi.org/10.1007/978-3-319-09195-2_12
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 395
Abshoff, S., Cord-Landwehr, A., Jung, D., & Skopalik, A. (2014). Multilevel Network Games. In Proceedings of the 10th International Conference on Web and Internet Economics (WINE) (pp. 435–440). https://doi.org/10.1007/978-3-319-13129-0_36
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 396
Bano, D. (2014). Modeling and Matching of Reputation of Services in On-The-Fly Computing. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 397
Scheideler, C., Eikel, M., & Setzer, A. (2014). Minimum Linear Arrangement of Series-Parallel Graphs. In Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA) (pp. 168--180).
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 399
Wiersema, T., Drzevitzky, S., & Platzner, M. (2014). Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring. In Proceedings of the International Conference on Field-Programmable Technology (FPT) (pp. 167–174). https://doi.org/10.1109/FPT.2014.7082771
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 400
Bunse, M. (2014). Measuring Transformation-induced Uncertainty in Service Matching: A Feasibility Study. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 401
Platenius, M. C., Arifulina, S., Petrlic, R., & Schäfer, W. (2014). Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet (pp. 6–17). https://doi.org/10.1007/978-3-319-14886-1_2
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
Arifulina, S., Platenius, M. C., Gerth, C., Becker, S., Engels, G., & Schäfer, W. (2014). Market-optimized Service Specification and Matching. In X. Franch, A. Ghose, G. Lewis, & S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014) (pp. 543–550). https://doi.org/10.1007/978-3-662-45391-9_47
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 403
Martin Lohre, T. (2014). Machtverteilungen von Koalitionen im Fokus der politischen Realität. Universität Paderborn.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 404
van Straaten, D. (2014). Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 405
Degraf, O. (2014). Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 407
Mohr, F. (2014). Issues of Automated Software Composition in AI Planning. In Proceedings of the 29th International Conference on Automated Software Engineering (ASE) (pp. 895--898). https://doi.org/10.1145/2642937.2653470
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 408
Jakobs, M.-C., Platzner, M., Wiersema, T., & Wehrheim, H. (2014). Integrating Software and Hardware Verification. In E. Albert & E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (iFM) (pp. 307–322). https://doi.org/10.1007/978-3-319-10181-1_19
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
Platenius, M. C., Becker, S., & Schäfer, W. (2014). Integrating Service Matchers into a Service Market Architecture. In P. Avgeriou & U. Zdun (Eds.), Proceedings of the 8th European Conference on Software Architecture (ECSA 2014) (pp. 210–217). https://doi.org/10.1007/978-3-319-09970-5_19
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 410
Jungmann, A., Brangewitz, S., Petrlic, R., & Platenius, M. C. (2014). Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services. International Journal On Advances in Intelligent Systems (IntSys), 7(3&4), 572--594.
LibreCat
| Files available
| Download (ext.)
2014 | Mastersthesis | LibreCat-ID: 411
Taherinajafabadi, V. (2014). Improving Service Specifications for the Service Matching on a Service Market. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 412
Feldotto, M., Scheideler, C., & Graffi, K. (2014). HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths. In Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P) (pp. 1–10). https://doi.org/10.1109/P2P.2014.6934300
LibreCat
| Files available
| DOI
| arXiv
2014 | Bachelorsthesis | LibreCat-ID: 413
Eusterholz, F. (2014). Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes. Universität Paderborn.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 414
Jochheim, J. (2014). Hiding software components using functional encryption. Universität Paderborn.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 415
Vijapurwala, S. (2014). Handling Incomplete Service Specifications using Fuzzy Matching. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 416
Bemmann, P. (2014). Group Signature Schemes with Strong Exculpability. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
Besova, G., Steenke, D., & Wehrheim, H. (2014). Grammar-based model transformations. In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD) (pp. 1601–1610). https://doi.org/10.1016/j.cl.2015.05.003
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 |
Pauck, F. (2014). Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn.
LibreCat
| Files available
2014 | Dissertation | LibreCat-ID: 419
Kolle, A. (2014). Gender and ethnic discrimination in hiring : evidence from field experiments in the German labor market. Universität Paderborn.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 420
Merschjohann, S. (2014). Fuzzy Matching of Service Price Specifications. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 421
Lippert, J. (2014). Fujisaki-Okamoto Transformation. Universität Paderborn.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 422
Sanati, M. (2014). Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 423
Jojiju, S. (2014). Finding Optimal Self-Adaption Rules by Design-Space Exploration. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 424
Finkensiep, C. (2014). Fast and Flexible Automatic Composition of Semantic Web Services. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 425
Jungmann, A., Jatzkowski, J., & Kleinjohann, B. (2014). Evaluation of Color Spaces for Robust Image Segmentation. In Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP) (pp. 648–655).
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 426
Dornseifer, V. (2014). Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network. Universität Paderborn.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 427
Bulk, B. (2014). Evaluating the Influence of Different Abstraction Levels of Software Design on Performance prediction. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 428
Mohr, F. (2014). Estimating Functional Reusability of Services. In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC) (pp. 411–418).
LibreCat
| Files available
| Download (ext.)
2014 | Bachelorsthesis | LibreCat-ID: 429
Herbort, M. (2014). Entwicklung eines mathematischen Modells zur Optimierung der Struktur eines Trinkwasserbehälters. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 430
Krakau, A. (2014). Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT. Universität Paderborn.
LibreCat
2014 | Dissertation | LibreCat-ID: 431
Kling, P. (2014). Energy-efficient Scheduling Algorithms. Universität Paderborn.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 432
Bredenbals, N. (2014). Energy-Efficient Queuing with Delayed Deactivation. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 433
Wiersema, T., Bockhorn, A., & Platzner, M. (2014). Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA. In Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig) (pp. 1–6). https://doi.org/10.1109/ReConFig.2014.7032514
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 434
Luo, L. (2014). Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 435
Antoniadis, A., Barcelo, N., Consuegra, M., Kling, P., Nugent, M., Pruhs, K., & Scquizzato, M. (2014). Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules. In Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS) (pp. 63--74). https://doi.org/10.4230/LIPIcs.STACS.2014.63
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 436
Damschen, M. (2014). Easy-to-use on-the-fly binary program acceleration on many-cores. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 437
Wemhöner, V. (2014). Die ökonomischen Auswirkungen der Kronzeugenregelung am Beispiel des Kaffeerösterkartells. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 438
Kokoschka, A. (2014). Designing an Anonymous and Secure Reputation System Using a Group Signature Variant. Universität Paderborn.
LibreCat
2014 | Dissertation | LibreCat-ID: 440
Kaimann, D. (2014). Decision Making under Asymmetric Information in Markets for Experience Goods: Empirical Evidence of Signaling Effects on Consumer Perceptions. Universität Paderborn.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 5189
Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., … McDaniel, P. (2014). FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps. In Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14. ACM Press. https://doi.org/10.1145/2594291.2594299
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
Arzt, S., Rasthofer, S., Lovat, E., & Bodden, E. (2014). DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android. In International Conference on Availability, Reliability and Security (ARES 2014) (pp. 40–49). IEEE.
LibreCat
| Files available
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 335
Platzner, M., & Plessl, C. (2014). Verschiebungen an der Grenze zwischen Hardware und Software. In J. Künsemöller, N. O. Eke, L. Foit, & T. Kaerlein (Eds.), Logiken strukturbildender Prozesse: Automatismen (pp. 123–144). Wilhelm Fink.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 388
Kenter, T., Vaz, G. F., & Plessl, C. (2014). Partitioning and Vectorizing Binary Applications for a Reconfigurable Vector Computer. Proceedings of the International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications (ARC), 8405, 144–155. https://doi.org/10.1007/978-3-319-05960-0_13
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 363
Agne, A., Hangmann, H., Happe, M., Platzner, M., & Plessl, C. (2014). Seven Recipes for Setting Your FPGA on Fire – A Cookbook on Heat Generators. Microprocessors and Microsystems, 38(8, Part B), 911–919. https://doi.org/10.1016/j.micpro.2013.12.001
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 377
Riebler, H., Kenter, T., Plessl, C., & Sorge, C. (2014). Reconstructing AES Key Schedules from Decayed Memory with FPGAs. Proceedings of Field-Programmable Custom Computing Machines (FCCM), 222–229. https://doi.org/10.1109/FCCM.2014.67
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 365
Agne, A., Happe, M., Lösch, A., Plessl, C., & Platzner, M. (2014). Self-awareness as a Model for Designing and Operating Heterogeneous Multicores. ACM Transactions on Reconfigurable Technology and Systems (TRETS), 7(2), Article 13. https://doi.org/10.1145/2617596
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 328
Agne, A., Happe, M., Keller, A., Lübbers, E., Plattner, B., Platzner, M., & Plessl, C. (2014). ReconOS - An Operating System Approach for Reconfigurable Computing. IEEE Micro, 34(1), 60–71. https://doi.org/10.1109/MM.2013.110
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 439
Vaz, G. F., Riebler, H., Kenter, T., & Plessl, C. (2014). Deferring Accelerator Offloading Decisions to Application Runtime. Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 1–8. https://doi.org/10.1109/ReConFig.2014.7032509
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 406
Kenter, T., Schmitz, H., & Plessl, C. (2014). Kernel-Centric Acceleration of High Accuracy Stereo-Matching. Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 1–8. https://doi.org/10.1109/ReConFig.2014.7032535
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 2543
Brangewitz, S., & Gamp, J.-P. (2013). Asymmetric Nash bargaining solutions and competitive payoffs. Economics Letters, 121(2), 224–227. https://doi.org/10.1016/j.econlet.2013.08.013
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 18000
Blumentritt, F. (2013). Cliquenbildung in verteilten Systemen. Universität Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 469
Wonisch, D., Schremmer, A., & Wehrheim, H. (2013). Zero Overhead Runtime Monitoring. In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM) (pp. 244–258). https://doi.org/10.1007/978-3-642-40561-7_17
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 470
Wette, P., & Karl, H. (2013). Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow. In Proceedings of the ACM SIGCOMM ’13 (pp. 541–542). https://doi.org/10.1145/2486001.2491710
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 471
Tezer, A. (2013). Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen. Universität Paderborn.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 472
Engelbrecht, M. (2013). Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern. Universität Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 473
Petrlic, R., & Sekula, S. (2013). Unlinkable content playbacks in a multiparty DRM system. In L. Wang & B. Shafiq (Eds.), Data and Applications Security and Privacy XXVII (pp. 289–296). https://doi.org/10.1007/978-3-642-39256-6_21
LibreCat
| Files available
| DOI
2013 | Report | LibreCat-ID: 474
Röhl, N. (2013). Two-Stage Allocation Procedures. Universität Paderborn.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 475
Joshi, N., & Petrlic, R. (2013). Towards practical privacy-preserving Digital Rights Management for Cloud Computing. In Proceedings of the 10th Annual IEEE Consumer Communications & Networking Conference (CCNC) (pp. 259–264). https://doi.org/10.1109/CCNC.2013.6488456
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 476
Kolman, P., & Scheideler, C. (2013). Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing. Theory of Computing Systems, (2), 341–363. https://doi.org/10.1007/s00224-013-9454-3
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 477
Abshoff, S., Benter, M., Cord-Landwehr, A., Malatyali, M., & Meyer auf der Heide, F. (2013). Token Dissemination in Geometric Dynamic Networks. In Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers (pp. 22–34). https://doi.org/10.1007/978-3-642-45346-5_3
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 478
Timm, N. (2013). Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn.
LibreCat
| Files available
2013 | Journal Article | LibreCat-ID: 480
Frick, B., & Simmons, R. (2013). The Impact of Individual and Collective Reputation on Wine Prices: Empirical Evidence from the Mosel Valley. Journal of Business Economics, 83(2), 101–119. https://doi.org/10.1007/s11573-013-0652-x
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 481
Graffi, K., & Bremer, L. (2013). Symbiotic Coupling of P2P and Cloud Systems: The Wikipedia Case. In Proceedings of the International Conference on Communications (ICC’13) (pp. 3444–3449). https://doi.org/10.1109/ICC.2013.6655082
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 482
Bieshaar, M. (2013). Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen. Universität Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 483
Becker, M., Becker, S., & Meyer, J. (2013). SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive Systems. In Proceedings of the Software Engineering Conference (SE) (pp. 71–84).
LibreCat
| Files available
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 484
Platenius, M. C., von Detten, M., Gerth, C., Schäfer, W., & Engels, G. (2013). Service Matching under Consideration of Explicitly Specified Service Variants. In IEEE 20th International Conference on Web Services (ICWS 2013) (pp. 613–614). https://doi.org/10.1109/ICWS.2013.98
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 485
Mohr, F., & Kleine Büning, H. (2013). Semi-Automated Software Composition Through Generated Components. In Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS) (pp. 676–680). https://doi.org/10.1145/2539150.2539235
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 486
Otte, O. (2013). Seitenkanalresistenz paarungsbasierter Kryptographie. Universität Paderborn.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 487 |
Bobolz, J. (2013). Security Proofs for Pairing-Based Cryptography in the Generic Group Model. Universität Paderborn.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 488
Blömer, J., Günther, P., & Krummel, V. (2013). Securing Critical Unattended Systems with Identity Based Cryptography - A Case Study. In Proceedings of the 5th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) (pp. 98–105).
LibreCat
| Files available
2013 | Mastersthesis | LibreCat-ID: 489
Knopf, M. (2013). Scheduling Variants with Speed-Scaling via the Primal-Dual Approach. Universität Paderborn.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 490
Wallaschek, F. (2013). Routing in heterogenen OpenFlow Netzwerken. Universität Paderborn.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 492
Robbert, C. (2013). Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case. Universität Paderborn.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 493
Terentjew, A. (2013). Reputationssysteme und Gerichtsverfahren als Wekzeuge zur Sicherstellung von Qualitätsstandards in Transaktionen. Universität Paderborn.
LibreCat
2013 | Dissertation | LibreCat-ID: 494
von Detten, M. (2013). Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 495
Mohr, F., Lettmann, T., & Kleine Büning, H. (2013). Reducing Nondeterminism in Automated Service Composition. In Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA) (pp. 154–161). https://doi.org/10.1109/SOCA.2013.25
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 496
Benter, M., Neumann, F., & Frey, H. (2013). Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks. In Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM) (pp. 2193–2201). https://doi.org/10.1109/INFCOM.2013.6567022
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 498
Wonisch, D., Schremmer, A., & Wehrheim, H. (2013). Programs from Proofs – A PCC Alternative. In Proceedings of the 25th International Conference on Computer Aided Verification (CAV) (pp. 912–927). https://doi.org/10.1007/978-3-642-39799-8_65
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 499
Kling, P., & Pietrzyk, P. (2013). Profitable Scheduling on Multiple Speed-Scalable Processors. In Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) (pp. 251–260). https://doi.org/10.1145/2486159.2486183
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 7569
Soltenborn, C. (2013). Quality Assurance with Dynamic Meta Modeling. Universität Paderborn. http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
LibreCat
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 500
Staschewski, M. (2013). Price Formation in the Restaurant Industry - An Empirical Analysis. Universität Paderborn.
LibreCat
2013 | Dissertation | LibreCat-ID: 501
Happe, M. (2013). Performance and thermal management on self-adaptive hybrid multi-cores. Berlin: Logos Verlag Berlin GmbH.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 502
Becker, M., Luckey, M., & Becker, S. (2013). Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time. In Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13) (pp. 43–52). https://doi.org/10.1145/2465478.2465489
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 503
Blix, A. (2013). Optimale und adaptive binäre Bäume in Netzwerken. Universität Paderborn.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 504
Schwichtenberg, S. (2013). Ontology-based Normalization and Matching of Rich Service Descriptions. Universität Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 506
Engels, G. (2013). On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft. In Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013) (pp. 17–18).
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 507
Abshoff, S., Benter, M., Malatyali, M., & Meyer auf der Heide, F. (2013). On Two-Party Communication Through Dynamic Networks. In Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS) (pp. 11–22). https://doi.org/10.1007/978-3-319-03850-6_2
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 508
Wette, P., & Karl, H. (2013). On the Quality of Selfish Virtual Topology Reconfiguration in IP-over-WDM Networks. In Proceedings of the 19th IEEE International Workshop on Local and Metropolitan Area Networks (IEEE LANMAN) (pp. 1–6). https://doi.org/10.1109/LANMAN.2013.6528271
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 509
Autenrieth, M., & Frey, H. (2013). On Greedy Routing in Degree-bounded Graphs over d-Dimensional Internet Coordinate Embeddings. In Proceedings of the Conference on Networked Systems (NetSys) (pp. 126–131). https://doi.org/10.1109/NetSys.2013.10
LibreCat
| Files available
| DOI
2013 | Mastersthesis | LibreCat-ID: 510
Jayesh Parekh, C. (2013). Meta-data based Search in Structured Peer-to-Peer Networks. Universität Paderborn.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 511
Splietker, M. (2013). MapReduce in Software Defined Networks. Universität Paderborn.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 512
Herzog, E. (2013). Lösungsverfahren für das many-to-one Matching Problem. Universität Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 513
Avin, C., Häupler, B., Lotker, Z., Scheideler, C., & Schmid, S. (2013). Locally Self-Adjusting Tree Networks. In Proceedings of the 27th IEEE International Parallel and Distributed Processing Symposium (IPDPS) (pp. 395–406). https://doi.org/10.1109/IPDPS.2013.40
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 514
Pietrzyk, P. (2013). Local and Online Algorithms for Facility Location. Universität Paderborn.
LibreCat
| Files available
2013 | Working Paper | LibreCat-ID: 5146
Brangewitz, S., & Haake, C.-J. (2013). Cooperative Transfer Price Negotiations under Incomplete Information (Vol. 64). CIE Working Paper Series, Paderborn University.
LibreCat
| Files available
2013 | Journal Article | LibreCat-ID: 515
Jungmann, A., Kleinjohann, B., & Kleinjohann, E. (2013). Learning Service Recommendations. International Journal of Business Process Integration and Management, (4), 284–297. https://doi.org/10.1504/IJBPIM.2013.059135
LibreCat
| Files available
| DOI
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 516
Jungmann, A., & Kleinjohann, B. (2013). Learning Recommendation System for Automated Service Composition. In Proceedings of the 10th IEEE International Conference on Services Computing (SCC) (pp. 97–104). https://doi.org/10.1109/SCC.2013.66
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 517
Walther, S., & Wehrheim, H. (2013). Knowledge-Based Verification of Service Compositions - An SMT approach. In Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) (pp. 24–32). https://doi.org/10.1109/ICECCS.2013.14
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 518
Petrausch, V. (2013). Klassifizierung unterschiedlicher Ansätze zum Matching von Services. Universität Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 519
Eikel, M., & Scheideler, C. (2013). IRIS: A Robust Information System Against Insider DoS-Attacks. In Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) (pp. 119–129). https://doi.org/10.1145/2486159.2486186
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 520
Wette, P., & Karl, H. (2013). Incorporating feedback from application layer into routing and wavelength assignment algorithms. In Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM) (pp. 51–52). https://doi.org/10.1109/INFCOMW.2013.6970733
LibreCat
| Files available
| DOI
| Download (ext.)
2013 | Mastersthesis | LibreCat-ID: 521
Riebler, H. (2013). Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs. Universität Paderborn.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 522
Feldotto, M. (2013). HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths. Universität Paderborn.
LibreCat
2013 | Journal Article | LibreCat-ID: 523
Mavronicolas, M., Monien, B., & Papadopoulou Lesta, V. (2013). How many attackers can selfish defenders catch? Discrete Applied Mathematics, 161(16–17), 2563–2586. https://doi.org/10.1016/j.dam.2013.05.022
LibreCat
| Files available
| DOI
2013 | Preprint | LibreCat-ID: 524
Meyer auf der Heide, F., & Swirkot, K. (2013). Hierarchies in Local Distributed Decision. arXiv.
LibreCat
| Files available
| arXiv
2013 | Bachelorsthesis | LibreCat-ID: 525
Niklas Vinkemeier, T. (2013). Haptics - Hadoop performance testing in concurrent job scenarios. Universität Paderborn.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 526
Mäcker, A. (2013). Greedy Network Creation With Heavy And Light Edges. Universität Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 527
Christin Platenius, M. (2013). Fuzzy Service Matching in On-The-Fly Computing. In Proceedings of the Doctoral Symposium of the 9th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (pp. 715–718). https://doi.org/10.1145/2491411.2492405
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 529
Heinzemann, C., & Becker, S. (2013). Executing Reconfigurations in Hierarchical Component Architectures. In Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE) (pp. 3–12). https://doi.org/10.1145/2465449.2465452
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 530
Buse, D. (2013). Entwurf kooperativer Verhaltensweisen heterogener Roboter. Universität Paderborn.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 531
Lutters, S. (2013). Entwurf eines datenschutzgerechten Reputationssystems. Universität Paderborn.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 532
Hilleckes, H. (2013). Entwicklung und Analyse einer verteilten Speicherverwaltung für dynamische heterogene Speichersysteme. Universität Paderborn.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 533
Borkowski, R. (2013). Entwicklung eines Hybriden Planers zur verhaltensorientierten Selbstoptimierung. Universität Paderborn.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 534
Satya, S. (2013). Emulating Wavelength Division Multiplexing using Openflow. Universität Paderborn.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 535
Reineke, M. (2013). Effizienzsteigerung durch gewichtete Produktbewertungen. Universität Paderborn.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 536
Stroh-Maraun, N. (2013). Dynamic One-to-One Matching: Theory and a Job Market Application. Universität Paderborn.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 537
Heindorf, S. (2013). Dispersion of Multi-Robot Teams. Universität Paderborn.
LibreCat
2013 | Preprint | LibreCat-ID: 538 |
Blömer, J., & Liske, G. (2013). Direct Chosen-Ciphertext Secure Attribute-Based Key Encapsulations without Random Oracles. Universität Paderborn.
LibreCat
| Files available
| Download (ext.)
2013 | Bachelorsthesis | LibreCat-ID: 539
Kornhoff, T. (2013). Der Einfluss adaptierter Erwartungen in dynamischen Cournot Oligopolen. Universität Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 541
Graffi, K., & Rapp, V. (2013). Continuous Gossip-based Aggregation through Dynamic Information Aging. In Proceedings of the International Conference on Computer Communications and Networks (ICCCN’13) (pp. 1–7). https://doi.org/10.1109/ICCCN.2013.6614118
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 542
Kniesburges, S., Koutsopoulos, A., & Scheideler, C. (2013). CONE-DHT: A distributed self-stabilizing algorithm for a heterogeneous storage system. In Proceedings of the 27th International Symposium on Distributed Computing (DISC) (pp. 537–549). https://doi.org/10.1007/978-3-642-41527-2_37
LibreCat
| Files available
| DOI
2013 | Mastersthesis | LibreCat-ID: 543
Jagannath, K. (2013). Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services. Universität Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 544
Feldotto, M., & Graffi, K. (2013). Comparative Evaluation of Peer-to-Peer Systems Using PeerfactSim.KOM. In Proceedings of the International Conference on High Performance Computing and Simulation (HPCS’13) (pp. 99–106). https://doi.org/10.1109/HPCSim.2013.6641399
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 545
Blumentritt, F. (2013). Cliquenbildung in verteilten Systemen. Universität Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 546
Graffi, K., Benter, M., Divband, M., Kniesburges, S., & Koutsopoulos, A. (2013). Ca-Re-Chord: A Churn Resistant Self-stabilizing Chord Overlay Network. In Proceedings of the Conference on Networked Systems (NetSys) (pp. 27–34). https://doi.org/10.1109/NetSys.2013.11
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 547
Gerth, C. (2013). Business Process Models - Change Management. Universität Paderborn. https://doi.org/10.1007/978-3-642-38604-6
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 548
Graffi, K., & Klerx, T. (2013). Bootstrapping Skynet: Calibration and Autonomic Self-Control of Structured Peer-to-Peer Networks. In Proceedings of the International Conference on Peer-to-Peer Computing (P2P’13) (pp. 1–5). https://doi.org/10.1109/P2P.2013.6688720
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 549
Bick, C. (2013). Beschleunigung von Tiefenberechung aus Stereobildern durch FPGA-basierte Datenflussrechner. Universität Paderborn.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 550
Meschede, J. (2013). Bandbreiten-beschränktes Scheduling mit skalierbaren Jobanforderungen in Multiprozessor-Umgebungen. Universität Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 551
Huma, Z., Gerth, C., Engels, G., & Juwig, O. (2013). Automated Service Composition for On-the-Fly SOAs. In Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13) (pp. 524--532). https://doi.org/10.1007/978-3-642-45005-1_42
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 552
Meckenstock, K. (2013). Auktionen im Beschaffungsmanagement - Eine spieltheoretische Analyse. Universität Paderborn.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 553
Kohn, K. (2013). Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise. Universität Paderborn.
LibreCat
2013 | Journal Article | LibreCat-ID: 554
Brangewitz, S., & Gamp, J.-P. (2013). Asymmetric Nash bargaining solutions and competitive payoffs. Economics Letters, (2), 224–227. https://doi.org/10.1016/j.econlet.2013.08.013
LibreCat
| Files available
| DOI
2013 | Mastersthesis | LibreCat-ID: 555
Setzer, A. (2013). Approximation Algorithms for the Linear Arrangement of Special Classes of Graphs. Universität Paderborn.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 556
Nickel, T. (2013). Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking. Universität Paderborn.
LibreCat
2013 | Report | LibreCat-ID: 557
Hallmann, C. (2013). An Approach for a Decision Support Systems to optimize Water Tanks in Water Supply Systems by combining Network Reduction, Optimization and Simulation. Universität Paderborn.
LibreCat
| Files available
2013 | Conference (Editor) | LibreCat-ID: 558
Flocchini, P., Gao, J., Kranakis, E., & Meyer auf der Heide, F. (Eds.). (2013). Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (Vol. 8243). Presented at the ALGOSENSORS 2013, Sophia Antipolis, France: Springer. https://doi.org/10.1007/978-3-642-45346-5
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 559
Wette, P., & Graffi, K. (2013). Adding Capacity-Aware Storage Indirection to Homogeneous Distributed Hash Tables. In Proceedings of the Conference on Networked Systems (NetSys) (pp. 35–42). https://doi.org/10.1109/NetSys.2013.9
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 560
Platenius, M., von Detten, M., Becker, S., Schäfer, W., & Engels, G. (2013). A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing. In Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering (pp. 143–152). https://doi.org/10.1145/2465449.2465454
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 561
Petrlic, R., Sekula, S., & Sorge, C. (2013). A privacy-friendly Architecture for future Cloud Computing. International Journal of Grid and Utility Computing, (4), 265–277. https://doi.org/10.1504/IJGUC.2013.057120
LibreCat
| Files available
| DOI
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 562
Keller, M., Pawlik, S., Pietrzyk, P., & Karl, H. (2013). A Local Heuristic for Latency-Optimized Distributed Cloud Deployment. In Proceedings of the 6th International Conference on Utility and Cloud Computing (UCC) workshop on Distributed cloud computing (pp. 429–434). https://doi.org/10.1109/UCC.2013.85
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 563
Markarian, C., Meyer auf der Heide, F., & Schubert, M. (2013). A Distributed Approximation Algorithm for Strongly Connected Dominating-Absorbent Sets in Asymmetric Wireless Ad-Hoc Networks. In Proceedings of the 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (ALGOSENSORS) (pp. 217–227). https://doi.org/10.1007/978-3-642-45346-5_16
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 564
Kniesburges, S., Koutsopoulos, A., & Scheideler, C. (2013). A Deterministic Worst-Case Message Complexity Optimal Solution for Resource Discovery. In Proceedings of 20th International Colloqium on Structural Information and Communication Complexity (SIROCCO) (pp. 165–176). https://doi.org/10.1007/978-3-319-03578-9_14
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 528
Riebler, H., Kenter, T., Sorge, C., & Plessl, C. (2013). FPGA-accelerated Key Search for Cold-Boot Attacks against AES. Proceedings of the International Conference on Field-Programmable Technology (FPT), 386–389. https://doi.org/10.1109/FPT.2013.6718394
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 505
Happe, M., Kling, P., Plessl, C., Platzner, M., & Meyer auf der Heide, F. (2013). On-The-Fly Computing: A Novel Paradigm for Individualized IT Services. Proceedings of the 9th IEEE Workshop on Software Technology for Future Embedded and Ubiquitous Systems (SEUS). https://doi.org/10.1109/ISORC.2013.6913232
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 2519
Haake, C.-J., & Martini, J. T. (2012). Negotiating Transfer Prices. Group Decision and Negotiation, 22(4), 657–680. https://doi.org/10.1007/s10726-012-9286-6
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 2521
Haake, C.-J., Krieger, T., & Minter, S. (2012). On the institutional design of burden sharing when financing external border enforcement in the EU. International Economics and Economic Policy, 10(4), 583–612. https://doi.org/10.1007/s10368-012-0226-3
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 568
Jungmann, A., & Kleinjohann, B. (2012). Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition. In Proceedings of the 9th IEEE International Conference on Service Computing (SCC) (pp. 701–702). https://doi.org/10.1109/SCC.2012.76
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 569
Becker, S., Heinzemann, C., & Priesterjahn, C. (2012). Towards Modeling Reconfiguration in Hierarchical Component Architectures. In Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE) (pp. 23--28). https://doi.org/10.1145/2304736.2304742
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 570
Jacob, R., Ritscher, S., Scheideler, C., & Schmid, S. (2012). Towards higher-dimensional topological self-stabilization: A distributed algorithm for Delaunay graphs. Theoretical Computer Science, 137–148. https://doi.org/10.1016/j.tcs.2012.07.029
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 571
Jungmann, A., & Kleinjohann, B. (2012). Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition. In Proceedings of the 4th International Conferences on Advanced Service Computing (SERVICE COMPUTATION) (pp. 43–47).
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 572
Huma, Z., Gerth, C., Engels, G., & Juwig, O. (2012). Towards an Automatic Service Discovery for UML-based Rich Service Descriptions. In Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS) (pp. 709--725). https://doi.org/10.1007/978-3-642-33666-9_45
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 573
Arifulina, S. (2012). Towards a Framework for the Integration of Modeling Languages. In U. W. Eisenecker & C. Bucholdt (Eds.), Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)) (pp. 23--26).
LibreCat
| Files available
2012 | Journal Article | LibreCat-ID: 574
Clouser, T., Nesterenko, M., & Scheideler, C. (2012). Tiara: A self-stabilizing deterministic skip list and skip graph. Theoretical Computer Science, 18–35. https://doi.org/10.1016/j.tcs.2011.12.079
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 575
Bremer, L. (2012). Symbiotic Coupling of Peer-to-Peer and Cloud Systems. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 576
Schmitz, H. (2012). Stereo Matching on a Convey HC-1 Hybrid Core Computer. Universität Paderborn.
LibreCat
2012 | Conference (Editor) | LibreCat-ID: 577
Richa, A. W., & Scheideler, C. (Eds.). (2012). Stabilization, Safety, and Security of Distributed Systems. Presented at the Stabilization, Safety, and Security of Distributed Systems (SSS), Paderborn, Germany. https://doi.org/10.1007/978-3-642-33536-5
LibreCat
| Files available
| DOI
2012 | Report | LibreCat-ID: 578
Brangewitz, S., & Brockhoff, S. (2012). Stability of Coalitional Equilibria within Repeated Tax Competition. Universität Paderborn.
LibreCat
| Files available
2012 | Journal Article | LibreCat-ID: 579
Damerow, V., Manthey, B., Meyer auf der Heide, F., Räcke, H., Scheideler, C., Sohler, C., & Tantau, T. (2012). Smoothed analysis of left-to-right maxima with applications. Transactions on Algorithms, (3), 30. https://doi.org/10.1145/2229163.2229174
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 580
Cord-Landwehr, A., Kling, P., & Mallmann Trenn, F. (2012). Slow Down & Sleep for Profit in Online Deadline Scheduling. In G. Even & D. Rawitz (Eds.), Proceedings of the 1st Mediterranean Conference on Algorithms (MedAlg) (pp. 218–231). https://doi.org/10.1007/978-3-642-34862-4_17
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 581
Drees, M., Hüllmann (married name: Eikel), M., Koutsopoulos, A., & Scheideler, C. (2012). Self-Organizing Particle Systems. In Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) (pp. 1272–1283). https://doi.org/10.1109/IPDPS.2012.116
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 582
Strothmann, T. F. (2012). Self-Optimizing Binary Search Trees - A Game Theoretic Approach. Universität Paderborn.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 583
Drücker, J. (2012). Revenue-maximizing Order of Sale in Sequential Auctions. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 584
Hohenberger, T. (2012). Queuing Latency at Cooperative Base Stations. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 585
Petrlic, R. (2012). Proxy Re-Encryption in a Privacy-Preserving Cloud Computing DRM Scheme. In Proceedings of 4th International Symposium on Cyberspace Safety and Security (CSS) (pp. 194–211). https://doi.org/10.1007/978-3-642-35362-8_16
LibreCat
| Files available
| DOI
2012 | Dissertation | LibreCat-ID: 586 |
Drzevitzky, S. (2012). Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security. Universität Paderborn.
LibreCat
| Files available
| Download (ext.)
2012 | Misc | LibreCat-ID: 587
Plessl, C., Platzner, M., Agne, A., Happe, M., & Lübbers, E. (2012). Programming models for reconfigurable heterogeneous multi-cores. Awareness Magazine.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 588
Petrlic, R., & Sorge, C. (2012). Privacy-Preserving DRM for Cloud Computing. In Proceedings of the 26th IEEE International Conference on Advanced Information Networking and Applications (AINA) (pp. 1286–1291). https://doi.org/10.1109/WAINA.2012.92
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 589
Petrlic, R. (2012). Privacy-Preserving Digital Rights Management in a Trusted Cloud Environment. In Proceedings of the 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) (pp. 958–963). https://doi.org/10.1109/TrustCom.2012.225
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 590
Wonisch, D., & Wehrheim, H. (2012). Predicate Analysis with Block-Abstraction Memoization. In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM) (pp. 332–347). https://doi.org/10.1007/978-3-642-34281-3_24
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 592
Celik, A. (2012). Penny Auctions: Design und Strategisches Verhalten. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 593
Rojahn, T. (2012). Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten. Universität Paderborn.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 594
Klerx, T. (2012). Online Parameteroptimierung in P2P-Netzwerken mit Hilfe von Neuronalen Netzen. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 595
Mallmann Trenn, F. (2012). On scheduling with multi-core and multi-speed processors using power down. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 596
Becker, M., Luckey, M., & Becker, S. (2012). Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey. In Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12) (pp. 117–122). https://doi.org/10.1145/2304696.2304716
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 597
Mavronicolas, M., & Monien, B. (2012). Minimizing Expectation Plus Variance. In Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT) (pp. 239–250). https://doi.org/10.1007/978-3-642-33996-7_21
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 598
Mammadov, F. (2012). Methoden zur Bestimmung von innerbetrieblichen Verrechnungspreisen. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 599
Löwen, X. (2012). Managerial Delegation and Capacity Choices: An Analysis of the Cournot-Nash Equilibrium. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 600
Feldkord, B. (2012). Lokale Swaps und überholte Informationen in Basic Network Creation Games. Universität Paderborn.
LibreCat
2012 | Dissertation | LibreCat-ID: 601
Kempkes, B. (2012). Local strategies for robot formation problems (Vol. 302). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2012 | Report | LibreCat-ID: 602
Brangewitz, S. (2012). Learning by Trading in Infinite Horizon Strategic Market Games with Default. Universität Paderborn.
LibreCat
| Files available
2012 | Report | LibreCat-ID: 603
Wette, P., & Karl, H. (2012). Introducing feedback to preemptive routing and wavelength assignment algorithms for dynamic traffic scenarios. Universität Paderborn.
LibreCat
| Files available
2012 | Mastersthesis | LibreCat-ID: 604
Seier, H. (2012). Implementierung eines Branch-and-Bound-Algorithmus für nichtkonvexe gemischt-ganzzahlige Optimierungsprobleme mit quadratischen Nebenbedingungen. Universität Paderborn.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 605
Isenberg, F. (2012). Implementierung eines adaptiven Verfahrens zur Linearisierung von nicht-konvexen, nichtlinearen Wassernetzmodellen mit Hilfe einer Fehlerabschätzung. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 606
Löken, N. (2012). Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 607
Haarhoff, T. (2012). Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 608
Timm, N., Wehrheim, H., & Czech, M. (2012). Heuristic-Guided Abstraction Refinement for Concurrent Systems. In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM) (pp. 348–363). https://doi.org/10.1007/978-3-642-34281-3_25
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 610
Mohr, M. (2012). Generating Prototypes of Adaptive Component-based Software Systems for Performance Analysis. Universität Paderborn.
LibreCat
| Files available
2012 | Bachelorsthesis | LibreCat-ID: 611
Hangmann, H. (2012). Generating Adjustable Temperature Gradients on modern FPGAs. Universität Paderborn.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 613
Wohlfarth, S. (2012). Erweiterung von d3fact um die Domäne Wasserversorgung in Verbindung mit der Analyse und Implementierung eines hydraulischen Simulationsverfahrens. Universität Paderborn.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 614
Lehrig, S. (2012). Empirischer, quantitativer Vergleich von Modelltransformationssprachen. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 616
Kluczniok, S. (2012). Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 617
Jungmann, A., Kleinjohann, B., Kleinjohann, E., & Bieshaar, M. (2012). Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems. In Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE) (pp. 22–29).
LibreCat
| Files available
2012 | Mastersthesis | LibreCat-ID: 618
Kurras, S. (2012). Distributed Sampling of Regular Graphs. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 619
Brandes, P., & Meyer auf der Heide, F. (2012). Distributed Computing in Fault-Prone Dynamic Networks. In Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS) (pp. 9–14). https://doi.org/10.1145/2414815.2414818
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 620
Mittendorf, R. (2012). Datenschutzgerechtes DRM im Cloud Computing. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 621
Sekula, S. (2012). Datenschutzgerechte E-Payment-Schemata im On-The-Fly Computing. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 622
Arifulina, S., Engels, G., & Soltenborn, C. (2012). Coverage Criteria for Testing DMM Specifications. In Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). https://doi.org/10.14279/tuj.eceasst.47.718
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 623
Richa, A. W., Scheideler, C., Schmid, S., & Zhang, J. (2012). Competitive and fair throughput for co-existing networks under adversarial interference. In Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC) (pp. 291–300). https://doi.org/10.1145/2332432.2332488
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 624
Jakobs, M.-C. (2012). Change and Validity Analysis in Deductive Program Verification. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 625
Schmid, S., Avin, C., Scheideler, C., Häupler, B., & Lotker, Z. (2012). Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures. In Proceedings of the 26th International Symposium on Distributed Computing (DISC) (pp. 439–440). https://doi.org/10.1007/978-3-642-33651-5_47
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 626
Kniesburges, S., & Scheideler, C. (2012). Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems. In Proceedings of the 26th International Symposium on Distributed Computing (DISC) (pp. 435–436). https://doi.org/10.1007/978-3-642-33651-5_45
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 627
Wonisch, D. (2012). Block Abstraction Memoization for CPAchecker. In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (pp. 531–533). https://doi.org/10.1007/978-3-642-28756-5_41
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 628
Cord-Landwehr, A., Huellmann (married name: Eikel), M., Kling, P., & Setzer, A. (2012). Basic Network Creation Games with Communication Interests. In Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT) (pp. 72--83). https://doi.org/10.1007/978-3-642-33996-7_7
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 629
Schleiter, P. (2012). Attribute-basierte Verschlüsselung. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 630
Platenius, M. C., von Detten, M., & Becker, S. (2012). Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies. In Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR) (pp. 255–264). https://doi.org/10.1109/CSMR.2012.33
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 631
von Detten, M. (2012). Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction. In Proceedings of the 19th Working Conference on Reverse Engineering (WCRE) (pp. 503–504). https://doi.org/10.1109/WCRE.2012.61
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 632
Kolman, P., & Scheideler, C. (2012). Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case. In Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA) (pp. 800–810). https://doi.org/10.1137/1.9781611973099.64
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 633
Pischel, D. (2012). Analyse, Konzeption und Implementierung von Aggregationsverfahren für Trinkwasserversorgungsnetze. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 634
Kratzmann, J. (2012). Analyse und Simulation von energieeffizienten Online-Scheduling Algorithmen. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 635
Dohle (married name: Hallmann) , C., & Suhl, L. (2012). An Optimization Model for the optimal Usage of Water Tanks in Water Supply Systems. In Proceedings of the International Conference on Applied Mathematical Optimization and Modelling (APMOD) (pp. 404–408).
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 636
Meyer auf der Heide, F., Pietrzyk, P., & Kling, P. (2012). An Algorithm for Facility Leasing. In Proceedings of the 19th International Colloquium on Structural Information & Communication Complexity (SIROCCO) (pp. 61–72). https://doi.org/10.1007/978-3-642-31104-8_6
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 637
Dawirs, F. (2012). Alternative Berechnung der Machtindizes: Banzhaf und Shapley-Shubik Index. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 638
Eidens, F. (2012). Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken. Universität Paderborn.
LibreCat
2012 | Conference Paper | LibreCat-ID: 639
Huma, Z., Gerth, C., Engels, G., & Juwig, O. (2012). A UML-based Rich Service Description for Automatic Service Discovery. In Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering (pp. 90--97).
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 640
Kniesburges, S., Koutsopoulos, A., & Scheideler, C. (2012). A Self-Stabilization Process for Small-World Networks. In Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) (pp. 1261--1271). https://doi.org/10.1109/IPDPS.2012.115
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 641
Schluessler, J. (2012). A Forensic Framework for Automatic Information Retrieval in Distributed Systems. Universität Paderborn.
LibreCat
2012 | Journal Article | LibreCat-ID: 5183
Bodden, E., Lam, P., & Hendren, L. (2012). Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Transactions on Programming Languages and Systems, 34(2), 1–52. https://doi.org/10.1145/2220365.2220366
LibreCat
| Files available
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 565
Besova, G., Walther, S., Wehrheim, H., & Becker, S. (2012). Weaving-based configuration and modular transformation of multi-layer systems. In Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS) (pp. 776–792). https://doi.org/10.1007/978-3-642-33666-9_49
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 566
Hilger, I. (2012). Untersuchung von Modellen zur operativen Planung in Trinkwasserversorgungsnetzwerken. Universität Paderborn.
LibreCat
2012 | Misc | LibreCat-ID: 13462
Lewis, P., Platzner, M., & Yao, X. (2012). An outlook for self-awareness in computing systems. Awareness Magazine.
LibreCat
2012 | Dissertation | LibreCat-ID: 34169
Brangewitz, S. (2012). Coalitional and Strategic Market Games.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 615
Happe, M., Hangmann, H., Agne, A., & Plessl, C. (2012). Eight Ways to put your FPGA on Fire – A Systematic Study of Heat Generators. Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig), 1–8. https://doi.org/10.1109/ReConFig.2012.6416745
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 591
Kenter, T., Plessl, C., & Schmitz, H. (2012). Pragma based parallelization - Trading hardware efficiency for ease of use? Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 1–8. https://doi.org/10.1109/ReConFig.2012.6416773
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 609
Happe, M., Agne, A., Plessl, C., & Platzner, M. (2012). Hardware/Software Platform for Self-aware Compute Nodes. Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS), 8–9.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 567
Barrio, P., Carreras, C., Sierra, R., Kenter, T., & Plessl, C. (2012). Turning control flow graphs into function calls: Code generation for heterogeneous architectures. Proceedings of the International Conference on High Performance Computing and Simulation (HPCS), 559–565. https://doi.org/10.1109/HPCSim.2012.6266973
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 612
Rüthing, C., Happe, M., Agne, A., & Plessl, C. (2012). Exploration of Ring Oscillator Design Space for Temperature Measurements on FPGAs. Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), 559–562. https://doi.org/10.1109/FPL.2012.6339370
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 2512
Dimitrov, D., & Haake, C.-J. (2011). Proportionality and the power of unequal parties. International Journal of Economic Theory, 7(2), 189–200. https://doi.org/10.1111/j.1742-7363.2011.00158.x
LibreCat
| Files available
| DOI
2011 | Bachelorsthesis | LibreCat-ID: 17997
Setzer, A. (2011). Lokale Online-Strategien zur linearen Anordnung von Teilnehmern in einem Peer-to-Peer Netzwerk. Universität Paderborn.
LibreCat
2011 | Bachelorsthesis | LibreCat-ID: 642
Diehl, M. (2011). Vorteile der Paketbildung in Verhandlungen: Ein prozeduraler Zugang zu Superadditivität. Universität Paderborn.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 643
Welp, D. (2011). User-space Scheduling for Heterogeneous System under Linux. Universität Paderborn.
LibreCat
2011 | Conference Paper | LibreCat-ID: 644
von Detten, M. (2011). Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution. In Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE) (pp. 17–20). https://doi.org/10.1145/2024569.2024573
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 645
Doerr, B., Goldberg, L. A., Minder, L., Sauerwald, T., & Scheideler, C. (2011). Stabilizing consensus with the power of two choices. In Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) (pp. 149–158). https://doi.org/10.1145/1989493.1989516
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 646
Richa, A. W., & Scheideler, C. (2011). Self-Stabilizing DeBruijn Networks. In Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) (pp. 416–430). https://doi.org/10.1007/978-3-642-24550-3_31
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 647
Leuschel, M., & Wehrheim, H. (2011). Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming, (10), 835--836. https://doi.org/10.1016/j.scico.2011.01.009
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 648
Brandes, P. (2011). Robust Distributed Computation in Dynamic Networks. Universität Paderborn.
LibreCat
2011 | Journal Article | LibreCat-ID: 649
Besova, G., Wehrheim, H., & Wagner, A. (2011). Reputation-based Reliability Prediction of Service Compositions. Electronic Notes in Theoretical Computer Science, (2), 3–16. https://doi.org/10.1016/j.entcs.2011.11.008
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 650
Platenius, M. C. (2011). Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn.
LibreCat
2011 | Bachelorsthesis | LibreCat-ID: 651
Stroh-Maraun, N. (2011). Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme. Universität Paderborn.
LibreCat
2011 | Conference Paper | LibreCat-ID: 652
Gerth, C., Luckey, M., Küster, J., & Engels, G. (2011). Precise Mappings between Business Process Models in Versioning Scenarios. In Proceedings of the IEEE 8th International Conference on Service Computingt (SCC) (pp. 218--225). https://doi.org/10.1109/SCC.2011.65
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 653
Lehrig, S., & Zolynski, T. (2011). Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study. In Proceedings of the Palladio Days 2011 (pp. 15–22). https://doi.org/10.5445/IR/1000025188
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 654
Graffi, K. (2011). PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned. In Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP) (pp. 154–155). https://doi.org/10.1109/P2P.2011.6038673
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 655
Meyer, J. (2011). Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud. Universität Paderborn.
LibreCat
2011 | Conference Paper | LibreCat-ID: 657
Abshoff, S., Cord-Landwehr, A., Degener, B., Kempkes, B., & Pietrzyk, P. (2011). 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) (pp. 13–27). https://doi.org/10.1007/978-3-642-28209-6_3
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 658
Schremmer, A. (2011). Function Specification Inference Using Craig Interpolation. Universität Paderborn.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 659
Liske, G. (2011). Fault attacks in pairing-based cryptography. Universität Paderborn.
LibreCat
| Files available
2011 | Bachelorsthesis | LibreCat-ID: 660
Peuster, M. (2011). Defining and Deploying Complex Applicances in Multi-Site Cloud Environments. Universität Paderborn.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 661
Arifulina, S. (2011). Coverage Criteria for Testing DMM Specifications. Universität Paderborn.
LibreCat
2011 | Conference Paper | LibreCat-ID: 662
Nesterenko, M., Mohd, R., & Scheideler, C. (2011). Corona: A Stabilizing Deterministic Message-Passing Skip List. In Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) (pp. 356--370). https://doi.org/10.1007/978-3-642-24550-3_27
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 663
Swierkot, K. (2011). Complexity Classes for Local Computation. Universität Paderborn.
LibreCat
2011 | Conference Paper | LibreCat-ID: 664
Gehweiler, J., Kling, P., & Meyer auf der Heide, F. (2011). 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) (pp. 31--40). https://doi.org/10.1007/978-3-642-31500-8_4
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 665
Wette, P. (2011). Adaptives Loadbalancing für strukturierte Peer-to-Peer-Netzwerke am Beispiel von Chord. Universität Paderborn.
LibreCat
2011 | Conference Paper | LibreCat-ID: 666
Drzevitzky, S., & Platzner, M. (2011). 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) (pp. 58–65). https://doi.org/10.1109/ReCoSoC.2011.5981499
LibreCat
| Files available
| DOI
2011 | Conference (Editor) | LibreCat-ID: 667
Meyer auf der Heide, F., & Rajaraman, R. (Eds.). (2011). 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures. https://doi.org/10.1145/1989493
LibreCat
| DOI
2011 | Report | LibreCat-ID: 668
Kaimann, D. (2011). “To infinity and beyond!” - A genre-specific film analysis of movie success mechanisms. Universität Paderborn.
LibreCat
| Files available
2011 | Conference Paper | LibreCat-ID: 656
Happe, M., Agne, A., & Plessl, C. (2011). Measuring and Predicting Temperature Distributions on FPGAs at Run-Time. Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs (ReConFig), 55–60. https://doi.org/10.1109/ReConFig.2011.59
LibreCat
| Files available
| DOI