998 Publications

2019 | Conference Paper | LibreCat-ID: 6856 LibreCat
 
2019 | Conference Paper | LibreCat-ID: 6976
Always be Two Steps Ahead of Your Enemy - Maintaining a Routable Overlay under Massive Churn with an Almost Up-to-date Adversary
T. Götte, V.R. Vijayalakshmi, C. Scheideler, in: Proceedings of the 2019 IEEE 33rd International Parallel  and Distributed Processing Symposium (IPDPS ’19), IEEE, n.d.
LibreCat | Files available
 
2019 | Dissertation | LibreCat-ID: 8080
Approximate Pure Nash Equilibria in Congestion, Opinion Formation and Facility Location Games
M. Feldotto, Approximate Pure Nash Equilibria in Congestion, Opinion Formation and Facility Location Games, Paderborn, 2019.
LibreCat | Files available | DOI | Download (ext.)
 
2019 | Journal Article | LibreCat-ID: 80
Network Formation and Disruption - An Experiment: Are equilibrium networks too complex?
A.E. Endres, S. Recker, B. Mir Djawadi, B. Hoyer, Journal of Economic Behavior and Organization 157 (2019) 708–734.
LibreCat | Files available | DOI
 
2019 | Conference Paper | LibreCat-ID: 3287
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets
S.B. Schneider, A. Sharma, H. Karl, H. Wehrheim, in: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), Washington, DC, USA, 2019.
LibreCat | Files available | Download (ext.)
 
2019 | Bachelorsthesis | LibreCat-ID: 8530
There's an App for that - Ein Literaturüberblick über Erfolgsfaktoren für App-Downloads
Y.M. Beckhoff, There’s an App for that - Ein Literaturüberblick über Erfolgsfaktoren für App-Downloads, Universität Paderborn, 2019.
LibreCat
 
2019 | Bachelorsthesis | LibreCat-ID: 8840
# Fail - Ein Literaturüberblick über Online-Bewertungen zu Produkt- und Dienstleistungsfehlern
J.L. Fath, # Fail - Ein Literaturüberblick über Online-Bewertungen zu Produkt- und Dienstleistungsfehlern, Universität Paderborn, 2019.
LibreCat
 
2019 | Mastersthesis | LibreCat-ID: 6628
Bewertung von Maschinen-generierten Geschäftsmodell-Ideen: Eine experimentelle Untersuchung
J. Seutter, Bewertung von Maschinen-generierten Geschäftsmodell-Ideen: Eine experimentelle Untersuchung, Universität Paderborn, 2019.
LibreCat
 
2019 | Bachelorsthesis | LibreCat-ID: 8799
Ideenbewertung durch die Crowd - Ein klassifizierender Literaturüberblick
A. Groh, Ideenbewertung durch die Crowd - Ein klassifizierender Literaturüberblick, Universität Paderborn, 2019.
LibreCat
 
2019 | Conference Paper | LibreCat-ID: 7626
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
P. Schubert, B. Hermann, E. Bodden, in: Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), 2019, pp. 393–410.
LibreCat | Files available | DOI
 
2019 | Conference Paper | LibreCat-ID: 9261 LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 8871
Distributed Computation in Node-Capacitated Networks
J. Augustine, M. Ghaffari, R. Gmyr, K. Hinnenthal, F. Kuhn, J. Li, C. Scheideler, in: Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2019.
LibreCat | DOI
 
2019 | Conference Paper | LibreCat-ID: 9778
The Virtues of Anonymity - An Empirical Investigation of the Relationship between B2B Online Ratings and Reviewer Self-Disclosure
D. Gutt, J. Neumann, in: Proceedings of the Twenty-Seventh European Conference on Information Systems (ECIS), 2019.
LibreCat
 
2019 | Bachelorsthesis | LibreCat-ID: 9773
Gib anderen dein Zuhause - Eine deskriptive Analyse der Ausbuchungsrate von Inseraten auf Airbnb
M. Yilmaz, Gib anderen dein Zuhause - Eine deskriptive Analyse der Ausbuchungsrate von Inseraten auf Airbnb, Universität Paderborn, 2019.
LibreCat
 
2019 | Journal Article | LibreCat-ID: 9824
Introducing Automated Verification and Validation for Virtualized Network Functions and Services
M. Peuster, S.B. Schneider, M. Zhao, G. Xilouris, P. Trakadas, F. Vicens, W. Tavernier, T. Soenen, R. Vilalta, G. Andreou, D. Kyriazis, H. Karl, IEEE Communications Magazine (2019) 96–102.
LibreCat | Files available | DOI | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 9850
Can stimuli improve business model idea generation? Developing software-based tools for business model innovation
D. Szopinski, in: Proceedings of the ACM Creativity & Cognition 2019, 2019.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 8240
SPRING: Scaling, Placement, and Routing of Heterogeneous Services with Flexible Structures
S. Dräxler, H. Karl, in: 5th IEEE International Conference on Network Softwarization (NetSoft) 2019, n.d.
LibreCat
 
2019 | Journal Article | LibreCat-ID: 7689
Transparent Acceleration for Heterogeneous Platforms with Compilation to OpenCL (to appear)
H. Riebler, G.F. Vaz, T. Kenter, C. Plessl, ACM Trans. Archit. Code Optim. (TACO) (2019).
LibreCat | Files available
 
2019 | Journal Article | LibreCat-ID: 8795
A flow handover protocol to support state migration in softwarized networks
M. Peuster, H. Küttner, H. Karl, International Journal of Network Management (2019).
LibreCat | Files available | DOI | Download (ext.)
 
2019 | Journal Article | LibreCat-ID: 7413
Design of Review Systems – A Strategic Instrument to shape Online Reviewing Behavior and Economic Outcomes
D. Gutt, J. Neumann, S. Zimmermann, D. Kundisch, J. Chen, Journal of Strategic Information Systems (n.d.).
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 6857
A Semi-Automated Approach for Generating Online Review Templates,
M. Poniatowski, J. Neumann, T. Görzen, D. Kundisch, in: Wirtschaftsinformatik Proceedings 2019, 2019.
LibreCat
 
2019 | Journal Article | LibreCat-ID: 8113
Joint testing and profiling of microservice-based network services using TTCN-3
M. Peuster, C. Dröge, C. Boos, H. Karl, ICT Express (2019).
LibreCat | Files available | DOI | Download (ext.)
 
2019 | Bachelorsthesis | LibreCat-ID: 9515
Entwicklung eines Frameworks für Geschäftsmodelle im On-The-Fly Computing
D. Dirksen, Entwicklung eines Frameworks für Geschäftsmodelle im On-The-Fly Computing, Universität Paderborn, 2019.
LibreCat
 
2019 | Conference Paper | LibreCat-ID: 9779
He Who Pays the Piper Calls the Tune: Online Review Elicitation by Sellers and Third-Party Platforms in B2B Markets
J. Neumann, D. Gutt, in: Proceedings of the Twenty-Seventh European Conference on Information Systems (ECIS), 2019.
LibreCat
 
2019 | Conference Paper | LibreCat-ID: 9774
Money Makes the Reviewer Go Round – Ambivalent Effects of Online Review Elicitation in B2B Markets
J. Neumann, D. Gutt, in: Proceedings of the Twenty-Fifth Americas Conference on Information Systems (AMCIS), 2019.
LibreCat
 
2019 | Mastersthesis | LibreCat-ID: 7623
Combining Android Apps for Analysis Purposes
S. Zhang, Combining Android Apps for Analysis Purposes, 2019.
LibreCat
 
2019 | Journal Article | LibreCat-ID: 8424 LibreCat | DOI | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 8866
Scheduling on (Un-)Related Machines with Setup Times
K. Jansen, M. Maack, A. Mäcker, in: Proceedings of the 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2019.
LibreCat
 
2019 | Report | LibreCat-ID: 8873
Credence Goods Markets with Fair and Opportunistic Experts
J.M.J. Heinzel, Credence Goods Markets with Fair and Opportunistic Experts, CIE Working Paper Series, Paderborn University, 2019.
LibreCat | Files available
 
2019 | Journal Article | LibreCat-ID: 6202
Software tools for business model innovation: Current state and future challenges
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, Electronic Markets (2019).
LibreCat | Files available
 
2019 | Bachelorsthesis | LibreCat-ID: 7628
Modeling Crypto API usages in OpenSSL's EVP library
N. Selbach, Modeling Crypto API Usages in OpenSSL’s EVP Library, 2019.
LibreCat
 
2019 | Report | LibreCat-ID: 7630
Credence Goods Markets with Heterogeneous Experts
J.M.J. Heinzel, Credence Goods Markets with Heterogeneous Experts, CIE Working Paper Series, Paderborn University, 2019.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 7635
Testing Machine Learning Algorithms for Balanced Data Usage
A. Sharma, H. Wehrheim, in: IEEE International Conference on Software Testing, Verification and Validation (ICST), Xi’an, China, 2019.
LibreCat
 
2019 | Bachelorsthesis | LibreCat-ID: 8955
Vertrauensbildung und Reputationssysteme auf digitalen B2B-Märkten - Ein klassifizierender Überblick
M. Kilic, Vertrauensbildung und Reputationssysteme auf digitalen B2B-Märkten - Ein klassifizierender Überblick, Universität Paderborn, 2019.
LibreCat
 
2019 | Conference Paper | LibreCat-ID: 9270
Putting 5G into Production: Realizing a Smart Manufacturing Vertical Scenario
S.B. Schneider, M. Peuster, D. Behnke, M. Marcel, P.-B. Bök, H. Karl, in: European Conference on Networks and Communications (EuCNC), IEEE, Valencia, Spain, 2019.
LibreCat | Files available
 
2019 | Conference Abstract | LibreCat-ID: 8854
Activate software-based business model development tools: An exploratory study
D. Szopinski, in: 3rd Business Model Conference, 2019.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 9263
Because your taxonomy is worth it: Towards a framework for taxonomy evaluation
D. Szopinski, T. Schoormann, D. Kundisch, in: Proceedings of the Twenty-Seventh European Conference on Information Systems (ECIS), 2019.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 9775
When does Local Status Matter? – The Relationship between Reviewer Location and Perceived Usefulness of Online Reviews
J. Neumann, D. Gutt, T. Görzen, D. Kundisch, in: Proceedings of the Twenty-Fifth Americas Conference on Information Systems (AMCIS), 2019.
LibreCat
 
2019 | Conference Paper | LibreCat-ID: 5471
Multi-unit Bilateral Trade
P. Lazos, P. Goldberg, A. Skopalik, M. Gerstgrasser, B. de Keijzer, in: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI), n.d.
LibreCat | Files available
 
2019 | Encyclopedia Article | LibreCat-ID: 8312
Requirements Engineering in OTF-Computing
F.S. Bäumer, M. Geierhos, in: Encyclopedia.Pub, MDPI, Basel, Switzerland, 2019.
LibreCat | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 8792
Prototyping and Demonstrating 5G Verticals: The Smart Manufacturing Case
M. Peuster, S.B. Schneider, D. Behnke, M. Müller, P.-B. Bök, H. Karl, in: 5th IEEE International Conference on Network Softwarization (NetSoft 2019), Paris, 2019.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 7636
MultiSkipGraph: A Self-stabilizing Overlay Network that Maintains Monotonic Searchability
L. Luo, C. Scheideler, T.F. Strothmann, in: Proceedings of the 2019 IEEE 33rd International Parallel and Distributed Processing Symposium (IPDPS ’19), 2019.
LibreCat | Files available
 
2019 | Bachelorsthesis | LibreCat-ID: 8800
Conception of a digital Sales Bonus System based on Blockchain Technology
L.M. Rodehutskors, Conception of a Digital Sales Bonus System Based on Blockchain Technology, Universität Paderborn, 2019.
LibreCat
 
2019 | Conference Abstract | LibreCat-ID: 8956
Algorithm Selection as Recommendation: From Collaborative Filtering to Dyad Ranking
A. Hetzer, M.D. Wever, F. Mohr, E. Hüllermeier, in: 2019.
LibreCat | Files available
 
2019 | Journal Article | LibreCat-ID: 2256
The Common Enemy Effect under Strategic Network Formation and Disruption
B. Hoyer, H. Haller, Journal of Economic Behavior & Organization 162 (2019) 146–163.
LibreCat | DOI | Download (ext.)
 
2019 | Mastersthesis | LibreCat-ID: 9675
Entwicklung eines Rahmenwerks zur Evaluation von Geschäftsmodellen zur Entscheidungsunterstützung für Kooperationen mit Startups am Beispiel der Schüco International KG
M. Golis, Entwicklung eines Rahmenwerks zur Evaluation von Geschäftsmodellen zur Entscheidungsunterstützung für Kooperationen mit Startups am Beispiel der Schüco International KG, Universität Paderborn, 2019.
LibreCat
 
2019 | Conference Abstract | LibreCat-ID: 9776
Reviewing the Vendor or the Product – Analyzing Vendor versus Product Representation in B2B Review Systems
M. Poniatowski, J. Neumann, D. Kundisch, in: Proceedings of the Twenty-Fifth Americas Conference on Information Systems (AMCIS), 2019.
LibreCat
 
2019 | Journal Article | LibreCat-ID: 9853
Squaring the circle: Business model teaching in large classroom settings
D. Szopinski, Journal of Business Models (2019).
LibreCat | Files available
 
2019 | Bachelorsthesis | LibreCat-ID: 8351
Vertrauensbildung und Reputationssysteme auf digitalen B2B-Märkten - Ein klassifizierender Überblick
F. Nutt, Vertrauensbildung und Reputationssysteme auf digitalen B2B-Märkten - Ein klassifizierender Überblick, Universität Paderborn, 2019.
LibreCat
 
2019 | Conference Paper | LibreCat-ID: 8534
Skeap & Seap: Scalable Distributed Priority Queues for Constant and Arbitrary Priorities
M. Feldmann, C. Scheideler, in: Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2019.
LibreCat | arXiv
 
2019 | Conference Paper | LibreCat-ID: 8856
The Long Tail of Taxonomy Evaluation Criteria: A Structured Overview
D. Szopinski, T. Schoormann, D. Kundisch, in: 2019.
LibreCat | Files available
 
2019 | Conference Abstract | LibreCat-ID: 7752
Testing Balancedness of ML Algorithms
A. Sharma, H. Wehrheim, in: Software Engineering (SE), Stuttgart, 2019.
LibreCat
 
2019 | Conference Abstract | LibreCat-ID: 8868
Towards Automated Machine Learning for Multi-Label Classification
M.D. Wever, F. Mohr, E. Hüllermeier, A. Hetzer, in: 2019.
LibreCat | Files available
 
2019 | Mastersthesis | LibreCat-ID: 6627
The effects of driver variables on online review metrics: A meta-analysis
M.J. Selig, The Effects of Driver Variables on Online Review Metrics: A Meta-Analysis, Universität Paderborn, 2019.
LibreCat
 
2019 | Conference Paper | LibreCat-ID: 7668
Debiasing Vandalism Detection Models at Wikidata
S. Heindorf, Y. Scholten, G. Engels, M. Potthast, in: Proceedings of the 2019 World Wide Web Conference (WWW ’19), ACM, San Francisco, USA, 2019.
LibreCat | Files available | DOI | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 9777
Organizing Their Thoughts – How Online Review Templates Affect the Review Text
M. Poniatowski, J. Neumann, T. Görzen, D. Kundisch, in: Proceedings of the Twenty-Seventh European Conference on Information Systems (ECIS), 2019.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 2479
(WIP) Towards the Automated Composition of Machine Learning Services
F. Mohr, M.D. Wever, E. Hüllermeier, A. Faez, in: SCC, IEEE, San Francisco, CA, USA, 2018.
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 2481
Scaling and Placing Bidirectional Services with Stateful Virtual and Physical Network Functions
S. Dräxler, S.B. Schneider, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), n.d.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 1046
Towards Explaining the Popularity of the Business Model Canvas: A Dual Coding Approach (Research-in-Progress)
T. John, D. Szopinski, in: Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany, 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 1060
When Local Praise Becomes Cheap Talk - Analyzing the Relationship between Reviewer Location and Usefulness of Online Reviews
J. Neumann, D. Gutt, D. Kundisch, D. van Straaten, in: Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany, 2018.
LibreCat | Files available
 
2018 | Book Chapter | LibreCat-ID: 1104
Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen
M. Geierhos, in: S. Freitag, M. Geierhos, R. Asmani, J.I. Haug (Eds.), Unschärfe - Der Umgang mit fehlender Eindeutigkeit, 1st ed., Ferdinand Schöningh, Paderborn, Germany, 2018, pp. 111–128.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 1173
A Duration Model Analysis of Consumer Preferences and Determinants of Video Game Consumption
D. Kaimann, N. Stroh-Maraun, J. Cox, Journal of Consumer Behaviour 17 (2018) 290–301.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 7570
Brief Announcement: Communication in Systems of Home Based Mobile Agents
F. Meyer auf der Heide, J.S. Schaefer, in: Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures  - SPAA ’18, ACM Press, 2018.
LibreCat | Files available | DOI
 
2018 | Mastersthesis | LibreCat-ID: 3314
The Segmentation of Video-On-Demand Consumers
L.J. Michels, The Segmentation of Video-On-Demand Consumers, Universität Paderborn, 2018.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 3345
Let the state follow its flows: An SDN-based flow handover protocol to support state migration
M. Peuster, H. Küttner, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), Montreal, n.d.
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 3422
Breaking the $\tilde\Omega(\sqrt{n})$ Barrier: Fast Consensus under a Late Adversary
P. Robinson, C. Scheideler, A. Setzer, in: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), n.d.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 3852
ML-Plan for Unlimited-Length Machine Learning Pipelines
M.D. Wever, F. Mohr, E. Hüllermeier, in: ICML 2018 AutoML Workshop, 2018.
LibreCat | Files available | Download (ext.)
 
2018 | Bachelorsthesis | LibreCat-ID: 5959
Automated Bilateral Multiple-issue negotiation with no information about opponent
E. Löwen, Automated Bilateral Multiple-Issue Negotiation with No Information about Opponent, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 5961
School-Choice Mechanismen im Vergleich  Effizienz und Schwachstellen anhand von Beispielen aus Theorie und Praxis
S. Paulus, School-Choice Mechanismen Im Vergleich  Effizienz Und Schwachstellen Anhand von Beispielen Aus Theorie Und Praxis, Universität Paderborn, 2018.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 5985
Relays: Towards a Link Layer for Robust and Secure Fog Computing
C. Scheideler, in: Proceedings of the 2018 Workshop on Theory and Practice for Integrated Cloud, Fog and Edge Computing Paradigms, TOPIC@PODC 2018, Egham, United Kingdom, July 27, 2018, 2018, pp. 1–2.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 6483
A Prototyping Platform to Validate and Verify Network Service Header-based Service Chains
M. Peuster, S.B. Schneider, F. Christ, H. Karl, in: IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN) 5GNetApp, IEEE, Verona, 2018.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 4627 LibreCat | Files available
 
2018 | Dissertation | LibreCat-ID: 4797
Essays on Competition in Health Care Markets
X. Wu, Essays on Competition in Health Care Markets, 2018.
LibreCat | Files available
 
2018 | Bachelorsthesis | LibreCat-ID: 4805
Bitcoin - Gemeinsamkeiten und Unterschiede im Vergleich mit anderen Währungen
A. Dalkiran, Bitcoin - Gemeinsamkeiten Und Unterschiede Im Vergleich Mit Anderen Währungen, 2018.
LibreCat
 
2018 | Journal Article | LibreCat-ID: 4982 LibreCat | Files available | Download (ext.)
 
2018 | Bachelorsthesis | LibreCat-ID: 5404
Online Algorithmen für das k-Page Migration Problem
P.I. Kolpaczki, Online Algorithmen Für Das K-Page Migration Problem, 2018.
LibreCat
 
2018 | Journal Article | LibreCat-ID: 4564
The Generalized Nash Bargaining Solution for Transfer Price Negotiations under Incomplete Information
C.-J. Haake, S. Recker, Group Decision and Negotiation 27 (2018) 905–932.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 4999
Do Android taint analysis tools keep their promises?
F. Pauck, E. Bodden, H. Wehrheim, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018, ACM Press, 2018.
LibreCat | Files available | DOI
 
2018 | Dissertation | LibreCat-ID: 3720
FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization
N. Ho, FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization, Paderborn University, 2018.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 1096
Reducer-Based Construction of Conditional Verifiers
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: Proceedings of the 40th International Conference on Software Engineering (ICSE), 2018.
LibreCat | Files available
 
2018 | Mastersthesis | LibreCat-ID: 2943
Die Wirkung von Garantieverlängerungen auf das Kaufverhalten von Kunden am Beispiel von gastro-hero.de
J. Funke, Die Wirkung von Garantieverlängerungen auf das Kaufverhalten von Kunden am Beispiel von gastro-hero.de, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 3554
Heute schon bewertet? - Eine deskriptive Analyse der dynamischen Entwicklung von Online-Bewertungen
J. Schürmeyer, Heute schon bewertet? - Eine deskriptive Analyse der dynamischen Entwicklung von Online-Bewertungen, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 2486
Immer J-Shape? Eine deskriptive Analyse von Online-Produktbewertungen am Beispiel Amazon
K. Brennig, Immer J-Shape? Eine deskriptive Analyse von Online-Produktbewertungen am Beispiel Amazon, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 5966
Bitcoins disruptives Potenzial im elektronischem Zahlungsverkehr
V.F. Jansen, Bitcoins disruptives Potenzial im elektronischem Zahlungsverkehr, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 9925
Verbindung Terrorismusforschung und Spieltheorie
S. Lindheim, Verbindung Terrorismusforschung und Spieltheorie, 2018.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 3346
Containernet 2.0: A Rapid Prototyping Platform for Hybrid Service Function Chains
M. Peuster, J. Kampmeyer, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), Montreal, n.d.
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Bachelorsthesis | LibreCat-ID: 3365
Static Scheduling Algorithms for Heterogeneous Compute Nodes
J.-P. Schnuer, Static Scheduling Algorithms for Heterogeneous Compute Nodes, 2018.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 3550
Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions
B. Jazayeri, O. Zimmermann, G. Engels, J. Küster, D. Kundisch, D. Szopinski, in: Proceeding of International Symposium on Business Modeling and Software Design, Springer, Wien, Austria, 2018, pp. 390–400.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 4351
Self-stabilizing Overlays for high-dimensional Monotonic Searchability
M. Feldmann, C. Kolb, C. Scheideler, in: Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2018, pp. 16–31.
LibreCat | Files available | DOI | arXiv
 
