1597 Publications

2016 | Mastersthesis | LibreCat-ID: 3311
Informationsasymmetrien auf dem Spendenmarkt und Möglichkeiten ihrer Reduktion: Eine Prinzipal-Agenten-Perspektive von Online Spenden
M. Amedick, Informationsasymmetrien auf dem Spendenmarkt und Möglichkeiten ihrer Reduktion: Eine Prinzipal-Agenten-Perspektive von Online Spenden, Universität Paderborn, 2016.
LibreCat
 
2016 | Journal Article | LibreCat-ID: 3318
Pairwise versus Pointwise Ranking: A Case Study
V. Melnikov, E. Hüllermeier, D. Kaimann, B. Frick, Pritha Gupta, Schedae Informaticae 25 (2016).
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 3157
Verification of AUTOSAR Software Architectures with Timed Automata
S. Beringer, H. Wehrheim, in: M. H. ter Beek, S. Gnesi, A. Knapp (Eds.), Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, 2016, pp. 189--204.
LibreCat | Files available | DOI
 
2016 | Mastersthesis | LibreCat-ID: 210
Congestion Games with Mixed Objectives
L. Leder, Congestion Games with Mixed Objectives, Universität Paderborn, 2016.
LibreCat
 
2016 | Journal Article | LibreCat-ID: 211
Competition of Intermediaries in a Differentiated Duopoly
S. Brangewitz, J. Manegold, Theoretical Economics Letters 6 (2016) 1341–1362.
LibreCat | Files available | DOI
 
2016 | Dissertation | LibreCat-ID: 212
Competition in Markets with Intermediaries
J. Manegold, Competition in Markets with Intermediaries, Universität Paderborn, 2016.
LibreCat | Files available
 
2016 | Bachelorsthesis | LibreCat-ID: 213
Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes
L. Porzenheim, Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 214
Commitment Schemes - Definitions, Variants, and Security
K.S. Bemmann, Commitment Schemes - Definitions, Variants, and Security, Universität Paderborn, 2016.
LibreCat
 
2016 | Conference Paper | LibreCat-ID: 215
Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration
M. Drees, R. Gmyr, C. Scheideler, in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 417--427.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 216
Challenge Accepted! - The Impcat of Goal Achievement on Subsequent User Effort and Implications of a Goal's Difficulty
T. von Rechenberg, D. Gutt, in: Proceedings of the 24th Conference on Information Systems (ECIS), Istanbul, 2016.
LibreCat | Files available
 
2016 | Bachelorsthesis | LibreCat-ID: 173
Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace
E. Heck, Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 174
Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen
C. Schwentker, Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen, Universität Paderborn, 2016.
LibreCat
 
2016 | Journal Article | LibreCat-ID: 175
On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs
S. Walther, H. Wehrheim, Science of Computer Programming (2016) 2--23.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 176 | OA
On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements
M. Dollmann, M. Geierhos, in: Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), Association for Computational Linguistics (ACL), Austin, TX, USA, 2016, pp. 1807–1816.
LibreCat | Files available | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 177
On the Parameterized Parallel Complexity and the Vertex Cover Problem
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in: Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 477–488.
LibreCat | Files available | DOI
 
2016 | Mastersthesis | LibreCat-ID: 178
On the Design and Defense of Networks - An Experimental Investigation
A.E. Endres, On the Design and Defense of Networks - An Experimental Investigation, Universität Paderborn, 2016.
LibreCat
 
2016 | Mastersthesis | LibreCat-ID: 179
On the abuse of market power - an economic perspective of Microsoft antitrust cases
M. Pehlivan, On the Abuse of Market Power - an Economic Perspective of Microsoft Antitrust Cases, Universität Paderborn, 2016.
LibreCat
 
2016 | Special Issue | LibreCat-ID: 187
Introduction to the Special Issue on SPAA 2014
F. Meyer auf der Heide, ed., Introduction to the Special Issue on SPAA 2014, 2016.
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 190
Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic
M.C. Platenius, A. Shaker, M. Becker, E. Hüllermeier, W. Schäfer, IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017 (2016) 739–759.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 191
How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement
M. Geierhos, F.S. Bäumer, in: E. Métais, F. Meziane, M. Saraee, V. Sugumaran, S. Vadera (Eds.), Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB), Springer, Cham, Switzerland, 2016, pp. 37–47.
LibreCat | Files available | DOI
 
2016 | Bachelorsthesis | LibreCat-ID: 192
Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling
L. Reckhorn, Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling, Universität Paderborn, 2016.
LibreCat
 
2016 | Journal Article | LibreCat-ID: 193
Goals as Reference Points: Empirical Evidence from a Virtual Reward System
T. von Rechenberg, D. Gutt, D. Kundisch, Decision Analysis (2016) 153--171.
LibreCat | Files available | DOI
 
2016 | Bachelorsthesis | LibreCat-ID: 194
Gefälschte Online Bewertungen - Literaturüberblick
T. Sassenberg, Gefälschte Online Bewertungen - Literaturüberblick, Universität Paderborn, 2016.
LibreCat
 
2016 | Conference Paper | LibreCat-ID: 203
Economic Aspects of Service Composition: Price Negotiations and Quality Investments
S. Brangewitz, S. Hoof, in: S.D. Marco Aiello, Einar Broch Johnsen, I. Georgievski (Eds.), Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings, Cham, 2016, pp. 201–215.
LibreCat | Files available | DOI
 
2016 | Bachelorsthesis | LibreCat-ID: 204
Die Wirkung von monetären Incentives auf das Bewertungsverhalten von Kunden am Beispiel von meineLinse.de
J. Funke, Die Wirkung von monetären Incentives auf das Bewertungsverhalten von Kunden am Beispiel von meineLinse.de, Universität Paderborn, 2016.
LibreCat
 
2016 | Conference Abstract | LibreCat-ID: 205
Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions
P. Herrmann, D. Gutt, M. Rahman, in: INFORMS Annual Meeting, 2016.
LibreCat | Files available
 
2016 | Conference Abstract | LibreCat-ID: 206
Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions
P. Herrmann, D. Gutt, M. Rahman, in: NBER Summer Institute on the Economics of Information Technology and Digitization, 2016.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 207
Cost-efficient Scheduling on Machines from the Cloud
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 578--592.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 208
Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes
J. Blömer, G. Liske, in: Proceedings of the CT-RSA 2016, 2016, pp. 431–447.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 209
Congestion Games with Mixed Objectives
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 655--669.
LibreCat | Files available | DOI | arXiv
 
2016 | Conference Paper | LibreCat-ID: 180
Money Talks (Even) in the Sharing Economy: Empirical Evidence for Price Effects in Online Ratings as Quality Signals
D. Gutt, D. Kundisch, in: Proceedings of the 37th International Conference on Information Systems (ICIS), Dublin, Ireland, 2016.
LibreCat | Files available
 
2016 | Mastersthesis | LibreCat-ID: 181
Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen
S. Stanco, Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen, Universität Paderborn, 2016.
LibreCat
 
2016 | Mastersthesis | LibreCat-ID: 182
Marktmissbrauch in der Internetökonomie - Eine wettbewerbspolitische Analyse
B. Kesmen, Marktmissbrauch in der Internetökonomie - Eine wettbewerbspolitische Analyse, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 183
Literaturüberblick zur Varianz in Kundenbewertungen auf Online Plattformen
A. Jubrail, Literaturüberblick zur Varianz in Kundenbewertungen auf Online Plattformen, Universität Paderborn, 2016.
LibreCat
 
2016 | Conference Paper | LibreCat-ID: 184
Learning to Aggregate Using Uninorms
V. Melnikov, E. Hüllermeier, in: Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 2016, pp. 756–771.
LibreCat | Files available | DOI
 
2016 | Bachelorsthesis | LibreCat-ID: 185
Kundenbewertungen im Online-Handel – Alles Betrug?
C. Schmidt, Kundenbewertungen im Online-Handel – Alles Betrug?, Universität Paderborn, 2016.
LibreCat
 
2016 | Conference Paper | LibreCat-ID: 186
Just test what you cannot verify!
M. Czech, M.-C. Jakobs, H. Wehrheim, in: U.Z. Jens Knoop (Ed.), Software Engineering 2016, 2016, pp. 17–18.
LibreCat | Files available
 
2016 | Report | LibreCat-ID: 221
An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)
M.C. Platenius, K. Josifovska, L. van Rooijen, S. Arifulina, M. Becker, G. Engels, W. Schäfer, An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3), Universität Paderborn, 2016.
LibreCat | Files available
 
2016 | Journal Article | LibreCat-ID: 222
An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip
T. Wiersema, A. Bockhorn, M. Platzner, Computers & Electrical Engineering (2016) 112--122.
LibreCat | Files available | DOI
 
