745 Publications

2014 | Bachelorsthesis | LibreCat-ID: 340
@book{Korth_2014, title={Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs”}, publisher={Universität Paderborn}, author={Korth, Philipp}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 341
@book{Fang Cheng_2014, title={Two-Sided Market and Game Console Vendors}, publisher={Universität Paderborn}, author={Fang Cheng, Terry}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 342
@book{Klauke_2014, title={Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen}, publisher={Universität Paderborn}, author={Klauke, Christoph}, year={2014} }
LibreCat
 
2014 | Dissertation | LibreCat-ID: 343
@book{Künsemöller_2014, title={Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market}, publisher={Universität Paderborn}, author={Künsemöller, Jörn}, year={2014} }
LibreCat | Files available
 
2014 | Bachelorsthesis | LibreCat-ID: 348
@book{Rüthing_2014, title={The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores}, publisher={Universität Paderborn}, author={Rüthing, Christoph}, year={2014} }
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 351
@book{Holzweißig_2014, title={The Impact of Customer Reviews and Reputation on Hotel Prices}, publisher={Universität Paderborn}, author={Holzweißig, Lena}, year={2014} }
LibreCat
 
2014 | Dissertation | LibreCat-ID: 352
@book{Scheel_2014, title={The Economics of Individual Behavior in Competitive Environments: Empirical Evidence from Real-Life Tournaments}, publisher={Universität Paderborn}, author={Scheel, Friedrich}, year={2014} }
LibreCat | Files available
 
2014 | Bachelorsthesis | LibreCat-ID: 357
@book{Ebel_2014, title={Struktur und algorithmische Bestimmung stabiler Matchings in one-to-one Matching Märkten}, publisher={Universität Paderborn}, author={Ebel, Olga}, year={2014} }
LibreCat
 
2014 | Dissertation | LibreCat-ID: 358
@book{Röhl_2014, title={Strategic and Cooperative Games in Network Economics}, publisher={Universität Paderborn}, author={Röhl, Nils}, year={2014} }
LibreCat | Files available
 
2014 | Mastersthesis | LibreCat-ID: 359
@book{Töws_2014, title={Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB}, publisher={Universität Paderborn}, author={Töws, Manuel}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 361
@book{Roeske_2014, title={Simulating load-dependent operation of picocells}, publisher={Universität Paderborn}, author={Roeske, Daniel}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 362
@book{Kaiser_2014, title={Signalisieren und Screening in Arbeitsmärkten - die Experimente von Brandts & Holt und Kübler et. al}, publisher={Universität Paderborn}, author={Kaiser, Sarah}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 369
@book{Rath_2014, title={RSA-Full Domain Hash Revisited}, publisher={Universität Paderborn}, author={Rath, Timo}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 373
@book{Pahl_2014, title={Reputationssysteme für zusammengesetzte Dienstleistungen}, publisher={Universität Paderborn}, author={Pahl, David}, year={2014} }
LibreCat
 
2014 | Dissertation | LibreCat-ID: 376
@book{Herlich_2014, title={Reducing Energy Consumption of Radio Access Networks}, publisher={Universität Paderborn}, author={Herlich, Matthias}, year={2014} }
LibreCat | Files available
 
2014 | Dissertation | LibreCat-ID: 385
@book{Petrlic_2014, title={Privacy-Preserving Multiparty Digital Rights Management}, publisher={Universität Paderborn}, author={Petrlic, Ronald}, year={2014} }
LibreCat | Files available
 
2014 | Mastersthesis | LibreCat-ID: 391
@book{Feldkord_2014, title={On Variants of the Page Migration Problem}, publisher={Universität Paderborn}, author={Feldkord, Björn}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 18001
@book{Luo_2014, title={Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen}, publisher={Universität Paderborn}, author={Luo, Linghui}, year={2014} }
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 448
@book{Gao_2014, title={Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness}, publisher={Universität Paderborn}, author={Gao, Yuan}, year={2014} }
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 454
@book{Heldt_2014, title={Automated Service Composition: Adaption of the ASTRO Approach}, publisher={Universität Paderborn}, author={Heldt, Waleri}, year={2014} }
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 458
@book{Dreimann_2014, title={Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic}, publisher={Universität Paderborn}, author={Dreimann, Philipp}, year={2014} }
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 460
@book{Mittendorf_2014, title={Advanced AES-key recovery from decayed RAM-dumps using multi-threading and FPGAs}, publisher={Universität Paderborn}, author={Mittendorf, Robert}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 461
@book{Dräxler_2014, title={Adaptive Placement of Programmable Virtual Network Function Chains}, publisher={Universität Paderborn}, author={Dräxler, Sevil}, year={2014} }
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 466
@book{Brand_2014, title={A generalized loop accelerator implemented as a coarse grained array}, publisher={Universität Paderborn}, author={Brand, Marcel}, year={2014} }
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 392
@book{Brummel_2014, title={On the Relation between Innovation and Competion: The Case of Energy Industry}, publisher={Universität Paderborn}, author={Brummel, NinaMadeleine}, year={2014} }
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 396
@book{Bano_2014, title={Modeling and Matching of Reputation of Services in On-The-Fly Computing}, publisher={Universität Paderborn}, author={Bano, Dorina}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 400
@book{Bunse_2014, title={Measuring Transformation-induced Uncertainty in Service Matching: A Feasibility Study}, publisher={Universität Paderborn}, author={Bunse, Mirko}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 403
@book{Martin Lohre_2014, title={Machtverteilungen von Koalitionen im Fokus der politischen Realität}, publisher={Universität Paderborn}, author={Martin Lohre, Tobias}, year={2014} }
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 404
@book{van Straaten_2014, title={Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse}, publisher={Universität Paderborn}, author={van Straaten, Dirk}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 405
@book{Degraf_2014, title={Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen}, publisher={Universität Paderborn}, author={Degraf, Olga}, year={2014} }
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 411
@book{Taherinajafabadi_2014, title={Improving Service Specifications for the Service Matching on a Service Market}, publisher={Universität Paderborn}, author={Taherinajafabadi, Vahide}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 413
@book{Eusterholz_2014, title={Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes}, publisher={Universität Paderborn}, author={Eusterholz, Fabian}, year={2014} }
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 414
@book{Jochheim_2014, title={Hiding software components using functional encryption}, publisher={Universität Paderborn}, author={Jochheim, Janek}, year={2014} }
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 415
@book{Vijapurwala_2014, title={Handling Incomplete Service Specifications using Fuzzy Matching}, publisher={Universität Paderborn}, author={Vijapurwala, Shafi}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 416
@book{Bemmann_2014, title={Group Signature Schemes with Strong Exculpability}, publisher={Universität Paderborn}, author={Bemmann, Pascal}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 418 | OA
@book{Pauck_2014, title={Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren}, publisher={Universität Paderborn}, author={Pauck, Felix}, year={2014} }
LibreCat | Files available
 
2014 | Dissertation | LibreCat-ID: 419
@book{Kolle_2014, title={Gender and ethnic discrimination in hiring : evidence from field experiments in the German labor market}, publisher={Universität Paderborn}, author={Kolle, Andre}, year={2014} }
LibreCat | Files available
 
2014 | Mastersthesis | LibreCat-ID: 420
@book{Merschjohann_2014, title={Fuzzy Matching of Service Price Specifications}, publisher={Universität Paderborn}, author={Merschjohann, Sven}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 421
@book{Lippert_2014, title={Fujisaki-Okamoto Transformation}, publisher={Universität Paderborn}, author={Lippert, Jan}, year={2014} }
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 422
@book{Sanati_2014, title={Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions}, publisher={Universität Paderborn}, author={Sanati, Maryam}, year={2014} }
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 423
@book{Jojiju_2014, title={Finding Optimal Self-Adaption Rules by Design-Space Exploration}, publisher={Universität Paderborn}, author={Jojiju, Suman}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 424
@book{Finkensiep_2014, title={Fast and Flexible Automatic Composition of Semantic Web Services}, publisher={Universität Paderborn}, author={Finkensiep, Christoph}, year={2014} }
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 426
@book{Dornseifer_2014, title={Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network}, publisher={Universität Paderborn}, author={Dornseifer, Veit}, year={2014} }
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 427
@book{Bulk_2014, title={Evaluating the Influence of Different Abstraction Levels of Software Design on Performance prediction}, publisher={Universität Paderborn}, author={Bulk, Benjamin}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 429
@book{Herbort_2014, title={Entwicklung eines mathematischen Modells zur Optimierung der Struktur eines Trinkwasserbehälters}, publisher={Universität Paderborn}, author={Herbort, Maik}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 430
@book{Krakau_2014, title={Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT}, publisher={Universität Paderborn}, author={Krakau, Andreas}, year={2014} }
LibreCat
 
2014 | Dissertation | LibreCat-ID: 431
@book{Kling_2014, title={Energy-efficient Scheduling Algorithms}, publisher={Universität Paderborn}, author={Kling, Peter}, year={2014} }
LibreCat | Files available
 
2014 | Mastersthesis | LibreCat-ID: 432
@book{Bredenbals_2014, title={Energy-Efficient Queuing with Delayed Deactivation}, publisher={Universität Paderborn}, author={Bredenbals, Nico}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 434
@book{Luo_2014, title={Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen}, publisher={Universität Paderborn}, author={Luo, Linghui}, year={2014} }
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 436
@book{Damschen_2014, title={Easy-to-use on-the-fly binary program acceleration on many-cores}, publisher={Universität Paderborn}, author={Damschen, Marvin}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 437
@book{Wemhöner_2014, title={Die ökonomischen Auswirkungen der Kronzeugenregelung am Beispiel des Kaffeerösterkartells}, publisher={Universität Paderborn}, author={Wemhöner, Vanessa}, year={2014} }
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 438
@book{Kokoschka_2014, title={Designing an Anonymous and Secure Reputation System Using a Group Signature Variant}, publisher={Universität Paderborn}, author={Kokoschka, Andreas}, year={2014} }
LibreCat
 
2014 | Dissertation | LibreCat-ID: 440
@book{Kaimann_2014, title={Decision Making under Asymmetric Information in Markets for Experience Goods: Empirical Evidence of Signaling Effects on Consumer Perceptions}, publisher={Universität Paderborn}, author={Kaimann, Daniel}, year={2014} }
LibreCat | Files available
 
2013 | Bachelorsthesis | LibreCat-ID: 18000
@book{Blumentritt_2013, title={Cliquenbildung in verteilten Systemen}, publisher={Universität Paderborn}, author={Blumentritt, Fritz}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 471
@book{Tezer_2013, title={Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen}, publisher={Universität Paderborn}, author={Tezer, Alina}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 472
@book{Engelbrecht_2013, title={Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern}, publisher={Universität Paderborn}, author={Engelbrecht, Marco}, year={2013} }
LibreCat
 
2013 | Dissertation | LibreCat-ID: 478
@book{Timm_2013, title={Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems}, publisher={Universität Paderborn}, author={Timm, Nils}, year={2013} }
LibreCat | Files available
 
2013 | Bachelorsthesis | LibreCat-ID: 482
@book{Bieshaar_2013, title={Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen}, publisher={Universität Paderborn}, author={Bieshaar, Maarten}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 486
@book{Otte_2013, title={Seitenkanalresistenz paarungsbasierter Kryptographie}, publisher={Universität Paderborn}, author={Otte, Oliver}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 487 | OA
@book{Bobolz_2013, title={Security Proofs for Pairing-Based Cryptography in the Generic Group Model}, publisher={Universität Paderborn}, author={Bobolz, Jan}, year={2013} }
LibreCat | Files available
 
2013 | Mastersthesis | LibreCat-ID: 489
@book{Knopf_2013, title={Scheduling Variants with Speed-Scaling via the Primal-Dual Approach}, publisher={Universität Paderborn}, author={Knopf, Michael}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 490
@book{Wallaschek_2013, title={Routing in heterogenen OpenFlow Netzwerken}, publisher={Universität Paderborn}, author={Wallaschek, Felix}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 492
@book{Robbert_2013, title={Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case}, publisher={Universität Paderborn}, author={Robbert, Christoph}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 493
@book{Terentjew_2013, title={Reputationssysteme und Gerichtsverfahren als Wekzeuge zur Sicherstellung von Qualitätsstandards in Transaktionen}, publisher={Universität Paderborn}, author={Terentjew, Artjom}, year={2013} }
LibreCat
 
2013 | Dissertation | LibreCat-ID: 494
@book{von Detten_2013, title={Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies}, publisher={Universität Paderborn}, author={von Detten, Markus}, year={2013} }
LibreCat | Files available
 
2013 | Dissertation | LibreCat-ID: 7569
@book{Soltenborn_2013, title={Quality Assurance with Dynamic Meta Modeling}, DOI={http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420}, publisher={Universität Paderborn}, author={Soltenborn, Christian}, year={2013} }
LibreCat | DOI
 
2013 | Bachelorsthesis | LibreCat-ID: 500
@book{Staschewski_2013, title={Price Formation in the Restaurant Industry - An Empirical Analysis}, publisher={Universität Paderborn}, author={Staschewski, Margarita}, year={2013} }
LibreCat
 
2013 | Dissertation | LibreCat-ID: 501
@book{Happe_2013, place={Berlin}, title={Performance and thermal management on self-adaptive hybrid multi-cores}, publisher={Logos Verlag Berlin GmbH}, author={Happe, Markus}, year={2013} }
LibreCat | Files available
 
2013 | Bachelorsthesis | LibreCat-ID: 503
@book{Blix_2013, title={Optimale und adaptive binäre Bäume in Netzwerken}, publisher={Universität Paderborn}, author={Blix, Andreas}, year={2013} }
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 504
@book{Schwichtenberg_2013, title={Ontology-based Normalization and Matching of Rich Service Descriptions}, publisher={Universität Paderborn}, author={Schwichtenberg, Simon}, year={2013} }
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 510
@book{Jayesh Parekh_2013, title={Meta-data based Search in Structured Peer-to-Peer Networks}, publisher={Universität Paderborn}, author={Jayesh Parekh, Chintan}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 511
@book{Splietker_2013, title={MapReduce in Software Defined Networks}, publisher={Universität Paderborn}, author={Splietker, Malte}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 512
@book{Herzog_2013, title={Lösungsverfahren für das many-to-one Matching Problem}, publisher={Universität Paderborn}, author={Herzog, Elvira}, year={2013} }
LibreCat
 
2013 | Dissertation | LibreCat-ID: 514
@book{Pietrzyk_2013, title={Local and Online Algorithms for Facility Location}, publisher={Universität Paderborn}, author={Pietrzyk, Peter}, year={2013} }
LibreCat | Files available
 
2013 | Bachelorsthesis | LibreCat-ID: 518
@book{Petrausch_2013, title={Klassifizierung unterschiedlicher Ansätze zum Matching von Services}, publisher={Universität Paderborn}, author={Petrausch, Vanessa}, year={2013} }
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 521
@book{Riebler_2013, title={Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs}, publisher={Universität Paderborn}, author={Riebler, Heinrich}, year={2013} }
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 522
@book{Feldotto_2013, title={HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths}, publisher={Universität Paderborn}, author={Feldotto, Matthias}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 525
@book{Niklas Vinkemeier_2013, title={Haptics - Hadoop performance testing in concurrent job scenarios}, publisher={Universität Paderborn}, author={Niklas Vinkemeier, Tim}, year={2013} }
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 526
@book{Mäcker_2013, title={Greedy Network Creation With Heavy And Light Edges}, publisher={Universität Paderborn}, author={Mäcker, Alexander}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 530
@book{Buse_2013, title={Entwurf kooperativer Verhaltensweisen heterogener Roboter}, publisher={Universität Paderborn}, author={Buse, Dominik}, year={2013} }
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 531
@book{Lutters_2013, title={Entwurf eines datenschutzgerechten Reputationssystems}, publisher={Universität Paderborn}, author={Lutters, Sascha}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 532
@book{Hilleckes_2013, title={Entwicklung und Analyse einer verteilten Speicherverwaltung für dynamische heterogene Speichersysteme}, publisher={Universität Paderborn}, author={Hilleckes, Hendrik}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 533
@book{Borkowski_2013, title={Entwicklung eines Hybriden Planers zur verhaltensorientierten Selbstoptimierung}, publisher={Universität Paderborn}, author={Borkowski, Richard}, year={2013} }
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 534
@book{Satya_2013, title={Emulating Wavelength Division Multiplexing using Openflow}, publisher={Universität Paderborn}, author={Satya, Suhas}, year={2013} }
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 535
@book{Reineke_2013, title={Effizienzsteigerung durch gewichtete Produktbewertungen}, publisher={Universität Paderborn}, author={Reineke, Max}, year={2013} }
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 536
@book{Stroh-Maraun_2013, title={Dynamic One-to-One Matching: Theory and a Job Market Application}, publisher={Universität Paderborn}, author={Stroh-Maraun, Nadja}, year={2013} }
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 537
@book{Heindorf_2013, title={Dispersion of Multi-Robot Teams}, publisher={Universität Paderborn}, author={Heindorf, Stefan}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 539
@book{Kornhoff_2013, title={Der Einfluss adaptierter Erwartungen in dynamischen Cournot Oligopolen}, publisher={Universität Paderborn}, author={Kornhoff, Tobias}, year={2013} }
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 543
@book{Jagannath_2013, title={Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services}, publisher={Universität Paderborn}, author={Jagannath, Kavitha}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 545
@book{Blumentritt_2013, title={Cliquenbildung in verteilten Systemen}, publisher={Universität Paderborn}, author={Blumentritt, Fritz}, year={2013} }
LibreCat
 
2013 | Dissertation | LibreCat-ID: 547
@book{Gerth_2013, title={Business Process Models - Change Management}, DOI={10.1007/978-3-642-38604-6}, publisher={Universität Paderborn}, author={Gerth, Christian}, year={2013} }
LibreCat | DOI
 
2013 | Bachelorsthesis | LibreCat-ID: 549
@book{Bick_2013, title={Beschleunigung von Tiefenberechung aus Stereobildern durch FPGA-basierte Datenflussrechner}, publisher={Universität Paderborn}, author={Bick, Christian}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 550
@book{Meschede_2013, title={Bandbreiten-beschränktes Scheduling mit skalierbaren Jobanforderungen in Multiprozessor-Umgebungen}, publisher={Universität Paderborn}, author={Meschede, Julian}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 552
@book{Meckenstock_2013, title={Auktionen im Beschaffungsmanagement - Eine spieltheoretische Analyse}, publisher={Universität Paderborn}, author={Meckenstock, Kevin}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 553
@book{Kohn_2013, title={Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise}, publisher={Universität Paderborn}, author={Kohn, Kathlén}, year={2013} }
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 555
@book{Setzer_2013, title={Approximation Algorithms for the Linear Arrangement of Special Classes of Graphs}, publisher={Universität Paderborn}, author={Setzer, Alexander}, year={2013} }
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 556
@book{Nickel_2013, title={Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking}, publisher={Universität Paderborn}, author={Nickel, Tobias}, year={2013} }
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 575
@book{Bremer_2012, title={Symbiotic Coupling of Peer-to-Peer and Cloud Systems}, publisher={Universität Paderborn}, author={Bremer, Lars}, year={2012} }
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 576
@book{Schmitz_2012, title={Stereo Matching on a Convey HC-1 Hybrid Core Computer}, publisher={Universität Paderborn}, author={Schmitz, Henning}, year={2012} }
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 582
@book{Strothmann_2012, title={Self-Optimizing Binary Search Trees - A Game Theoretic Approach}, publisher={Universität Paderborn}, author={Strothmann, Thim Frederik}, year={2012} }
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 583
@book{Drücker_2012, title={Revenue-maximizing Order of Sale in Sequential Auctions}, publisher={Universität Paderborn}, author={Drücker, Julian}, year={2012} }
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 584
@book{Hohenberger_2012, title={Queuing Latency at Cooperative Base Stations}, publisher={Universität Paderborn}, author={Hohenberger, Till}, year={2012} }
LibreCat
 
2012 | Dissertation | LibreCat-ID: 586 | OA
@book{Drzevitzky_2012, title={Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security}, publisher={Universität Paderborn}, author={Drzevitzky, Stephanie}, year={2012} }
LibreCat | Files available | Download (ext.)
 
2012 | Mastersthesis | LibreCat-ID: 592
@book{Celik_2012, title={Penny Auctions: Design und Strategisches Verhalten}, publisher={Universität Paderborn}, author={Celik, Aydin}, year={2012} }
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 593
@book{Rojahn_2012, title={Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten}, publisher={Universität Paderborn}, author={Rojahn, Tobias}, year={2012} }
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 594
@book{Klerx_2012, title={Online Parameteroptimierung in P2P-Netzwerken mit Hilfe von Neuronalen Netzen}, publisher={Universität Paderborn}, author={Klerx, Timo}, year={2012} }
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 595
@book{Mallmann Trenn_2012, title={On scheduling with multi-core and multi-speed processors using power down}, publisher={Universität Paderborn}, author={Mallmann Trenn, Frederik}, year={2012} }
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 598
@book{Mammadov_2012, title={Methoden zur Bestimmung von innerbetrieblichen Verrechnungspreisen}, publisher={Universität Paderborn}, author={Mammadov, Fuad}, year={2012} }
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 599
@book{Löwen_2012, title={Managerial Delegation and Capacity Choices: An Analysis of the Cournot-Nash Equilibrium}, publisher={Universität Paderborn}, author={Löwen, Xenia}, year={2012} }
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 600
@book{Feldkord_2012, title={Lokale Swaps und überholte Informationen in Basic Network Creation Games}, publisher={Universität Paderborn}, author={Feldkord, Björn}, year={2012} }
LibreCat
 
2012 | Dissertation | LibreCat-ID: 601
@book{Kempkes_2012, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Local strategies for robot formation problems}, volume={302}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Kempkes, Barbara}, year={2012}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat | Files available
 
2012 | Mastersthesis | LibreCat-ID: 604
@book{Seier_2012, title={Implementierung eines Branch-and-Bound-Algorithmus für nichtkonvexe gemischt-ganzzahlige Optimierungsprobleme mit quadratischen Nebenbedingungen}, publisher={Universität Paderborn}, author={Seier, Henrik}, year={2012} }
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 605
@book{Isenberg_2012, title={Implementierung eines adaptiven Verfahrens zur Linearisierung von nicht-konvexen, nichtlinearen Wassernetzmodellen mit Hilfe einer Fehlerabschätzung}, publisher={Universität Paderborn}, author={Isenberg, Florian}, year={2012} }
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 606
@book{Löken_2012, title={Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas}, publisher={Universität Paderborn}, author={Löken, Nils}, year={2012} }
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 607
@book{Haarhoff_2012, title={Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2}, publisher={Universität Paderborn}, author={Haarhoff, Thomas}, year={2012} }
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 610
@book{Mohr_2012, title={Generating Prototypes of Adaptive Component-based Software Systems for Performance Analysis}, publisher={Universität Paderborn}, author={Mohr, Mario}, year={2012} }
LibreCat | Files available
 
2012 | Bachelorsthesis | LibreCat-ID: 611
@book{Hangmann_2012, title={Generating Adjustable Temperature Gradients on modern FPGAs}, publisher={Universität Paderborn}, author={Hangmann, Hendrik}, year={2012} }
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 613
@book{Wohlfarth_2012, title={Erweiterung von d3fact um die Domäne Wasserversorgung in Verbindung mit der Analyse und Implementierung eines hydraulischen Simulationsverfahrens}, publisher={Universität Paderborn}, author={Wohlfarth, Stefan}, year={2012} }
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 614
@book{Lehrig_2012, title={Empirischer, quantitativer Vergleich von Modelltransformationssprachen}, publisher={Universität Paderborn}, author={Lehrig, Sebastian}, year={2012} }
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 616
@book{Kluczniok_2012, title={Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen}, publisher={Universität Paderborn}, author={Kluczniok, Sven}, year={2012} }
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 618
@book{Kurras_2012, title={Distributed Sampling of Regular Graphs}, publisher={Universität Paderborn}, author={Kurras, Sven}, year={2012} }
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 620
@book{Mittendorf_2012, title={Datenschutzgerechtes DRM im Cloud Computing}, publisher={Universität Paderborn}, author={Mittendorf, Robert}, year={2012} }
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 621
@book{Sekula_2012, title={Datenschutzgerechte E-Payment-Schemata im On-The-Fly Computing}, publisher={Universität Paderborn}, author={Sekula, Stephan}, year={2012} }
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 624
@book{Jakobs_2012, title={Change and Validity Analysis in Deductive Program Verification}, publisher={Universität Paderborn}, author={Jakobs, Marie-Christine}, year={2012} }
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 629
@book{Schleiter_2012, title={Attribute-basierte Verschlüsselung}, publisher={Universität Paderborn}, author={Schleiter, Patrick}, year={2012} }
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 633
@book{Pischel_2012, title={Analyse, Konzeption und Implementierung von Aggregationsverfahren für Trinkwasserversorgungsnetze}, publisher={Universität Paderborn}, author={Pischel, Daniel}, year={2012} }
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 634
@book{Kratzmann_2012, title={Analyse und Simulation von energieeffizienten Online-Scheduling Algorithmen}, publisher={Universität Paderborn}, author={Kratzmann, Julian}, year={2012} }
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 637
@book{Dawirs_2012, title={Alternative Berechnung der Machtindizes: Banzhaf und Shapley-Shubik Index}, publisher={Universität Paderborn}, author={Dawirs, Friederike}, year={2012} }
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 638
@book{Eidens_2012, title={Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken}, publisher={Universität Paderborn}, author={Eidens, Fabian}, year={2012} }
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 641
@book{Schluessler_2012, title={A Forensic Framework for Automatic Information Retrieval in Distributed Systems}, publisher={Universität Paderborn}, author={Schluessler, Jonathan}, year={2012} }
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 566
@book{Hilger_2012, title={Untersuchung von Modellen zur operativen Planung in Trinkwasserversorgungsnetzwerken}, publisher={Universität Paderborn}, author={Hilger, Ina}, year={2012} }
LibreCat
 
2012 | Dissertation | LibreCat-ID: 34169
@book{Brangewitz_2012, place={Universität Bielefeld}, title={Coalitional and Strategic Market Games}, author={Brangewitz, Sonja}, year={2012} }
LibreCat | Files available
 
2011 | Bachelorsthesis | LibreCat-ID: 17997
@book{Setzer_2011, title={Lokale Online-Strategien zur linearen Anordnung von Teilnehmern in einem Peer-to-Peer Netzwerk}, publisher={Universität Paderborn}, author={Setzer, Alexander}, year={2011} }
LibreCat
 
2011 | Bachelorsthesis | LibreCat-ID: 642
@book{Diehl_2011, title={Vorteile der Paketbildung in Verhandlungen: Ein prozeduraler Zugang zu Superadditivität}, publisher={Universität Paderborn}, author={Diehl, Matthias}, year={2011} }
LibreCat
 
2011 | Mastersthesis | LibreCat-ID: 643
@book{Welp_2011, title={User-space Scheduling for Heterogeneous System under Linux}, publisher={Universität Paderborn}, author={Welp, Daniel}, year={2011} }
LibreCat
 
2011 | Mastersthesis | LibreCat-ID: 648
@book{Brandes_2011, title={Robust Distributed Computation in Dynamic Networks}, publisher={Universität Paderborn}, author={Brandes, Philipp}, year={2011} }
LibreCat
 
2011 | Mastersthesis | LibreCat-ID: 650
@book{Platenius_2011, title={Reengineering of Design Deficiencies in Component-Based Software Architectures}, publisher={Universität Paderborn}, author={Platenius, Marie Christin}, year={2011} }
LibreCat
 
2011 | Bachelorsthesis | LibreCat-ID: 651
@book{Stroh-Maraun_2011, title={Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme}, publisher={Universität Paderborn}, author={Stroh-Maraun, Nadja}, year={2011} }
LibreCat
 
2011 | Mastersthesis | LibreCat-ID: 655
@book{Meyer_2011, title={Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud}, publisher={Universität Paderborn}, author={Meyer, Joachim}, year={2011} }
LibreCat
 
2011 | Mastersthesis | LibreCat-ID: 658
@book{Schremmer_2011, title={Function Specification Inference Using Craig Interpolation}, publisher={Universität Paderborn}, author={Schremmer, Alexander}, year={2011} }
LibreCat
 
2011 | Mastersthesis | LibreCat-ID: 659
@book{Liske_2011, title={Fault attacks in pairing-based cryptography}, publisher={Universität Paderborn}, author={Liske, Gennadij}, year={2011} }
LibreCat | Files available
 
2011 | Bachelorsthesis | LibreCat-ID: 660
@book{Peuster_2011, title={Defining and Deploying Complex Applicances in Multi-Site Cloud Environments}, publisher={Universität Paderborn}, author={Peuster, Manuel}, year={2011} }
LibreCat
 
2011 | Mastersthesis | LibreCat-ID: 661
@book{Arifulina_2011, title={Coverage Criteria for Testing DMM Specifications}, publisher={Universität Paderborn}, author={Arifulina, Svetlana}, year={2011} }
LibreCat
 
2011 | Mastersthesis | LibreCat-ID: 663
@book{Swierkot_2011, title={Complexity Classes for Local Computation}, publisher={Universität Paderborn}, author={Swierkot, Kamil}, year={2011} }
LibreCat
 
2011 | Mastersthesis | LibreCat-ID: 665
@book{Wette_2011, title={Adaptives Loadbalancing für strukturierte Peer-to-Peer-Netzwerke am Beispiel von Chord}, publisher={Universität Paderborn}, author={Wette, Philip}, year={2011} }
LibreCat
 

Filters and Search Terms

project=1

(type=bachelorsthesis OR type=mastersthesis OR type = dissertation)

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export