2018 | Journal Article | LibreCat-ID: 2331
Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure
Y. Kim, S. Lee, M. Dollmann, M. Geierhos, International Journal of Advanced Science and Technology 112 (2018) 123–136.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2379
Delegatable Attribute-based Anonymous Credentials from Dynamically Malleable Signatures
J. Blömer, J. Bobolz, in: ACNS 2018 Applied Cryptography & Network Security, n.d.
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 2564
In the Eye of the Beholder? – Empirically Decomposing Different Economic Implications of the Online Rating Variance
D. Gutt, in: Proceedings of the Twenty Fifth European Conference on Information Systems (ECIS), 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 2831
Disaggregating User Evaluations Using the Shapley Value
M. Feldotto, C.-J. Haake, A. Skopalik, N. Stroh-Maraun, in: Proceedings of the 13th Workshop on Economics of Networks, Systems and Computation (NetEcon 2018), 2018, pp. 5:1-5:6.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2850
Pick, Pack, & Survive: Charging Robots in a Modern Warehouse based on Online Connected Dominating Sets
H. Hamann, C. Markarian, F. Meyer auf der Heide, M. Wahby, in: Ninth International Conference on Fun with Algorithms (FUN), 2018.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2862
Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems
J. Blömer, F. Eidens, J. Juhnke, in: Topics in Cryptology - {CT-RSA} 2018 - The Cryptographers’ Track at the {RSA} Conference 2018, Proceedings, Springer International Publishing, Cham, 2018, pp. 470–490.
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Mastersthesis | LibreCat-ID: 3315
Sentiment Analysis of User-generated Ratings in the Sharing Economy
M. Walter, Sentiment Analysis of User-Generated Ratings in the Sharing Economy , Universität Paderborn, 2018.
LibreCat
 
2018 | Journal Article | LibreCat-ID: 1047
Platform Launch Strategies
C. Stummer, D. Kundisch, R. Decker, Business & Information Systems Engineering (2018).
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 1061
Sorting Out the Lemons - Identifying Product Failures in Online Reviews and their Relationship with Sales
D. Gutt, in: Proceedings of the Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, Germany, 2018.
LibreCat | Files available
 
2018 | Mastersthesis | LibreCat-ID: 1066
How effective are leniency programs in cartel deterrence - An overview of the empirical and experimental literature
M.F. Arfeen, How Effective Are Leniency Programs in Cartel Deterrence - An Overview of the Empirical and Experimental Literature, Universität Paderborn, 2018.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 1181
How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas
F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.
LibreCat | Files available | Download (ext.)
 
2018 | Mastersthesis | LibreCat-ID: 1186
Pure Nash Equilibria in Robust Congestion Games via Potential Functions
A. Kemper, Pure Nash Equilibria in Robust Congestion Games via Potential Functions, Universität Paderborn, 2018.
LibreCat
 
2018 | Journal Article | LibreCat-ID: 1369
Pure Nash equilibria in restricted budget games
M. Drees, M. Feldotto, S. Riechers, A. Skopalik, Journal of Combinatorial Optimization (2018).
LibreCat | Files available | DOI
 
2018 | Mastersthesis | LibreCat-ID: 8074
Sharing Economy - Chancen und Risiken aus ökonomischer Sicht
C. Aykanat, Sharing Economy - Chancen Und Risiken Aus Ökonomischer Sicht, 2018.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 4565
Brief Announcement: Competitive Routing in Hybrid Communication Networks
D. Jung, C. Kolb, C. Scheideler, J. Sundermeier, in: Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM Press, 2018.
LibreCat | Files available | DOI
 
2018 | Mastersthesis | LibreCat-ID: 4806
The Suitability of Equilibrium Concepts to evaluate competitive behaviour
G. Gräper, The Suitability of Equilibrium Concepts to Evaluate Competitive Behaviour, 2018.
LibreCat
 
2018 | Mastersthesis | LibreCat-ID: 5417
Accelerating Molecular Dynamic Simulations by Offloading Fast Fourier Transformations to FPGA
A. Ramaswami, Accelerating Molecular Dynamic Simulations by Offloading Fast Fourier Transformations to FPGA, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 5936
Learning about learning curves from dataset properties
M. Scheibl, Learning about Learning Curves from Dataset Properties, 2018.
LibreCat
 
2018 | Mastersthesis | LibreCat-ID: 5962
Bestimmung von Transferpreisen in vertikal integrierten Supply Chains
K. Hesse, Bestimmung von Transferpreisen in Vertikal Integrierten Supply Chains, Universität Paderborn, 2018.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 6016
Understand your chains and keep your deadlines: Introducing time-constrained profiling for NFV
M. Peuster, H. Karl, in: IEEE/IFIP 14th International Conference on Network and Service Management (CNSM), IEEE/IFIP, Rome, n.d.
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 6972
A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms
S.B. Schneider, M. Peuster, H. Karl, in: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), IEEE, 2018.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 5330
Maintaining vs. Milking Good Reputation when Customer Feedback is Inaccurate
B. Mir Djawadi, R. Fahr, C.-J. Haake, S. Recker, PLoS ONE 13 (2018).
LibreCat | Files available | DOI
 
2018 | Book Chapter | LibreCat-ID: 3098
Thoughts on Social Design
W. Trockel, C.-J. Haake, in: J.-F. Laslier, H. Moulin, R. Sanver, W. Zwicker (Eds.), Studies in Economic Design, Springer, Heidelberg, n.d.
LibreCat | Files available
 
2018 | Conference Abstract | LibreCat-ID: 2660
The Traveling Reviewer Problem - Exploring the Relationship Between Offline Locations and Online Rating Behavior
J. Neumann, D. Gutt, D. Kundisch, in: Conference Abstracts of the Symposium on Statistical Challenges in Electronic Commerce Research (SCECR), 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 5203
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, in: European Conference on Object-Oriented Programming (ECOOP), 2018, pp. 10:1-10:27.
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 4577
An Extended Perspective of Technology Pivots in Software Startups: Towards a Theoretical Model
N. Bohn, D. Kundisch, in: Proceedings of the Thirty Ninth International Conference on Information Systems (ICIS), 2018.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 2848
Towards Flexible Demands in Online Leasing Problems.
S. Li, C. Markarian, F. Meyer auf der Heide, Algorithmica 80 (2018) 1556–1574.
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 5772 LibreCat | Files available | DOI
 
2018 | Preprint | LibreCat-ID: 2711
Do Android Taint Analysis Tools Keep their Promises?
F. Pauck, E. Bodden, H. Wehrheim, ArXiv:1804.02903 (2018).
LibreCat | Files available
 
2018 | Dissertation | LibreCat-ID: 6597
Models and Constructions for Secure Reputation Systems
J. Juhnke, Models and Constructions for Secure Reputation Systems, 2018.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 5222
On Underlay-Aware Self-Stabilizing Overlay Networks
T. Götte, C. Scheideler, A. Setzer, in: Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2018), Springer, 2018, pp. 50–64.
LibreCat | Files available
 
2018 | Bachelorsthesis | LibreCat-ID: 4560
Zu Hause ist es am schönsten? Eine deskriptive Analyse des Online-Bewertungsverhaltens von Einheimischen und Reisenden
M.A. Jongen, Zu Hause ist es am schönsten? Eine deskriptive Analyse des Online-Bewertungsverhaltens von Einheimischen und Reisenden, Universität Paderborn, 2018.
LibreCat
 
2018 | Mastersthesis | LibreCat-ID: 2944
Die Wirkung von Zusatzgarantien auf das Kaufverhalten von Kunden am Beispiel von gastro-hero.de
D. Piasecki, Die Wirkung von Zusatzgarantien auf das Kaufverhalten von Kunden am Beispiel von gastro-hero.de, Universität Paderborn, 2018.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 4375
A Peer-to-Peer based Cloud Storage supporting orthogonal Range Queries of arbitrary Dimension
M. Benter, T. Knollmann, F. Meyer auf der Heide, A. Setzer, J. Sundermeier, in: Proceedings of the 4th International Symposium on Algorithmic Aspects of Cloud Computing (ALGOCLOUD), 2018.
LibreCat | Files available | DOI
 
2018 | Bachelorsthesis | LibreCat-ID: 5967
Reduzierung des Energieverlustes im Smart Grid mittels Koalitionsbildung
A. Koch, Reduzierung des Energieverlustes im Smart Grid mittels Koalitionsbildung, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 9926
Agenda setting in jury decision by sequential majority voting
D. Schneider, Agenda Setting in Jury Decision by Sequential Majority Voting, 2018.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 3347
Emulation-based Smoke Testing of NFV Orchestrators in Large Multi-PoP Environments
M. Peuster, M. Marchetti, G. Garcia de Blas, H. Karl, in: European Conference on Networks and Communications (EuCNC), Ljubljana, n.d.
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Bachelorsthesis | LibreCat-ID: 3366
Evaluation of OpenCL-based Compilation for FPGAs
M. Croce, Evaluation of OpenCL-Based Compilation for FPGAs, 2018.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 3373
An FPGA/HMC-Based Accelerator for Resolution Proof Checking
T. Hansmeier, M. Platzner, D. Andrews, in: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, 2018, pp. 153–165.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 3873
Enhanced Security of Attribute-Based Signatures
J. Blömer, F. Eidens, J. Juhnke, in: The International Conference on Cryptology And Network Security (CANS), Springer, 2018, pp. 235–255.
LibreCat | Files available | Download (ext.)
 
2018 | Journal Article | LibreCat-ID: 3936 LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 44
Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-based Configuration of Text Analysis Pipelines
F.S. Bäumer, M. Geierhos, in: Proceedings of the 51st Hawaii International Conference on System Sciences, 2018, pp. 5746–5755.
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Mastersthesis | LibreCat-ID: 2320
Eignungsbewertung eines Enterprise Architecture Frameworks für das IT-Alignment zwischen Unternehmensstrategie und IT-Landschaft am Beispiel der Arvato SCM
L.C. Funke, Eignungsbewertung eines Enterprise Architecture Frameworks für das IT-Alignment zwischen Unternehmensstrategie und IT-Landschaft am Beispiel der Arvato SCM, Universität Paderborn, 2018.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 2471
On-The-Fly Service Construction with Prototypes
F. Mohr, M.D. Wever, E. Hüllermeier, in: SCC, IEEE Computer Society, San Francisco, CA, USA, 2018.
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Report | LibreCat-ID: 2483
Towards Predicting Resource Demands and Performance of Distributed Cloud Services
S. Dräxler, M. Peuster, M. Illian, H. Karl, Towards Predicting Resource Demands and Performance of Distributed Cloud Services, Wien, Darmstadt, 2018.
LibreCat | Files available | Download (ext.)
 
2018 | Working Paper | LibreCat-ID: 2565
Feedback Pareto weights in cooperative NTU differential games
S. Hoof, Feedback Pareto Weights in Cooperative NTU Differential Games, CIE Working Paper Series, Paderborn University, 2018.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 2685
Voronoi Cells of Lattices with Respect to Arbitrary Norms
J. Blömer, K. Kohn, SIAM Journal on Applied Algebra and Geometry. 2 (2018) 314–338.
LibreCat | Files available | DOI
 
2018 | Dissertation | LibreCat-ID: 2712
Consumer Responses to Paid Search - Empirical Evidence from a Bricks-and-Mortar Retailer
D. Schlangenotto, Consumer Responses to Paid Search - Empirical Evidence from a Bricks-and-Mortar Retailer, Universität Paderborn, 2018.
LibreCat
 
2018 | Working Paper | LibreCat-ID: 2933
On unification of solutions to the bargaining problem
C.-J. Haake, C.-Z. Qin, On Unification of Solutions to the Bargaining Problem, CIE Working Paper Series, Paderborn University, Paderborn University, 2018.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 3152
JASPER: Joint Optimization of Scaling, Placement, and Routing of Virtual Network Services
S. Dräxler, H. Karl, Z.A. Mann, IEEE Transactions on Network and Service Management (2018).
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 3265
Fully-Featured Anonymous Credentials with Reputation System
K. Bemmann, J. Blömer, J. Bobolz, H. Bröcher, D. Diemert, F. Eidens, L. Eilers, J. Haltermann, J. Juhnke, B. Otour, L. Porzenheim, S. Pukrop, E. Schilling, M. Schlichtig, M. Stienemeier, in: Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES ’18, ACM, New York, NY, USA, n.d.
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Mastersthesis | LibreCat-ID: 3316
Restaurant reputation and meal prices: empricial evidence from the German restaurant industry
H. Korn, Restaurant Reputation and Meal Prices: Empricial Evidence from the German Restaurant Industry, Universität Paderborn, 2018.
LibreCat
 
2018 | Journal Article | LibreCat-ID: 1029
Preemptive Repression: Deterrence, Backfiring, Iron Fists and Velvet Gloves
K. De Jaegher, B. Hoyer, Journal of Conflict Resolution (2018).
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 1031
Variety in the video game industry: An empirical study of the Wundt curve
D. Kaimann, N. Stroh-Maraun, J. Cox, Managerial and Decision Economics 39 (2018) 354–362.
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 1043
Validity of Software Verification Results on Approximate Hardware
T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, IEEE Embedded Systems Letters (2018) 22–25.
LibreCat | Files available | DOI
 
2018 | Bachelorsthesis | LibreCat-ID: 1067
Die Deutsche Fußball Liga GmbH - ein Syndikat? Die Zentralvermarktung der Live-TV-Übertragungsrechte aus wettbewerbspolitischer Sicht
F. Kersting, Die Deutsche Fußball Liga GmbH - ein Syndikat? Die Zentralvermarktung der Live-TV-Übertragungsrechte aus wettbewerbspolitischer Sicht, Universität Paderborn, 2018.
LibreCat
 
2018 | Journal Article | LibreCat-ID: 107
Decomposing the Variance of Consumer Ratings and the Impact on Price and Demand
S. Zimmermann , P. Herrmann, D. Kundisch, B. Nault, Information Systems Research 29 (2018) 984–1002.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 1163
Self-Stabilizing Supervised Publish-Subscribe Systems
M. Feldmann, C. Kolb, C. Scheideler, T.F. Strothmann, in: Proceedings of the 32nd IEEE International Parallel & Distributed Processing Symposium (IPDPS), IEEE, 2018.
LibreCat | Files available | DOI | arXiv
 
2018 | Conference Paper | LibreCat-ID: 1182
CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface
E. Friesen, F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.
LibreCat | Files available | Download (ext.)
 
2018 | Bachelorsthesis | LibreCat-ID: 1187
Scenario-driven Strategy Analysis in a n-player Composition Game Model
M. Nachtigall, Scenario-Driven Strategy Analysis in a n-Player Composition Game Model, Universität Paderborn, 2018.
LibreCat
 
2018 | Mastersthesis | LibreCat-ID: 8075
Heterogeneity in Contests, Sources and Implicants
T. Suvorina, Heterogeneity in Contests, Sources and Implicants, 2018.
LibreCat
 
2018 | Mastersthesis | LibreCat-ID: 5963
Upstream Horizontal Mergers: Contractual Design under Bargaining in Vertically Related Industries
M. Liebermann, Upstream Horizontal Mergers: Contractual Design under Bargaining in Vertically Related Industries, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 5968
Wie werden elektronische Verhandlungen durch Präferenzen beeinflusst?
S. Nithiyanantharasa, Wie Werden Elektronische Verhandlungen Durch Präferenzen Beeinflusst?, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 5970
Facility Location Selection: How to select the optimal facility location ? - The Analytical Hierarchy Process
E. Uzar, Facility Location Selection: How to Select the Optimal Facility Location ? - The Analytical Hierarchy Process, Universität Paderborn, 2018.
LibreCat
 
2018 | Book Chapter | LibreCat-ID: 6423
Preference-Based Reinforcement Learning Using Dyad Ranking
D. Schäfer, E. Hüllermeier, in: Discovery Science, Springer International Publishing, Cham, 2018, pp. 161–175.
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 669
Congestion games with mixed objectives
M. Feldotto, L. Leder, A. Skopalik, Journal of Combinatorial Optimization 36 (2018) 1145–1167.
LibreCat | Files available | DOI | arXiv
 
2018 | Bachelorsthesis | LibreCat-ID: 4802
Entrepreneurship - Zu den Wechselwirkungen von Innovation und Wettbewerb
Y. Akcay, Entrepreneurship - Zu Den Wechselwirkungen von Innovation Und Wettbewerb, 2018.
LibreCat
 
2018 | Mastersthesis | LibreCat-ID: 4807
Die Sharing Economy und ihre Bedeutung für die deutsche Wirtschaft
H. Hammo, Die Sharing Economy Und Ihre Bedeutung Für Die Deutsche Wirtschaft, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 4821
Chancen und Risiken vertikaler Zusammenschlüsse - Eine wettbewerbspolitische Analyse
J. Brachmann, Chancen Und Risiken Vertikaler Zusammenschlüsse - Eine Wettbewerbspolitische Analyse, 2018.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 5216
Relays: A New Approach for the Finite Departure Problem in Overlay Networks
C. Scheideler, A. Setzer, in: Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2018), 2018.
LibreCat | Files available | DOI
 
2018 | Conference Abstract | LibreCat-ID: 2490
Business model idea generation: An exploratory study on changing perspectives
D. Szopinski, D. Kundisch, in: 2nd Business Model Conference, 2018.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 3551
Scheduling with interjob communication on parallel processors
J. König, A. Mäcker, F. Meyer auf der Heide, S. Riechers, Journal of Combinatorial Optimization 36 (2018) 1356–1379.
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 2849
Approximation and Heuristic Algorithms for Computing Backbones in Asymmetric Ad-hoc Networks
F.N. Abu-Khzam, C. Markarian, F. Meyer auf der Heide, M. Schubert, Theory of Computing Systems (2018).
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2109
Ensembles of Evolved Nested Dichotomies for Classification
M.D. Wever, F. Mohr, E. Hüllermeier, in: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2018, Kyoto, Japan, July 15-19, 2018, ACM, Kyoto, Japan, 2018.
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Bachelorsthesis | LibreCat-ID: 5141
Wenn Marketing mobil wird - Ein Überblick zum Einfluss mobiler Geräte auf digitale Märkte
A. Reger, Wenn Marketing mobil wird - Ein Überblick zum Einfluss mobiler Geräte auf digitale Märkte, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 5432
Sharing is Caring - Ein Literaturüberblick über die Sharing Economy
J. Dierkes, Sharing Is Caring - Ein Literaturüberblick Über Die Sharing Economy, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 5470
Evaluation von Taxonomien: Ein Literaturüberblick
J. Hoffmeister, Evaluation von Taxonomien: Ein Literaturüberblick, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 4395
Anwendung von verhaltenspsychologischen Theorien zur Steigerung rechtskonformer Einverständniserklärungen im E-Mail Marketing unter Berücksichtigung der neuen DSGVO-Richtlinien
R. Heukrodt, Anwendung von verhaltenspsychologischen Theorien zur Steigerung rechtskonformer Einverständniserklärungen im E-Mail Marketing unter Berücksichtigung der neuen DSGVO-Richtlinien, Universität Paderborn, 2018.
LibreCat
 
2018 | Mastersthesis | LibreCat-ID: 2488
A New Perspective on Customer Reviews - What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers
J. Kersting, A New Perspective on Customer Reviews - What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 2349
"War diese Rezension für Sie hilfreich?" - Ein Literaturüberblick über die Treiber hilfreicher Online-Bewertungen
J. Santüns, “War diese Rezension für Sie hilfreich?” - Ein Literaturüberblick über die Treiber hilfreicher Online-Bewertungen, Universität Paderborn, 2018.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 3362
Ampehre: An Open Source Measurement Framework for Heterogeneous Compute Nodes
A. Lösch, A. Wiens, M. Platzner, in: Proceedings of the International Conference on Architecture of Computing Systems (ARCS), Springer International Publishing, Cham, 2018, pp. 73–84.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 3552
Reduction Stumps for Multi-Class Classification
F. Mohr, M.D. Wever, E. Hüllermeier, in: Proceedings of the Symposium on Intelligent Data Analysis, ‘s-Hertogenbosch, the Netherlands, n.d.
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 2472
Distributed Placement of Virtualized Control Applications in Mobile Backhaul Networks
S. Auroux, H. Karl, in: Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2484
Fully-Dynamic Bin Packing with Little Repacking
B. Feldkord, M. Feldotto, A. Gupta, G. Guruganesh, A. Kumar, S. Riechers, D. Wajc, in: I. Chatzigiannakis, C. Kaklamanis, D. Marx, D. Sannella (Eds.), 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2018, pp. 51:1-51:24.
LibreCat | Files available | DOI | arXiv
 
2018 | Bachelorsthesis | LibreCat-ID: 2559
Datengetriebene Geschäftsmodelle: Ein Literaturüberblick
L.S. Arendt, Datengetriebene Geschäftsmodelle: Ein Literaturüberblick, Universität Paderborn, 2018.
LibreCat
 