2016 | Mastersthesis | LibreCat-ID: 223
Aggregation in Overlay Networks
K. Hinnenthal, Aggregation in Overlay Networks, Universität Paderborn, 2016.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 224
A short survey on using software error localization for service compositions
J. Krämer, H. Wehrheim, in: Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 225
A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality
A. Jungmann, B. Kleinjohann, in: Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2016, pp. 1--8.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 226
A Formal Approach to Error Localization and Correction in Service Compositions
J. Krämer, H. Wehrheim, in: Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 2016, pp. 445--457.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 227
A CEGAR Scheme for Information Flow Analysis
M. Töws, H. Wehrheim, in: Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016, pp. 466--483.
LibreCat | Files available | DOI
 
2016 | Mastersthesis | LibreCat-ID: 2271
Die Rolle der Reputation: Die Entstehung, der Aufbau, die Messung und die Auswirkung der Reputation auf Kunden und Unternehmen
A. Hesso, Die Rolle der Reputation: Die Entstehung, der Aufbau, die Messung und die Auswirkung der Reputation auf Kunden und Unternehmen, Universität Paderborn, 2016.
LibreCat
 
2016 | Conference Paper | LibreCat-ID: 217
Automatized Derivation of Comprehensive Specifications for Black-box Services
S. Schwichtenberg, in: Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 2016, pp. 815–818.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 218
Automatic Composition of Service-based Image Processing Applications
A. Jungmann, B. Kleinjohann, in: Proceedings of the 13th IEEE International Conference on Services Computing (SCC), 2016, pp. 106--113.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 219
Architectural Management of On-The-Fly Computing Markets
B. Jazayeri, in: Proceedings of the 10th European Conference on Software Architecture (ECSA Workshops), ACM, Copenhagen, Denmark, 2016, p. 42.
LibreCat | Files available | DOI
 
2016 | Dissertation | LibreCat-ID: 220
Application Deployment at Distributed Clouds
M. Keller, Application Deployment at Distributed Clouds, Universität Paderborn, 2016.
LibreCat | Files available
 
2016 | Journal Article | LibreCat-ID: 5762
The Impact of Communication Patterns on Distributed Self-Adjusting Binary Search Tree
T.F. Strothmann, Journal of Graph Algorithms and Applications 20 (2016) 79–100.
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 726
DCT²Gen: A traffic generator for data centers
P. Wette, H. Karl, Computer Communications (2016) 45--58.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 730 | OA
Understand Your Chains: Towards Performance Profile-Based Network Service Management
M. Peuster, H. Karl, in: Fifth European Workshop on Software-Defined Networks, EWSDN 2016, Den Haag, The Netherlands, October 10-11, 2016, 2016, pp. 7--12.
LibreCat | Files available | DOI | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 731
Demonstrating on-demand cell switching with a two-layer mobile network testbed
M. Peuster, H. Karl, A. Enrico Redondi, A. Capone, in: IEEE Conference on Computer Communications Workshops, INFOCOM Workshops 2016, San Francisco, CA, USA, April 10-14, 2016, 2016, pp. 1015--1016.
LibreCat | Files available | DOI | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 738 | OA
MeDICINE: Rapid Prototyping of Production-Ready Network Services in Multi-PoP Environments
M. Peuster, H. Karl, S. van Rossem, in: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), 2016.
LibreCat | Files available | DOI | Download (ext.)
 
2016 | Conference Abstract | LibreCat-ID: 4374
How do different Sources of the Variance of Online Consumer Ratings matter?
S. Zimmermann, P. Herrmann, D. Kundisch, B. Nault, in: Workshop on IS Design and Economic Behavior (ISDEB), 2016.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 5205
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java
J. Späth, L. Nguyen Quang Do, K. Ali, E. Bodden, in: European Conference on Object-Oriented Programming (ECOOP), 2016.
LibreCat | Files available | Download (ext.)
 
2016 | Bachelorsthesis | LibreCat-ID: 5407
Price-Based Allocation Games
J. Koepe, Price-Based Allocation Games, Universität Paderborn, 2016.
LibreCat
 
2016 | Mastersthesis | LibreCat-ID: 5418
Sicherheit von hybriden FPGA-Systemen in der industriellen Automatisierungstechnik -- Anforderungen und Umsetzung
C. Tölke, Sicherheit von Hybriden FPGA-Systemen in Der Industriellen Automatisierungstechnik -- Anforderungen Und Umsetzung, Universität Paderborn, 2016.
LibreCat
 
2016 | Mastersthesis | LibreCat-ID: 5420
Dynamic OpenCL Task Scheduling for Energy and Performance in a Heterogeneous Environment
G. Wüllrich, Dynamic OpenCL Task Scheduling for Energy and Performance in a Heterogeneous Environment, Universität Paderborn, 2016.
LibreCat
 
2016 | Mastersthesis | LibreCat-ID: 688
Friendship Processes in Network Creation Games
D. Kutzias, Friendship Processes in Network Creation Games, Universität Paderborn, 2016.
LibreCat
 
2016 | Mastersthesis | LibreCat-ID: 689
Routing Algorithms on Delayed Networks for Disaster Management Support
J.S. Schaefer, Routing Algorithms on Delayed Networks for Disaster Management Support, Universität Paderborn, 2016.
LibreCat
 
2016 | Conference Paper | LibreCat-ID: 166 | OA
Placement of Services with Flexible Structures Specified by a YANG Data Model
S. Dräxler, H. Karl, in: Proceedings of the 2nd International IEEE Conference on Network Softwarization (NetSoft), 2016, pp. 184--192.
LibreCat | Files available | DOI | Download (ext.)
 
2016 | Dissertation | LibreCat-ID: 167
Physical attacks on pairing-based cryptography
P. Günther, Physical Attacks on Pairing-Based Cryptography, Universität Paderborn, 2016.
LibreCat | Files available | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 169
Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application
T. Kühne, H. Hamann, S. Arifulina, G. Engels, in: Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016), 2016, pp. 278--293.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 170
PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper)
M.-C. Jakobs, M. Töws, F. Pauck, in: T.E. Ishikawa F, Romanovsky A (Ed.), Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, 2016.
LibreCat | Files available
 
2016 | Dissertation | LibreCat-ID: 172
Ontology-based representation of abstract optimization models for model formulation and system generation
F. Stapel, Ontology-Based Representation of Abstract Optimization Models for Model Formulation and System Generation, Universität Paderborn, 2016.
LibreCat | Files available
 
2016 | Bachelorsthesis | LibreCat-ID: 1082
Über die Rolle von Informationen in Verkehrsnetzwerken
T. Handirk, Über die Rolle von Informationen in Verkehrsnetzwerken, Universität Paderborn, 2016.
LibreCat
 
2016 | Dissertation | LibreCat-ID: 1190
Induction-based Verification of Timed Systems
T. Isenberg, Induction-Based Verification of Timed Systems, Universität Paderborn, 2016.
LibreCat | Files available
 
2016 | Bachelorsthesis | LibreCat-ID: 128
Zertifikate als Qualitätssignal – Wie die Zertifizierung von Produkten und Verkäufern das Vertrauen von Kunden im Onlinehandel beeinflussen
K. Bernhardt, Zertifikate als Qualitätssignal – Wie die Zertifizierung von Produkten und Verkäufern das Vertrauen von Kunden im Onlinehandel beeinflussen, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 129
Wie entsteht Kreativität? Ein Überblick über vergleichende Studien zu verschiedenen Formen des Brainstormings
A. Schmidt, Wie entsteht Kreativität? Ein Überblick über vergleichende Studien zu verschiedenen Formen des Brainstormings, Universität Paderborn, 2016.
LibreCat
 
2016 | Mastersthesis | LibreCat-ID: 130
Wettbewerb im Internet - Eine wettbewerbspolitische Analyse des E-Commerce
J. Kaczorkowski, Wettbewerb im Internet - Eine wettbewerbspolitische Analyse des E-Commerce, Universität Paderborn, 2016.
LibreCat
 
2016 | Mastersthesis | LibreCat-ID: 153
Shared Resource Scheduling with Interconnected Services
J. König, Shared Resource Scheduling with Interconnected Services, Universität Paderborn, 2016.
LibreCat
 
