745 Publications
2014 | Bachelorsthesis | LibreCat-ID: 340
Korth, P. (2014). Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 341
Fang Cheng, T. (2014). Two-Sided Market and Game Console Vendors. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 342
Klauke, C. (2014). Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn.
LibreCat
2014 | Dissertation | LibreCat-ID: 343
Künsemöller, J. (2014). Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market. Universität Paderborn.
LibreCat
| Files available
2014 | Bachelorsthesis | LibreCat-ID: 348
Rüthing, C. (2014). The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores. Universität Paderborn.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 351
Holzweißig, L. (2014). The Impact of Customer Reviews and Reputation on Hotel Prices. Universität Paderborn.
LibreCat
2014 | Dissertation | LibreCat-ID: 352
Scheel, F. (2014). The Economics of Individual Behavior in Competitive Environments: Empirical Evidence from Real-Life Tournaments. Universität Paderborn.
LibreCat
| Files available
2014 | Bachelorsthesis | LibreCat-ID: 357
Ebel, O. (2014). Struktur und algorithmische Bestimmung stabiler Matchings in one-to-one Matching Märkten. Universität Paderborn.
LibreCat
2014 | Dissertation | LibreCat-ID: 358
Röhl, N. (2014). Strategic and Cooperative Games in Network Economics. Universität Paderborn.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 359
Töws, M. (2014). Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 361
Roeske, D. (2014). Simulating load-dependent operation of picocells. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 362
Kaiser, S. (2014). Signalisieren und Screening in Arbeitsmärkten - die Experimente von Brandts & Holt und Kübler et. al. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 369
Rath, T. (2014). RSA-Full Domain Hash Revisited. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 373
Pahl, D. (2014). Reputationssysteme für zusammengesetzte Dienstleistungen. Universität Paderborn.
LibreCat
2014 | Dissertation | LibreCat-ID: 376
Herlich, M. (2014). Reducing Energy Consumption of Radio Access Networks. Universität Paderborn.
LibreCat
| Files available
2014 | Dissertation | LibreCat-ID: 385
Petrlic, R. (2014). Privacy-Preserving Multiparty Digital Rights Management. Universität Paderborn.
LibreCat
| Files available
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 | Mastersthesis | LibreCat-ID: 448
Gao, Y. (2014). Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness. Universität Paderborn.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 454
Heldt, W. (2014). Automated Service Composition: Adaption of the ASTRO Approach. Universität Paderborn.
LibreCat
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 | 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 | Mastersthesis | LibreCat-ID: 466
Brand, M. (2014). A generalized loop accelerator implemented as a coarse grained array. Universität Paderborn.
LibreCat
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 | Mastersthesis | LibreCat-ID: 396
Bano, D. (2014). Modeling and Matching of Reputation of Services in On-The-Fly Computing. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 400
Bunse, M. (2014). Measuring Transformation-induced Uncertainty in Service Matching: A Feasibility Study. Universität Paderborn.
LibreCat
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 | Mastersthesis | LibreCat-ID: 411
Taherinajafabadi, V. (2014). Improving Service Specifications for the Service Matching on a Service Market. Universität Paderborn.
LibreCat
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 | 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 | 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 | 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 | 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 | 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
2013 | Bachelorsthesis | LibreCat-ID: 18000
Blumentritt, F. (2013). Cliquenbildung in verteilten Systemen. Universität Paderborn.
LibreCat
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 | 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 | Bachelorsthesis | LibreCat-ID: 482
Bieshaar, M. (2013). Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen. Universität Paderborn.
LibreCat
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 | 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 | 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 | 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 | 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 | Dissertation | LibreCat-ID: 514
Pietrzyk, P. (2013). Local and Online Algorithms for Facility Location. Universität Paderborn.
LibreCat
| Files available
2013 | Bachelorsthesis | LibreCat-ID: 518
Petrausch, V. (2013). Klassifizierung unterschiedlicher Ansätze zum Matching von Services. Universität Paderborn.
LibreCat
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 | 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 | 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 | Bachelorsthesis | LibreCat-ID: 539
Kornhoff, T. (2013). Der Einfluss adaptierter Erwartungen in dynamischen Cournot Oligopolen. Universität Paderborn.
LibreCat
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 | Bachelorsthesis | LibreCat-ID: 545
Blumentritt, F. (2013). Cliquenbildung in verteilten Systemen. Universität Paderborn.
LibreCat
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 | 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 | 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 | 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
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 | 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 | 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 | 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 | 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 | 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 | 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 | Mastersthesis | LibreCat-ID: 618
Kurras, S. (2012). Distributed Sampling of Regular Graphs. Universität Paderborn.
LibreCat
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 | Mastersthesis | LibreCat-ID: 624
Jakobs, M.-C. (2012). Change and Validity Analysis in Deductive Program Verification. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 629
Schleiter, P. (2012). Attribute-basierte Verschlüsselung. Universität Paderborn.
LibreCat
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 | 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 | Mastersthesis | LibreCat-ID: 641
Schluessler, J. (2012). A Forensic Framework for Automatic Information Retrieval in Distributed Systems. Universität Paderborn.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 566
Hilger, I. (2012). Untersuchung von Modellen zur operativen Planung in Trinkwasserversorgungsnetzwerken. Universität Paderborn.
LibreCat
2012 | Dissertation | LibreCat-ID: 34169
Brangewitz, S. (2012). Coalitional and Strategic Market Games.
LibreCat
| Files available
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 | Mastersthesis | LibreCat-ID: 648
Brandes, P. (2011). Robust Distributed Computation in Dynamic Networks. Universität Paderborn.
LibreCat
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 | Mastersthesis | LibreCat-ID: 655
Meyer, J. (2011). Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud. Universität Paderborn.
LibreCat
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 | Mastersthesis | LibreCat-ID: 663
Swierkot, K. (2011). Complexity Classes for Local Computation. Universität Paderborn.
LibreCat
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