2018 | Journal Article | LibreCat-ID: 2566
Outcome Equivalence in School Choice with Reciprocal Preferences
C.-J. Haake, N. Stroh-Maraun, Economics Letters 170 (2018) 39–41.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2857
Programmatic Task Network Planning
F. Mohr, T. Lettmann, E. Hüllermeier, M.D. Wever, in: Proceedings of the 28th International Conference on Automated Planning and Scheduling, AAAI, 2018.
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 2965
Cloud Architectures for Searchable Encryption
J. Blömer, N. Löken, in: Proceedings of the 13th International Conference on Availability, Reliability and Security, ARES 2018, ACM, New York, NY, USA, n.d., pp. 25:1--25:10.
LibreCat | Files available | DOI
 
2018 | Bachelorsthesis | LibreCat-ID: 1044
Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis
R. Leer, Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis, Universität Paderborn, 2018.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 1063
More than skills: A novel matching proposal for multiplayer video games
N. Stroh-Maraun, D. Kaimann, J. Cox, Entertainment Computing 25 (2018) 26–36.
LibreCat | Files available | DOI
 
2018 | Bachelorsthesis | LibreCat-ID: 1068
Das Zusammenschlussvorhaben der REWE Markt GmbH und Coop eG - eine wettbewerbspolitische Analyse
P. Beichl, Das Zusammenschlussvorhaben der REWE Markt GmbH und Coop eG - eine wettbewerbspolitische Analyse, Universität Paderborn, 2018.
LibreCat
 
2018 | Dissertation | LibreCat-ID: 1138
Distributed Algorithms for Overlay Networks and Programmable Matter
R. Gmyr, Distributed Algorithms for Overlay Networks and Programmable Matter, Universität Paderborn, 2018.
LibreCat | DOI
 
2018 | Conference Paper | LibreCat-ID: 1164
Skueue: A Scalable and Sequentially Consistent Distributed Queue
M. Feldmann, C. Scheideler, A. Setzer, in: Proceedings of the 32nd IEEE International Parallel & Distributed Processing Symposium (IPDPS), IEEE, 2018.
LibreCat | Files available | DOI | arXiv
 
2018 | Conference Paper | LibreCat-ID: 1171
Beschreib mir deine Wohnung und ich sag dir wer du bist - Eine explorative Analyse von Gastgeberpersönlichkeiten auf Airbnb
M. Müller, D. Gutt, J. Neumann, in: Multikonferenz Wirtschaftsinformatik (MKWI) 2018, n.d.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 1183
Back to Basics: Extracting Software Requirements with a Syntactic Approach
M. Caron, F.S. Bäumer, M. Geierhos, in: K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, P. Forbrig, X. Franch, M. Kirikova, N. Madhavji, C. Palomares, J. Ralyté, M. Sabetzadeh, P. Sawyer, D. van der Linden, A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), CEUR-WS.org, 2018.
LibreCat | Files available | Download (ext.)
 
2018 | Bachelorsthesis | LibreCat-ID: 1188
Learning deterministic bandit behaviour form compositions
J. Kempf, Learning Deterministic Bandit Behaviour Form Compositions, Universität Paderborn, 2018.
LibreCat
 
2018 | Dissertation | LibreCat-ID: 1208
Data-Centre Traffic Optimisation using Software-Defined Networks
A. Schwabe, Data-Centre Traffic Optimisation Using Software-Defined Networks, Universität Paderborn, 2018.
LibreCat | DOI
 
2018 | Conference Paper | LibreCat-ID: 6974
A Fully Integrated Multi-Platform NFV SDK
S.B. Schneider, M. Peuster, W. Tavernier, H. Karl, in: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), IEEE, 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 4339
NLP in OTF Computing: Current Approaches and Open Challenges
F.S. Bäumer, M. Geierhos, in: R. Damaševičius, G. Vasiljevienė (Eds.), Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018), Springer, Cham, Switzerland, 2018, pp. 559–570.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 4411
A Self-Stabilizing Hashed Patricia Trie
T. Knollmann, C. Scheideler, in: T. Izumi, P. Kuznetsov (Eds.), Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2018.
LibreCat | Files available | DOI | arXiv
 
2018 | Bachelorsthesis | LibreCat-ID: 4822
Marktmissbrauch im Fall Germania Fluggesellschaft mbH versus Deutsche Lufthansa AG - Eine wettbewerbspolitische Analyse
N. Förstenberg, Marktmissbrauch Im Fall Germania Fluggesellschaft MbH versus Deutsche Lufthansa AG - Eine Wettbewerbspolitische Analyse, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 4827
How can choice sets be architectured to nudge People into certain decisions?
Z.A. Khan, How Can Choice Sets Be Architectured to Nudge People into Certain Decisions?, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 5368
Monotone Suchbarkeit bei den selbststabilisierenden Protokollen Build-List und Build-Multilist mit systemverlassenden Knoten
M. Jochmaring, Monotone Suchbarkeit Bei Den Selbststabilisierenden Protokollen Build-List Und Build-Multilist Mit Systemverlassenden Knoten, 2018.
LibreCat
 
2018 | Mastersthesis | LibreCat-ID: 5414
Study Effects of Approximation on Conjugate Gradient Algorithm and Accelerate it on FPGA Platform
T. Filmwala, Study Effects of Approximation on Conjugate Gradient Algorithm and Accelerate It on FPGA Platform, 2018.
LibreCat
 
2018 | Mastersthesis | LibreCat-ID: 5421
Programmable Programs? - Designing FPGA Overlay Architectures with OpenCL
O. Gadewar, Programmable Programs? - Designing FPGA Overlay Architectures with OpenCL, 2018.
LibreCat
 
2018 | Working Paper | LibreCat-ID: 5820
Provably Anonymous Communication Based on Trusted Execution Environments
J. Blömer, J. Bobolz, C. Scheideler, A. Setzer, Provably Anonymous Communication Based on Trusted Execution Environments, n.d.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 5774
Information Flow Certificates
M. Töws, H. Wehrheim, in: Theoretical Aspects of Computing – ICTAC 2018, Springer International Publishing, Cham, 2018, pp. 435–454.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2681
Extracting the Wisdom from the Crowd: A Comparison of Approaches to Aggregating Collective Intelligence
T. Görzen, F. Laux, in: Tagungsband Multikonferenz Wirtschaftsinformatik 2018 (MKWI), Lüneburg, 2018.
LibreCat | Files available
 
2018 | Conference Abstract | LibreCat-ID: 2491
How to teach business model innovation to 300+ students: An experience report
D. Szopinski, in: 2nd Business Model Conference, 2018.
LibreCat | Files available
 
2018 | Book Chapter | LibreCat-ID: 3742
Dynamic Voluntary Provision of Public Goods: The Recursive Nash Bargaining Solution
S. Hoof, in: Static & Dynamic Game Theory: Foundations & Applications, Springer International Publishing, Cham, 2018, pp. 13–23.
LibreCat | Files available | DOI
 
2018 | Bachelorsthesis | LibreCat-ID: 4997
Das Konzept der Kreativität in der Wirtschaftsinformatik: Ein Literaturüberblick
J. Weigang, Das Konzept Der Kreativität in Der Wirtschaftsinformatik: Ein Literaturüberblick, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 5539
Höhere Verkaufszahlen durch gute Online-Bewertungen - Ein Literaturüberblick
V.H. Tran, Höhere Verkaufszahlen durch gute Online-Bewertungen - Ein Literaturüberblick, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 2833
Beim Einkauf hört die Freundschaft auf? - Eine statistische Analyse von digitalisierten Kundenbewertungen unter Berücksichtigung sozialer Beziehungen
N. Krüger, Beim Einkauf hört die Freundschaft auf? - Eine statistische Analyse von digitalisierten Kundenbewertungen unter Berücksichtigung sozialer Beziehungen, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 3932
Gap Theory of Curiosity - Darstellung des aktuellen Forschungsstands und Untersuchung des Einflusses von Neugierde auf Job Performance auf einer Crowdsourcing-Plattform
C. Werning, Gap Theory of Curiosity - Darstellung des aktuellen Forschungsstands und Untersuchung des Einflusses von Neugierde auf Job Performance auf einer Crowdsourcing-Plattform, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 4795
Was bewegt Kunden auf Online-Plattformen? - Eine semantische Analyse von Online-Bewertungen mittels Latent Dirichlet Allocation
T.A.E.W. Werner, Was Bewegt Kunden Auf Online-Plattformen? - Eine Semantische Analyse von Online-Bewertungen Mittels Latent Dirichlet Allocation, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 1809
Vom Umgang mit der Digitalisierung von Kundenmeinungen - Ein Theorieüberblick zur strategischen Bedeutung von Online-Bewertungen
N. Metzner, Vom Umgang mit der Digitalisierung von Kundenmeinungen - Ein Theorieüberblick zur strategischen Bedeutung von Online-Bewertungen, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 4764
Zweiseitige Märkte und Plattformökonomie in der Information Systems-Forschung - Ein klassifizierender Literaturüberblick
A. Valentin, Zweiseitige Märkte und Plattformökonomie in der Information Systems-Forschung - Ein klassifizierender Literaturüberblick, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 5969
Diskriminierung in sozialen Netzwerken durch Versionierung
C. Schwertheim, Diskriminierung in sozialen Netzwerken durch Versionierung, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 5964
Spieltheoretischer Verhandlungsansatz in der Sozialwahltheorie
C. Bentrup, Spieltheoretischer Verhandlungsansatz in der Sozialwahltheorie, Universität Paderborn, 2018.
LibreCat
 
2018 | Book Chapter | LibreCat-ID: 2322
How to Deal with Inaccurate Service Descriptions in On-The-Fly Computing: Open Challenges
F.S. Bäumer, M. Geierhos, in: M. Silberztein, F. Atigui, E. Kornyshova, E. Métais, F. Meziane (Eds.), Proceedings of the 23rd International Conference on Natural Language and Information Systems, Springer, Cham, Switzerland, 2018, pp. 509–513.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2480
Generating Resource and Performance Models for Service Function Chains: The Video Streaming Case
S. Dräxler, M. Peuster, M. Illian, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), IEEE, 2018, pp. 318--322.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 2485
Online Facility Location with Mobile Facilities
B. Feldkord, F. Meyer auf der Heide, in: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2018, pp. 373–381.
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 2834
Goal Achievement, Subsequent User Effort and the Moderating Role of Goal Difficulty
D. Gutt, T. von Rechenberg, D. Kundisch, Journal of Business Research (2018).
LibreCat | Files available | DOI
 
2018 | Mastersthesis | LibreCat-ID: 3313
Kundenbewertungen und Produktnachfrage: Eine ökonomische Analyse
A. Maurer, Kundenbewertungen und Produktnachfrage: Eine ökonomische Analyse, Universität Paderborn, 2018.
LibreCat
 
2018 | Journal Article | LibreCat-ID: 3402 LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 3510
ML-Plan: Automated Machine Learning via Hierarchical Planning
F. Mohr, M.D. Wever, E. Hüllermeier, Machine Learning (2018).
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Bachelorsthesis | LibreCat-ID: 3851
Congestion Games mit gewichteten Strategien
S. Koop, Congestion Games mit gewichteten Strategien, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 1045
Interactive Data Visualization for Exploded Supergraphs
J.N. Strüwer, Interactive Data Visualization for Exploded Supergraphs, Universität Paderborn, 2018.
LibreCat | Files available
 
2018 | Bachelorsthesis | LibreCat-ID: 1064
Zu den Anreizwirkungen der Kronzeugenregelung - eine wettbewerbspolitische Analyse des Bierkartells
L. Rumert, Zu den Anreizwirkungen der Kronzeugenregelung - eine wettbewerbspolitische Analyse des Bierkartells, Universität Paderborn, 2018.
LibreCat
 
2018 | Journal Article | LibreCat-ID: 1139
Price competition and the Bertrand model: The paradox of the German mobile discount market
D. Kaimann, B. Hoyer, Applied Economics Letters 26 (2018) 54–57.
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Preprint | LibreCat-ID: 1165
Making the Case for Proof-carrying Approximate Circuits
L. Witschen, T. Wiersema, M. Platzner, 4th Workshop On Approximate Computing (WAPCO 2018) (2018).
LibreCat | Files available
 
2018 | Dissertation | LibreCat-ID: 1209
Local Strategies for Swarm Formations on a Grid
D. Jung, Local Strategies for Swarm Formations on a Grid, Universität Paderborn, 2018.
LibreCat | DOI
 
2018 | Conference Paper | LibreCat-ID: 1588
OpenCL-based FPGA Design to Accelerate the Nodal Discontinuous Galerkin Method for Unstructured Meshes
T. Kenter, G. Mahale, S. Alhaddad, Y. Grynko, C. Schmitt, A. Afzal, F. Hannig, J. Förstner, C. Plessl, in: Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), IEEE, 2018.
LibreCat | Files available | DOI
 
2018 | Bachelorsthesis | LibreCat-ID: 5958
Auswirkungen asymmetrischer Information auf Produktqualität - Reputationssysteme als Lösungsansatz
S. Ibraim, Auswirkungen Asymmetrischer Information Auf Produktqualität - Reputationssysteme Als Lösungsansatz, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 5960
Anreize in Bewertungssysteme
T. Martens, Anreize in Bewertungssysteme, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 5965
School Choice in Theory
L. Braun, School Choice in Theory, Universität Paderborn, 2018.
LibreCat
 
2018 | Journal Article | LibreCat-ID: 5984
Preface
C. Scheideler, Theor. Comput. Sci. 751 (2018) 1.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 6970
Trade-offs in Dynamic Resource Allocation in Network Function Virtualization
S.B. Schneider, S. Dräxler, H. Karl, in: IEEE Global Communications Conference (GLOBECOM 2018), IEEE, 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 4563
Competitive Routing in Hybrid Communication Networks
D. Jung, C. Kolb, C. Scheideler, J. Sundermeier, in: Proceedings of the 14th International Symposium on Algorithms and Experiments for Wireless Networks (ALGOSENSORS) , Springer, 2018.
LibreCat | Files available
 
2018 | Mastersthesis | LibreCat-ID: 4804
Neurowissenschaftliche und verhaltensökonomische Determinaten von Nachfrageverhalten bei Such-, Erfahrungs- und Vertrauensgütern
E. Görken, Neurowissenschaftliche Und Verhaltensökonomische Determinaten von Nachfrageverhalten Bei Such-, Erfahrungs- Und Vertrauensgütern, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 4828
Zum Einfluss von Krankenhauswettbewerb auf den Patienten - eine ökonomische Analyse
T. Kusch, Zum Einfluss von Krankenhauswettbewerb Auf Den Patienten - Eine Ökonomische Analyse, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 5403
Mobile Facility Leasing
M. Geromel, Mobile Facility Leasing, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 5422
Vertrauen und Vertrauenswürdigkeit - Akteure auf Cloud-basierten Plattformen
V. Diemke, Vertrauen und Vertrauenswürdigkeit - Akteure auf Cloud-basierten Plattformen, 2018.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 5530
Patterns of Store-oriented Software Ecosystems: Detection, Classification, and Analysis of Design Options
B. Jazayeri, O. Zimmermann, J. Küster, G. Engels, D. Kundisch, D. Szopinski, in: The Latin American Conference on Pattern Languages of Programs (SLPLoP), ACM. To appear, Valparaíso, Chile, 2018.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 5547
A Highly Accurate Energy Model for Task Execution on Heterogeneous Compute Nodes
A. Lösch, M. Platzner, in: 2018 IEEE 29th International Conference on Application-Specific Systems, Architectures and Processors (ASAP), IEEE, 2018.
LibreCat | Files available | DOI
 
2018 | Bachelorsthesis | LibreCat-ID: 5693
Ranking of Classification Algorithms in AutoML
H. Graf, Ranking of Classification Algorithms in AutoML, 2018.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 1204
Automated Code Acceleration Targeting Heterogeneous OpenCL Devices
H. Riebler, G.F. Vaz, T. Kenter, C. Plessl, in: Proc. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), ACM, 2018.
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 3414
JMCTest: Automatically Testing Inter-Method Contracts in Java
P. Börding, J. Haltermann, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), n.d.
LibreCat | Files available
 
2018 | Conference Abstract | LibreCat-ID: 4520
The Traveling Reviewer Problem - Exploring the Relationship Between Offline Locations and Online Rating Behavior
J. Neumann, D. Gutt, D. Kundisch, in: Workshop on IS Design and Economic Behavior (ISDEB), 2018.
LibreCat | Files available
 
2018 | Conference Abstract | LibreCat-ID: 4373 LibreCat | Files available
 
2018 | Bachelorsthesis | LibreCat-ID: 3320
Korrektheitsbeweise für Muster von Servicekompositionen
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen, Universität Paderborn, 2018.
LibreCat
 
2018 | Preprint | LibreCat-ID: 1177
A Case for a New IT Ecosystem: On-The-Fly Computing
H. Karl, D. Kundisch, F. Meyer auf der Heide, H. Wehrheim, (2018).
LibreCat | Files available | Download (ext.)
 
2018 | Bachelorsthesis | LibreCat-ID: 3995
Der Umgang mit mobilen Konsumenten - Ein Literaturüberblick zum Einfluss mobiler Geräte auf digitale Märkte
A. Lappe, Der Umgang mit mobilen Konsumenten - Ein Literaturüberblick zum Einfluss mobiler Geräte auf digitale Märkte, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 3933
Möglichkeiten und Grenzen des Einsatzes der Crowd zur Ideenbewertung - ein klassifizierender Literaturüberblick
L.L. Filges, Möglichkeiten und Grenzen des Einsatzes der Crowd zur Ideenbewertung - ein klassifizierender Literaturüberblick, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 5150
Eine experimentelle Untersuchung der Wahrnehmung professioneller Online Bewertungen
R. Mues, Eine experimentelle Untersuchung der Wahrnehmung professioneller Online Bewertungen, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 2461
Herz über Kopf? Wie emotionale und neutrale Schreibstile darüber entscheiden, ob eine Online Bewertung hilfreich ist
M. Müller, Herz über Kopf? Wie emotionale und neutrale Schreibstile darüber entscheiden, ob eine Online Bewertung hilfreich ist, Universität Paderborn, 2018.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 9924
Punktesystem für Zuwanderung ind Deutschland nach Vorbild von Kanada
M. Aslan, Punktesystem für Zuwanderung ind Deutschland nach Vorbild von Kanada, 2018.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 2272
Signaling und Screening - Abbau von Informationsasymmetrie
V. Golke, Signaling und Screening - Abbau von Informationsasymmetrie, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 2967
Subtleties in Security Definitions for Predicate Encryption with Public Index
J. Blömer, G. Liske, in: Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), Springer International Publishing, Cham, 2017, pp. 438–453.
LibreCat | Files available | DOI | Download (ext.)
 
2017 | Mastersthesis | LibreCat-ID: 100
Evaluation of Software Reputation Matching Based on App Reviews
A. Sergio Djoum Temdjim, Evaluation of Software Reputation Matching Based on App Reviews, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 105
Distributed Monitoring of Network Properties: The Power of Hybrid Networks
R. Gmyr, K. Hinnenthal, C. Scheideler, C. Sohler, in: Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP), 2017, pp. 137:1--137:15.
LibreCat | Files available | DOI
 
2017 | Bachelorsthesis | LibreCat-ID: 1072
Vertikale Wettbewerbsbeschränkung auf Hotelreservierungsportalen - eine ökonomische Analyse anhand der Bestpreisklausel von Booking
D. Lütkevedder, Vertikale Wettbewerbsbeschränkung auf Hotelreservierungsportalen - eine ökonomische Analyse anhand der Bestpreisklausel von Booking, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 1077
Marktabgrenzung in der Internetökonomie - Ein Fallbeispiel zum Fusionsantrag von Immowelt und Immonet
M. Wagemeyer, Marktabgrenzung in der Internetökonomie - Ein Fallbeispiel zum Fusionsantrag von Immowelt und Immonet, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 112
Congestion Games with Complementarities
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC), 2017, pp. 222--233.
LibreCat | Files available | DOI | arXiv
 
2017 | Mastersthesis | LibreCat-ID: 117
Attribute-based Signatures using Structure Preserving Signatures
P. Bemmann, Attribute-Based Signatures Using Structure Preserving Signatures, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 1180
Automatic Machine Learning: Hierachical Planning Versus Evolutionary Optimization
M.D. Wever, F. Mohr, E. Hüllermeier, in: 27th Workshop Computational Intelligence, Dortmund, 2017.
LibreCat | Files available | Download (ext.)
 
2017 | Conference Paper | LibreCat-ID: 124
A Variability Model for Store-oriented Software Ecosystems: An Enterprise Perspective
B. Jazayeri, O. Zimmermann, G. Engels, D. Kundisch, in: Proceedings of the 15th International Conference on Service Oriented Computing (ICSOC), Springer, Málaga, Spain, 2017.
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 1767
Conditional Value-at-Risk: Structure and Complexity of Equilibria
M. Mavronicolas, B. Monien, in: Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), 2017, pp. 131--143.
LibreCat | Files available | DOI
 
2017 | Bachelorsthesis | LibreCat-ID: 698
As Asynchronous Adaption of a Churn-resistant Overlay Network
N.C. Banh, As Asynchronous Adaption of a Churn-Resistant Overlay Network, Universität Paderborn, 2017.
LibreCat
 
2017 | Journal Article | LibreCat-ID: 706
Cost-efficient Scheduling on Machines from the Cloud
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, Journal of Combinatorial Optimization 36 (2017) 1168–1194.
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 73
PART_PW: From Partial Analysis Results to a Proof Witness
M.-C. Jakobs, in: A. Cimatti, M. Sirjani (Eds.), Software Engineering and Formal Methods, 2017, pp. 120–135.
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 78
On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture
B. Jazayeri, S. Schwichtenberg, in: Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop, IEEE, Gothenburg, Sweden, 2017, pp. 120--127.
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 3307 LibreCat | Files available | DOI
 