2016 | Dissertation | LibreCat-ID: 154
Selfish Network Creation - On Variants of Network Creation Games
A. Cord-Landwehr, Selfish Network Creation - On Variants of Network Creation Games, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2016.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 155
Self-stabilizing Metric Graphs
R. Gmyr, J. Lefèvre, C. Scheideler, in: Proceedings of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2016, pp. 248--262.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 157
Scheduling with Interjob Communication on Parallel Processors
J. König, A. Mäcker, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 563--577.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 158
Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions
F.S. Bäumer, M. Geierhos, in: G. Dregvaite, R. Damasevicius (Eds.), Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST), Springer, Cham, Switzerland, 2016, pp. 549–558.
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 159
Routing Games With Progressive Filling
T. Harks, M. Höfer, K. Schewior, A. Skopalik, IEEE/ACM Transactions on Networking (2016) 2553–2562.
LibreCat | Files available | DOI
 
2016 | Mastersthesis | LibreCat-ID: 146
Symmetric Anonymous Credentials with Protocols for Relations on Attributes
J. Hamm, Symmetric Anonymous Credentials with Protocols for Relations on Attributes, Universität Paderborn, 2016.
LibreCat
 
2016 | Conference Paper | LibreCat-ID: 148
Supporting Business Model Idea Generation Through Machine-generated Ideas: A Design Theory
T. John, in: Proceedings of the 37th International Conference on Information Systems (ICIS), Dublin, Ireland, 2016.
LibreCat | Files available | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 149
Strategic Online Facility Location
M. Drees, B. Feldkord, A. Skopalik, in: Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 593--607.
LibreCat | Files available | DOI
 
2016 | Dissertation | LibreCat-ID: 150
Solving Heterogeneity for a Successful Service Market
S. Arifulina, Solving Heterogeneity for a Successful Service Market, Universität Paderborn, 2016.
LibreCat | Files available | DOI
 
2016 | Mastersthesis | LibreCat-ID: 151
Software-gestützte Entwicklung von Geschäftsmodellideen: Theoretische Grundlagen und prototypische Implementierung
J. Berhörster, Software-gestützte Entwicklung von Geschäftsmodellideen: Theoretische Grundlagen und prototypische Implementierung, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 152
Short Randomizable Aggregatable Signatures: Constructions and Security Analysis
F. Dallmeier, Short Randomizable Aggregatable Signatures: Constructions and Security Analysis, Universität Paderborn, 2016.
LibreCat
 
2016 | Conference Paper | LibreCat-ID: 160
Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm
L. van Rooijen, H. Hamann, in: Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), 2016, pp. 3--9.
LibreCat | Files available | DOI
 
2016 | Dissertation | LibreCat-ID: 161
Reconfigurable Accelerators in the World of General-Purpose Computing
T. Kenter, Reconfigurable Accelerators in the World of General-Purpose Computing, Universität Paderborn, 2016.
LibreCat | Files available
 
2016 | Mastersthesis | LibreCat-ID: 162
Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions
G. Zhang, Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions, Universität Paderborn, 2016.
LibreCat
 
2016 | Conference (Editor) | LibreCat-ID: 163
Proceedings of the 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc)
F. Dressler, F. Meyer auf der Heide, eds., Proceedings of the 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc), ACM, 2016.
LibreCat | DOI
 
2016 | Mastersthesis | LibreCat-ID: 164
Predicting Rankings of Software Verification Tools Using Kernels for Structured Data
M. Czech, Predicting Rankings of Software Verification Tools Using Kernels for Structured Data, Universität Paderborn, 2016.
LibreCat
 
2016 | Journal Article | LibreCat-ID: 139
Towards the price of leasing online
S. Abshoff, P. Kling, C. Markarian, F. Meyer auf der Heide, P. Pietrzyk, Journal of Combinatorial Optimization (2016) 1197--1216.
LibreCat | Files available | DOI
 
2016 | Dissertation | LibreCat-ID: 140
Towards On-The-Fly Image Processing
A. Jungmann, Towards On-The-Fly Image Processing, Universität Paderborn, 2016.
LibreCat | Files available
 
2016 | Dissertation | LibreCat-ID: 141
Towards Automated Service Composition Under Quality Constraints
F. Mohr, Towards Automated Service Composition Under Quality Constraints, Universität Paderborn, 2016.
LibreCat | DOI
 
2016 | Conference Paper | LibreCat-ID: 142
Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks
C. Scheideler, A. Setzer, T.F. Strothmann, in: Proceedings of the 30th International Symposium on Distributed Computing (DISC), 2016, pp. 71--84.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 143
The Monotone Circuit Value Problem with Bounded Genus Is in NC
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in: Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON), 2016, pp. 92–102.
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 144
The complexity of equilibria for risk-modeling valuations
B. Monien, M. Mavronicolas, Theoretical Computer Science 634 (2016) 67–96.
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 145
Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM
M. Feldotto, K. Graffi, Concurrency and Computation: Practice and Experience 28 (2016) 1655–1677.
LibreCat | Files available | DOI
 
2016 | Bachelorsthesis | LibreCat-ID: 131
Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren
A. Holzmann, Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren, Universität Paderborn, 2016.
LibreCat
 
2016 | Conference Paper | LibreCat-ID: 132
Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware
T. Wiersema, M. Platzner, in: Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016), 2016, pp. 1--8.
LibreCat | Files available | DOI
 
2016 | Bachelorsthesis | LibreCat-ID: 133
Verifikation von Service Kompositionen mit Spin
M. Dewender, Verifikation von Service Kompositionen mit Spin, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 134
Verifikation von Service Kompositionen mit Prolog
P. Heinisch, Verifikation von Service Kompositionen mit Prolog, Universität Paderborn, 2016.
LibreCat
 
2016 | Dissertation | LibreCat-ID: 10136
Insider-resistent Distributed Storage Systems
M. Eikel, Insider-Resistent Distributed Storage Systems, Universität Paderborn, 2016.
LibreCat | Files available
 
2016 | Dissertation | LibreCat-ID: 10292
Business Model Modeling Languages as Tools for Innovation: Theory and Empirical Evidence
T. John, Business Model Modeling Languages as Tools for Innovation:  Theory and Empirical Evidence, Universität Paderborn, 2016.
LibreCat | DOI
 
2016 | Conference Abstract | LibreCat-ID: 135
Vergleichende Betrachtung von Software-Werkzeugen zur Geschäftsmodellentwicklung
S. Strotmeyer, T. John, D. Kundisch, in: Multikonferenz Wirtschaftsinformatik (MKWI), 2016.
LibreCat | Files available
 
2016 | Bachelorsthesis | LibreCat-ID: 136
Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen
D. Vollmers, Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen, Universität Paderborn, 2016.
LibreCat
 
2016 | Mastersthesis | LibreCat-ID: 5934
Renegotiable vs. Non-Renegotiable Agreements - Theory and Applications
N. N, Renegotiable vs. Non-Renegotiable Agreements - Theory and Applications, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 5932
Wie wertvoll ist der Einzelne für das Team? - Performancemessung der Bundesligaspieler anhand der kooperativen Spieltheorie der Saison 2014/2015
N. N, Wie Wertvoll Ist Der Einzelne Für Das Team? - Performancemessung Der Bundesligaspieler Anhand Der Kooperativen Spieltheorie Der Saison 2014/2015, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 5940
Automatisiertes Matching von Angebot und Nachfrage in der Kunststoffindustrie Ein Fallbeispiel in Kooperation mit der PINPOOLS GmbH
N. N, Automatisiertes Matching von Angebot Und Nachfrage in Der Kunststoffindustrie Ein Fallbeispiel in Kooperation Mit Der PINPOOLS GmbH, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 5935
Der Einfluss von Netzwerken auf Gleichgewichtspreise - eine spieltheoretische Analyse
N. N, Der Einfluss von Netzwerken Auf Gleichgewichtspreise - Eine Spieltheoretische Analyse, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 5931
Hat vertikale Integration einen Einfluss auf die allgemeine Wohlfahrt?
N. N, Hat Vertikale Integration Einen Einfluss Auf Die Allgemeine Wohlfahrt?, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 5941
Stabile Supply-Chains - Basierend auf der Theorie der Matching-Märkte
N. N, Stabile Supply-Chains - Basierend Auf Der Theorie Der Matching-Märkte, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 5933
Die Berechnung von Machtindizes - ein Vergleich verschiedener Verfahren
N. N, Die Berechnung von Machtindizes - Ein Vergleich Verschiedener Verfahren, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 5939
Intermediaries in Buyer Seller Networks
N. N, Intermediaries in Buyer Seller Networks, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 5937
Staatliche Regulierung in vertikal verbundenen Industrien - eine spieltheoretische Analyse
N. N, Staatliche Regulierung in Vertikal Verbundenen Industrien - Eine Spieltheoretische Analyse, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 5938
Pricing and Revenue Sharing of Bundles Using Game Theoretical Concepts
N. N, Pricing and Revenue Sharing of Bundles Using Game Theoretical Concepts, Universität Paderborn, 2016.
LibreCat
 
