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