2017 | Bachelorsthesis | LibreCat-ID: 3580
An FPGA Accelerator for Checking Resolution Proofs
T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 5694
Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies
N.N. Schnitker, Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 5942
Kooperative Standortspiele
C. Ernst, Kooperative Standortspiele, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 5947
Produkte und Dienstleistungen im Paket - Eine Analyse der strategischen Preissetzung -
F. Langer, Produkte Und Dienstleistungen Im Paket - Eine Analyse Der Strategischen Preissetzung -, Universität Paderborn, 2017.
LibreCat
 
2017 | Mastersthesis | LibreCat-ID: 5954
Multi-Dimensional Bargaining Problem and Nash Solution - A procedural approach
T.K.L. Dinh, Multi-Dimensional Bargaining Problem and Nash Solution - A Procedural Approach, Universität Paderborn, 2017.
LibreCat
 
2017 | Dissertation | LibreCat-ID: 61
Self-* Algorithms for Distributed Systems
T.F. Strothmann, Self-* Algorithms for Distributed Systems, Universität Paderborn, 2017.
LibreCat | DOI
 
2017 | Conference Paper | LibreCat-ID: 66
Pure Nash Equilibria in Restricted Budget Games
M. Drees, M. Feldotto, S. Riechers, A. Skopalik, in: Proceedings of the 23rd International Computing and Combinatorics Conference (COCOON), 2017, pp. 175--187.
LibreCat | Files available | DOI
 
2017 | Mastersthesis | LibreCat-ID: 47
Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze
M. Theda, Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 85
Literaturüberblick über die Rolle von Business Architecture in Enterprise Architecture
L. Lohrsträter, Literaturüberblick über die Rolle von Business Architecture in Enterprise Architecture, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 97
From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process
L. van Rooijen, F.S. Bäumer, M.C. Platenius, M. Geierhos, H. Hamann, G. Engels, in: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, Piscataway, NJ, USA, 2017, pp. 379–385.
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 5769
Policy Dependent and Independent Information Flow Analyses
M. Töws, H. Wehrheim, in: Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), Springer International Publishing, 2017, pp. 362–378.
LibreCat | Files available | DOI
 
2017 | Conference Abstract | LibreCat-ID: 92
How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, in: Bosch Business Model Innovation Summit 2017, 2017.
LibreCat | Files available
 
2017 | Conference Abstract | LibreCat-ID: 54 LibreCat | Files available
 
2017 | Conference (Editor) | LibreCat-ID: 5980
Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017
C. Scheideler, M. Taghi Hajiaghayi, eds., Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017, {ACM}, 2017.
LibreCat | DOI
 
2017 | Conference Paper | LibreCat-ID: 59
Sharing is Caring: Multiprocessor Scheduling with a Sharable Resource
P. Kling, A. Mäcker, S. Riechers, A. Skopalik, in: Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2017, pp. 123--132.
LibreCat | Files available | DOI
 
2017 | Mastersthesis | LibreCat-ID: 701
Self-Stabilizing Spanners for Tree Metrics
T. Götte, Self-Stabilizing Spanners for Tree Metrics, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 2273
Das Reputationssystem als bedeutendes Instrument digitaler Märkte
L. Moselage, Das Reputationssystem als bedeutendes Instrument digitaler Märkte, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 101
Erweiterung eines kontextsensitiven Autovervollständigungstools zur natürlichsprachlichen Softwarespezifikation
L. Rehmer, Erweiterung eines kontextsensitiven Autovervollständigungstools zur natürlichsprachlichen Softwarespezifikation, Universität Paderborn, 2017.
LibreCat
 
2017 | Journal Article | LibreCat-ID: 1054
The effects of competition on medical service provision
J. Brosig-Koch, B. Hehenkamp, J. Kokot, Health Economics 26 (2017) 6–20.
LibreCat | Files available | DOI
 
2017 | Mastersthesis | LibreCat-ID: 106
Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz
I. Krammer, Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz, Universität München, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 1073
Sortieren dynamischer Daten
S. Nachtigall, Sortieren dynamischer Daten, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 1078
Die Fusion von AOL und Time Warner - Eine wettbewerbspolitische Analyse
A. Shabani, Die Fusion von AOL und Time Warner - Eine wettbewerbspolitische Analyse, Universität Paderborn, 2017.
LibreCat
 
2017 | Mastersthesis | LibreCat-ID: 1080
Complexity of Signalling in Routing Games under Uncertainty
J. Bürmann, Complexity of Signalling in Routing Games under Uncertainty, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 113
Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games
M. Feldotto, M. Gairing, G. Kotsialou, A. Skopalik, in: Proceedings of the 13th International Conference on Web and Internet Economics (WINE), 2017.
LibreCat | Files available | DOI | arXiv
 
2017 | Bachelorsthesis | LibreCat-ID: 118
An Asynchronous Adaptation of a Churn-resistant Overlay Network
N. Chi Banh, An Asynchronous Adaptation of a Churn-Resistant Overlay Network, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 125
A Self-Stabilizing General De Bruijn Graph
M. Feldmann, C. Scheideler, in: Proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2017, pp. 250–264.
LibreCat | Files available | DOI | arXiv
 
2017 | Conference Paper | LibreCat-ID: 1592
Flexible FPGA design for FDTD using OpenCL
T. Kenter, J. Förstner, C. Plessl, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), IEEE, 2017.
LibreCat | Files available | DOI
 
2017 | Dissertation | LibreCat-ID: 707
Knowledge-based Verification of Service Compositions
S. Walther, Knowledge-Based Verification of Service Compositions, Universität Paderborn, 2017.
LibreCat
 
2017 | Mastersthesis | LibreCat-ID: 74
OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten
C. Knorr, OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 79
Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA), Springer, 2017, pp. 207–222.
LibreCat | Files available | DOI
 
2017 | Book Chapter | LibreCat-ID: 48
Was bedeutet die Transformation der Märkte im digitalen Zeitalter? Ökonomische Grundlagen
D. Kundisch, D. Gutt, in: S. Hannappel, R. Rehm (Eds.), Digitale Ökonomie - Wie verändern sich die Märkte?, 2017.
LibreCat | Files available
 
2017 | Bachelorsthesis | LibreCat-ID: 50
Verzerrte Online-Produktbewertungen - Literaturüberblick
E. Hamdeev, Verzerrte Online-Produktbewertungen - Literaturüberblick, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 55
The Mobile Server Problem
B. Feldkord, F. Meyer auf der Heide, in: Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2017, pp. 313–319.
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 5695
On the Necessity of an Architecture Framework for On-The-Fly Computing
B. Jazayeri, S. Schwichtenberg, in: Proceedings of Softwaretechnik-Trends Workshops, Gesellschaft für Informatik eV, Fachgruppe PARS, Bad Honnef, Germany, 2017.
LibreCat | Files available
 
2017 | Bachelorsthesis | LibreCat-ID: 5943
Dynamische multikriterielle Lohnverhandlungen
T.L. Finke, Dynamische Multikriterielle Lohnverhandlungen, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 5948
Multiattributive elektronische Verhandlungen. Eine Anwendung des Adjusted Winner Verfahrens
M. Czipull, Multiattributive Elektronische Verhandlungen. Eine Anwendung Des Adjusted Winner Verfahrens, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 5950
Crowdfunding Plattformen als Vermittler auf zweiseitigen Märkten - Eine mikroökonomische Analyse
J. Gunning, Crowdfunding Plattformen Als Vermittler Auf Zweiseitigen Märkten - Eine Mikroökonomische Analyse, Universität Paderborn, 2017.
LibreCat
 
2017 | Mastersthesis | LibreCat-ID: 5955
Bitcoin, Ethereum & Co. Was zeichnet eine gute Kryptowährung aus?
J.E. Spiller, Bitcoin, Ethereum & Co. Was Zeichnet Eine Gute Kryptowährung Aus?, Universität Paderborn, 2017.
LibreCat
 
2017 | Mastersthesis | LibreCat-ID: 62
Searchable Encryption
E. Weis, Searchable Encryption, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 67
Provably Secure Key-Derivation-Functions for Certain Types of Applications
M. Jürgens, Provably Secure Key-Derivation-Functions for Certain Types of Applications, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 86
Kartellabsprachen und vertikale Preisbindungen - Eine wettbewerbspolitische Analyse am Bespiel der Lebensmittelindustrie in Deutschland
L. Niggemeyer, Kartellabsprachen und vertikale Preisbindungen - Eine wettbewerbspolitische Analyse am Bespiel der Lebensmittelindustrie in Deutschland, Universität Paderborn, 2017.
LibreCat
 
2017 | Book Chapter | LibreCat-ID: 93
Guesswork? Resolving Vagueness in User-Generated Software Requirements
M. Geierhos, F.S. Bäumer, in: H. Christiansen, M.D. Jiménez-López, R. Loukanova, L.S. Moss (Eds.), Partiality and Underspecification in Information, Languages, and Knowledge, 1st ed., Cambridge Scholars Publishing, Newcastle upon Tyne, UK, 2017, pp. 65–108.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 98
From Open API to Semantic Specifications and Code Adapters
S. Schwichtenberg, C. Gerth, G. Engels, in: Proceedings of the 24th IEEE International Conference on Web Services (ICWS), 2017, pp. 484--491.
LibreCat | Files available
 
2017 | Conference Abstract | LibreCat-ID: 2696
Decomposing the Variance of Online Consumer Ratings and the Impact on Price and Demand
S. Zimmermann, P. Herrmann, D. Kundisch, B. Nault, in: Workshop Theory in Economics of Information Systems (TEIS), 2017.
LibreCat | Files available
 
2017 | Mastersthesis | LibreCat-ID: 3512
Testing Java Method Contracts
P. Börding, Testing Java Method Contracts, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 120
Active Coevolutionary Learning of Requirements Specifications from Examples
M.D. Wever, L. van Rooijen, H. Hamann, in: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 2017, pp. 1327--1334.
LibreCat | Files available | DOI
 
2017 | Mastersthesis | LibreCat-ID: 699
Routing in Hybrid Communication Networks with Holes - Considering Bounding Boxes as Hoel Abstractions
J. Sundermeier, Routing in Hybrid Communication Networks with Holes - Considering Bounding Boxes as Hoel Abstractions, Universität Paderborn, 2017.
LibreCat
 
2017 | Mastersthesis | LibreCat-ID: 81
MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained
L. Luo, MultiSkipList: A Self-Stabilizing Overlay Network with Monotonic Searchability Maintained, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 2274
Der Preis als Qualitätssignal
M.Z. Hennawi, Der Preis als Qualitätssignal, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 2344
Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations
J. Blömer, P. Günther, V. Krummel, N. Löken, in: Foundations and Practice of Security, Springer International Publishing, Cham, 2017, pp. 3–17.
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 2851
Leasing with Uncertainty
C. Markarian, in: International Conference on Operations Research (OR), 2017.
LibreCat | Files available | DOI
 
2017 | Bachelorsthesis | LibreCat-ID: 3291
Microservice-based Execution Environment for Service Compositions
A. Schürmann, Microservice-Based Execution Environment for Service Compositions , Paderborn, 2017.
LibreCat
 
2017 | Dissertation | LibreCat-ID: 102
Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction
M. Becker, Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction, Universität Paderborn, 2017.
LibreCat | DOI
 
2017 | Bachelorsthesis | LibreCat-ID: 1048
Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen
A. Schenk, Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen, Universität Paderborn, 2017.
LibreCat
 
2017 | Report | LibreCat-ID: 1055
Location Choice and Quality Competition in Mixed Hospital Markets
B. Hehenkamp, O. Kaarboe, Location Choice and Quality Competition in Mixed Hospital Markets, Universität Paderborn, 2017.
LibreCat | Files available
 
2017 | Bachelorsthesis | LibreCat-ID: 1074
Robuste Optimierung in Congestion Games
S. Pukrop, Robuste Optimierung in Congestion Games, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 1079
Das Zusammenschlussvorhaben von Edeka und Kaiser's Tengelmann - eine ökonomische Analyse
D.S. Hamacher, Das Zusammenschlussvorhaben von Edeka und Kaiser’s Tengelmann - eine ökonomische Analyse, Universität Paderborn, 2017.
LibreCat
 
2017 | Mastersthesis | LibreCat-ID: 1081
Bounding the Inefficiency of Equilibria in Congestion Games under Taxation
V.R. Vijayalakshmi, Bounding the Inefficiency of Equilibria in Congestion Games under Taxation, Universität Paderborn, 2017.
LibreCat
 
2017 | Journal Article | LibreCat-ID: 1098
Semantic Annotation of Software Requirements with Language Frame
Y.-S. Kim, S.-W. Lee, M. Dollmann, M. Geierhos, International Journal of Software Engineering for Smart Device 4 (2017) 1–6.
LibreCat | Files available
 
2017 | Mastersthesis | LibreCat-ID: 119
Active Learning of User Requirement Specifications in Dynamic Software Service Markets
M.D. Wever, Active Learning of User Requirement Specifications in Dynamic Software Service Markets, Universität Paderborn, 2017.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 121
Achieving more by saying less? On the Moderating Effect of Information Cues in Paid Search
D. Schlangenotto, D. Kundisch, in: Proceedings of the 50th Annual Hawaii International Conference on System Sciences (HICSS), Waikoloa Village, HI, USA, 2017.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 126
A Homeowner’s Guide to Airbnb: Theory and Empirical Evidence for Optimal Pricing Conditional on Online Ratings
J. Neumann, D. Gutt, in: Proceedings of the Twenty Fifth Conference on Information Systems (ECIS), Guimaraes, 2017.
LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 18
Efficient Branch and Bound on FPGAs Using Work Stealing and Instance-Specific Designs
H. Riebler, M. Lass, R. Mittendorf, T. Löcke, C. Plessl, ACM Transactions on Reconfigurable Technology and Systems (TRETS) 10 (2017) 24:1-24:23.
LibreCat | Files available | DOI
 
2017 | Bachelorsthesis | LibreCat-ID: 75
Online-Bewertung und Preissetzung auf Airbnb
D. Leffrang, Online-Bewertung und Preissetzung auf Airbnb, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 82
Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in: Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW), 2017, pp. 139–150.
LibreCat | Files available | DOI
 
2017 | Bachelorsthesis | LibreCat-ID: 5944
Wie können Aufteilungsprobleme gelöst werden? Prozedurale Ansätze zur Konfliktlösung
M. Kipka, Wie Können Aufteilungsprobleme Gelöst Werden? Prozedurale Ansätze Zur Konfliktlösung, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 5949
Machtindizes in politischen Netzwerken - Eine spieltheoretische Analyse
A.-L. Fabisch, Machtindizes in Politischen Netzwerken - Eine Spieltheoretische Analyse, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 5951
How do differentiated goods affect coopetition?
B.O.I.N. Lawal, How Do Differentiated Goods Affect Coopetition?, Universität Paderborn, 2017.
LibreCat
 
2017 | Journal Article | LibreCat-ID: 63
Scheduling Shared Continuous Resources on Many-Cores
E. Althaus, A. Brinkmann, P. Kling, F. Meyer auf der Heide, L. Nagel, S. Riechers, J. Sgall, T. Suess, Journal of Scheduling (2017).
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 70
Price Fluctuations in Online Leasing
B. Feldkord, C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2017, pp. 17–31.
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 49
Visual Languages for Modeling Business Models: A Critical Review and Future Research Directions
T. John, D. Kundisch, D. Szopinski, in: Proceedings of the Thirty Eighth International Conference on Information Systems (ICIS), Seoul, South Korea, 2017.
LibreCat | Files available
 
2017 | Mastersthesis | LibreCat-ID: 51
Tying und Bundling in digitalen Märkten - eine wettbewerbspolitische Analyse
N. Winkelhake, Tying und Bundling in digitalen Märkten - eine wettbewerbspolitische Analyse, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 87
Joint Optimization of Scaling and Placement of Virtual Network Services
S. Dräxler, H. Karl, Z.A. Mann, in: Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017), 2017.
LibreCat | Files available | DOI
 
2017 | Bachelorsthesis | LibreCat-ID: 94
Geschäftsmodelle elektronischer Handelsplattformen
M. Martens, Geschäftsmodelle elektronischer Handelsplattformen, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 981
Profile Your Chains, Not Functions. Automated Network Service Profiling in DevOps Environments
M. Peuster, H. Karl, in: IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN), Berlin, 2017.
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 99
Fault localization in service compositions
H. Wehrheim, in: Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS), 2017.
LibreCat | Files available
 
2017 | Dissertation | LibreCat-ID: 4674
The Performance of Individuals, Teams, and Organizations: Empirical Evidence from the Field
A. Rose, The Performance of Individuals, Teams, and Organizations: Empirical Evidence from the Field , Paderborn University, 2017.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 5204
IDEal: Efficient and Precise Alias-aware Dataflow Analysis
J. Späth, K. Ali, E. Bodden, in: 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), ACM Press, 2017.
LibreCat | Files available | Download (ext.)
 
2017 | Conference Abstract | LibreCat-ID: 56 LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 5209
Computation on Encrypted Data using Data Flow Authentication
A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, CoRR abs/1710.00390 (2017).
LibreCat | Files available | Download (ext.)
 
2017 | Journal Article | LibreCat-ID: 68
Proof-Carrying Hardware via Inductive Invariants
T. Isenberg, M. Platzner, H. Wehrheim, T. Wiersema, ACM Transactions on Design Automation of Electronic Systems (2017) 61:1--61:23.
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 1062
The revenue potential of product differentiation: Empirical evidence fro the Croation restaurant industry
B. Frick, O. Gergaud, P. Winter, Gastronomy and Tourism 2 (2017) 259-271(13).
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 114
Compact Proof Witnesses
M.-C. Jakobs, H. Wehrheim, in: C. Barrett, M. Davies, T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
LibreCat | Files available | DOI
 
2017 | Bachelorsthesis | LibreCat-ID: 3312
The role of eWOM in the movie industry: The effect of online user ratings on box office sales
M. Zarindast, The Role of EWOM in the Movie Industry: The Effect of Online User Ratings on Box Office Sales , 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 1049
Visualisierung zu Algorithmen verteilter Netzwerksysteme
B. Beckendorfer, Visualisierung zu Algorithmen verteilter Netzwerksysteme, Universität Paderborn, 2017.
LibreCat
 
2017 | Report | LibreCat-ID: 1056
Evolutionary Equilibrium in Stochastic Contests - Entry, Effort, and Overdissipation
Y. Gu, B. Hehenkamp, W. Leininger, Evolutionary Equilibrium in Stochastic Contests - Entry, Effort, and Overdissipation, Universität Paderborn, 2017.
LibreCat | Files available
 
2017 | Bachelorsthesis | LibreCat-ID: 1070
Zu den Anreizwirkungen der Kronzeugenregelung - Eine spieltheoretische Analyse
A. Turan, Zu den Anreizwirkungen der Kronzeugenregelung - Eine spieltheoretische Analyse, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 1075
Open Innovation - Eine ökonimische Perspektive
F. Laudage, Open Innovation - Eine ökonimische Perspektive, Universität Paderborn, 2017.
LibreCat
 
2017 | Mastersthesis | LibreCat-ID: 1157
A Framework for the Synthesis of Approximate Circuits
L. Witschen, A Framework for the Synthesis of Approximate Circuits, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 122
Achieving More by Paying Less? How Bricks-and-Mortar Retailers Can Benefit by Bidding Less Aggressively in Paid Search
D. Schlangenotto, D. Kundisch, D. Gutt, in: Proceedings of the Thirty Eighth International Conference on Information Systems (ICIS), Seoul, South Korea, 2017.
LibreCat | Files available
 
2017 | Bachelorsthesis | LibreCat-ID: 696
Das Mobile Server Problem in Netzwerken
L. Wachowiak, Das Mobile Server Problem in Netzwerken, Universität Paderborn, 2017.
LibreCat
 
2017 | Dissertation | LibreCat-ID: 704
Scheduling with Scarce Resources
S. Riechers, Scheduling with Scarce Resources, Universität Paderborn, 2017.
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 45
You can’t buy my rating! On the pivotal effect of an unconditional gift on rating behavior
D. Gutt, D. Schlangenotto, D. Kundisch, in: Wirtschaftsinformatik Proceedings, St. Gallen, Switzerland, 2017.
LibreCat | Files available
 
2017 | Mastersthesis | LibreCat-ID: 5084
How to adequately relocate asylum applicants within the European Union - An attempt to apply matching theory in the current migration crisis
T. Streck, How to Adequately Relocate Asylum Applicants within the European Union - An Attempt to Apply Matching Theory in the Current Migration Crisis, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 57
Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements
F.S. Bäumer, M. Dollmann, M. Geierhos, in: F. Sarro, E. Shihab, M. Nagappan, M.C. Platenius, D. Kaimann (Eds.), Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics, ACM, New York, NY, USA, 2017, pp. 19–25.
LibreCat | Files available | DOI
 
2017 | Mastersthesis | LibreCat-ID: 5724
Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction
A. Hetzer, T. Tornede, Solving the Container Pre-Marshalling Problem Using Reinforcement Learning and Structured Output Prediction, Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 5945
Simultane bilatrale Verhandlungen - Die Zusammenstellung eines Sortiments
D. Kühn, Simultane Bilatrale Verhandlungen - Die Zusammenstellung Eines Sortiments, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 5952
Netzwerkeffekte auf zweiseitigen Märkten - Eine ökonomische Betrachtung der Modelle
J.H. Loske, Netzwerkeffekte Auf Zweiseitigen Märkten - Eine Ökonomische Betrachtung Der Modelle, Universität Paderborn, 2017.
LibreCat
 