2016 | Conference Paper | LibreCat-ID: 137 | OA
Vandalism Detection in Wikidata
S. Heindorf, M. Potthast, B. Stein, G. Engels, in: Proceedings of the 25th International Conference on Information and Knowledge Management (CIKM 2016), 2016, pp. 327--336.
LibreCat | Files available | DOI | Download (ext.)
 
2016 | Conference Paper | LibreCat-ID: 31
Using Just-in-Time Code Generation for Transparent Resource Management in Heterogeneous Systems
H. Riebler, G.F. Vaz, C. Plessl, E.M.G. Trainiti, G.C. Durelli, C. Bolchini, in: Proc. HiPEAC Workshop on Reonfigurable Computing (WRC), 2016.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 24
Microdisk Cavity FDTD Simulation on FPGA using OpenCL
T. Kenter, C. Plessl, in: Proc. Workshop on Heterogeneous High-Performance Reconfigurable Computing (H2RC), 2016.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 138
Using Just-in-Time Code Generation for Transparent Resource Management in Heterogeneous Systems
H. Riebler, G.F. Vaz, C. Plessl, E.M.G. Trainiti, G.C. Durelli, E. Del Sozzo, M.D. Santambrogio, C. Bolchini, in: Proceedings of International Forum on Research and Technologies for Society and Industry (RTSI), IEEE, 2016, pp. 1–5.
LibreCat | Files available | DOI
 
2016 | Book Chapter | LibreCat-ID: 156
Self-aware Compute Nodes
A. Agne, M. Happe, A. Lösch, C. Plessl, M. Platzner, in: Self-Aware Computing Systems, Springer International Publishing, Cham, 2016, pp. 145–165.
LibreCat | Files available | DOI
 
2016 | Journal Article | LibreCat-ID: 165
Potential and Methods for Embedding Dynamic Offloading Decisions into Application Code
G.F. Vaz, H. Riebler, T. Kenter, C. Plessl, Computers and Electrical Engineering 55 (2016) 91–111.
LibreCat | Files available | DOI
 
2016 | Conference Paper | LibreCat-ID: 168
Performance-centric scheduling with task migration for a heterogeneous compute node in the data center
A. Lösch, T. Beisel, T. Kenter, C. Plessl, M. Platzner, in: Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), EDA Consortium / IEEE, 2016, pp. 912–917.
LibreCat | Files available
 
2016 | Conference Paper | LibreCat-ID: 171
Opportunities for deferring application partitioning and accelerator synthesis to runtime (extended abstract)
T. Kenter, G.F. Vaz, H. Riebler, C. Plessl, in: Workshop on Reconfigurable Computing (WRC), 2016.
LibreCat | Files available
 
2015 | Conference Abstract | LibreCat-ID: 248
Supporting Business Model Idea Generation Through Machine-generated Ideas - Towards a Design Theory
T. John, in: AIS SIGPRAG Pre-ICIS Workshop: Practice-Based Design and Innovation of Digital Artifacts, 2015.
LibreCat | Files available | Download (ext.)
 
2015 | Working Paper | LibreCat-ID: 249
Strategic Formation of Customer Relationship Networks
S. Brangewitz, C.-J. Haake, P. Möhlmeier, Strategic Formation of Customer Relationship Networks, Universität Paderborn, 2015.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 250
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning
M.-C. Jakobs, in: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174.
LibreCat | Files available | DOI
 
2015 | Mastersthesis | LibreCat-ID: 251
Solving the aggregated bandits problem
K. Pfannschmidt, Solving the Aggregated Bandits Problem, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Paper | LibreCat-ID: 253
Short Group Signatures with Distributed Traceability
J. Blömer, J. Juhnke, N. Löken, in: Proceedings of the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), 2015, pp. 166–180.
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 254
Sharing Means Caring? Hosts' Price Reactions to Rating Visibility
D. Gutt, P. Herrmann, in: Proceedings of the 23rd European Conference on Information Systems (ECIS), Münster, 2015.
LibreCat | Files available
 
2015 | Bachelorsthesis | LibreCat-ID: 255
Share Economy - Identifikation von konstituierenden Merkmalen anhand einer vergleichenden Betrachtung von Geschäftsmodellen
M. Trykacz, Share Economy - Identifikation von konstituierenden Merkmalen anhand einer vergleichenden Betrachtung von Geschäftsmodellen, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 256
Selektive Vertriebssysteme am Fallbeispiel der Adidas AG - eine wettbewerbspolitische Beurteilung
F. Zindler, Selektive Vertriebssysteme am Fallbeispiel der Adidas AG - eine wettbewerbspolitische Beurteilung, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Paper | LibreCat-ID: 280
Market-Specific Service Compositions: Specification and Matching
S. Arifulina, M.C. Platenius, F. Mohr, G. Engels, W. Schäfer, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet, 2015, pp. 333--340.
LibreCat | Files available | DOI
 
2015 | Mastersthesis | LibreCat-ID: 281
Load Balancing for Range Queries in a Dimension Invariant Peer-to-Peer Network
T. Rojahn, Load Balancing for Range Queries in a Dimension Invariant Peer-to-Peer Network, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 282
Koordinierter Patentschutz in einer globalisierten Welt - Effizienz- und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern
M. Kirsch, Koordinierter Patentschutz in einer globalisierten Welt - Effizienz- und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Paper | LibreCat-ID: 283
Just test what you cannot verify!
M. Czech, M.-C. Jakobs, H. Wehrheim, in: A. Egyed, I. Schaefer (Eds.), Fundamental Approaches to Software Engineering, 2015, pp. 100–114.
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 284
IRIS: A Robust Information System Against Insider DoS Attacks
M. Eikel, C. Scheideler, Transactions on Parallel Computing (2015) 18:1--18:33.
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 285
Incremental Inductive Verification of Parameterized Timed Systems
T. Isenberg, in: Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9.
LibreCat | Files available | DOI
 
2015 | Bachelorsthesis | LibreCat-ID: 286
Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup
B. Kalde, Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Paper | LibreCat-ID: 287
HybridTE: Traffic Engineering for Very Low-Cost Software-Defined Data-Center Networks
P. Wette, H. Karl, in: Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 1--7.
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 241
Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures
C. Scheideler, A. Setzer, T.F. Strothmann, in: Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS), 2015.
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 242
Towards a Universal Approach for the Finite Departure Problem in Overlay Networks
A. Koutsopoulos, C. Scheideler, T.F. Strothmann, in: Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2015, pp. 201–216.
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 243
The impact of communication patterns on distributed locally self-adjusting binary search trees
T.F. Strothmann, in: Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM), 2015, pp. 175--186.
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 244
The complexity of pure equilibria in mix-weighted congestion games on parallel links
B. Monien, M. Mavronicolas, Information Processing Letters 115 (2015) 927–931.
LibreCat | Files available | DOI | Download (ext.)
 
2015 | Conference Paper | LibreCat-ID: 245
Systematically Deriving Quality Metrics for Cloud Computing Systems
M. Becker, S. Lehrig, S. Becker, in: Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, New York, NY, USA, 2015, pp. 169--174.
LibreCat | Files available | DOI
 
2015 | Dissertation | LibreCat-ID: 246
Systematic Development and Re-Use of Model Tranformations
G. Besova, Systematic Development and Re-Use of Model Tranformations, Universität Paderborn, 2015.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 247
SynRace: Decentralized Load-Adaptive Multi-path Routing without Collecting Statistics
A. Schwabe, H. Karl, in: Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 37–42.
LibreCat | Files available | DOI
 
2015 | Bachelorsthesis | LibreCat-ID: 258
Reputation und Vertrauen auf Online-Märkten
M. Sonntag, Reputation und Vertrauen auf Online-Märkten, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Abstract | LibreCat-ID: 259
Rating Aggregation in Multi-Dimensional Rating Systems: How Do Reviewers Form Overall Ratings?
D. Gutt, D. Kundisch, in: INFORMS Annual Meeting, 2015.
LibreCat | Files available
 
2015 | Journal Article | LibreCat-ID: 260
Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures
F. Brosig, P. Meier, S. Becker, A. Koziolek, H. Koziolek, S. Kounev, Transactions on Software Engineering (2015) 157--175.
LibreCat | Files available | DOI
 
2015 | Bachelorsthesis | LibreCat-ID: 261
Protokolle zur authentifizierten Schüsselvereinbarung
T. Eisenhofer, Protokolle zur authentifizierten Schüsselvereinbarung, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Paper | LibreCat-ID: 262
Programs from Proofs of Predicated Dataflow Analyses
M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–1736.
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 263
Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation
C. Hallmann, L. Suhl, OR Spectrum (2015) 1–19.
LibreCat | Files available | DOI
 
