745 Publications
2014 | Bachelorsthesis | LibreCat-ID: 340
Korth P. Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 341
Fang Cheng T. Two-Sided Market and Game Console Vendors. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 342
Klauke C. Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn; 2014.
LibreCat
2014 | Dissertation | LibreCat-ID: 343
Künsemöller J. Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Bachelorsthesis | LibreCat-ID: 348
Rüthing C. The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 351
Holzweißig L. The Impact of Customer Reviews and Reputation on Hotel Prices. Universität Paderborn; 2014.
LibreCat
2014 | Dissertation | LibreCat-ID: 352
Scheel F. The Economics of Individual Behavior in Competitive Environments: Empirical Evidence from Real-Life Tournaments. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Bachelorsthesis | LibreCat-ID: 357
Ebel O. Struktur und algorithmische Bestimmung stabiler Matchings in one-to-one Matching Märkten. Universität Paderborn; 2014.
LibreCat
2014 | Dissertation | LibreCat-ID: 358
Röhl N. Strategic and Cooperative Games in Network Economics. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 359
Töws M. Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 361
Roeske D. Simulating Load-Dependent Operation of Picocells. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 362
Kaiser S. Signalisieren und Screening in Arbeitsmärkten - die Experimente von Brandts & Holt und Kübler et. al. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 369
Rath T. RSA-Full Domain Hash Revisited. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 373
Pahl D. Reputationssysteme für zusammengesetzte Dienstleistungen. Universität Paderborn; 2014.
LibreCat
2014 | Dissertation | LibreCat-ID: 376
Herlich M. Reducing Energy Consumption of Radio Access Networks. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Dissertation | LibreCat-ID: 385
Petrlic R. Privacy-Preserving Multiparty Digital Rights Management. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 391
Feldkord B. On Variants of the Page Migration Problem. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 18001
Luo L. Ein Selbst-Stabilisierender Algorithmus Für Das Finite Sleep Problem in Skip+ Graphen. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 448
Gao Y. Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 454
Heldt W. Automated Service Composition: Adaption of the ASTRO Approach. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 458
Dreimann P. Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 460
Mittendorf R. Advanced AES-Key Recovery from Decayed RAM-Dumps Using Multi-Threading and FPGAs. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 461
Dräxler S. Adaptive Placement of Programmable Virtual Network Function Chains. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 466
Brand M. A Generalized Loop Accelerator Implemented as a Coarse Grained Array. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 392
Brummel N. On the Relation between Innovation and Competion: The Case of Energy Industry. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 396
Bano D. Modeling and Matching of Reputation of Services in On-The-Fly Computing. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 400
Bunse M. Measuring Transformation-Induced Uncertainty in Service Matching: A Feasibility Study. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 403
Martin Lohre T. Machtverteilungen von Koalitionen im Fokus der politischen Realität. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 404
van Straaten D. Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 405
Degraf O. Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 411
Taherinajafabadi V. Improving Service Specifications for the Service Matching on a Service Market. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 413
Eusterholz F. Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 414
Jochheim J. Hiding Software Components Using Functional Encryption. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 415
Vijapurwala S. Handling Incomplete Service Specifications Using Fuzzy Matching. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 416
Bemmann P. Group Signature Schemes with Strong Exculpability. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
Pauck F. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Dissertation | LibreCat-ID: 419
Kolle A. Gender and Ethnic Discrimination in Hiring : Evidence from Field Experiments in the German Labor Market. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 420
Merschjohann S. Fuzzy Matching of Service Price Specifications. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 421
Lippert J. Fujisaki-Okamoto Transformation. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 422
Sanati M. Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 423
Jojiju S. Finding Optimal Self-Adaption Rules by Design-Space Exploration. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 424
Finkensiep C. Fast and Flexible Automatic Composition of Semantic Web Services. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 426
Dornseifer V. Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 427
Bulk B. Evaluating the Influence of Different Abstraction Levels of Software Design on Performance Prediction. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 429
Herbort M. Entwicklung eines mathematischen Modells zur Optimierung der Struktur eines Trinkwasserbehälters. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 430
Krakau A. Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT. Universität Paderborn; 2014.
LibreCat
2014 | Dissertation | LibreCat-ID: 431
Kling P. Energy-Efficient Scheduling Algorithms. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 432
Bredenbals N. Energy-Efficient Queuing with Delayed Deactivation. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 434
Luo L. Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 436
Damschen M. Easy-to-Use on-the-Fly Binary Program Acceleration on Many-Cores. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 437
Wemhöner V. Die ökonomischen Auswirkungen der Kronzeugenregelung am Beispiel des Kaffeerösterkartells. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 438
Kokoschka A. Designing an Anonymous and Secure Reputation System Using a Group Signature Variant. Universität Paderborn; 2014.
LibreCat
2014 | Dissertation | LibreCat-ID: 440
Kaimann D. Decision Making under Asymmetric Information in Markets for Experience Goods: Empirical Evidence of Signaling Effects on Consumer Perceptions. Universität Paderborn; 2014.
LibreCat
| Files available
2013 | Bachelorsthesis | LibreCat-ID: 18000
Blumentritt F. Cliquenbildung in Verteilten Systemen. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 471
Tezer A. Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 472
Engelbrecht M. Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern. Universität Paderborn; 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 478
Timm N. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn; 2013.
LibreCat
| Files available
2013 | Bachelorsthesis | LibreCat-ID: 482
Bieshaar M. Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 486
Otte O. Seitenkanalresistenz paarungsbasierter Kryptographie. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 487 |
Bobolz J. Security Proofs for Pairing-Based Cryptography in the Generic Group Model. Universität Paderborn; 2013.
LibreCat
| Files available
2013 | Mastersthesis | LibreCat-ID: 489
Knopf M. Scheduling Variants with Speed-Scaling via the Primal-Dual Approach. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 490
Wallaschek F. Routing in heterogenen OpenFlow Netzwerken. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 492
Robbert C. Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 493
Terentjew A. Reputationssysteme und Gerichtsverfahren als Wekzeuge zur Sicherstellung von Qualitätsstandards in Transaktionen. Universität Paderborn; 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 494
von Detten M. Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn; 2013.
LibreCat
| Files available
2013 | Dissertation | LibreCat-ID: 7569
Soltenborn C. Quality Assurance with Dynamic Meta Modeling. Universität Paderborn; 2013. doi:http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
LibreCat
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 500
Staschewski M. Price Formation in the Restaurant Industry - An Empirical Analysis. Universität Paderborn; 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 501
Happe M. Performance and Thermal Management on Self-Adaptive Hybrid Multi-Cores. Berlin: Logos Verlag Berlin GmbH; 2013.
LibreCat
| Files available
2013 | Bachelorsthesis | LibreCat-ID: 503
Blix A. Optimale und adaptive binäre Bäume in Netzwerken. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 504
Schwichtenberg S. Ontology-Based Normalization and Matching of Rich Service Descriptions. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 510
Jayesh Parekh C. Meta-Data Based Search in Structured Peer-to-Peer Networks. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 511
Splietker M. MapReduce in Software Defined Networks. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 512
Herzog E. Lösungsverfahren für das many-to-one Matching Problem. Universität Paderborn; 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 514
Pietrzyk P. Local and Online Algorithms for Facility Location. Universität Paderborn; 2013.
LibreCat
| Files available
2013 | Bachelorsthesis | LibreCat-ID: 518
Petrausch V. Klassifizierung unterschiedlicher Ansätze zum Matching von Services. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 521
Riebler H. Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 522
Feldotto M. HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 525
Niklas Vinkemeier T. Haptics - Hadoop Performance Testing in Concurrent Job Scenarios. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 526
Mäcker A. Greedy Network Creation With Heavy And Light Edges. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 530
Buse D. Entwurf Kooperativer Verhaltensweisen Heterogener Roboter. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 531
Lutters S. Entwurf eines datenschutzgerechten Reputationssystems. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 532
Hilleckes H. Entwicklung und Analyse einer verteilten Speicherverwaltung für dynamische heterogene Speichersysteme. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 533
Borkowski R. Entwicklung eines Hybriden Planers zur verhaltensorientierten Selbstoptimierung. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 534
Satya S. Emulating Wavelength Division Multiplexing Using Openflow. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 535
Reineke M. Effizienzsteigerung durch gewichtete Produktbewertungen. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 536
Stroh-Maraun N. Dynamic One-to-One Matching: Theory and a Job Market Application. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 537
Heindorf S. Dispersion of Multi-Robot Teams. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 539
Kornhoff T. Der Einfluss adaptierter Erwartungen in dynamischen Cournot Oligopolen. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 543
Jagannath K. Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 545
Blumentritt F. Cliquenbildung in verteilten Systemen. Universität Paderborn; 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 547
Gerth C. Business Process Models - Change Management. Universität Paderborn; 2013. doi:10.1007/978-3-642-38604-6
LibreCat
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 549
Bick C. Beschleunigung von Tiefenberechung aus Stereobildern durch FPGA-basierte Datenflussrechner. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 550
Meschede J. Bandbreiten-beschränktes Scheduling mit skalierbaren Jobanforderungen in Multiprozessor-Umgebungen. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 552
Meckenstock K. Auktionen im Beschaffungsmanagement - Eine spieltheoretische Analyse. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 553
Kohn K. Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 555
Setzer A. Approximation Algorithms for the Linear Arrangement of Special Classes of Graphs. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 556
Nickel T. Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking. Universität Paderborn; 2013.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 575
Bremer L. Symbiotic Coupling of Peer-to-Peer and Cloud Systems. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 576
Schmitz H. Stereo Matching on a Convey HC-1 Hybrid Core Computer. Universität Paderborn; 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 582
Strothmann TF. Self-Optimizing Binary Search Trees - A Game Theoretic Approach. Universität Paderborn; 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 583
Drücker J. Revenue-Maximizing Order of Sale in Sequential Auctions. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 584
Hohenberger T. Queuing Latency at Cooperative Base Stations. Universität Paderborn; 2012.
LibreCat
2012 | Dissertation | LibreCat-ID: 586 |
Drzevitzky S. Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security. Universität Paderborn; 2012.
LibreCat
| Files available
| Download (ext.)
2012 | Mastersthesis | LibreCat-ID: 592
Celik A. Penny Auctions: Design und Strategisches Verhalten. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 593
Rojahn T. Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten. Universität Paderborn; 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 594
Klerx T. Online Parameteroptimierung in P2P-Netzwerken mit Hilfe von Neuronalen Netzen. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 595
Mallmann Trenn F. On Scheduling with Multi-Core and Multi-Speed Processors Using Power Down. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 598
Mammadov F. Methoden zur Bestimmung von innerbetrieblichen Verrechnungspreisen. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 599
Löwen X. Managerial Delegation and Capacity Choices: An Analysis of the Cournot-Nash Equilibrium. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 600
Feldkord B. Lokale Swaps und überholte Informationen in Basic Network Creation Games. Universität Paderborn; 2012.
LibreCat
2012 | Dissertation | LibreCat-ID: 601
Kempkes B. Local Strategies for Robot Formation Problems. Vol 302. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2012.
LibreCat
| Files available
2012 | Mastersthesis | LibreCat-ID: 604
Seier H. Implementierung eines Branch-and-Bound-Algorithmus für nichtkonvexe gemischt-ganzzahlige Optimierungsprobleme mit quadratischen Nebenbedingungen. Universität Paderborn; 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 605
Isenberg F. Implementierung eines adaptiven Verfahrens zur Linearisierung von nicht-konvexen, nichtlinearen Wassernetzmodellen mit Hilfe einer Fehlerabschätzung. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 606
Löken N. Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 607
Haarhoff T. Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2. Universität Paderborn; 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 610
Mohr M. Generating Prototypes of Adaptive Component-Based Software Systems for Performance Analysis. Universität Paderborn; 2012.
LibreCat
| Files available
2012 | Bachelorsthesis | LibreCat-ID: 611
Hangmann H. Generating Adjustable Temperature Gradients on Modern FPGAs. Universität Paderborn; 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 613
Wohlfarth S. Erweiterung von d3fact um die Domäne Wasserversorgung in Verbindung mit der Analyse und Implementierung eines hydraulischen Simulationsverfahrens. Universität Paderborn; 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 614
Lehrig S. Empirischer, quantitativer Vergleich von Modelltransformationssprachen. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 616
Kluczniok S. Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen. Universität Paderborn; 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 618
Kurras S. Distributed Sampling of Regular Graphs. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 620
Mittendorf R. Datenschutzgerechtes DRM im Cloud Computing. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 621
Sekula S. Datenschutzgerechte E-Payment-Schemata im On-The-Fly Computing. Universität Paderborn; 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 624
Jakobs M-C. Change and Validity Analysis in Deductive Program Verification. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 629
Schleiter P. Attribute-basierte Verschlüsselung. Universität Paderborn; 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 633
Pischel D. Analyse, Konzeption und Implementierung von Aggregationsverfahren für Trinkwasserversorgungsnetze. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 634
Kratzmann J. Analyse und Simulation von energieeffizienten Online-Scheduling Algorithmen. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 637
Dawirs F. Alternative Berechnung der Machtindizes: Banzhaf und Shapley-Shubik Index. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 638
Eidens F. Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken. Universität Paderborn; 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 641
Schluessler J. A Forensic Framework for Automatic Information Retrieval in Distributed Systems. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 566
Hilger I. Untersuchung von Modellen zur operativen Planung in Trinkwasserversorgungsnetzwerken. Universität Paderborn; 2012.
LibreCat
2012 | Dissertation | LibreCat-ID: 34169
Brangewitz S. Coalitional and Strategic Market Games.; 2012.
LibreCat
| Files available
2011 | Bachelorsthesis | LibreCat-ID: 17997
Setzer A. Lokale Online-Strategien Zur Linearen Anordnung von Teilnehmern in Einem Peer-to-Peer Netzwerk. Universität Paderborn; 2011.
LibreCat
2011 | Bachelorsthesis | LibreCat-ID: 642
Diehl M. Vorteile der Paketbildung in Verhandlungen: Ein prozeduraler Zugang zu Superadditivität. Universität Paderborn; 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 643
Welp D. User-Space Scheduling for Heterogeneous System under Linux. Universität Paderborn; 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 648
Brandes P. Robust Distributed Computation in Dynamic Networks. Universität Paderborn; 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 650
Platenius MC. Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn; 2011.
LibreCat
2011 | Bachelorsthesis | LibreCat-ID: 651
Stroh-Maraun N. Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme. Universität Paderborn; 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 655
Meyer J. Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud. Universität Paderborn; 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 658
Schremmer A. Function Specification Inference Using Craig Interpolation. Universität Paderborn; 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 659
Liske G. Fault Attacks in Pairing-Based Cryptography. Universität Paderborn; 2011.
LibreCat
| Files available
2011 | Bachelorsthesis | LibreCat-ID: 660
Peuster M. Defining and Deploying Complex Applicances in Multi-Site Cloud Environments. Universität Paderborn; 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 661
Arifulina S. Coverage Criteria for Testing DMM Specifications. Universität Paderborn; 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 663
Swierkot K. Complexity Classes for Local Computation. Universität Paderborn; 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 665
Wette P. Adaptives Loadbalancing für strukturierte Peer-to-Peer-Netzwerke am Beispiel von Chord. Universität Paderborn; 2011.
LibreCat