2017 | Mastersthesis | LibreCat-ID: 5957
Game Theory solutions for the Transshipment Problem in Logistic Networks
M.B.K. Zünkler, Game Theory Solutions for the Transshipment Problem in Logistic Networks, Universität Paderborn, 2017.
LibreCat
 
2017 | Journal Article | LibreCat-ID: 64 LibreCat | Files available | DOI
 
2017 | Bachelorsthesis | LibreCat-ID: 83
Microsoft vs. the EU Commission - An analysis on product bundeling
D. Uden, Microsoft vs. the EU Commission - An Analysis on Product Bundeling, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 88
Instantiating a Predicate Encryption Scheme via Pair Encodings
A. Ganesh Athreya, Instantiating a Predicate Encryption Scheme via Pair Encodings, Universität Paderborn, 2017.
LibreCat
 
2017 | Encyclopedia Article | LibreCat-ID: 95
Geschäftsmodell-Modellierungssprache/Business Model Modeling Language
D. Kundisch, T. John, in: Enzyklopädie der Wirtschaftsinformatik, GITO, 2017.
LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 69
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software
M.-C. Jakobs, H. Wehrheim, ACM Transactions on Programming Languages and Systems (2017) 7:1-7:56.
LibreCat | Files available | DOI
 
2017 | Journal Article | LibreCat-ID: 90
Incremental Inductive Verification of Parameterized Timed Systems
T. Isenberg, ACM Transactions on Embedded Computing Systems (2017) 47:1-47:24.
LibreCat | Files available | DOI
 
2017 | Conference Abstract | LibreCat-ID: 127
A Homeowner’s Guide to Airbnb: Theory and Empirical Evidence for Optimal Pricing Conditional on Online Ratings
J. Neumann, D. Gutt, D. Kundisch, in: INFORMS Conference on Information Systems and Technology (CIST), 2017.
LibreCat | Files available
 
2017 | Conference Abstract | LibreCat-ID: 52
Towards Explaining the Popularity of the Business Model Canvas: A Dual-coding Approach
T. John, D. Szopinski, in: 1st Business Model Conference, 2017.
LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 110
Continuous Speed Scaling with Variability: A Simple and Direct Approach
A. Antoniadis, P. Kling, S. Ott, S. Riechers, Theoretical Computer Science (2017) 1–13.
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 71
Predicting Rankings of Software Verification Tools
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26.
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 115
Certification Matters for Service Markets
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 2269
Constitutions and groups
A. Mauleon, N. Roehl, V. Vannetelbosch, Games and Economic Behavior 107 (2017) 135–152.
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 3325
Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics
V. Melnikov, E. Hüllermeier, in: Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017, KIT Scientific Publishing, 2017.
LibreCat | Files available | DOI
 
2017 | Bachelorsthesis | LibreCat-ID: 104
EAX - An Authenticated Encryption Mode for Block Ciphers
D. Diemert, EAX - An Authenticated Encryption Mode for Block Ciphers, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 1069
Zu den Wechselwirkungen von Wettbewerb und Innovation - Eine ökonomische Analyse
H.C. Petersen, Zu den Wechselwirkungen von Wettbewerb und Innovation - Eine ökonomische Analyse, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 1071
Zu den Anreiz- und Wohlfahrtswirkungen der Kronzeugenregelung - Das Fallbeispiel des LKW-Kartells (1997-2011)
J. Iding, Zu den Anreiz- und Wohlfahrtswirkungen der Kronzeugenregelung - Das Fallbeispiel des LKW-Kartells (1997-2011), Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 1076
Marktmacht in zweiseitigen Online-Märkten - Probleme der Bestimmung einer marktbeherrschenden Stellung am Beispiel von eBay
M. Goebel, Marktmacht in zweiseitigen Online-Märkten - Probleme der Bestimmung einer marktbeherrschenden Stellung am Beispiel von eBay, Universität Paderborn, 2017.
LibreCat
 
2017 | Working Paper | LibreCat-ID: 1083
Matching Strategies of Heterogeneous Agents under Incomplete Information in a University Clearinghouse
B. Hoyer, N. Stroh-Maraun, Matching Strategies of Heterogeneous Agents under Incomplete Information in a University Clearinghouse, CIE Working Paper Series, Paderborn University, 2017.
LibreCat | Files available | Download (ext.)
 
2017 | Mastersthesis | LibreCat-ID: 109
Cooperative static analysis of Android applications
F. Pauck, Cooperative Static Analysis of Android Applications, Universität Paderborn, 2017.
LibreCat
 
2017 | Dissertation | LibreCat-ID: 116
CCA-Security for Predicate Encryption Schemes
G. Liske, CCA-Security for Predicate Encryption Schemes, Universität Paderborn, 2017.
LibreCat | DOI | Download (ext.)
 
2017 | Conference Paper | LibreCat-ID: 77
On-The-Fly Computing: Ein Referenzmodell für individualisierte IT-Dienstleistungen in dynamischen Märkten
D. Szopinski, B. Jazayeri, G. Engels, D. Kundisch, in: Proceedings of the Workshop Enterprise Architecture Management in Forschung Und Praxis, INFORMATIK 2017, Chemnitz, Germany, GI, 2017, pp. 2059–2066.
LibreCat | Files available
 
2017 | Bachelorsthesis | LibreCat-ID: 5946
Outsourcing und Qualität im Supply Chain - Eine Gleichgewichtsanalyse
S. Kühn, Outsourcing Und Qualität Im Supply Chain - Eine Gleichgewichtsanalyse, Universität Paderborn, 2017.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 5953
Optimale Projektverträge unter Kostenunsicherheit
M. Schieman, Optimale Projektverträge Unter Kostenunsicherheit, Universität Paderborn, 2017.
LibreCat
 
2017 | Mastersthesis | LibreCat-ID: 60
Semantically Secure Attribute-based Searchable Encryption
D. Niehus, Semantically Secure Attribute-Based Searchable Encryption, Universität Paderborn, 2017.
LibreCat
 
2017 | Dissertation | LibreCat-ID: 685
On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring
M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, Universität Paderborn, 2017.
LibreCat | Files available | DOI
 
2017 | Bachelorsthesis | LibreCat-ID: 697
Untersuchungen zum Cone-Hashing
M. Burkhardt, Untersuchungen zum Cone-Hashing, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 717
SONATA: Service programming and orchestration for virtualized software networks
S. Dräxler, H. Karl, M. Peuster, H. Razzaghi Kouchaksaraei, M. Bredel, J. Lessmann, T. Soenen, W. Tavernier, S. Mendel-Brin, G. Xilouris, in: 2017 IEEE International Conference on Communications Workshops (ICC Workshops), IEEE, 2017.
LibreCat | Files available | DOI | Download (ext.)
 
2017 | Mastersthesis | LibreCat-ID: 46
Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen
F. Grobbel, Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 53
The Traveling Reviewer Problem – Exploring the Relationship Between Offline Locations and Online Rating Behavior
J. Neumann, D. Gutt, D. Kundisch, in: Proceedings of the Thirty Eighth International Conference on Information Systems (ICIS), 2017.
LibreCat | Files available
 
2017 | Journal Article | LibreCat-ID: 58
Specification, Composition, and Placement of Network Services with Flexible Structures
S. Dräxler, H. Karl, International Journal of Network Management (2017) 1--16.
LibreCat | Files available | DOI
 
2017 | Conference Paper | LibreCat-ID: 84
MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract)
M.C. Platenius, S. Arifulina, W. Schäfer, in: Tagungsband Software Engineering, 2017, pp. 81--82.
LibreCat | Files available
 
2017 | Bachelorsthesis | LibreCat-ID: 96
Geschäftsmodell-Frameworks zur Analyse und Klassifikation bestehender Geschäftsmodelle
M. Warkentin, Geschäftsmodell-Frameworks zur Analyse und Klassifikation bestehender Geschäftsmodelle, Universität Paderborn, 2017.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 91
How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools
D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, in: Proceedings of the Twenty-Third Americas Conference on Information Systems (AMCIS), 2017.
LibreCat | Files available
 
2017 | Report | LibreCat-ID: 72
Predicting Rankings of Software Verification Competitions
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Predicting Rankings of Software Verification Competitions, 2017.
LibreCat | Files available
 
2017 | Report | LibreCat-ID: 123
A Variability Model for Store-oriented Software Ecosystems: An Enterprise Perspective (Supplementary Material)
B. Jazayeri, O. Zimmermann, G. Engels, D. Kundisch, A Variability Model for Store-Oriented Software Ecosystems: An Enterprise Perspective (Supplementary Material), Universität Paderborn, 2017.
LibreCat | Files available
 
2017 | Dissertation | LibreCat-ID: 89
Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen
F.S. Bäumer, Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen, Universität Paderborn, 2017.
LibreCat | DOI
 
2017 | Report | LibreCat-ID: 1057
Asymmetric Dominance Effect with Multiple Decoys for Low- and High-Variance Lotteries
O. Sürücü, B. Mir Djawadi, S. Brangewitz, Asymmetric Dominance Effect with Multiple Decoys for Low- and High-Variance Lotteries, Universität Paderborn, 2017.
LibreCat | Files available
 
2017 | Conference Paper | LibreCat-ID: 65
reMinMin: A Novel Static Energy-Centric List Scheduling Approach Based on Real Measurements
A. Lösch, M. Platzner, in: Proceedings of the 28th Annual IEEE International Conference on Application-Specific Systems, Architectures and Processors (ASAP), 2017.
LibreCat | Files available | DOI
 
2017 | Mastersthesis | LibreCat-ID: 700
A Self-Stabilizing Protocol for Graphs of Diameter Two
T. Knollmann, A Self-Stabilizing Protocol for Graphs of Diameter Two, Universität Paderborn, 2017.
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: 201
Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung
H. Bröcher, Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung, Universität Paderborn, 2016.
LibreCat
 
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 | 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 | Dissertation | LibreCat-ID: 220
Application Deployment at Distributed Clouds
M. Keller, Application Deployment at Distributed Clouds, Universität Paderborn, 2016.
LibreCat | Files available
 
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 | Working Paper | LibreCat-ID: 2570
Stackelberg Competition among Intermediaries in a Differentiated Duopoly with Product Innovation
J. Manegold, Stackelberg Competition among Intermediaries in a Differentiated Duopoly with Product Innovation, CIE Working Paper Series, Paderborn University, 2016.
LibreCat | Files available
 
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 | 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 | Bachelorsthesis | LibreCat-ID: 136
Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen
D. Vollmers, Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen, Universität Paderborn, 2016.
LibreCat
 
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 | Conference Paper | LibreCat-ID: 148
Supporting Business Model Idea Generation Through Machine-generated Ideas: A Design Theory
T. John, in: Proceedings of the Thirty Seventh International Conference on Information Systems (ICIS), Dublin, Ireland, 2016.
LibreCat | Files available | Download (ext.)
 
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 | 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 | 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 | 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 | 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 | 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 | 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 | Bachelorsthesis | LibreCat-ID: 5935
Der Einfluss von Netzwerken auf Gleichgewichtspreise - eine spieltheoretische Analyse
J. Flemming, Der Einfluss von Netzwerken Auf Gleichgewichtspreise - Eine Spieltheoretische Analyse, Universität Paderborn, 2016.
LibreCat
 
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 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 | Report | LibreCat-ID: 198
Features of IT Service Markets: A Systematic Literature Review (Supplementary Material)
B. Jazayeri, M.C. Platenius, G. Engels, D. Kundisch, Features of IT Service Markets: A Systematic Literature Review (Supplementary Material), Universität Paderborn, 2016.
LibreCat | Files available
 
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 | Dissertation | LibreCat-ID: 202
Economics of Corruption and Crime: An Interdisciplinary Approach to Behavioral Ethics
E. Dimant, Economics of Corruption and Crime: An Interdisciplinary Approach to Behavioral Ethics, Universität Paderborn, 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 | 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: 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 | 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 | Journal Article | LibreCat-ID: 2540
Sustainability of coalitional equilibria within repeated tax competition
S. Brangewitz, S. Brockhoff, European Journal of Political Economy 49 (2016) 1–23.
LibreCat | Files available | DOI
 
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 | Bachelorsthesis | LibreCat-ID: 3308
Monitoring in Franchise-Netzwerken: Eine ökonomische Analyse
R. Breuer, Monitoring in Franchise-Netzwerken: Eine ökonomische Analyse, Universität Paderborn, 2016.
LibreCat
 
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 | 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 | 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 | 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 | 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: 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 | 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 | 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 | Bachelorsthesis | LibreCat-ID: 194
Gefälschte Online Bewertungen - Literaturüberblick
T. Sassenberg, Gefälschte Online Bewertungen - Literaturüberblick, Universität Paderborn, 2016.
LibreCat
 
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: 738
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 | Bachelorsthesis | LibreCat-ID: 5931
Hat vertikale Integration einen Einfluss auf die allgemeine Wohlfahrt?
C. Handel, Hat Vertikale Integration Einen Einfluss Auf Die Allgemeine Wohlfahrt?, 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 | 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 | Conference Paper | LibreCat-ID: 199
Features of IT Service Markets: A Systematic Literature Review
B. Jazayeri, M. Platenius, G. Engels, D. Kundisch, in: Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC), Springer, Banff, Canada, 2016, pp. 301–316.
LibreCat | Files available | DOI
 
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 | 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: 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 | Conference Paper | LibreCat-ID: 137
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
 
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 | Mastersthesis | LibreCat-ID: 210
Congestion Games with Mixed Objectives
L. Leder, Congestion Games with Mixed Objectives, 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: 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: 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 | Bachelorsthesis | LibreCat-ID: 133
Verifikation von Service Kompositionen mit Spin
M. Dewender, Verifikation von Service Kompositionen mit Spin, Universität Paderborn, 2016.
LibreCat
 
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 | 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 | 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: 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: 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 | 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 | 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
 
2016 | Conference Paper | LibreCat-ID: 176
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 | 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 | Dissertation | LibreCat-ID: 188
Insider-Resistant Distributed Storage Systems
M. Eikel, Insider-Resistant Distributed Storage Systems, Universität Paderborn, 2016.
LibreCat | Files available
 
2016 | Dissertation | LibreCat-ID: 195
Fuzzy Matching of Comprehensive Service Specifications
M.C. Platenius, Fuzzy Matching of Comprehensive Service Specifications, Universität Paderborn, 2016.
LibreCat | Files available
 
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
E. Kozak, 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: 5937
Staatliche Regulierung in vertikal verbundenen Industrien - eine spieltheoretische Analyse
M. Hoffmann, Staatliche Regulierung in Vertikal Verbundenen Industrien - Eine Spieltheoretische Analyse, 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, 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, 2016.
LibreCat
 
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 | 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 | 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 | 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 | 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 | Mastersthesis | LibreCat-ID: 688
Friendship Processes in Network Creation Games
D. Kutzias, Friendship Processes in Network Creation Games, Universität Paderborn, 2016.
LibreCat
 
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: 196
Fußwallwunder Leicester City - Auch in der Bundesliga möglich? Ein ökonomischer Vergleich des Wettbewerbs in der Bundesliga mit der englischen Premier League
C. Aykanat, Fußwallwunder Leicester City - Auch in der Bundesliga möglich? Ein ökonomischer Vergleich des Wettbewerbs in der Bundesliga mit der englischen Premier League, Universität Paderborn, 2016.
LibreCat
 
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 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 | 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 | 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 Twenty Fourth Conference on Information Systems (ECIS), Istanbul, 2016.
LibreCat | Files available
 
2016 | Mastersthesis | LibreCat-ID: 223
Aggregation in Overlay Networks
K. Hinnenthal, Aggregation in Overlay Networks, 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: 134
Verifikation von Service Kompositionen mit Prolog
P. Heinisch, Verifikation von Service Kompositionen mit Prolog, 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: 141
Towards Automated Service Composition Under Quality Constraints
F. Mohr, Towards Automated Service Composition Under Quality Constraints, Universität Paderborn, 2016.
LibreCat | 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 | 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 | 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: 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 | 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 | 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 | Conference Paper | LibreCat-ID: 730
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 | Bachelorsthesis | LibreCat-ID: 5407
Price-Based Allocation Games
J. Koepe, Price-Based Allocation Games, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 5933
Die Berechnung von Machtindizes - ein Vergleich verschiedener Verfahren
P. Rauen, Die Berechnung von Machtindizes - Ein Vergleich Verschiedener Verfahren, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 5938
Pricing and Revenue Sharing of Bundles Using Game Theoretical Concepts
S. Sterr, Pricing and Revenue Sharing of Bundles Using Game Theoretical Concepts, 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
H.-J. Lakemeyer, Automatisiertes Matching von Angebot Und Nachfrage in Der Kunststoffindustrie Ein Fallbeispiel in Kooperation Mit Der PINPOOLS GmbH, Universität Paderborn, 2016.
LibreCat
 
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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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 | 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, Universität Paderborn, 2016.
LibreCat | Files available
 
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 | Conference Paper | LibreCat-ID: 166
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 | 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 | 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 | 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 Thirty Seventh International Conference on Information Systems (ICIS), Dublin, Ireland, 2016.
LibreCat | Files available
 
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 | 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 | Mastersthesis | LibreCat-ID: 197
Frag die Anwender: Extraktion und Klassifikation von funktionalen Softwareanforderungen aus User-Generated-Content
M. Dollmann, Frag die Anwender: Extraktion und Klassifikation von funktionalen Softwareanforderungen aus User-Generated-Content, Universität Paderborn, 2016.
LibreCat
 
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 | Mastersthesis | LibreCat-ID: 5934
Renegotiable vs. Non-Renegotiable Agreements - Theory and Applications
B. Li, Renegotiable vs. Non-Renegotiable Agreements - Theory and Applications, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 5939
Intermediaries in Buyer Seller Networks
J. Krentz, Intermediaries in Buyer Seller Networks, Universität Paderborn, 2016.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 5941
Stabile Supply-Chains - Basierend auf der Theorie der Matching-Märkte
J. Tozman, Stabile Supply-Chains - Basierend Auf Der Theorie Der Matching-Märkte, Universität Paderborn, 2016.
LibreCat
 
2016 | Conference Abstract | LibreCat-ID: 205 LibreCat | Files available
 
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 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 | 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 | Dissertation | LibreCat-ID: 200
Existence and Properties of Pure Nash Equilibria in Budget Games
M. Drees, Existence and Properties of Pure Nash Equilibria in Budget Games, Universität Paderborn, 2016.
LibreCat | Files available
 
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 | 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: 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
 
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 | 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 | 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 | 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 | Mastersthesis | LibreCat-ID: 251
Solving the aggregated bandits problem
K. Pfannschmidt, Solving the Aggregated Bandits Problem, 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 | Bachelorsthesis | LibreCat-ID: 268
Online Bewertungssysteme – Ein systematischer Überblick
A. Lange, Online Bewertungssysteme – Ein systematischer Überblick, Universität Paderborn, 2015.
LibreCat
 
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 | 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: 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 | 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 | Mastersthesis | LibreCat-ID: 299
Elektromagnetische Seitenkanalangriffe auf paarungsbasierte Kryptographie
B. Gerken, Elektromagnetische Seitenkanalangriffe auf paarungsbasierte Kryptographie, Universität Paderborn, 2015.
LibreCat
 
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 | 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 | 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 | 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 | Bachelorsthesis | LibreCat-ID: 3340
Partial Order Planning - Implementierung und Visualisierung
J. Kuckling, Partial Order Planning - Implementierung und Visualisierung, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 3364
Evaluation von Bildverarbeitungsalgorithmen in heterogenen Rechenknoten
C. Knorr, Evaluation von Bildverarbeitungsalgorithmen in heterogenen Rechenknoten, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 5923
Aggregating Online Reputation Feedback
P. Lempa, Aggregating Online Reputation Feedback, Universität Paderborn, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 5928
Cournot-Nash-Bertrand Wettbewerb im serviceorientierten Internet
K. Olszewski, Cournot-Nash-Bertrand Wettbewerb Im Serviceorientierten Internet, Universität Paderborn, 2015.
LibreCat
 
2015 | Mastersthesis | LibreCat-ID: 5930
Bilateral matching and bargaining games
M. Shang, 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 | 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, 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: INFORMS Conference on Information Systems and Technology (CIST), 2015.
LibreCat | Files available
 
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 | 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: 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 | 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 | Report | LibreCat-ID: 233
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 | 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
 
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 | 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: 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 | 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 | 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: 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 | Conference Paper | LibreCat-ID: 303
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
 
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 | 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 | 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 | Conference Paper | LibreCat-ID: 322
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: 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 | 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 | Bachelorsthesis | LibreCat-ID: 5929
Multilaterale Verhandlungen aus Produzentensicht
M. Seewald, Multilaterale Verhandlungen Aus Produzentensicht, 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 | Journal Article | LibreCat-ID: 288 LibreCat | Files available | DOI
 
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 | 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 | 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 | 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 | 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 | 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: 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 | 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 | 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 | 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: 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 | 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 | 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: 289
How do Different Sources of the Variance of Consumer Ratings Matter?
P. Herrmann, D. Kundisch, S. Zimmermann, B. Nault, in: Proceedings of the Thirty Sixth International Conference on Information Systems (ICIS), Fort Worth, 2015.
LibreCat | Files available
 
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 | 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 | 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 | 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: 316
Budget Games with priced strategies
J. Pautz, Budget Games with Priced Strategies, Universität Paderborn, 2015.
LibreCat
 
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: 5925
Produktdifferenzierung und Verhandlungsposition im duopolistischen Wettbewerb
G.L. Kaiser, Produktdifferenzierung Und Verhandlungsposition Im Duopolistischen Wettbewerb, Universität Paderborn, 2015.
LibreCat
 
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, 2015.
LibreCat
 
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, 2015.
LibreCat
 
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: 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: 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 | 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 | Journal Article | LibreCat-ID: 3343
Learning Boolean Specifications
U. Bubeck, H. Kleine Büning, Artificial Intelligence (2015) 246–257.
LibreCat | Files available | DOI
 
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 | 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 Thirty Sixth International Conference on Information Systems (ICIS), Fort Worth, USA, 2015.
LibreCat | Files available
 
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 | 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: 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 | Conference Paper | LibreCat-ID: 254
Sharing Means Caring? Hosts' Price Reactions to Rating Visibility
D. Gutt, P. Herrmann, in: Proceedings of the Twenty Third European Conference on Information Systems (ECIS), Münster, 2015.
LibreCat | Files available
 
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: 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 | 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 | 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 | 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: 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 | 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 | 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 | Mastersthesis | LibreCat-ID: 5419
Accelerating Programmable Logic Controllers with the use of FPGAs
F. Wallaschek, Accelerating Programmable Logic Controllers with the Use of FPGAs, 2015.
LibreCat
 