2015 | Dissertation | LibreCat-ID: 264
Optimizing Software-Defined Networks using Application-Layer Knowledge
P. Wette, Optimizing Software-Defined Networks Using Application-Layer Knowledge, Universität Paderborn, 2015.
LibreCat | Files available
 
2015 | Dissertation | LibreCat-ID: 265
Optimierung von Wasserbehältern in einem Wasserversorgungssystem mittels einer Kombination aus Netzreduktion, mathematischer Optimierung und hydraulischer Simulation
C. Hallmann, Optimierung von Wasserbehältern in einem Wasserversorgungssystem mittels einer Kombination aus Netzreduktion, mathematischer Optimierung und hydraulischer Simulation, Universität Paderborn, 2015.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 266
Online Resource Leasing
C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC), 2015, pp. 343–344.
LibreCat | Files available | DOI
 
2015 | Dissertation | LibreCat-ID: 267
Online Resource Leasing
C. Markarian, Online Resource Leasing, Universität Paderborn, 2015.
LibreCat | Files available
 
2015 | Bachelorsthesis | LibreCat-ID: 268
Online Bewertungssysteme – Ein systematischer Überblick
A. Lange, Online Bewertungssysteme – Ein systematischer Überblick, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Paper | LibreCat-ID: 269
On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach
T. Wiersema, S. Wu, M. Platzner, in: Proceedings of the International Symposium in Reconfigurable Computing (ARC), 2015, pp. 365--372.
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 320
Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure
I. Caragiannis, A. Fanelli, N. Gravin, A. Skopalik, Transactions on Economics and Computation 3 (2015).
LibreCat | Files available | DOI
 
2015 | Mastersthesis | LibreCat-ID: 321
Anonymous credential system based on q-Strong Diffie-Hellman Assumption
F. Eidens, Anonymous Credential System Based on Q-Strong Diffie-Hellman Assumption, Universität Paderborn, 2015.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 322 | OA
Anonymous and Publicly Linkable Reputation Systems
J. Blömer, J. Juhnke, C. Kolb, in: Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC), 2015, pp. 478--488.
LibreCat | Files available | DOI | Download (ext.)
 
2015 | Journal Article | LibreCat-ID: 323
An approach towards adaptive service composition in markets of composed services
A. Jungmann, F. Mohr, Journal of Internet Services and Applications (2015) 1–18.
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 324
A Metric for Functional Reusability of Services
F. Mohr, in: Proceedings of the 14th International Conference on Software Reuse (ICSR), 2015, pp. 298--313.
LibreCat | Files available | DOI
 
2015 | Mastersthesis | LibreCat-ID: 325
A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption
N. Löken, A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption, Universität Paderborn, 2015.
LibreCat | Files available
 
2015 | Bachelorsthesis | LibreCat-ID: 326
A group signature scheme based on the LSRW assumption
F. Heihoff, A Group Signature Scheme Based on the LSRW Assumption, Universität Paderborn, 2015.
LibreCat
 
2015 | Journal Article | LibreCat-ID: 327
A deterministic worst-case message complexity optimal solution for resource discovery
S. Kniesburges, A. Koutsopoulos, C. Scheideler, Theoretical Computer Science (2015) 67–79.
LibreCat | Files available | DOI
 
2015 | Mastersthesis | LibreCat-ID: 3309
Erfolg durch Persönlichkeit? Der Einfluss der Markenpersönlichkeit auf den Zusammenhang von Reputation und Unternehmenserfolg
P. Fanasch, Erfolg durch Persönlichkeit? Der Einfluss der Markenpersönlichkeit auf den Zusammenhang von Reputation und Unternehmenserfolg, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 3310
Die Veränderung des Mobilfunkmarktes durch die Discountanbieter
G.P. Walczok, Die Veränderung des Mobilfunkmarktes durch die Discountanbieter, Universität Paderborn, 2015.
LibreCat
 
2015 | Journal Article | LibreCat-ID: 3343
Learning Boolean Specifications
U. Bubeck, H. Kleine Büning, Artificial Intelligence (2015) 246–257.
LibreCat | DOI
 
2015 | Bachelorsthesis | LibreCat-ID: 3364
Evaluation von Bildverarbeitungsalgorithmen in heterogenen Rechenknoten
C. Knorr, Evaluation von Bildverarbeitungsalgorithmen in heterogenen Rechenknoten, Universität Paderborn, 2015.
LibreCat
 
2015 | Journal Article | LibreCat-ID: 288
How do reviews from professional critics interact with other signals of product quality? Evidence from the video game industry
J. Cox, D. Kaimann, Journal of Consumer Behaviour 14 (2015) 366–377.
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 289
How do Different Sources of the Variance of Consumer Ratings Matter?
P. Herrmann, D. Kundisch, S. Zimmermann, B. Nault, in: Proceedings of the 36th International Conference on Information Systems (ICIS), Fort Worth, 2015.
LibreCat | Files available
 
2015 | Journal Article | LibreCat-ID: 290
Grammar-based model transformations: Definition, execution, and quality properties
G. Besova, D. Steenken, H. Wehrheim, Computer Languages, Systems & Structures (2015) 116–138.
LibreCat | Files available | DOI
 
2015 | Bachelorsthesis | LibreCat-ID: 291
Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen
P. Börding, Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen, Universität Paderborn, 2015.
LibreCat
 
2015 | Mastersthesis | LibreCat-ID: 292
Fusionen von gesetzlichen Krankenversicherungen zu den Effizienz- und Wechselwirkungen
C. Osburg, Fusionen von gesetzlichen Krankenversicherungen zu den Effizienz- und Wechselwirkungen, Universität Paderborn, 2015.
LibreCat
 
2015 | Book Chapter | LibreCat-ID: 293
Filtering Reviews by Random Individual Error
M. Geierhos, F.S. Bäumer, S. Schulze, V. Stuß, in: M. Ali, Y.S. Kwon, C.-H. Lee, J. Kim, Y. Kim (Eds.), Proceedings of the 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2015), Springer, Cham, Switzerland, 2015, pp. 305–315.
LibreCat | Files available | DOI
 
2015 | Bachelorsthesis | LibreCat-ID: 294
Fair Trade - Eine neue Perspektive in der internationalen Handelspolitik
G. Materna, Fair Trade - Eine neue Perspektive in der internationalen Handelspolitik, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 295
Fair Trade - An economic investigation of benefits and drawbacks
P. Goronczewski, Fair Trade - An Economic Investigation of Benefits and Drawbacks, Universität Paderborn, 2015.
LibreCat
 
2015 | Mastersthesis | LibreCat-ID: 297
Evaluation of Pairing Optimization for Embedded Platforms
M. Sosniak, Evaluation of Pairing Optimization for Embedded Platforms, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 298
Entwicklung von Ablösesummen und Gehälter in der Fußball-Bundesliga - Salary Caps als mögliches Modell der Chancengleichheit
D. Plonka, Entwicklung von Ablösesummen und Gehälter in der Fußball-Bundesliga - Salary Caps als mögliches Modell der Chancengleichheit, Universität Paderborn, 2015.
LibreCat
 
2015 | Mastersthesis | LibreCat-ID: 299
Elektromagnetische Seitenkanalangriffe auf paarungsbasierte Kryptographie
B. Gerken, Elektromagnetische Seitenkanalangriffe auf paarungsbasierte Kryptographie, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 300
Ein Framework für Fuzzy Service Matching basierend auf Fuzzy Sets
C. Neumann, Ein Framework für Fuzzy Service Matching basierend auf Fuzzy Sets, Universität Paderborn, 2015.
LibreCat
 
2015 | Mastersthesis | LibreCat-ID: 301 | OA
Efficient Verifier-Local Revocation for Anonymous Credentials
J. Bobolz, Efficient Verifier-Local Revocation for Anonymous Credentials, Universität Paderborn, 2015.
LibreCat | Files available
 
2015 | Mastersthesis | LibreCat-ID: 302
Efficient Attributes for Pairing-Based Anonymous Credentials
C. Stroh, Efficient Attributes for Pairing-Based Anonymous Credentials, Universität Paderborn, 2015.
LibreCat
 
2015 | Dissertation | LibreCat-ID: 304
Dynamics and Efficiency in Topological Self-Stabilization
A. Koutsopoulos, Dynamics and Efficiency in Topological Self-Stabilization, Universität Paderborn, 2015.
LibreCat | Files available
 
2015 | Dissertation | LibreCat-ID: 305
Distributed Data Structures and the Power of topological Self-Stabilization
S. Kniesburges, Distributed Data Structures and the Power of Topological Self-Stabilization, Universität Paderborn, 2015.
LibreCat | Files available
 
2015 | Bachelorsthesis | LibreCat-ID: 306
Diffusion of Innovations in Social Networks
C. Kunisch, Diffusion of Innovations in Social Networks, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 308
Die Wirksamkeit von Zertifikaten als Qualitätssignal
A. Reimann, Die Wirksamkeit von Zertifikaten als Qualitätssignal, Universität Paderborn, 2015.
LibreCat
 
2015 | Mastersthesis | LibreCat-ID: 309
Die Einführung der EU-Merger Guidelines - Effizienz und Wohlfahrtswirkungen
B. Topal, Die Einführung der EU-Merger Guidelines - Effizienz und Wohlfahrtswirkungen, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 310
Design of an Evaluation Strategy for Fuzzy Service Matching
M. Bruns, Design of an Evaluation Strategy for Fuzzy Service Matching, Universität Paderborn, 2015.
LibreCat
 
2015 | Mastersthesis | LibreCat-ID: 312
Constructions of Fully Secure Predicate Encryption Schemes
P. Schleiter, Constructions of Fully Secure Predicate Encryption Schemes, Universität Paderborn, 2015.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 313
Comprehensive Service Matching with MatchBox
P. Börding, M. Bruns, M.C. Platenius, in: 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15), 2015, pp. 974--977.
LibreCat | Files available | DOI
 
2015 | Report | LibreCat-ID: 314
Competition and Product Innovation of Intermediaries in a Differentiated Duopoly
S. Brangewitz, J. Manegold, Competition and Product Innovation of Intermediaries in a Differentiated Duopoly, Universität Paderborn, 2015.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 315
Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP International Embedded Systems Symposium, 2015.
LibreCat | Files available
 
2015 | Bachelorsthesis | LibreCat-ID: 316
Budget Games with priced strategies
J. Pautz, Budget Games with Priced Strategies, Universität Paderborn, 2015.
LibreCat
 
2015 | Journal Article | LibreCat-ID: 3162
Temporal plans for software architecture reconfiguration
S. Ziegert, H. Wehrheim, Computer Science - R & D (2015) 303--320.
LibreCat | Files available | DOI
 
2015 | Dissertation | LibreCat-ID: 318
Automatic Service Discovery and Composition for heterogeneous service partners
Z. Huma, Automatic Service Discovery and Composition for Heterogeneous Service Partners, Universität Paderborn, 2015.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 319
Automated Online Service Composition
F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57--64.
LibreCat | Files available | DOI
 
2015 | Dissertation | LibreCat-ID: 270
On the Complexity of Fundamental Problems in Dynamic Ad-hoc Networks
S. Abshoff, On the Complexity of Fundamental Problems in Dynamic Ad-Hoc Networks, Universität Paderborn, 2015.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 271
On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games
M. Drees, M. Feldotto, S. Riechers, A. Skopalik, in: Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT), 2015, pp. 178–189.
LibreCat | Files available | DOI | arXiv
 
2015 | Conference Paper | LibreCat-ID: 272
On Adaptivity for Automated Composition of Service Functionality
A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), 2015, pp. 329--332.
LibreCat | Files available | DOI
 
2015 | Mastersthesis | LibreCat-ID: 273
Number of Voronoi-relevant vectors in lattices with respect to arbitrary norms
K. Kohn, Number of Voronoi-Relevant Vectors in Lattices with Respect to Arbitrary Norms, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Paper | LibreCat-ID: 274
Non-preemptive Scheduling on Machines with Setup Times
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: F. Dehne, J.R. Sack, U. Stege (Eds.), Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings, 2015, pp. 542--553.
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 275
Network Creation Games: Think Global - Act Local
A. Cord-Landwehr, P. Lenzner, in: Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS), 2015, pp. 248--260.
LibreCat | Files available | DOI
 
2015 | Mastersthesis | LibreCat-ID: 276
Network Creation Games with Interest Groups
T. Hohenberger, Network Creation Games with Interest Groups, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 277
Multilevel Netzwerk Spiele mit konstanten Entfernungen im Highspeed-Netzwerk
N. Kothe, Multilevel Netzwerk Spiele mit konstanten Entfernungen im Highspeed-Netzwerk, Universität Paderborn, 2015.
LibreCat
 
2015 | Mastersthesis | LibreCat-ID: 278
Monotonic Searchability for distributed sorted Lists and De Bruijn Graphs
M. Feldmann, Monotonic Searchability for Distributed Sorted Lists and De Bruijn Graphs, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Paper | LibreCat-ID: 279
MatchBox: A Framework for Dynamic Configuration of Service Matching Processes
M.C. Platenius, S. Arifulina, W. Schäfer, in: Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15), 2015, pp. 75–84.
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 1772
Self-Aware and Self-Expressive Systems – Guest Editor's Introduction
J. Torresen, C. Plessl, X. Yao, IEEE Computer 48 (2015) 18–20.
LibreCat | Files available | DOI
 
2015 | Bachelorsthesis | LibreCat-ID: 234
Verkaufsbeschränkungen auf Onlinemarktplätzen - Eine wettbewerbspolitische Analyse am Fallbeispiel der Adidas AG
M.R. Menne, Verkaufsbeschränkungen auf Onlinemarktplätzen - Eine wettbewerbspolitische Analyse am Fallbeispiel der Adidas AG, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 235
Vergleichende Betrachtung von Software-Werkzeugen zur Geschäftsmodellentwicklung
S. Strotmeyer, Vergleichende Betrachtung von Software-Werkzeugen zur Geschäftsmodellentwicklung, Universität Paderborn, 2015.
LibreCat
 
2015 | Mastersthesis | LibreCat-ID: 236
Vergleichende Betrachtung ausgewählter Ansätze zur Bewertung von Innovation Performance im Kontext von IT-gestützten Geschäftsmodellinnovationen im Automotive Bereich
D. Neumann, Vergleichende Betrachtung ausgewählter Ansätze zur Bewertung von Innovation Performance im Kontext von IT-gestützten Geschäftsmodellinnovationen im Automotive Bereich, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 237
Trust Me, I am Certified - Wie die Zertifizierung von Produkten und Verkäufern das Vertrauen von Kunden im Onlinehandel beeinflussen
K. Ochlast, Trust Me, I Am Certified - Wie Die Zertifizierung von Produkten Und Verkäufern Das Vertrauen von Kunden Im Onlinehandel Beeinflussen, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Paper | LibreCat-ID: 239
Towards Vandalism Detection in Knowledge Bases: Corpus Construction and Analysis
S. Heindorf, M. Potthast, B. Stein, G. Engels, in: Proceedings of the 38th International ACM Conference on Research and Development in Information Retrieval (SIGIR 15), 2015, pp. 831--834.
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 240
Towards Flexible Demands in Online Leasing Problems
S. Li, A. Mäcker, C. Markarian, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 21st Annual International Computing and Combinatorics Conference (COCOON), 2015, pp. 277--288.
LibreCat | Files available | DOI
 
2015 | Bachelorsthesis | LibreCat-ID: 18003
Covering and Bridging im selbstorganisierenden Partikelsystem Amoebabot
T. Götte, Covering and Bridging Im Selbstorganisierenden Partikelsystem Amoebabot, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 18005
Implementierung und Analyse von Cone-DHT
C. Korfmacher, Implementierung Und Analyse von Cone-DHT, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 18006
Implementierung eines selbststabilisierenden verteilten Stacks
J. Sundermeier, Implementierung Eines Selbststabilisierenden Verteilten Stacks, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 18024
Implementierung einer selbststabilisierenden Datenstruktur für das längste gemeinsame Präfix
T. Knollmann, Implementierung Einer Selbststabilisierenden Datenstruktur Für Das Längste Gemeinsame Präfix, Universität Paderborn, 2015.
LibreCat
 
2015 | Journal Article | LibreCat-ID: 228
“…and they are really lying”: Clean Evidence on the Pervasiveness of Cheating in Professional Contexts from a Field Experiment.
R. Fahr, B. Mir Djawadi, Journal of Economic Psychology (2015) 48–59.
LibreCat | Files available | DOI
 
2015 | Bachelorsthesis | LibreCat-ID: 229
Zur Verbreitung von Informationen in sozialen Netzwerken - eine wirtschaftspolitische Analyse
H. Schulz, Zur Verbreitung von Informationen in sozialen Netzwerken - eine wirtschaftspolitische Analyse, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Paper | LibreCat-ID: 230
Why Fit Leads to Surprise: An Extension of Cognitive Fit Theory to Creative Problems
T. John, D. Kundisch, in: Proceedings of the 36th International Conference on Information Systems (ICIS), Fort Worth, USA, 2015.
LibreCat | Files available
 