2015 | Bachelorsthesis | LibreCat-ID: 5926
Verhandlungserfolg durch Reduktion von Verhandlungsasymmetrien - eine Analyse mit dem Adjusted-Winner-Verfahren
E. Lapaite, Verhandlungserfolg Durch Reduktion von Verhandlungsasymmetrien - Eine Analyse Mit Dem Adjusted-Winner-Verfahren, Universität Paderborn, 2015.
LibreCat
 
2015 | Conference Abstract | LibreCat-ID: 259 LibreCat | Files available
 
2015 | Journal Article | LibreCat-ID: 228 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 | 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 | 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 | 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 | 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: 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 | 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 | 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 | 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 | Dissertation | LibreCat-ID: 267
Online Resource Leasing
C. Markarian, Online Resource Leasing, Universität Paderborn, 2015.
LibreCat | Files available
 
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 | 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: 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 | 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: 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: 301
Efficient Verifier-Local Revocation for Anonymous Credentials
J. Bobolz, Efficient Verifier-Local Revocation for Anonymous Credentials, 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 | 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 | 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
 
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 | Bachelorsthesis | LibreCat-ID: 5927
Simultane bilaterale Verhandlungen - Zur Zusammenstellung eines Sortiments
A. Mertins, Simultane Bilaterale Verhandlungen - Zur Zusammenstellung Eines Sortiments, Universität Paderborn, 2015.
LibreCat
 
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 | 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 | 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 | 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 | 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 | 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
 
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: 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 | 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 | 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 | 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 | 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: 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 | 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 | Conference Paper | LibreCat-ID: 388
Partitioning and Vectorizing Binary Applications for a Reconfigurable Vector Computer
T. Kenter, G.F. Vaz, C. Plessl, in: Proceedings of the International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications (ARC), Springer International Publishing, Cham, 2014, pp. 144–155.
LibreCat | Files available | DOI
 
2014 | Bachelorsthesis | LibreCat-ID: 403
Machtverteilungen von Koalitionen im Fokus der politischen Realität
T. Martin Lohre, Machtverteilungen von Koalitionen im Fokus der politischen Realität, Universität Paderborn, 2014.
LibreCat
 
2014 | Journal Article | LibreCat-ID: 410
Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services
A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, International Journal On Advances in Intelligent Systems (IntSys) 7 (2014) 572--594.
LibreCat | Files available | Download (ext.)
 
2014 | Mastersthesis | LibreCat-ID: 415
Handling Incomplete Service Specifications using Fuzzy Matching
S. Vijapurwala, Handling Incomplete Service Specifications Using Fuzzy Matching, Universität Paderborn, 2014.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 422
Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions
M. Sanati, Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions, Universität Paderborn, 2014.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 427
Evaluating the Influence of Different Abstraction Levels of Software Design on Performance prediction
B. Bulk, Evaluating the Influence of Different Abstraction Levels of Software Design on Performance Prediction, Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 434
Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen
L. Luo, Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen, Universität Paderborn, 2014.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 439
Deferring Accelerator Offloading Decisions to Application Runtime
G.F. Vaz, H. Riebler, T. Kenter, C. Plessl, in: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2014, pp. 1–8.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 441
Datenschutz im Future Internet: rechtliche Aspekte und technische Maßnahmen
C. Sorge, R. Petrlic, in: Tagungsband Des 17. Internationalen Rechtsinformatik Symposions, 2014.
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 446
Competitive MAC under adversarial SINR
A. Ogierman, A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM), 2014, pp. 2751--2759.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 453
Bounding the Potential Function in Congestion Games and Approximate Pure Nash Equilibria
M. Feldotto, M. Gairing, A. Skopalik, in: Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 30–43.
LibreCat | Files available | DOI
 
2014 | Mastersthesis | LibreCat-ID: 458
Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic
P. Dreimann, Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic, Universität Paderborn, 2014.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 460
Advanced AES-key recovery from decayed RAM-dumps using multi-threading and FPGAs
R. Mittendorf, Advanced AES-Key Recovery from Decayed RAM-Dumps Using Multi-Threading and FPGAs, Universität Paderborn, 2014.
LibreCat
 
2014 | Report | LibreCat-ID: 465
A MINLP Approach for Planning the Renewal of Pipes in Drinking Water Networks
F. Stapel, L. Suhl, A MINLP Approach for Planning the Renewal of Pipes in Drinking Water Networks, Universität Paderborn, 2014.
LibreCat | Files available
 
2014 | Journal Article | LibreCat-ID: 390
On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains
Z. Huma, C. Gerth, G. Engels, Computer Science - Research and Development (2014) 333–361.
LibreCat | Files available | DOI
 
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: 408
Integrating Software and Hardware Verification
M.-C. Jakobs, M. Platzner, T. Wiersema, H. Wehrheim, in: E. Albert, E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), 2014, pp. 307–322.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 395
Multilevel Network Games
S. Abshoff, A. Cord-Landwehr, D. Jung, A. Skopalik, in: Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 435–440.
LibreCat | Files available | DOI
 
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: 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: 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: 341
Two-Sided Market and Game Console Vendors
T. Fang Cheng, Two-Sided Market and Game Console Vendors, Universität Paderborn, 2014.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 360
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 | Journal Article | LibreCat-ID: 365
Self-awareness as a Model for Designing and Operating Heterogeneous Multicores
A. Agne, M. Happe, A. Lösch, C. Plessl, M. Platzner, ACM Transactions on Reconfigurable Technology and Systems (TRETS) 7 (2014).
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 | Conference Paper | LibreCat-ID: 377
Reconstructing AES Key Schedules from Decayed Memory with FPGAs
H. Riebler, T. Kenter, C. Plessl, C. Sorge, in: Proceedings of Field-Programmable Custom Computing Machines (FCCM), IEEE, 2014, pp. 222–229.
LibreCat | Files available | DOI
 
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 | Report | LibreCat-ID: 389
Ontology-based Representation of Optimization Models
F. Stapel, L. Suhl, Ontology-Based Representation of Optimization Models, Universität Paderborn, 2014.
LibreCat | Files available
 
2014 | Mastersthesis | LibreCat-ID: 391
On Variants of the Page Migration Problem
B. Feldkord, On Variants of the Page Migration Problem, Universität Paderborn, 2014.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 396
Modeling and Matching of Reputation of Services in On-The-Fly Computing
D. Bano, Modeling and Matching of Reputation of Services in On-The-Fly Computing, Universität Paderborn, 2014.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 404
Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse
D. van Straaten, Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse, Universität Paderborn, 2014.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 411
Improving Service Specifications for the Service Matching on a Service Market
V. Taherinajafabadi, Improving Service Specifications for the Service Matching on a Service Market, Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 416
Group Signature Schemes with Strong Exculpability
P. Bemmann, Group Signature Schemes with Strong Exculpability, Universität Paderborn, 2014.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 423
Finding Optimal Self-Adaption Rules by Design-Space Exploration
S. Jojiju, Finding Optimal Self-Adaption Rules by Design-Space Exploration, Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 430
Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT
A. Krakau, Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT, 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 | Mastersthesis | LibreCat-ID: 454
Automated Service Composition: Adaption of the ASTRO Approach
W. Heldt, Automated Service Composition: Adaption of the ASTRO Approach, Universität Paderborn, 2014.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 459
Algorithmic Aspects of Resource Management in the Cloud
S. Kniesburges, C. Markarian, F. Meyer auf der Heide, C. Scheideler, in: Proceedings of the 21st International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2014, pp. 1–13.
LibreCat | Files available | DOI
 
2014 | Bachelorsthesis | LibreCat-ID: 461
Adaptive Placement of Programmable Virtual Network Function Chains
S. Dräxler, Adaptive Placement of Programmable Virtual Network Function Chains, Universität Paderborn, 2014.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 466
A generalized loop accelerator implemented as a coarse grained array.
M. Brand, A Generalized Loop Accelerator Implemented as a Coarse Grained Array., Universität Paderborn, 2014.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 5190
DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android
S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.
LibreCat | Files available | Download (ext.)
 
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 | Conference Paper | LibreCat-ID: 409
Integrating Service Matchers into a Service Market Architecture
M.C. Platenius, S. Becker, W. Schäfer, in: P. Avgeriou, U. Zdun (Eds.), Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), 2014, pp. 210–217.
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: 447
Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 10th World Congress on Services (SERVICES), 2014, pp. 346–353.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 435
Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules
A. Antoniadis, N. Barcelo, M. Consuegra, P. Kling, M. Nugent, K. Pruhs, M. Scquizzato, in: Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS), 2014, pp. 63--74.
LibreCat | Files available | DOI
 
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: 428
Estimating Functional Reusability of Services
F. Mohr, in: Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 2014, pp. 411–418.
LibreCat | Files available | Download (ext.)
 
2014 | Book Chapter | LibreCat-ID: 335
Verschiebungen an der Grenze zwischen Hardware und Software
M. Platzner, C. Plessl, in: J. Künsemöller, N.O. Eke, L. Foit, T. Kaerlein (Eds.), Logiken strukturbildender Prozesse: Automatismen, Wilhelm Fink, Paderborn, 2014, pp. 123–144.
LibreCat | Files available
 
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 | 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 | 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 | 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: 373
Reputationssysteme für zusammengesetzte Dienstleistungen
D. Pahl, Reputationssysteme für zusammengesetzte Dienstleistungen, Universität Paderborn, 2014.
LibreCat
 
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: 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 | Mastersthesis | LibreCat-ID: 392
On the Relation between Innovation and Competion: The Case of Energy Industry
N. Brummel, On the Relation between Innovation and Competion: The Case of Energy Industry, Universität Paderborn, 2014.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 397
Minimum Linear Arrangement of Series-Parallel Graphs
C. Scheideler, M. Eikel, A. Setzer, in: Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), 2014, pp. 168--180.
LibreCat | Files available
 
2014 | Bachelorsthesis | LibreCat-ID: 400
Measuring Transformation-induced Uncertainty in Service Matching: A Feasibility Study
M. Bunse, Measuring Transformation-Induced Uncertainty in Service Matching: A Feasibility Study, Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 405
Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen
O. Degraf, Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen, Universität Paderborn, 2014.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 412
HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths
M. Feldotto, C. Scheideler, K. Graffi, in: Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P), 2014, pp. 1–10.
LibreCat | Files available | DOI | arXiv
 
2014 | Bachelorsthesis | LibreCat-ID: 424
Fast and Flexible Automatic Composition of Semantic Web Services
C. Finkensiep, Fast and Flexible Automatic Composition of Semantic Web Services, Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 429
Entwicklung eines mathematischen Modells zur Optimierung der Struktur eines Trinkwasserbehälters
M. Herbort, Entwicklung eines mathematischen Modells zur Optimierung der Struktur eines Trinkwasserbehälters, Universität Paderborn, 2014.
LibreCat
 
2014 | Dissertation | LibreCat-ID: 431
Energy-efficient Scheduling Algorithms
P. Kling, Energy-Efficient Scheduling Algorithms, Universität Paderborn, 2014.
LibreCat | Files available
 
2014 | Mastersthesis | LibreCat-ID: 436
Easy-to-use on-the-fly binary program acceleration on many-cores
M. Damschen, Easy-to-Use on-the-Fly Binary Program Acceleration on Many-Cores, Universität Paderborn, 2014.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 448
Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness
Y. Gao, Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness, Universität Paderborn, 2014.
LibreCat
 
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 | Journal Article | LibreCat-ID: 328
ReconOS - An Operating System Approach for Reconfigurable Computing
A. Agne, M. Happe, A. Keller, E. Lübbers, B. Plattner, M. Platzner, C. Plessl, IEEE Micro 34 (2014) 60–71.
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 | Conference Paper | LibreCat-ID: 462
A Simulation Framework for Analyzing Complex Infinitely Repeated Games
M. Feldotto, A. Skopalik, in: Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014), 2014, pp. 625–630.
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 467
A Game-Theoretic Approach to the Financial Benefits of Infrastructure-as-a-Service
J. Künsemöller, H. Karl, Future Generation Computer Systems (2014) 44--52.
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 479
The Legal Classification of Identity-Based Signatures
C. Sorge, Computer Law & Security Review 30 (2014) 126–136.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 5189
FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps
S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel, J. Klein, Y. Le Traon, D. Octeau, P. McDaniel, in: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14, ACM Press, 2014.
LibreCat | Files available | DOI | Download (ext.)
 
2014 | Report | LibreCat-ID: 443
Constitutions and Social Networks
A. Mauleon, N. Röhl, V. Vannetelbosch, Constitutions and Social Networks, Universität Paderborn, 2014.
LibreCat | Files available
 
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: 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 Reconfigurable Computing: Architectures, Tools, and Applications, 2014, pp. 283–290.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 455
Approximate pure Nash equilibria in weighted congestion games
C. Hansknecht, M. Klimm, A. Skopalik, in: Proceedings of the 17th. International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX), 2014, pp. 242–257.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 450
Certification for Configurable Program Analysis
M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 2014, pp. 30–39.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 417
Grammar-based model transformations
G. Besova, D. Steenke, H. Wehrheim, in: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.
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: 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: 331
Webcam application using virtual FPGA
S. Wu, Webcam Application Using Virtual FPGA, 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 | 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 | 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 | 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: 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 | 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: 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
 
2014 | Conference Paper | LibreCat-ID: 393
On Stabilizing Departures in Overlay Networks
D. Foreback, A. Koutsopoulos, M. Nesterenko, C. Scheideler, T.F. Strothmann, in: Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2014, pp. 48--62.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 406
Kernel-Centric Acceleration of High Accuracy Stereo-Matching
T. Kenter, H. Schmitz, C. Plessl, in: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2014, pp. 1–8.
LibreCat | Files available | DOI
 
2014 | Bachelorsthesis | LibreCat-ID: 413
Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes
F. Eusterholz, Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes, Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 418
Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren
F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, Universität Paderborn, 2014.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 420
Fuzzy Matching of Service Price Specifications
S. Merschjohann, Fuzzy Matching of Service Price Specifications, Universität Paderborn, 2014.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 425
Evaluation of Color Spaces for Robust Image Segmentation
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP), 2014, pp. 648–655.
LibreCat | Files available
 
2014 | Mastersthesis | LibreCat-ID: 432
Energy-Efficient Queuing with Delayed Deactivation
N. Bredenbals, Energy-Efficient Queuing with Delayed Deactivation, Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 437
Die ökonomischen Auswirkungen der Kronzeugenregelung am Beispiel des Kaffeerösterkartells
V. Wemhöner, Die ökonomischen Auswirkungen der Kronzeugenregelung am Beispiel des Kaffeerösterkartells, Universität Paderborn, 2014.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 463
A Practical Second-Order Fault Attack against a Real-World Pairing Implementation
J. Blömer, R. Gomes da Silva, P. Günther, J. Krämer, J.-P. Seifert, in: Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC), 2014, pp. 123--136.
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 444 LibreCat | Files available | DOI
 
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 | 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 | Conference Paper | LibreCat-ID: 401
Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching
M.C. Platenius, S. Arifulina, R. Petrlic, W. Schäfer, in: Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 451
Budget-restricted utility games with ordered strategic decisions
M. Drees, S. Riechers, A. Skopalik, in: R. Lavi (Ed.), Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), 2014, pp. 110–121.
LibreCat | Files available | DOI
 
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: 449
Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!
M. Becker, M.C. Platenius, S. Becker, in: Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB), 2014, pp. 153–159.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 456
Approximate pure Nash equilibria in Social Context Congestion Games
M. Gairing, G. Kotsialou, A. Skopalik, in: Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 480–485.
LibreCat | Files available | DOI
 
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: 337
Verhandlungen vs Auktionen im Beschäftigungsmanagement
C. Berkemeier, Verhandlungen vs Auktionen im Beschäftigungsmanagement, 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 | 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 | 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 | Journal Article | LibreCat-ID: 363
Seven Recipes for Setting Your FPGA on Fire – A Cookbook on Heat Generators
A. Agne, H. Hangmann, M. Happe, M. Platzner, C. Plessl, Microprocessors and Microsystems 38 (2014) 911–919.
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. Süss, in: Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2014, pp. 128–137.
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 | Journal Article | LibreCat-ID: 387
Principles of Robust Medium Access and an Application to Leader Election
B. Awerbuch, A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, Transactions on Algorithms (2014).
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 407
Issues of Automated Software Composition in AI Planning
F. Mohr, in: Proceedings of the 29th International Conference on Automated Software Engineering (ASE), 2014, pp. 895--898.
LibreCat | Files available | DOI
 
2014 | Mastersthesis | LibreCat-ID: 414
Hiding software components using functional encryption
J. Jochheim, Hiding Software Components Using Functional Encryption, Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 421
Fujisaki-Okamoto Transformation
J. Lippert, Fujisaki-Okamoto Transformation, Universität Paderborn, 2014.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 426
Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network
V. Dornseifer, Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network, Universität Paderborn, 2014.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 438
Designing an Anonymous and Secure Reputation System Using a Group Signature Variant
A. Kokoschka, Designing an Anonymous and Secure Reputation System Using a Group Signature Variant, Universität Paderborn, 2014.
LibreCat
 
2014 | Conference Paper | LibreCat-ID: 762
Using MAC addresses as efficient routing labels in data centers
A. Schwabe, H. Karl, in: Proceedings of the Third Workshop on Hot Topics in Software Defined Networking, HotSDN ’14, Chicago, Illinois, USA, August 22, 2014, 2014, pp. 115--120.
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 464
A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization
D. Gall, R. Jacob, A.W. Richa, C. Scheideler, S. Schmid, H. Täubig, Theory of Computing Systems (2014) 110–135.
LibreCat | Files available | DOI
 
2014 | Journal Article | LibreCat-ID: 445
Competitive outcomes and the inner core of NTU market games
S. Brangewitz, J.-P. Gamp, Economic Theory (2014) 529–554.
LibreCat | Files available | DOI
 
2014 | Dissertation | LibreCat-ID: 419
Gender and ethnic discrimination in hiring : evidence from field experiments in the German labor market
A. Kolle, Gender and Ethnic Discrimination in Hiring : Evidence from Field Experiments in the German Labor Market, Universität Paderborn, 2014.
LibreCat | Files available
 
2014 | Dissertation | LibreCat-ID: 440
Decision Making under Asymmetric Information in Markets for Experience Goods: Empirical Evidence of Signaling Effects on Consumer Perceptions
D. Kaimann, Decision Making under Asymmetric Information in Markets for Experience Goods: Empirical Evidence of Signaling Effects on Consumer Perceptions, Universität Paderborn, 2014.
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 452
Brief Announcement: A Model for Multilevel Network Games
S. Abshoff, A. Cord-Landwehr, D. Jung, A. Skopalik, in: R. Lavi (Ed.), Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), 2014, p. 294.
LibreCat | Files available
 
2014 | Conference Paper | LibreCat-ID: 457
Applying Reinforcement Learning for Resolving Ambiguity in Service Composition
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 2014, pp. 105–112.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 433
Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA
T. Wiersema, A. Bockhorn, M. Platzner, in: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 402
Market-optimized Service Specification and Matching
S. Arifulina, M.C. Platenius, C. Gerth, S. Becker, G. Engels, W. Schäfer, in: X. Franch, A. Ghose, G. Lewis, S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 394
Normalizing Heterogeneous Service Description Models with Generated QVT Transformations
S. Schwichtenberg, C. Gerth, Z. Huma, G. Engels, in: Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–195.
LibreCat | Files available | DOI
 
2014 | Conference Paper | LibreCat-ID: 399
Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring
T. Wiersema, S. Drzevitzky, M. Platzner, in: Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–174.
LibreCat | Files available | DOI
 
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: 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: 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
 
2013 | Journal Article | LibreCat-ID: 561
A privacy-friendly Architecture for future Cloud Computing
R. Petrlic, S. Sekula, C. Sorge, International Journal of Grid and Utility Computing (2013) 265–277.
LibreCat | Files available | DOI | Download (ext.)
 
2013 | Bachelorsthesis | LibreCat-ID: 472
Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern
M. Engelbrecht, Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern, Universität Paderborn, 2013.
LibreCat
 
2013 | Conference Paper | LibreCat-ID: 477
Token Dissemination in Geometric Dynamic Networks
S. Abshoff, M. Benter, A. Cord-Landwehr, M. Malatyali, F. Meyer auf der Heide, in: Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers, 2013, pp. 22–34.
LibreCat | Files available | DOI
 
2013 | Mastersthesis | LibreCat-ID: 489
Scheduling Variants with Speed-Scaling via the Primal-Dual Approach
M. Knopf, Scheduling Variants with Speed-Scaling via the Primal-Dual Approach, Universität Paderborn, 2013.
LibreCat
 