2015 | Conference Paper | LibreCat-ID: 231
What did you mean? Facing the Challenges of User-generated Software Requirements
M. Geierhos, S. Schulze, F.S. Bäumer, in: S. Loiseau, J. Filipe, B. Duval, J. van den Herik (Eds.), Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015), SciTePress - Science and Technology Publications, Setúbal, Portugal, 2015, pp. 277–283.
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 232
Weighted Boolean Formula Games
B. Monien, M. Mavronicolas, K. Wagner, in: The ´Festschrift´ Algorithms, Probability, Networks, and Games: Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday, 2015, pp. 49–86.
LibreCat | Files available | DOI
 
2015 | Report | LibreCat-ID: 233 | OA
Voronoi Cells of Lattices with Respect to Arbitrary Norms
J. Blömer, K. Kohn, Voronoi Cells of Lattices with Respect to Arbitrary Norms, Universität Paderborn, 2015.
LibreCat | Files available | Download (ext.)
 
2015 | Mastersthesis | LibreCat-ID: 5930
Bilateral matching and bargaining games
L. Mikroökonomie, Bilateral Matching and Bargaining Games, Universität Paderborn, 2015.
LibreCat
 
2015 | Journal Article | LibreCat-ID: 4792
Fast Fuzzy Pattern Tree Learning for Classification
R. Senge, E. Hüllermeier, IEEE Transactions on Fuzzy Systems 23 (2015) 2024–2033.
LibreCat | Files available | DOI
 
2015 | Journal Article | LibreCat-ID: 491
Robust Equilibria in Location Games
B. Buechel, N. Röhl, European Journal of Operational Research 240 (2015) 505–517.
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 743
Topology model to generate realistic latency for simulations
A. Schwabe, H. Karl, in: 2015 IEEE International Conference on Communications, ICC 2015, London, United Kingdom, June 8-12, 2015, 2015, pp. 6122--6127.
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 986
An Architecture for Energy-aware On-demand Mobile Network Management
M. Peuster, H. Karl, in: Proceedings of the 5th Workshop on All Things Cellular: Operations, Applications and Challenges, 2015.
LibreCat | Files available | Download (ext.)
 
2015 | Journal Article | LibreCat-ID: 398
Minimizing Expectation Plus Variance
B. Monien, M. Mavronicolas, Theory of Computing Systems 57 (2015) 617–654.
LibreCat | Files available | DOI
 
2015 | Bachelorsthesis | LibreCat-ID: 5090
Praktikabilität des Adjusted Winner Verfahrens bei variablem Status Quo- Punkt und exogenen Einflüssen
T. Streck, Praktikabilität Des Adjusted Winner Verfahrens Bei Variablem Status Quo- Punkt Und Exogenen Einflüssen, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Paper | LibreCat-ID: 5207
IccTA: Detecting Inter-Component Privacy Leaks in Android Apps
L. Li, A. Bartel, T.F. Bissyande, J. Klein, Y. Le Traon, S. Arzt, S. Rasthofer, E. Bodden, D. Octeau, P. McDaniel, in: 2015 International Conference on Software Engineering (ICSE), 2015, pp. 280–291.
LibreCat | Files available | Download (ext.)
 
2015 | Mastersthesis | LibreCat-ID: 5413
An LLVM Based Toolchain for Transparent Acceleration of Digital Image Processing Applications using FPGA Overlay Architectures
L. Funke, An LLVM Based Toolchain for Transparent Acceleration of Digital Image Processing Applications Using FPGA Overlay Architectures, Universität Paderborn, 2015.
LibreCat
 
2015 | Mastersthesis | LibreCat-ID: 5416
Instance-Specific Computing in Hard- and Software for Faster Solving of Complex Problems
T. Löcke, Instance-Specific Computing in Hard- and Software for Faster Solving of Complex Problems, Universität Paderborn, 2015.
LibreCat
 
2015 | Mastersthesis | LibreCat-ID: 5419
Accelerating Programmable Logic Controllers with the use of FPGAs
F. Wallaschek, Accelerating Programmable Logic Controllers with the Use of FPGAs, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 694
Mobile Agenten in Netzwerken: Analyse von Hotspots
G. Stilow, Mobile Agenten in Netzwerken: Analyse von Hotspots, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 10714
Konzept und Implementation einer Benutzeroberfläche zur Generierung virtueller FPGAs
R. Meißner, Konzept Und Implementation Einer Benutzeroberfläche Zur Generierung Virtueller FPGAs, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 5927
Simultane bilaterale Verhandlungen - Zur Zusammenstellung eines Sortiments
N. N, Simultane Bilaterale Verhandlungen - Zur Zusammenstellung Eines Sortiments, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 5928
Cournot-Nash-Bertrand Wettbewerb im serviceorientierten Internet
N. N, Cournot-Nash-Bertrand Wettbewerb Im Serviceorientierten Internet, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 5929
Multilaterale Verhandlungen aus Produzentensicht
N. N, Multilaterale Verhandlungen Aus Produzentensicht, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 5925
Produktdifferenzierung und Verhandlungsposition im duopolistischen Wettbewerb
N. N, Produktdifferenzierung Und Verhandlungsposition Im Duopolistischen Wettbewerb, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 5923
Aggregating Online Reputation Feedback
N. N, Aggregating Online Reputation Feedback, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 5926
Verhandlungserfolg durch Reduktion von Verhandlungsasymmetrien - eine Analyse mit dem Adjusted-Winner-Verfahren
N. N, Verhandlungserfolg Durch Reduktion von Verhandlungsasymmetrien - Eine Analyse Mit Dem Adjusted-Winner-Verfahren, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Abstract | LibreCat-ID: 307
Different Sources of the Variance of Online Consumer Ratings and their Impact on Price and Demand
P. Herrmann, D. Kundisch, S. Zimmermann, B. Nault, in: 2015.
LibreCat | Files available
 
2015 | Journal Article | LibreCat-ID: 296
Exploring Tradeoffs between Specialized Kernels and a Reusable Overlay in a Stereo-Matching Case Study
T. Kenter, H. Schmitz, C. Plessl, International Journal of Reconfigurable Computing (IJRC) 2015 (2015).
LibreCat | Files available | DOI
 
2015 | Conference Paper | LibreCat-ID: 303 | OA
Easy-to-Use On-The-Fly Binary Program Acceleration on Many-Cores
M. Damschen, C. Plessl, in: Proceedings of the 5th International Workshop on Adaptive Self-Tuning Computing Systems (ADAPT), 2015.
LibreCat | Files available | arXiv
 
2015 | Conference Paper | LibreCat-ID: 238
Transparent offloading of computational hotspots from binary code to Xeon Phi
M. Damschen, H. Riebler, G.F. Vaz, C. Plessl, in: Proceedings of the 2015 Conference on Design, Automation and Test in Europe (DATE), EDA Consortium / IEEE, 2015, pp. 1078–1083.
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 2522
Competitive outcomes and the inner core of NTU market games
S. Brangewitz, J.-P. Gamp, Economic Theory 57 (2014) 529–554.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 329
MaxiNet: Distributed Emulation of Software-Defined Networks
P. Wette, M. Dräxler, A. Schwabe, F. Wallaschek, M.H. Zahraee, H. Karl, in: Proceedings of the 2014 IFIP Networking Conference (Networking 2014), 2014, pp. 1–9.
LibreCat | Files available | DOI
 
2014 | Bachelorsthesis | LibreCat-ID: 330
Zur Ausbreitung und Behinderung von Epidemien - Eine Netzwerkanalyse
L. Drigalsky, Zur Ausbreitung und Behinderung von Epidemien - Eine Netzwerkanalyse, Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 331
Webcam application using virtual FPGA
S. Wu, Webcam Application Using Virtual FPGA, Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 332
Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten
M. Lange, Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten, Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 333
Visualisierung von SMT-Solver-Ausgaben
S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben, Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 334
Vertical Thread Migration in FPGA based Sound Localization
P. Wagener, Vertical Thread Migration in FPGA Based Sound Localization, Universität Paderborn, 2014.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 336
Verified Service Compositions by Template-Based Construction
S. Walther, H. Wehrheim, in: I. Lanese, E. Madelaine (Eds.), Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), 2014, pp. 31–48.
LibreCat | Files available | DOI
 
2014 | Bachelorsthesis | LibreCat-ID: 337
Verhandlungen vs Auktionen im Beschäftigungsmanagement
C. Berkemeier, Verhandlungen vs Auktionen im Beschäftigungsmanagement, Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 338
Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens
H. Beck, Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens, Universität Paderborn, 2014.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 339
Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms
P. Wette, H. Karl, in: Proceedings of the IEEE International Conference on Communications 2014, 2014, pp. 3270–3276.
LibreCat | Files available | DOI
 