2013 | Conference Paper | LibreCat-ID: 496
Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks
M. Benter, F. Neumann, H. Frey, in: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 2193–2201.
LibreCat | Files available | DOI
 
2013 | Mastersthesis | LibreCat-ID: 504
Ontology-based Normalization and Matching of Rich Service Descriptions
S. Schwichtenberg, Ontology-Based Normalization and Matching of Rich Service Descriptions, Universität Paderborn, 2013.
LibreCat
 
2013 | Conference Paper | LibreCat-ID: 509
On Greedy Routing in Degree-bounded Graphs over d-Dimensional Internet Coordinate Embeddings
M. Autenrieth, H. Frey, in: Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 126–131.
LibreCat | Files available | DOI
 
2013 | Bachelorsthesis | LibreCat-ID: 511
MapReduce in Software Defined Networks
M. Splietker, MapReduce in Software Defined Networks, Universität Paderborn, 2013.
LibreCat
 
2013 | Conference Paper | LibreCat-ID: 516
Learning Recommendation System for Automated Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the 10th IEEE International Conference on Services Computing (SCC), 2013, pp. 97–104.
LibreCat | Files available | DOI
 
2013 | Journal Article | LibreCat-ID: 523
How many attackers can selfish defenders catch?
M. Mavronicolas, B. Monien, V. Papadopoulou Lesta, Discrete Applied Mathematics 161 (2013) 2563–2586.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 528
FPGA-accelerated Key Search for Cold-Boot Attacks against AES
H. Riebler, T. Kenter, C. Sorge, C. Plessl, in: Proceedings of the International Conference on Field-Programmable Technology (FPT), IEEE, 2013, pp. 386–389.
LibreCat | Files available | DOI
 
2013 | Bachelorsthesis | LibreCat-ID: 530
Entwurf kooperativer Verhaltensweisen heterogener Roboter
D. Buse, Entwurf Kooperativer Verhaltensweisen Heterogener Roboter, Universität Paderborn, 2013.
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 535
Effizienzsteigerung durch gewichtete Produktbewertungen
M. Reineke, Effizienzsteigerung durch gewichtete Produktbewertungen, Universität Paderborn, 2013.
LibreCat
 
2013 | Conference Paper | LibreCat-ID: 542
CONE-DHT: A distributed self-stabilizing algorithm for a heterogeneous storage system
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of the 27th International Symposium on Distributed Computing (DISC), 2013, pp. 537–549.
LibreCat | Files available | DOI
 
2013 | Dissertation | LibreCat-ID: 547
Business Process Models - Change Management
C. Gerth, Business Process Models - Change Management, Universität Paderborn, 2013.
LibreCat
 
2013 | Journal Article | LibreCat-ID: 554
Asymmetric Nash bargaining solutions and competitive payoffs
S. Brangewitz, J.-P. Gamp, Economics Letters (2013) 224–227.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 484
Service Matching under Consideration of Explicitly Specified Service Variants
M.C. Platenius, M. von Detten, C. Gerth, W. Schäfer, G. Engels, in: IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 559
Adding Capacity-Aware Storage Indirection to Homogeneous Distributed Hash Tables
P. Wette, K. Graffi, in: Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 35–42.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 473
Unlinkable content playbacks in a multiparty DRM system
R. Petrlic, S. Sekula, in: L. Wang, B. Shafiq (Eds.), Data and Applications Security and Privacy XXVII, 2013, pp. 289–296.
LibreCat | Files available | DOI
 
2013 | Dissertation | LibreCat-ID: 478
Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems
N. Timm, Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems, Universität Paderborn, 2013.
LibreCat | Files available
 
2013 | Bachelorsthesis | LibreCat-ID: 492
Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case
C. Robbert, Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case, Universität Paderborn, 2013.
LibreCat
 
2013 | Dissertation | LibreCat-ID: 497
Quality Assurance with Dynamic Meta Modeling
C. Soltenborn, Quality Assurance with Dynamic Meta Modeling, Universität Paderborn, 2013.
LibreCat | Files available
 
2013 | Bachelorsthesis | LibreCat-ID: 500
Price Formation in the Restaurant Industry - An Empirical Analysis
M. Staschewski, Price Formation in the Restaurant Industry - An Empirical Analysis, Universität Paderborn, 2013.
LibreCat
 
2013 | Conference Paper | LibreCat-ID: 505
On-The-Fly Computing: A Novel Paradigm for Individualized IT Services
M. Happe, P. Kling, C. Plessl, M. Platzner, F. Meyer auf der Heide, in: Proceedings of the 9th IEEE Workshop on Software Technology for Future Embedded and Ubiquitous Systems (SEUS), IEEE, 2013.
LibreCat | Files available | DOI
 
2013 | Bachelorsthesis | LibreCat-ID: 512
Lösungsverfahren für das many-to-one Matching Problem
E. Herzog, Lösungsverfahren für das many-to-one Matching Problem, Universität Paderborn, 2013.
LibreCat
 
2013 | Preprint | LibreCat-ID: 524
Hierarchies in Local Distributed Decision
F. Meyer auf der Heide, K. Swirkot, (2013).
LibreCat | Files available
 
2013 | Conference Paper | LibreCat-ID: 529
Executing Reconfigurations in Hierarchical Component Architectures
C. Heinzemann, S. Becker, in: Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE), 2013, pp. 3–12.
LibreCat | Files available | DOI
 
2013 | Mastersthesis | LibreCat-ID: 531
Entwurf eines datenschutzgerechten Reputationssystems
S. Lutters, Entwurf eines datenschutzgerechten Reputationssystems, Universität Paderborn, 2013.
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 536
Dynamic One-to-One Matching: Theory and a Job Market Application
N. Stroh-Maraun, Dynamic One-to-One Matching: Theory and a Job Market Application, Universität Paderborn, 2013.
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 543
Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services
K. Jagannath, Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services, Universität Paderborn, 2013.
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 550
Bandbreiten-beschränktes Scheduling mit skalierbaren Jobanforderungen in Multiprozessor-Umgebungen
J. Meschede, Bandbreiten-beschränktes Scheduling mit skalierbaren Jobanforderungen in Multiprozessor-Umgebungen, Universität Paderborn, 2013.
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 555
Approximation Algorithms for the Linear Arrangement of Special Classes of Graphs
A. Setzer, Approximation Algorithms for the Linear Arrangement of Special Classes of Graphs, Universität Paderborn, 2013.
LibreCat
 
2013 | Journal Article | LibreCat-ID: 480
The Impact of Individual and Collective Reputation on Wine Prices: Empirical Evidence from the Mosel Valley
B. Frick, R. Simmons, Journal of Business Economics 83 (2013) 101–119.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 517
Knowledge-Based Verification of Service Compositions - An SMT approach
S. Walther, H. Wehrheim, in: Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2013, pp. 24–32.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 562
A Local Heuristic for Latency-Optimized Distributed Cloud Deployment
M. Keller, S. Pawlik, P. Pietrzyk, H. Karl, in: Proceedings of the 6th International Conference on Utility and Cloud Computing (UCC) Workshop on Distributed Cloud Computing, 2013, pp. 429–434.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 548
Bootstrapping Skynet: Calibration and Autonomic Self-Control of Structured Peer-to-Peer Networks
K. Graffi, T. Klerx, in: Proceedings of the International Conference on Peer-to-Peer Computing (P2P’13), 2013, pp. 1–5.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 485
Semi-Automated Software Composition Through Generated Components
F. Mohr, H. Kleine Büning, in: Proceedings of the 15th International Conference on Information Integration and Web-Based Applications & Services (IiWAS), 2013, pp. 676–680.
LibreCat | Files available | DOI
 
2013 | Bachelorsthesis | LibreCat-ID: 486
Seitenkanalresistenz paarungsbasierter Kryptographie
O. Otte, Seitenkanalresistenz paarungsbasierter Kryptographie, Universität Paderborn, 2013.
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 493
Reputationssysteme und Gerichtsverfahren als Wekzeuge zur Sicherstellung von Qualitätsstandards in Transaktionen
A. Terentjew, Reputationssysteme und Gerichtsverfahren als Wekzeuge zur Sicherstellung von Qualitätsstandards in Transaktionen, Universität Paderborn, 2013.
LibreCat
 
2013 | Dissertation | LibreCat-ID: 501
Performance and thermal management on self-adaptive hybrid multi-cores
M. Happe, Performance and Thermal Management on Self-Adaptive Hybrid Multi-Cores, Universität Paderborn, 2013.
LibreCat
 
2013 | Conference Paper | LibreCat-ID: 513
Locally Self-Adjusting Tree Networks
C. Avin, B. Häupler, Z. Lotker, C. Scheideler, S. Schmid, in: Proceedings of the 27th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2013, pp. 395–406.
LibreCat | Files available | DOI
 
2013 | Bachelorsthesis | LibreCat-ID: 518
Klassifizierung unterschiedlicher Ansätze zum Matching von Services
V. Petrausch, Klassifizierung unterschiedlicher Ansätze zum Matching von Services, Universität Paderborn, 2013.
LibreCat
 
2013 | Conference Paper | LibreCat-ID: 520
Incorporating feedback from application layer into routing and wavelength assignment algorithms
P. Wette, H. Karl, in: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM), 2013, pp. 51–52.
LibreCat | Files available | DOI | Download (ext.)
 
2013 | Bachelorsthesis | LibreCat-ID: 525
Haptics - Hadoop performance testing in concurrent job scenarios
T. Niklas Vinkemeier, Haptics - Hadoop Performance Testing in Concurrent Job Scenarios, Universität Paderborn, 2013.
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 532
Entwicklung und Analyse einer verteilten Speicherverwaltung für dynamische heterogene Speichersysteme
H. Hilleckes, Entwicklung und Analyse einer verteilten Speicherverwaltung für dynamische heterogene Speichersysteme, Universität Paderborn, 2013.
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 537
Dispersion of Multi-Robot Teams
S. Heindorf, Dispersion of Multi-Robot Teams, Universität Paderborn, 2013.
LibreCat
 
2013 | Conference Paper | LibreCat-ID: 544
Comparative Evaluation of Peer-to-Peer Systems Using PeerfactSim.KOM
M. Feldotto, K. Graffi, in: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS’13), 2013, pp. 99–106.
LibreCat | Files available | DOI
 
2013 | Bachelorsthesis | LibreCat-ID: 549
Beschleunigung von Tiefenberechung aus Stereobildern durch FPGA-basierte Datenflussrechner
C. Bick, Beschleunigung von Tiefenberechung aus Stereobildern durch FPGA-basierte Datenflussrechner, Universität Paderborn, 2013.
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 556
Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking
T. Nickel, Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking, Universität Paderborn, 2013.
LibreCat
 
2013 | Conference Paper | LibreCat-ID: 563
A Distributed Approximation Algorithm for Strongly Connected Dominating-Absorbent Sets in Asymmetric Wireless Ad-Hoc Networks
C. Markarian, F. Meyer auf der Heide, M. Schubert, in: Proceedings of the 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (ALGOSENSORS), 2013, pp. 217–227.
LibreCat | Files available | DOI
 
2013 | Working Paper | LibreCat-ID: 5146
Cooperative Transfer Price Negotiations under Incomplete Information
S. Brangewitz, C.-J. Haake, Cooperative Transfer Price Negotiations under Incomplete Information, CIE Working Paper Series, Paderborn University, 2013.
LibreCat | Files available
 
2013 | Report | LibreCat-ID: 474
Two-Stage Allocation Procedures
N. Röhl, Two-Stage Allocation Procedures, Universität Paderborn, 2013.
LibreCat | Files available
 
2013 | Conference Paper | LibreCat-ID: 506
On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft
G. Engels, in: Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013), 2013, pp. 17–18.
LibreCat | Files available
 
2013 | Conference Paper | LibreCat-ID: 551
Automated Service Composition for On-the-Fly SOAs
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13), 2013, pp. 524--532.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 498
Programs from Proofs – A PCC Alternative
D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–927.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 481
Symbiotic Coupling of P2P and Cloud Systems: The Wikipedia Case
K. Graffi, L. Bremer, in: Proceedings of the International Conference on Communications (ICC’13), 2013, pp. 3444–3449.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 470
Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow
P. Wette, H. Karl, in: Proceedings of the ACM SIGCOMM ’13, 2013, pp. 541–542.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 475
Towards practical privacy-preserving Digital Rights Management for Cloud Computing
N. Joshi, R. Petrlic, in: Proceedings of the 10th Annual IEEE Consumer Communications & Networking Conference (CCNC), 2013, pp. 259–264.
LibreCat | Files available | DOI
 
2013 | Bachelorsthesis | LibreCat-ID: 482
Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen
M. Bieshaar, Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen, Universität Paderborn, 2013.
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 487
Security Proofs for Pairing-Based Cryptography in the Generic Group Model
J. Bobolz, Security Proofs for Pairing-Based Cryptography in the Generic Group Model, Universität Paderborn, 2013.
LibreCat | Files available
 
2013 | Dissertation | LibreCat-ID: 494
Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies
M. von Detten, Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies, Universität Paderborn, 2013.
LibreCat | Files available
 
2013 | Conference Paper | LibreCat-ID: 502
Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time
M. Becker, M. Luckey, S. Becker, in: Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13), 2013, pp. 43–52.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 507
On Two-Party Communication Through Dynamic Networks
S. Abshoff, M. Benter, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS), 2013, pp. 11–22.
LibreCat | Files available | DOI
 
2013 | Dissertation | LibreCat-ID: 514
Local and Online Algorithms for Facility Location
P. Pietrzyk, Local and Online Algorithms for Facility Location, Universität Paderborn, 2013.
LibreCat | Files available
 
2013 | Conference Paper | LibreCat-ID: 519
IRIS: A Robust Information System Against Insider DoS-Attacks
M. Eikel, C. Scheideler, in: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2013, pp. 119–129.
LibreCat | Files available | DOI
 
2013 | Mastersthesis | LibreCat-ID: 521
Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs
H. Riebler, Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs, Universität Paderborn, 2013.
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 526
Greedy Network Creation With Heavy And Light Edges
A. Mäcker, Greedy Network Creation With Heavy And Light Edges, Universität Paderborn, 2013.
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 533
Entwicklung eines Hybriden Planers zur verhaltensorientierten Selbstoptimierung
R. Borkowski, Entwicklung eines Hybriden Planers zur verhaltensorientierten Selbstoptimierung, Universität Paderborn, 2013.
LibreCat
 
 
2013 | Bachelorsthesis | LibreCat-ID: 545
Cliquenbildung in verteilten Systemen
F. Blumentritt, Cliquenbildung in verteilten Systemen, Universität Paderborn, 2013.
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 552
Auktionen im Beschaffungsmanagement - Eine spieltheoretische Analyse
K. Meckenstock, Auktionen im Beschaffungsmanagement - Eine spieltheoretische Analyse, Universität Paderborn, 2013.
LibreCat
 
2013 | Report | LibreCat-ID: 557
An Approach for a Decision Support Systems to optimize Water Tanks in Water Supply Systems by combining Network Reduction, Optimization and Simulation
C. Hallmann, An Approach for a Decision Support Systems to Optimize Water Tanks in Water Supply Systems by Combining Network Reduction, Optimization and Simulation, Universität Paderborn, 2013.
LibreCat | Files available
 
2013 | Conference Paper | LibreCat-ID: 564
A Deterministic Worst-Case Message Complexity Optimal Solution for Resource Discovery
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of 20th International Colloqium on Structural Information and Communication Complexity (SIROCCO), 2013, pp. 165–176.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 499
Profitable Scheduling on Multiple Speed-Scalable Processors
P. Kling, P. Pietrzyk, in: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2013, pp. 251–260.
LibreCat | Files available | DOI
 
2013 | Journal Article | LibreCat-ID: 2543
Asymmetric Nash bargaining solutions and competitive payoffs
S. Brangewitz, J.-P. Gamp, Economics Letters 121 (2013) 224–227.
LibreCat | Files available | DOI
 
2013 | Bachelorsthesis | LibreCat-ID: 471
Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen
A. Tezer, Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen, Universität Paderborn, 2013.
LibreCat
 
2013 | Journal Article | LibreCat-ID: 476
Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing
P. Kolman, C. Scheideler, Theory of Computing Systems (2013) 341–363.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 483
SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive Systems
M. Becker, S. Becker, J. Meyer, in: Proceedings of the Software Engineering Conference (SE), 2013, pp. 71–84.
LibreCat | Files available | Download (ext.)
 
2013 | Conference Paper | LibreCat-ID: 488
Securing Critical Unattended Systems with Identity Based Cryptography - A Case Study
J. Blömer, P. Günther, V. Krummel, in: Proceedings of the 5th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), 2013, pp. 98–105.
LibreCat | Files available
 
2013 | Bachelorsthesis | LibreCat-ID: 490
Routing in heterogenen OpenFlow Netzwerken
F. Wallaschek, Routing in heterogenen OpenFlow Netzwerken, Universität Paderborn, 2013.
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 503
Optimale und adaptive binäre Bäume in Netzwerken
A. Blix, Optimale und adaptive binäre Bäume in Netzwerken, Universität Paderborn, 2013.
LibreCat
 
2013 | Conference Paper | LibreCat-ID: 508
On the Quality of Selfish Virtual Topology Reconfiguration in IP-over-WDM Networks
P. Wette, H. Karl, in: Proceedings of the 19th IEEE International Workshop on Local and Metropolitan Area Networks (IEEE LANMAN), 2013, pp. 1–6.
LibreCat | Files available | DOI
 
2013 | Mastersthesis | LibreCat-ID: 510
Meta-data based Search in Structured Peer-to-Peer Networks
C. Jayesh Parekh, Meta-Data Based Search in Structured Peer-to-Peer Networks, Universität Paderborn, 2013.
LibreCat
 
2013 | Journal Article | LibreCat-ID: 515
Learning Service Recommendations
A. Jungmann, B. Kleinjohann, E. Kleinjohann, International Journal of Business Process Integration and Management (2013) 284–297.
LibreCat | Files available | DOI | Download (ext.)
 
2013 | Mastersthesis | LibreCat-ID: 522
HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths
M. Feldotto, HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths, Universität Paderborn, 2013.
LibreCat
 
2013 | Mastersthesis | LibreCat-ID: 534
Emulating Wavelength Division Multiplexing using Openflow
S. Satya, Emulating Wavelength Division Multiplexing Using Openflow, Universität Paderborn, 2013.
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 539
Der Einfluss adaptierter Erwartungen in dynamischen Cournot Oligopolen
T. Kornhoff, Der Einfluss adaptierter Erwartungen in dynamischen Cournot Oligopolen, Universität Paderborn, 2013.
LibreCat
 
2013 | Conference Paper | LibreCat-ID: 546
Ca-Re-Chord: A Churn Resistant Self-stabilizing Chord Overlay Network
K. Graffi, M. Benter, M. Divband, S. Kniesburges, A. Koutsopoulos, in: Proceedings of the Conference on Networked Systems (NetSys), 2013, pp. 27–34.
LibreCat | Files available | DOI
 
2013 | Bachelorsthesis | LibreCat-ID: 553
Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise
K. Kohn, Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise, Universität Paderborn, 2013.
LibreCat
 
2013 | Conference (Editor) | LibreCat-ID: 558
Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics
P. Flocchini, J. Gao, E. Kranakis, F. Meyer auf der Heide, eds., Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, Springer, 2013.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 560
A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing
M. Platenius, M. von Detten, S. Becker, W. Schäfer, G. Engels, in: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–152.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 495
Reducing Nondeterminism in Automated Service Composition
F. Mohr, T. Lettmann, H. Kleine Büning, in: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), 2013, pp. 154–161.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 469
Zero Overhead Runtime Monitoring
D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 2013, pp. 244–258.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 527
Fuzzy Service Matching in On-The-Fly Computing
M. Christin Platenius, in: Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2013, pp. 715–718.
LibreCat | Files available | DOI
 
2013 | Conference Paper | LibreCat-ID: 541
Continuous Gossip-based Aggregation through Dynamic Information Aging
K. Graffi, V. Rapp, in: Proceedings of the International Conference on Computer Communications and Networks (ICCCN’13), 2013, pp. 1–7.
LibreCat | Files available | DOI
 
2012 | Bachelorsthesis | LibreCat-ID: 566
Untersuchung von Modellen zur operativen Planung in Trinkwasserversorgungsnetzwerken
I. Hilger, Untersuchung von Modellen zur operativen Planung in Trinkwasserversorgungsnetzwerken, Universität Paderborn, 2012.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 585
Proxy Re-Encryption in a Privacy-Preserving Cloud Computing DRM Scheme
R. Petrlic, in: Proceedings of 4th International Symposium on Cyberspace Safety and Security (CSS), 2012, pp. 194–211.
LibreCat | Files available | DOI
 
2012 | Mastersthesis | LibreCat-ID: 592
Penny Auctions: Design und Strategisches Verhalten
A. Celik, Penny Auctions: Design und Strategisches Verhalten, Universität Paderborn, 2012.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 597
Minimizing Expectation Plus Variance
M. Mavronicolas, B. Monien, in: Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), 2012, pp. 239–250.
LibreCat | Files available | DOI
 
2012 | Bachelorsthesis | LibreCat-ID: 600
Lokale Swaps und überholte Informationen in Basic Network Creation Games
B. Feldkord, Lokale Swaps und überholte Informationen in Basic Network Creation Games, Universität Paderborn, 2012.
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 605
Implementierung eines adaptiven Verfahrens zur Linearisierung von nicht-konvexen, nichtlinearen Wassernetzmodellen mit Hilfe einer Fehlerabschätzung
F. Isenberg, Implementierung eines adaptiven Verfahrens zur Linearisierung von nicht-konvexen, nichtlinearen Wassernetzmodellen mit Hilfe einer Fehlerabschätzung, Universität Paderborn, 2012.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 612
Exploration of Ring Oscillator Design Space for Temperature Measurements on FPGAs
C. Rüthing, M. Happe, A. Agne, C. Plessl, in: Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), IEEE, 2012, pp. 559–562.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 617
Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems
A. Jungmann, B. Kleinjohann, E. Kleinjohann, M. Bieshaar, in: Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE), 2012, pp. 22–29.
LibreCat | Files available
 