2014 | Bachelorsthesis | LibreCat-ID: 340
Untersuchung transitiver Eigenschaften der Technik "Programs from Proofs"
P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs,” Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 341
Two-Sided Market and Game Console Vendors
T. Fang Cheng, Two-Sided Market and Game Console Vendors, Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 342
Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen
C. Klauke, Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen, Universität Paderborn, 2014.
LibreCat
 
2014 | Dissertation | LibreCat-ID: 343
Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market
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 | Conference Paper | LibreCat-ID: 344
Towards Systematic Configuration for Architecture Validation
M. Becker, S. Becker, G. Besova, S. Walther, H. Wehrheim, in: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 345
Towards Context-Sensitive Service Composition for Service-Oriented Image Processing
A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom), 2014, pp. 755–758.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 346
Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services
S. Brangewitz, A. Jungmann, R. Petrlic, M.C. Platenius, in: Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 347
Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores for Error Detection
S. Meisner, M. Platzner, in: D. Goehringer, M. Santambrogio, J.P. Cardoso, K. Bertels (Eds.), Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC), Springer, 2014, pp. 283–290.
LibreCat | Files available | DOI
 
2014 | Bachelorsthesis | LibreCat-ID: 348
The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores
C. Rüthing, The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores, Universität Paderborn, 2014.
LibreCat
 
2014 | Report | LibreCat-ID: 349
The Legal Classification of Identity-Based Signatures
C. Sorge, The Legal Classification of Identity-Based Signatures, 2014.
LibreCat | Files available
 
2014 | Report | LibreCat-ID: 350
The Interaction of Signals: A Fuzzy set Analysis of the Video Game Industry
D. Kaimann, J. Cox, The Interaction of Signals: A Fuzzy Set Analysis of the Video Game Industry, Universität Paderborn, 2014.
LibreCat | Files available
 
2014 | Mastersthesis | LibreCat-ID: 351
The Impact of Customer Reviews and Reputation on Hotel Prices
L. Holzweißig, The Impact of Customer Reviews and Reputation on Hotel Prices, Universität Paderborn, 2014.
LibreCat
 
2014 | Dissertation | LibreCat-ID: 352
The Economics of Individual Behavior in Competitive Environments: Empirical Evidence from Real-Life Tournaments
F. Scheel, The Economics of Individual Behavior in Competitive Environments: Empirical Evidence from Real-Life Tournaments, Universität Paderborn, 2014.
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 353
Template-based Generation of Semantic Services
F. Mohr, S. Walther, in: Proceedings of the 14th International Conference on Software Reuse (ICSR), 2014, pp. 188–203.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 354
Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds
M. Keller, C. Robbert, H. Karl, in: Proceedings of 7th International Conference on Utility and Cloud Computing (UCC), 2014, pp. 387--395.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 355
Tampering attacks in pairing-based cryptography
J. Blömer, P. Günther, G. Liske, in: Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC), 2014, pp. 1--7.
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 356
Surrounding robots -- A discrete localized solution for the intruder problem
L. Blazovics, T. Lukovszki, B. Forstner, Journal of Advanced Computational Intelligence and Intelligent Informatics (2014) 315--319.
LibreCat | Files available | DOI
 
2014 | Bachelorsthesis | LibreCat-ID: 357
Struktur und algorithmische Bestimmung stabiler Matchings in one-to-one Matching Märkten
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
Strategic and Cooperative Games in Network Economics
N. Röhl, Strategic and Cooperative Games in Network Economics, Universität Paderborn, 2014.
LibreCat | Files available
 
2014 | Mastersthesis | LibreCat-ID: 359
Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB
M. Töws, Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB, Universität Paderborn, 2014.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 360 | OA
Specifying and Placing Chains of Virtual Network Functions
S. Dräxler, M. Keller, H. Karl, in: Proceedings of the 3rd International Conference on Cloud Networking (CloudNet), 2014, pp. 7–13.
LibreCat | Files available | DOI
 
2014 | Bachelorsthesis | LibreCat-ID: 361
Simulating load-dependent operation of picocells
D. Roeske, Simulating Load-Dependent Operation of Picocells, Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 362
Signalisieren und Screening in Arbeitsmärkten - die Experimente von Brandts & Holt und Kübler et. al
S. Kaiser, Signalisieren und Screening in Arbeitsmärkten - die Experimente von Brandts & Holt und Kübler et. al, Universität Paderborn, 2014.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 364
SeSAME: Modeling and Analyzing High-Quality Service Compositions
S. Arifulina, M. Becker, M.C. Platenius, S. Walther, in: Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 2014, pp. 839–842.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 366
Security and Privacy Challenges in On-The-Fly Computing
R. Petrlic, A. Jungmann, M.C. Platenius, W. Schäfer, C. Sorge, in: Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014, pp. 131–142.
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 367
Secure Distributed Data Structures for Peer-to-Peer-based Social Networks
J. Janiuk, A. Mäcker, K. Graffi, in: Proceedings of the International Conference on Collaboration Technologies and Systems (CTS), 2014, pp. 396–405.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 368
Scheduling Shared Continuous Resources on Many-Cores
A. Brinkmann, P. Kling, F. Meyer auf der Heide, L. Nagel, S. Riechers, T. Suess, in: Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2014, pp. 128–137.
LibreCat | Files available | DOI
 
2014 | Bachelorsthesis | LibreCat-ID: 369
RSA-Full Domain Hash Revisited
T. Rath, RSA-Full Domain Hash Revisited, Universität Paderborn, 2014.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 370
Routing Games with Progressive Filling
T. Harks, M. Höfer, K. Schewior, A. Skopalik, in: Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14), 2014, pp. 352–360.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 371
RoBuSt: A Crash-Failure-Resistant Distributed Storage System
C. Scheideler, A. Setzer, M. Eikel, in: Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS), 2014, pp. 107--122.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 372
Response Time-Optimized Distributed Cloud Resource Allocation
M. Keller, H. Karl, in: Proceedings of the SIGCOMM Workshop on Distributed Cloud Computing, 2014, pp. 47--52.
LibreCat | Files available | DOI
 
2014 | Bachelorsthesis | LibreCat-ID: 373
Reputationssysteme für zusammengesetzte Dienstleistungen
D. Pahl, Reputationssysteme für zusammengesetzte Dienstleistungen, Universität Paderborn, 2014.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 374
Relocatable Hardware Threads in Run-Time Reconfigurable Systems
A. Wold, A. Agne, J. Torresen, in: D. Goehringer, M. Santambrogio, J.P. Cardoso, K. Bertels (Eds.), Proceedings of the 10th International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications, 2014, pp. 61–72.
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 375
Reengineering Component-Based Software Systems with Archimetrix
M. von Detten, M.C. Platenius, S. Becker, Journal of Software and Systems Modeling (2014) 1239--1268.
LibreCat | Files available | DOI
 
2014 | Dissertation | LibreCat-ID: 376
Reducing Energy Consumption of Radio Access Networks
M. Herlich, Reducing Energy Consumption of Radio Access Networks, Universität Paderborn, 2014.
LibreCat | Files available
 
2014 | Journal Article | LibreCat-ID: 378
Re-Chord: A Self-stabilizing Chord Overlay Network
S. Kniesburges, A. Koutsopoulos, C. Scheideler, Theory of Computing Systems (2014) 591–612.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 379
Randomized Online Algorithms for Set Cover Leasing Problems
S. Abshoff, C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 8th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2014, pp. 25–34.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 380
Quality of Service in Network Creation Games
A. Cord-Landwehr, A. Mäcker, F. Meyer auf der Heide, in: Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 423–428.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 382
Provider Competition in Infrastructure-as-a-Service
J. Künsemöller, S. Brangewitz, H. Karl, C.-J. Haake, in: Proceedings of the 2014 IEEE International Conference on Services Computing (SCC), 2014, pp. 203–210.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 383
Programs from Proofs -- Approach and Applications
D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.
LibreCat | Files available | Download (ext.)
 
2014 | Conference Paper | LibreCat-ID: 384
Privacy-Preserving Reputation Management
R. Petrlic, S. Lutters, C. Sorge, in: Proceedings of the 29th Symposium On Applied Computing (SAC), 2014, pp. 1712–1718.
LibreCat | Files available | DOI
 
2014 | Dissertation | LibreCat-ID: 385
Privacy-Preserving Multiparty Digital Rights Management
R. Petrlic, Privacy-Preserving Multiparty Digital Rights Management, Universität Paderborn, 2014.
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 386
Privacy-Preserving Digital Rights Management based on Attribute-based Encryption
R. Petrlic, C. Sorge, in: Proceedings of the Sixth IFIP International Conference on New Technologies, Mobility and Security (NTMS), 2014, pp. 1–5.
LibreCat | Files available | DOI
 

Filters and Search Terms

project=1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export