2012 | Mastersthesis | LibreCat-ID: 624
Change and Validity Analysis in Deductive Program Verification
M.-C. Jakobs, Change and Validity Analysis in Deductive Program Verification, Universität Paderborn, 2012.
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 629
Attribute-basierte Verschlüsselung
P. Schleiter, Attribute-basierte Verschlüsselung, Universität Paderborn, 2012.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 631
Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction
M. von Detten, in: Proceedings of the 19th Working Conference on Reverse Engineering (WCRE), 2012, pp. 503–504.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 636
An Algorithm for Facility Leasing
F. Meyer auf der Heide, P. Pietrzyk, P. Kling, in: Proceedings of the 19th International Colloquium on Structural Information & Communication Complexity (SIROCCO), 2012, pp. 61–72.
LibreCat | Files available | DOI
 
2012 | Report | LibreCat-ID: 578
Stability of Coalitional Equilibria within Repeated Tax Competition
S. Brangewitz, S. Brockhoff, Stability of Coalitional Equilibria within Repeated Tax Competition, Universität Paderborn, 2012.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 580
Slow Down & Sleep for Profit in Online Deadline Scheduling
A. Cord-Landwehr, P. Kling, F. Mallmann Trenn, in: G. Even, D. Rawitz (Eds.), Proceedings of the 1st Mediterranean Conference on Algorithms (MedAlg), 2012, pp. 218–231.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 573
Towards a Framework for the Integration of Modeling Languages
S. Arifulina, in: U. W. Eisenecker, C. Bucholdt (Eds.), Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)), 2012, pp. 23--26.
LibreCat | Files available
 
2012 | Journal Article | LibreCat-ID: 2519
Negotiating Transfer Prices
C.-J. Haake, J.T. Martini, Group Decision and Negotiation 22 (2012) 657–680.
LibreCat | Files available | DOI
 
2012 | Journal Article | LibreCat-ID: 2521
On the institutional design of burden sharing when financing external border enforcement in the EU
C.-J. Haake, T. Krieger, S. Minter, International Economics and Economic Policy 10 (2012) 583–612.
LibreCat | Files available | DOI
 
2012 | Journal Article | LibreCat-ID: 5183
Partially Evaluating Finite-State Runtime Monitors Ahead of Time
E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.
LibreCat | Files available | DOI | Download (ext.)
 
2012 | Conference Paper | LibreCat-ID: 567
Turning control flow graphs into function calls: Code generation for heterogeneous architectures
P. Barrio, C. Carreras, R. Sierra, T. Kenter, C. Plessl, in: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS), IEEE, 2012, pp. 559–565.
LibreCat | Files available | DOI
 
2012 | Journal Article | LibreCat-ID: 574
Tiara: A self-stabilizing deterministic skip list and skip graph
T. Clouser, M. Nesterenko, C. Scheideler, Theoretical Computer Science (2012) 18–35.
LibreCat | Files available | DOI
 
2012 | Journal Article | LibreCat-ID: 579
Smoothed analysis of left-to-right maxima with applications
V. Damerow, B. Manthey, F. Meyer auf der Heide, H. Räcke, C. Scheideler, C. Sohler, T. Tantau, Transactions on Algorithms (2012) 30.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 581
Self-Organizing Particle Systems
M. Drees, M. Hüllmann (married name: Eikel), A. Koutsopoulos, C. Scheideler, in: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1272–1283.
LibreCat | Files available | DOI
 
2012 | Dissertation | LibreCat-ID: 586
Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security
S. Drzevitzky, Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security, Universität Paderborn, 2012.
LibreCat | Files available
 
2012 | Bachelorsthesis | LibreCat-ID: 593
Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten
T. Rojahn, Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten, Universität Paderborn, 2012.
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 598
Methoden zur Bestimmung von innerbetrieblichen Verrechnungspreisen
F. Mammadov, Methoden zur Bestimmung von innerbetrieblichen Verrechnungspreisen, Universität Paderborn, 2012.
LibreCat
 
2012 | Dissertation | LibreCat-ID: 601
Local strategies for robot formation problems
B. Kempkes, Local Strategies for Robot Formation Problems, Universität Paderborn, 2012.
LibreCat | Files available
 
2012 | Bachelorsthesis | LibreCat-ID: 606
Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas
N. Löken, Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas, Universität Paderborn, 2012.
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 613
Erweiterung von d3fact um die Domäne Wasserversorgung in Verbindung mit der Analyse und Implementierung eines hydraulischen Simulationsverfahrens
S. Wohlfarth, Erweiterung von d3fact um die Domäne Wasserversorgung in Verbindung mit der Analyse und Implementierung eines hydraulischen Simulationsverfahrens, Universität Paderborn, 2012.
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 618
Distributed Sampling of Regular Graphs
S. Kurras, Distributed Sampling of Regular Graphs, Universität Paderborn, 2012.
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 620
Datenschutzgerechtes DRM im Cloud Computing
R. Mittendorf, Datenschutzgerechtes DRM im Cloud Computing, Universität Paderborn, 2012.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 625
Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures
S. Schmid, C. Avin, C. Scheideler, B. Häupler, Z. Lotker, in: Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 439–440.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 632
Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case
P. Kolman, C. Scheideler, in: Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA), 2012, pp. 800–810.
LibreCat | Files available | DOI
 
2012 | Bachelorsthesis | LibreCat-ID: 637
Alternative Berechnung der Machtindizes: Banzhaf und Shapley-Shubik Index
F. Dawirs, Alternative Berechnung der Machtindizes: Banzhaf und Shapley-Shubik Index, Universität Paderborn, 2012.
LibreCat
 
2012 | Journal Article | LibreCat-ID: 570
Towards higher-dimensional topological self-stabilization: A distributed algorithm for Delaunay graphs
R. Jacob, S. Ritscher, C. Scheideler, S. Schmid, Theoretical Computer Science (2012) 137–148.
LibreCat | Files available | DOI
 
2012 | Mastersthesis | LibreCat-ID: 575
Symbiotic Coupling of Peer-to-Peer and Cloud Systems
L. Bremer, Symbiotic Coupling of Peer-to-Peer and Cloud Systems, Universität Paderborn, 2012.
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 582
Self-Optimizing Binary Search Trees - A Game Theoretic Approach
T.F. Strothmann, Self-Optimizing Binary Search Trees - A Game Theoretic Approach, Universität Paderborn, 2012.
LibreCat
 
2012 | Journal Article | LibreCat-ID: 587
Programming models for reconfigurable heterogeneous multi-cores
C. Plessl, M. Platzner, A. Agne, M. Happe, E. Lübbers, Self-Awareness in Autonomic Systems (2012).
LibreCat | Files available
 
2012 | Mastersthesis | LibreCat-ID: 594
Online Parameteroptimierung in P2P-Netzwerken mit Hilfe von Neuronalen Netzen
T. Klerx, Online Parameteroptimierung in P2P-Netzwerken mit Hilfe von Neuronalen Netzen, Universität Paderborn, 2012.
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 599
Managerial Delegation and Capacity Choices: An Analysis of the Cournot-Nash Equilibrium
X. Löwen, Managerial Delegation and Capacity Choices: An Analysis of the Cournot-Nash Equilibrium, Universität Paderborn, 2012.
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 607
Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2
T. Haarhoff, Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2, Universität Paderborn, 2012.
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 614
Empirischer, quantitativer Vergleich von Modelltransformationssprachen
S. Lehrig, Empirischer, quantitativer Vergleich von Modelltransformationssprachen, Universität Paderborn, 2012.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 619
Distributed Computing in Fault-Prone Dynamic Networks
P. Brandes, F. Meyer auf der Heide, in: Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS), 2012, pp. 9–14.
LibreCat | Files available | DOI
 
2012 | Bachelorsthesis | LibreCat-ID: 621
Datenschutzgerechte E-Payment-Schemata im On-The-Fly Computing
S. Sekula, Datenschutzgerechte E-Payment-Schemata im On-The-Fly Computing, Universität Paderborn, 2012.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 626
Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems
S. Kniesburges, C. Scheideler, in: Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 435–436.
LibreCat | Files available | DOI
 
2012 | Mastersthesis | LibreCat-ID: 633
Analyse, Konzeption und Implementierung von Aggregationsverfahren für Trinkwasserversorgungsnetze
D. Pischel, Analyse, Konzeption und Implementierung von Aggregationsverfahren für Trinkwasserversorgungsnetze, Universität Paderborn, 2012.
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 638
Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken
F. Eidens, Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken, Universität Paderborn, 2012.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 640
A Self-Stabilization Process for Small-World Networks
S. Kniesburges, A. Koutsopoulos, C. Scheideler, in: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1261--1271.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 568
Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Service Computing (SCC), 2012, pp. 701–702.
LibreCat | Files available | DOI
 
2012 | Report | LibreCat-ID: 602
Learning by Trading in Infinite Horizon Strategic Market Games with Default
S. Brangewitz, Learning by Trading in Infinite Horizon Strategic Market Games with Default, Universität Paderborn, 2012.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 569
Towards Modeling Reconfiguration in Hierarchical Component Architectures
S. Becker, C. Heinzemann, C. Priesterjahn, in: Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE), 2012, pp. 23--28.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 571
Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the 4th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2012, pp. 43–47.
LibreCat | Files available
 
2012 | Bachelorsthesis | LibreCat-ID: 576
Stereo Matching on a Convey HC-1 Hybrid Core Computer
H. Schmitz, Stereo Matching on a Convey HC-1 Hybrid Core Computer, Universität Paderborn, 2012.
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 583
Revenue-maximizing Order of Sale in Sequential Auctions
J. Drücker, Revenue-Maximizing Order of Sale in Sequential Auctions, Universität Paderborn, 2012.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 588
Privacy-Preserving DRM for Cloud Computing
R. Petrlic, C. Sorge, in: Proceedings of the 26th IEEE International Conference on Advanced Information Networking and Applications (AINA), 2012, pp. 1286–1291.
LibreCat | Files available | DOI
 
2012 | Bachelorsthesis | LibreCat-ID: 595
On scheduling with multi-core and multi-speed processors using power down
F. Mallmann Trenn, On Scheduling with Multi-Core and Multi-Speed Processors Using Power Down, Universität Paderborn, 2012.
LibreCat
 
2012 | Report | LibreCat-ID: 603
Introducing feedback to preemptive routing and wavelength assignment algorithms for dynamic traffic scenarios
P. Wette, H. Karl, Introducing Feedback to Preemptive Routing and Wavelength Assignment Algorithms for Dynamic Traffic Scenarios, Universität Paderborn, 2012.
LibreCat | Files available
 
2012 | Mastersthesis | LibreCat-ID: 610
Generating Prototypes of Adaptive Component-based Software Systems for Performance Analysis
M. Mohr, Generating Prototypes of Adaptive Component-Based Software Systems for Performance Analysis, Universität Paderborn, 2012.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 615
Eight Ways to put your FPGA on Fire – A Systematic Study of Heat Generators
M. Happe, H. Hangmann, A. Agne, C. Plessl, in: Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig), IEEE, 2012, pp. 1–8.
LibreCat | Files available | DOI
 
2012 | Bachelorsthesis | LibreCat-ID: 634
Analyse und Simulation von energieeffizienten Online-Scheduling Algorithmen
J. Kratzmann, Analyse und Simulation von energieeffizienten Online-Scheduling Algorithmen, Universität Paderborn, 2012.
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 641
A Forensic Framework for Automatic Information Retrieval in Distributed Systems
J. Schluessler, A Forensic Framework for Automatic Information Retrieval in Distributed Systems, Universität Paderborn, 2012.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 639
A UML-based Rich Service Description for Automatic Service Discovery
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 2012, pp. 90--97.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 622
Coverage Criteria for Testing DMM Specifications
S. Arifulina, G. Engels, C. Soltenborn, in: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 608
Heuristic-Guided Abstraction Refinement for Concurrent Systems
N. Timm, H. Wehrheim, M. Czech, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–363.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 590
Predicate Analysis with Block-Abstraction Memoization
D. Wonisch, H. Wehrheim, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–347.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 627
Block Abstraction Memoization for CPAchecker
D. Wonisch, in: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012, pp. 531–533.
LibreCat | Files available | DOI
 
2012 | Bachelorsthesis | LibreCat-ID: 584
Queuing Latency at Cooperative Base Stations
T. Hohenberger, Queuing Latency at Cooperative Base Stations, Universität Paderborn, 2012.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 591
Pragma based parallelization - Trading hardware efficiency for ease of use?
T. Kenter, C. Plessl, H. Schmitz, in: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2012, pp. 1–8.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 596
Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey
M. Becker, M. Luckey, S. Becker, in: Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12), 2012, pp. 117–122.
LibreCat | Files available | DOI
 
2012 | Mastersthesis | LibreCat-ID: 604
Implementierung eines Branch-and-Bound-Algorithmus für nichtkonvexe gemischt-ganzzahlige Optimierungsprobleme mit quadratischen Nebenbedingungen
H. Seier, Implementierung eines Branch-and-Bound-Algorithmus für nichtkonvexe gemischt-ganzzahlige Optimierungsprobleme mit quadratischen Nebenbedingungen, Universität Paderborn, 2012.
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 611
Generating Adjustable Temperature Gradients on modern FPGAs
H. Hangmann, Generating Adjustable Temperature Gradients on Modern FPGAs, Universität Paderborn, 2012.
LibreCat
 
2012 | Bachelorsthesis | LibreCat-ID: 616
Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen
S. Kluczniok, Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen, Universität Paderborn, 2012.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 623
Competitive and fair throughput for co-existing networks under adversarial interference
A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC), 2012, pp. 291–300.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 635
An Optimization Model for the optimal Usage of Water Tanks in Water Supply Systems
C. Dohle (married name: Hallmann) , L. Suhl, in: Proceedings of the International Conference on Applied Mathematical Optimization and Modelling (APMOD), 2012, pp. 404–408.
LibreCat | Files available
 
2012 | Conference (Editor) | LibreCat-ID: 577
Stabilization, Safety, and Security of Distributed Systems
A.W. Richa, C. Scheideler, eds., Stabilization, Safety, and Security of Distributed Systems, 2012.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 630
Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies
M.C. Platenius, M. von Detten, S. Becker, in: Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–264.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 628
Basic Network Creation Games with Communication Interests
A. Cord-Landwehr, M. Huellmann (married name: Eikel), P. Kling, A. Setzer, in: Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), 2012, pp. 72--83.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 572
Towards an Automatic Service Discovery for UML-based Rich Service Descriptions
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS), 2012, pp. 709--725.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 609
Hardware/Software Platform for Self-aware Compute Nodes
M. Happe, A. Agne, C. Plessl, M. Platzner, in: Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS), 2012, pp. 8–9.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 565
Weaving-based configuration and modular transformation of multi-layer systems
G. Besova, S. Walther, H. Wehrheim, S. Becker, in: Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), 2012, pp. 776–792.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 589
Privacy-Preserving Digital Rights Management in a Trusted Cloud Environment
R. Petrlic, in: Proceedings of the 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2012, pp. 958–963.
LibreCat | Files available | DOI
 
2011 | Mastersthesis | LibreCat-ID: 643
User-space Scheduling for Heterogeneous System under Linux
D. Welp, User-Space Scheduling for Heterogeneous System under Linux, Universität Paderborn, 2011.
LibreCat
 
2011 | Mastersthesis | LibreCat-ID: 655
Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud
J. Meyer, Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud, Universität Paderborn, 2011.
LibreCat
 
2011 | Conference Paper | LibreCat-ID: 662
Corona: A Stabilizing Deterministic Message-Passing Skip List
M. Nesterenko, R. Mohd, C. Scheideler, in: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 356--370.
LibreCat | Files available | DOI
 
2011 | Conference (Editor) | LibreCat-ID: 667
23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures
F. Meyer auf der Heide, R. Rajaraman, eds., 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2011.
LibreCat | DOI
 
2011 | Mastersthesis | LibreCat-ID: 648
Robust Distributed Computation in Dynamic Networks
P. Brandes, Robust Distributed Computation in Dynamic Networks, Universität Paderborn, 2011.
LibreCat
 
2011 | Mastersthesis | LibreCat-ID: 650
Reengineering of Design Deficiencies in Component-Based Software Architectures
M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures, Universität Paderborn, 2011.
LibreCat
 
2011 | Conference Paper | LibreCat-ID: 644
Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution
M. von Detten, in: Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), 2011, pp. 17–20.
LibreCat | Files available | DOI
 
2011 | Bachelorsthesis | LibreCat-ID: 651
Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme
N. Stroh-Maraun, Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme, Universität Paderborn, 2011.
LibreCat
 
2011 | Conference Paper | LibreCat-ID: 656
Measuring and Predicting Temperature Distributions on FPGAs at Run-Time
M. Happe, A. Agne, C. Plessl, in: Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs (ReConFig), IEEE, 2011, pp. 55–60.
LibreCat | Files available | DOI
 
2011 | Journal Article | LibreCat-ID: 649
Reputation-based Reliability Prediction of Service Compositions
G. Besova, H. Wehrheim, A. Wagner, Electronic Notes in Theoretical Computer Science (2011) 3–16.
LibreCat | Files available | DOI
 
2011 | Report | LibreCat-ID: 668
"To infinity and beyond!" - A genre-specific film analysis of movie success mechanisms
D. Kaimann, “To Infinity and beyond!” - A Genre-Specific Film Analysis of Movie Success Mechanisms, Universität Paderborn, 2011.
LibreCat | Files available
 
2011 | Mastersthesis | LibreCat-ID: 663
Complexity Classes for Local Computation
K. Swierkot, Complexity Classes for Local Computation, Universität Paderborn, 2011.
LibreCat
 
2011 | Conference Paper | LibreCat-ID: 645
Stabilizing consensus with the power of two choices
B. Doerr, L.A. Goldberg, L. Minder, T. Sauerwald, C. Scheideler, in: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2011, pp. 149–158.
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 664
An Experimental Comparison of Load Balancing Strategies in a Web Computing Environment
J. Gehweiler, P. Kling, F. Meyer auf der Heide, in: Proceedings of the 9th International Conference on Parallel Processing and Applied Mathematics (PPAM), 2011, pp. 31--40.
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 657
Local Approximation Algorithms for the Uncapacitated Metric Facility Location Problem in Power-Aware Sensor Networks
S. Abshoff, A. Cord-Landwehr, B. Degener, B. Kempkes, P. Pietrzyk, in: Proceedings of the 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS), 2011, pp. 13–27.
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 652
Precise Mappings between Business Process Models in Versioning Scenarios
C. Gerth, M. Luckey, J. Küster, G. Engels, in: Proceedings of the IEEE 8th International Conference on Service Computingt (SCC), 2011, pp. 218--225.
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 646
Self-Stabilizing DeBruijn Networks
A.W. Richa, C. Scheideler, in: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 416–430.
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 653
Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study
S. Lehrig, T. Zolynski, in: Proceedings of the Palladio Days 2011, 2011, pp. 15–22.
LibreCat | Files available | DOI
 
2011 | Bachelorsthesis | LibreCat-ID: 660
Defining and Deploying Complex Applicances in Multi-Site Cloud Environments
M. Peuster, Defining and Deploying Complex Applicances in Multi-Site Cloud Environments, Universität Paderborn, 2011.
LibreCat
 
2011 | Mastersthesis | LibreCat-ID: 665
Adaptives Loadbalancing für strukturierte Peer-to-Peer-Netzwerke am Beispiel von Chord
P. Wette, Adaptives Loadbalancing für strukturierte Peer-to-Peer-Netzwerke am Beispiel von Chord, Universität Paderborn, 2011.
LibreCat
 
2011 | Mastersthesis | LibreCat-ID: 658
Function Specification Inference Using Craig Interpolation
A. Schremmer, Function Specification Inference Using Craig Interpolation, Universität Paderborn, 2011.
LibreCat
 
2011 | Journal Article | LibreCat-ID: 2512
Proportionality and the power of unequal parties
D. Dimitrov, C.-J. Haake, International Journal of Economic Theory 7 (2011) 189–200.
LibreCat | Files available | DOI
 
2011 | Bachelorsthesis | LibreCat-ID: 642
Vorteile der Paketbildung in Verhandlungen: Ein prozeduraler Zugang zu Superadditivität
M. Diehl, Vorteile der Paketbildung in Verhandlungen: Ein prozeduraler Zugang zu Superadditivität, Universität Paderborn, 2011.
LibreCat
 
2011 | Mastersthesis | LibreCat-ID: 659
Fault attacks in pairing-based cryptography
G. Liske, Fault Attacks in Pairing-Based Cryptography, Universität Paderborn, 2011.
LibreCat | Files available
 
2011 | Journal Article | LibreCat-ID: 647
Selected papers on Integrated Formal Methods (iFM09)
M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 666
Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach
S. Drzevitzky, M. Platzner, in: Proceedings of the 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011, pp. 58–65.
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 654
PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned
K. Graffi, in: Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP), 2011, pp. 154–155.
LibreCat | Files available | DOI
 
2011 | Mastersthesis | LibreCat-ID: 661
Coverage Criteria for Testing DMM Specifications
S. Arifulina, Coverage Criteria for Testing DMM Specifications, Universität Paderborn, 2011.
LibreCat
 

Filters and Search Terms

project=1

Search

Filter Publications

Display / Sort

Export