Universität Paderborn » SFB 901 » Publications » All

Publication type



Year



Author






2018 (1)

Frederik Simon Bäumer, Michaela Geierhos:
Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-based Configuration of Text Analysis Pipelines
In Proceedings of the 51st Hawaii International Conference on System Sciences. ScholarSpace (Big Island, Waikoloa Village), HICSS (2018) (to appear)

[Show BibTeX]

2017 (83)

Dominik Gutt, Darius Schlangenotto, Dennis Kundisch:
You can’t buy my rating! On the pivotal effect of an unconditional gift on rating behavior
In Wirtschaftsinformatik Proceedings, St. Gallen, Switzerland. (2017)

[Show Abstract] [Show BibTeX] [DOI]
Florian Grobbel:
Was kommt zuerst? Erkennung von zeitlichen Abläufen in funktionalen Softwareanforderungsbeschreibungen
Master's thesis, University of Paderborn (2017)

[Show BibTeX]
Mona Theda:
Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze
Master's thesis, University of Paderborn (2017)

[Show BibTeX]
Dennis Kundisch, Dominik Gutt:
Was bedeutet die Transformation der Märkte im digitalen Zeitalter? Ökonomische Grundlagen
(2017) (in: Digitale Ökonomie - Wie verändern sich die Märkte? / Hrsg.: Sandra Hannappel, Rebekka Rehm)

[Show BibTeX]
Thomas John, Dennis Kundisch, Daniel Szopinski:
Visual Languages for Modeling Business Models: A Critical Review and Future Research Directions
In Proceedings of the Thirty Eighth International Conference on Information Systems (ICIS), Seoul, South Korea. (2017)

[Show Abstract] [Show BibTeX]
Erna Hamdeev:
Verzerrte Online-Produktbewertungen - Literaturüberblick
Bachelor thesis, (2017)

[Show BibTeX]
Nikolai Winkelhake:
Tying und Bundling in digitalen Märkten - eine wettbewerbspolitische Analyse
Master's thesis, University of Paderborn (2017)

[Show BibTeX]
Thomas John, Daniel Szopinski:
Towards Explaining the Popularity of the Business Model Canvas: A Dual-coding Approach
(2017) (Contribution at: Business Model Conference, Venice, Italy)

[Show BibTeX]
Juergen Neumann, Dominik Gutt, Dennis Kundisch:
The Traveling Reviewer Problem – Exploring the Relationship Between Offline Locations and Online Rating Behavior
(2017) (Contribution at: INFORMS Annual Meeting, Houston, USA)

[Show Abstract] [Show BibTeX]
Juergen Neumann, Dominik Gutt, Dennis Kundisch:
The Traveling Reviewer Problem – Exploring the Relationship between Offline Locations and Online Rating Behavior
In Proceedings of the Thirty Eighth International Conference on Information Systems (ICIS), Seoul, South Korea. (2017)

[Show Abstract] [Show BibTeX]
Björn Feldkord, Friedhelm Meyer auf der Heide:
The Mobile Server Problem
In Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ACM, pp. 313-319 (2017)

[Show Abstract] [Show BibTeX] [DOI]
Thomas John:
Supporting Business Model Idea Generation Through Machine-generated Ideas: A Design Theory
(2017) (Contribution at: Business Model Conference, Venice, Italy)

[Show BibTeX]
Frederik Simon Bäumer, Markus Dollmann, Michaela Geierhos:
Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements
In Federica Sarro, Emad Shihab, Meiyappan Nagappan, Marie C. Platenius and Daniel Kaimann (eds.): Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics. ACM, pp. 19-25 (2017)

[Show Abstract] [Show BibTeX] [DOI]
Sevil Dräxler, Holger Karl:
Specification, Composition, and Placement of Network Services with Flexible Structures
In International Journal of Network Management, vol. 27, no. 2, pp. 1-16. John Wiley & Sons Ltd (2017)

[Show Abstract] [Show BibTeX] [DOI]
Peter Kling, Alexander Mäcker, Sören Riechers, Alexander Skopalik:
Sharing is Caring: Multiprocessor Scheduling with a Sharable Resource
In Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ACM, pp. 123-132 (2017)

[Show Abstract] [Show BibTeX] [DOI]
David Niehus:
Semantically Secure Attribute-based Searchable Encryption
Master's thesis, Paderborn University (2017)

[Show BibTeX]
Thim Frederik Strothmann:
Self-* Algorithms for Distributed Systems
PhD thesis, Universität Paderborn (2017)

[Show BibTeX] [DOI]
Eduard Weis:
Searchable Encryption
Master's thesis, Paderborn University (2017)

[Show BibTeX]
Ernst Althaus, Andre Brinkmann, Peter Kling, Friedhelm Meyer auf der Heide, Lars Nagel, Sören Riechers, Jiří Sgall, Tim Suess:
Scheduling Shared Continuous Resources on Many-Cores
In Journal of Scheduling. (2017) (to appear)

[Show BibTeX] [DOI]
Matthias Keller, Holger Karl:
Response-Time-Optimised Service Deployment: MILP Formulations of Piece-wise Linear Functions Approximating Non-linear Bivariate Mixed-integer Functions
In Transactions on Network and Service Management, vol. 14, no. 1, pp. 121-135. IEEE (2017)

[Show Abstract] [Show BibTeX] [DOI]
Achim Lösch, Marco Platzner:
reMinMin: A Novel Static Energy-Centric List Scheduling Approach Based on Real Measurements
In Proceedings of the 28th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP). (2017)

[Show Abstract] [Show BibTeX]
Matthias Feldotto, Maximilian Drees, Sören Riechers, Alexander Skopalik:
Pure Nash Equilibria in Restricted Budget Games
In Proceedings of the 23rd International Computing and Combinatorics Conference (COCOON). Springer, LNCS, vol. 10392, pp. 175-187 (2017)

[Show Abstract] [Show BibTeX] [DOI]
Mirko Jürgens:
Provably Secure Key-Derivation-Functions for Certain Types of Applications
Bachelor thesis, Paderborn University (2017)

[Show BibTeX]
Tobias Isenberg, Marco Platzner, Heike Wehrheim, Tobias Wiersema:
Proof-Carrying Hardware via Inductive Invariants
In ACM Transactions on Design Automation of Electronic Systems, vol. 22, no. 4, pp. 61:1-61:23. ACM (2017)

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs, Heike Wehrheim:
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software
In ACM Transactions on Programming Languages and Systems, vol. 39, no. 2, pp. 7:1-7:56. ACM (2017)

[Show Abstract] [Show BibTeX] [DOI]
Björn Feldkord, Christine Markarian, Friedhelm Meyer auf der Heide:
Price Fluctuations in Online Leasing
In Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA). (2017) (to appear)

[Show BibTeX]
Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim:
Predicting Rankings of Software Verification Tools
In Proceedings of the 3rd International Workshop on Software Analytics. ACM, SWAN'17, pp. 23-26 (2017)

[Show Abstract] [Show BibTeX] [DOI]
Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim:
Predicting Rankings of Software Verification Competitions
arXiv. (2017) (presented at 1st Workshop on Learning in Verification (LiVe))

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs:
PART_PW: From Partial Analysis Results to a Proof Witness
In Alessandro Cimatti and Marjan Sirjani (eds.): Software Engineering and Formal Methods. Springer International Publishing, Lecture Notes in Computer Science, vol. 10469, pp. 120-135 (2017)

[Show Abstract] [Show BibTeX] [DOI]
Christoph Knorr:
OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten
Master's thesis, Paderborn University (2017)

[Show BibTeX]
Dirk Leffrang:
Online-Bewertung und Preissetzung auf Airbnb
Bachelor thesis, (2017)

[Show BibTeX]
Marie-Christine Jakobs:
On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring
PhD thesis, Universität Paderborn (2017)

[Show BibTeX] [DOI]
Daniel Szopinski, Bahar Jazayeri, Gregor Engels, Dennis Kundisch:
On-The-Fly Computing: Ein Referenzmodell für individualisierte IT-Dienstleistungen in dynamischen Märkten
In Proceedings of the Workshop Enterprise Architecture Management in Forschung und Praxis, INFORMATIK 2017, Chemnitz, Germany. (2017)

[Show Abstract] [Show BibTeX]
Bahar Jazayeri, Simon Schwichtenberg:
On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture
In Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop. ACM, pp. 120-127 (2017)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Mäcker, Manuel Malatyali, Friedhelm Meyer auf der Heide, Sören Riechers:
Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times
In Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA). Springer (2017) (to appear)

[Show Abstract] [Show BibTeX]
Angelika Endres, Sonja Brangewitz, Behnud Djawadi, Britta Hoyer:
Network Formation and Disruption - An Experiment: Are efficient networks too complex?
Techreport UPB. (2017)

[Show Abstract] [Show BibTeX]
Linghui Luo:
MultiSkipList: A Self-stabilizing Overlay Network with Monotonic Searchability maintained
Master's thesis, University of Paderborn (2017)

[Show BibTeX]
Faisal N. Abu-Khzam, Shouwei Li, Christine Markarian, Friedhelm Meyer auf der Heide, Pavel Podlipyan:
Modular-Width: An Auxiliary Parameter for Parameterized Parallel Complexity
In Proceedings of the 11th International Workshop on Frontiers in Algorithmics (FAW). Springer, LNCS, vol. 10336, pp. 139-150 (2017)

[Show Abstract] [Show BibTeX] [DOI]
Dennis Uden:
Microsoft vs. the EU Commission - An analysis on product bundeling
Bachelor thesis, University of Paderborn (2017)

[Show BibTeX]
Marie Christin Platenius, Svetlana Arifulina, Wilhelm Schaefer:
MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract)
In Tagungsband Software Engineering. Gesellschaft für Informatik, Lecture Notes in Informatics (LNI), vol. P-267, pp. 81-82 (2017)

[Show Abstract] [Show BibTeX]
Lukas Lohrsträter:
Literaturüberblick über die Rolle von Business Architecture in Enterprise Architecture
Bachelor thesis, (2017)

[Show BibTeX]
Laura Niggmeyer:
Kartellabsprachen und vertikale Preisbindungen - Eine wettbewerbspolitische Analyse am Bespiel der Lebensmittelindustrie in Deutschland
Bachelor thesis, University of Paderborn (2017)

[Show BibTeX]
Sevil Dräxler, Holger Karl, Zoltan Adam Mann:
Joint Optimization of Scaling and Placement of Virtual Network Services
In Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017). IEEE Press (2017)

[Show Abstract] [Show BibTeX] [DOI]
Advait Ganesh Athreya:
Instantiating a Predicate Encryption Scheme via Pair Encodings
Bachelor thesis, Paderborn University (2017)

[Show BibTeX]
Frederik Simon Bäumer:
Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen
PhD thesis, Universität Paderborn (2017)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Isenberg:
Incremental Inductive Verification of Parameterized Timed Systems
In ACM Transactions on Embedded Computing Systems, vol. 16, no. 2, pp. 47:1-47:24. ACM (2017)

[Show Abstract] [Show BibTeX] [DOI]
Daniel Szopinski, Thorsten Schoormann, Thomas John, Ralf Knackstedt, Dennis Kundisch:
How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools
In Proceedings of the Twenty-Third Americas Conference on Information Systems (AMCIS), Boston, USA. (2017)

[Show Abstract] [Show BibTeX]
Daniel Szopinski, Thorsten Schoormann, Thomas John, Ralf Knackstedt, Dennis Kundisch:
How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools
(2017) (Contribution at: Bosch Business Model Innovation Summit 2017, Renningen, Germany)

[Show Abstract] [Show BibTeX]
Michaela Geierhos, Frederik Simon Bäumer:
Guesswork? Resolving Vagueness in User-Generated Software Requirements
In Henning Christiansen and M. Dolores Jiménez López and Roussanka Loukanova and Larry Moss (eds.): Partiality and Underspecification in Information, Languages, and Knowledge, pp. 65-108. Cambridge Scholars Publishing (2017)

[Show BibTeX]
Martin Martens:
Geschäftsmodelle elektronischer Handelsplattformen
Bachelor thesis, (2017)

[Show BibTeX]
Dennis Kundisch, Thomas John:
Geschäftsmodell-Modellierungssprache/Business Model Modeling Language
(2017) (Enzyklopädie der Wirtschaftsinformatik, GITO)

[Show BibTeX] [DOI]
Markus Warkentin:
Geschäftsmodell-Frameworks zur Analyse und Klassifikation bestehender Geschäftsmodelle
Bachelor thesis, (2017)

[Show BibTeX]
Lorijn van Rooijen, Frederik Simon Bäumer, Marie Christin Platenius, Michaela Geierhos, Heiko Hamann, Gregor Engels:
From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process
In Fourth International Workshop on Artificial Intelligence for Requirements Engineering (AIRE'17) workshop - in conjuction with RE'17. (2017) (to appear)

[Show BibTeX]
Simon Schwichtenberg, Christian Gerth, Gregor Engels:
From Open API to Semantic Specifications and Code Adapters
In Proceedings of the 24th IEEE International Conference on Web Services (ICWS). IEEE Computer Society, pp. 484-491 (2017)

[Show Abstract] [Show BibTeX] [DOI]
Heike Wehrheim:
Fault localization in service compositions
In Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS). Springer, LNCS (2017) (to appear)

[Show BibTeX]
Albin Sergio Djoum Temdjim:
Evaluation of Software Reputation Matching Based on App Reviews
Master's thesis, Paderborn Universty (2017)

[Show BibTeX]
Lennart Rehmer:
Erweiterung eines kontextsensitiven Autovervollständigungstools zur natürlichsprachlichen Softwarespezifikation
Bachelor thesis, University of Paderborn (2017)

[Show BibTeX]
Matthias Becker:
Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction
PhD thesis, Universität Paderborn (2017)

[Show BibTeX] [DOI]
Heinrich Riebler, Michael Lass, Robert Mittendorf, Thomas Löcke, Christian Plessl:
Efficient Branch and Bound on FPGAs using Work Stealing and Instance-Specific Designs
In ACM Trans. on Reconfigurable Technology and Systems (TRETS), vol. 10, no. 3. (2017)

[Show Abstract] [Show BibTeX]
Denis Diemert:
EAX - An Authenticated Encryption Mode for Block Ciphers
Bachelor thesis, Paderborn University (2017)

[Show BibTeX]
Robert Gmyr, Kristian Hinnenthal, Christian Scheideler, Christian Sohler:
Distributed Monitoring of Network Properties: The Power of Hybrid Networks
In Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Leibniz International Proceedings in Informatics (LIPIcs), vol. 80, pp. 137:1-137:15 (2017)

[Show Abstract] [Show BibTeX] [DOI]
Isabel Krammer:
Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz
Master's thesis, University of Munich (2017)

[Show BibTeX]
Steffen Zimmermann, Philipp Herrmann, Dennis Kundisch, Barry Nault:
Decomposing the Variance of Online Consumer Ratings and the Impact on Price and Demand
(2017) (Contribution at: Workshop Theory in Economics of Information Systems (TEIS), Sonoma, USA)

[Show Abstract] [Show BibTeX]
Steffen Zimmermann, Philipp Herrmann, Dennis Kundisch, Barry Nault:
Decomposing the Variance of Consumer Ratings and the Impact on Price and Demand
In Information Systems Research (forthcoming). (2017)

[Show Abstract] [Show BibTeX]
Felix Pauck:
Cooperative static analysis of Android applications
Master's thesis, University of Paderborn (2017)

[Show BibTeX]
Antonios Antoniadis, Peter Kling, Sebastian Ott, Sören Riechers:
Continuous Speed Scaling with Variability: A Simple and Direct Approach
In Theoretical Computer Science, vol. 678, pp. 1-13. (2017)

[Show Abstract] [Show BibTeX] [DOI]
Matthias Feldotto, Lennart Leder, Alexander Skopalik:
Congestion Games with Mixed Objectives
In Journal of Combinatorial Optimization, pp. 1-23. (2017)

[Show Abstract] [Show BibTeX] [DOI]
Matthias Feldotto, Lennart Leder, Alexander Skopalik:
Congestion Games with Complementarities
In Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC). Springer, LNCS, vol. 10236, pp. 222-233 (2017)

[Show Abstract] [Show BibTeX] [DOI]
Matthias Feldotto, Martin Gairing, Grammateia Kotsialou, Alexander Skopalik:
Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games
In Proceedings of the 13th International Conference on Web and Internet Economics (WINE). (2017) (to appear)

[Show Abstract] [Show BibTeX]
Marie-Christine Jakobs, Heike Wehrheim:
Compact Proof Witnesses
In Barrett, Clark and Davies, Misty and Kahsai, Temesghen (eds.): NASA Formal Methods: 9th International Symposium. Springer, Lecture Notes in Computer Science, vol. 10227, pp. 389-403 (2017)

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs, Julia Krämer, Dirk Van Straaten, Theodor Lettmann:
Certification Matters for Service Markets
In Marcelo De Barros, Janusz Klink,Tadeus Uhl, Thomas Prinz (eds.): The Ninth International Conferences on Advanced Service Computing SERVICE COMPUTATION 2017. IARIA XPS Press, pp. 7-12 (2017)

[Show Abstract] [Show BibTeX] [DOI]
Gennadij Liske:
CCA-Security for Predicate Encryption Schemes
PhD thesis, Universität Paderborn (2017)

[Show BibTeX]
Pascal Bemmann:
Attribute-based Signatures using Structure Preserving Signatures
Master's thesis, Paderborn University (2017)

[Show BibTeX]
Ngoc Chi Banh:
An Asynchronous Adaptation of a Churn-resistant Overlay Network
Bachelor thesis, University of Paderborn (2017)

[Show BibTeX]
Marcel Wever:
Active Learning of User Requirement Specifications in Dynamic Software Service Markets
Master's thesis, (2017)

[Show BibTeX]
Marcel Wever, Lorijn van Rooijen, Heiko Hamann:
Active Coevolutionary Learning of Requirements Specifications from Examples
In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO). ACM, pp. 1327-1334 (2017) (won the GECCO Best Paper Award)

[Show Abstract] [Show BibTeX] [DOI]
Darius Schlangenotto, Dennis Kundisch:
Achieving more by saying less? On the Moderating Effect of Information Cues in Paid Search
In Proceedings of the 50th annual Hawaii International Conference on System Sciences (HICSS), Waikoloa Village, HI, USA. AIS Electronic Library (AISeL) (2017)

[Show Abstract] [Show BibTeX] [DOI]
Darius Schlangenotto, Dennis Kundisch, Dominik Gutt:
Achieving More by Paying Less? How Bricks-and-Mortar Retailers Can Benefit by Bidding Less Aggressively in Paid Search
In Proceedings of the Thirty Eighth International Conference on Information Systems (ICIS), Seoul, South Korea. (2017)

[Show Abstract] [Show BibTeX]
Bahar Jazayeri, Olaf Zimmermann, Gregor Engels, Dennis Kundisch:
A Variability Model for Store-oriented Software Ecosystems: An Enterprise Perspective (Supplementary Material)
Techreport UPB. (2017) (http://sfb901.uni-paderborn.de/uploads/tx_sibibtex/JZEK17.pdf)

[Show BibTeX]
Bahar Jazayeri, Olaf Zimmermann, Gregor Engels, Dennis Kundisch:
A Variability Model for Store-oriented Software Ecosystems: An Enterprise Perspective
In Proceedings of the 15th International Conference on Service Oriented Computing (ICSOC 2017), Málaga, Spain. (2017)

[Show Abstract] [Show BibTeX]
Michael Feldmann, Christian Scheideler:
A Self-Stabilizing General De Bruijn Graph
In Proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). (2017) (to appear)

[Show Abstract] [Show BibTeX]
Juergen Neumann, Dominik Gutt:
A Homeowner’s Guide to Airbnb: Theory and Empirical Evidence for Optimal Pricing Conditional on Online Ratings
In Proceedings of the Twenty Fifth Conference on Information Systems (ECIS), Guimaraes. (2017)

[Show Abstract] [Show BibTeX]
Juergen Neumann, Dominik Gutt, Dennis Kundisch:
A Homeowner’s Guide to Airbnb: Theory and Empirical Evidence for Optimal Pricing Conditional on Online Ratings
(2017) (Contribution at: INFORMS Conference on Information Systems and Technology (CIST), Houston, USA)

[Show Abstract] [Show BibTeX]

2016 (100)

Katharina Bernhardt:
Zertifikate als Qualitätssignal – Wie die Zertifizierung von Produkten und Verkäufern das Vertrauen von Kunden im Onlinehandel beeinflussen
Bachelor thesis, Paderborn University (2016)

[Show BibTeX]
Alexander Schmidt:
Wie entsteht Kreativität? Ein Überblick über vergleichende Studien zu verschiedenen Formen des Brainstormings.
Bachelor thesis, Paderborn University (2016)

[Show BibTeX]
Jessica Kaczorkowski:
Wettbewerb im Internet - Eine wettbewerbspolitische Analyse des E-Commerce
Master's thesis, University of Paderborn (2016)

[Show BibTeX]
Annabel Holzmann:
Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren
Bachelor thesis, Paderborn University (2016)

[Show BibTeX]
Tobias Wiersema, Marco Platzner:
Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware
In Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016). IEEE Computer Society, pp. 1-8 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Markus Dewender:
Verifikation von Service Kompositionen mit Spin
Bachelor thesis, Paderborn University (2016)

[Show Abstract] [Show BibTeX]
Philipp Heinisch:
Verifikation von Service Kompositionen mit Prolog
Bachelor thesis, Paderborn University (2016)

[Show Abstract] [Show BibTeX]
Sebastian Strotmeyer, Thomas John, Dennis Kundisch:
Vergleichende Betrachtung von Software-Werkzeugen zur Geschäftsmodellentwicklung
In dem Konferenzband zur Multikonferenz Wirtschaftsinformatik (MKWI) 2016. Universitätsverlag Ilmenau, Research-in-Progress- und Poster-Beiträge, pp. 205-2016 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Daniel Vollmers:
Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen
Bachelor thesis, University of Paderborn (2016)

[Show BibTeX]
Stefan Heindorf, Martin Potthast, Benno Stein, Gregor Engels:
Vandalism Detection in Wikidata
In Proceedings of the 25th International Conference on Information and Knowledge Management (CIKM 2016). ACM, pp. 327-336 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Gianluca C. Durelli, Marco D. Santambrogio, Gavin Vaz, Christian Plessl, Heinrich Riebler, Ettore M. G. Trainiti, Cristiana Bolchini:
Using Just-in-Time Code Generation for Transparent Resource Management in Heterogeneous Systems
In Proceedings of International Forum on Research and Technologies for Society and Industry (RTSI 2016). IEEE, pp. 1-5 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Sebastian Abshoff, Peter Kling, Christine Markarian, Friedhelm Meyer auf der Heide, Peter Pietrzyk:
Towards the price of leasing online
In Journal of Combinatorial Optimization, vol. 32, no. 4, pp. 1197-1216. (2016)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann:
Towards On-The-Fly Image Processing
PhD thesis, Paderborn University (2016)

[Show BibTeX] [DOI]
Felix Mohr:
Towards Automated Service Composition Under Quality Constraints
PhD thesis, Paderborn University (2016)

[Show BibTeX] [DOI]
Christian Scheideler, Alexander Setzer, Thim Frederik Strothmann:
Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks
In Proceedings of the 30th International Symposium on Distributed Computing (DISC). Springer, LNCS, vol. 9888, pp. 71-84 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Faisal N. Abu-Khzam, Shouwei Li, Christine Markarian, Friedhelm Meyer auf der Heide, Pavel Podlipyan:
The Monotone Circuit Value Problem with Bounded Genus Is in NC
In Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON). Springer, LNCS, vol. 9797, pp. 92-102 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Burkhard Monien, Marios Mavronicolas:
The complexity of equilibria for risk-modeling valuations
In Theoretical Computer Science, vol. 634, pp. 67-96. Elsevier (2016)

[Show Abstract] [Show BibTeX] [DOI]
Matthias Feldotto, Kalman Graffi:
Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM
In Concurrency and Computation: Practice and Experience, vol. 28, no. 5, pp. 1655-1677. (2016)

[Show Abstract] [Show BibTeX] [DOI]
Julian Hamm:
Symmetric Anonymous Credentials with Protocols for Relations on Attributes
Master's thesis, Paderborn University (2016)

[Show BibTeX]
Sonja Brangewitz, Sarah Brockhoff:
Sustainability of Coalitional Equilibria within Repeated Tax Competition
In European Journal of Political Economy. Elsevier (2016) (in press)

[Show Abstract] [Show BibTeX] [DOI]
Thomas John:
Supporting Business Model Idea Generation Through Machine-generated Ideas: A Design Theory
In Proceedings of the Thirty Seventh International Conference on Information Systems (ICIS), Dublin, Ireland. Association for Information Systems (2016)

[Show Abstract] [Show BibTeX] [DOI]
Maximilian Drees, Björn Feldkord, Alexander Skopalik:
Strategic Online Facility Location
In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA). Springer, LNCS, vol. 10043, pp. 593-607 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Svetlana Arifulina:
Solving Heterogeneity for a Successful Service Market
PhD thesis, Paderborn University (2016)

[Show BibTeX] [DOI]
Jan Berhörster:
Software-gestützte Entwicklung von Geschäftsmodellideen: Theoretische Grundlagen und prototypische Implementierung
Master's thesis, Paderborn University (2016)

[Show BibTeX]
Fynn Dallmeier:
Short Randomizable Aggregatable Signatures: Constructions and Security Analysis
Bachelor thesis, Paderborn University (2016)

[Show BibTeX]
Jürgen König:
Shared Resource Scheduling with Interconnected Services
Master's thesis, (2016)

[Show BibTeX]
Andreas Cord Landwehr:
Selfish Network Creation - On Variants of Network Creation Games
PhD thesis, University of Paderborn (2016)

[Show BibTeX] [DOI]
Robert Gmyr, Jonas Lefèvre, Christian Scheideler:
Self-stabilizing Metric Graphs
In Proceedings of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). Springer, LNCS, vol. 10083, pp. 248-262 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Andreas Agne, Markus Happe, Achim Lösch, Christian Plessl, Marco Platzner:
Self-aware Compute Nodes
In Peter R. Lewis and Marco Platzner and Bernhard Rinner and Xin Xao (eds.): Self-aware Computing Systems, pp. 145-165. Springer (2016)

[Show Abstract] [Show BibTeX] [DOI]
Jürgen König, Alexander Mäcker, Friedhelm Meyer auf der Heide, Sören Riechers:
Scheduling with Interjob Communication on Parallel Processors
In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA). Springer, LNCS, vol. 10043, pp. 563-577 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Frederik Simon Bäumer, Michaela Geierhos:
Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions
In Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST). Springer International Publishing, Communications in Computer and Information Science, vol. 639, pp. 549-558 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Harks, Martin Höfer, Kevin Schewior, Alexander Skopalik:
Routing Games With Progressive Filling
In IEEE/ACM Transactions on Networking, vol. 24, no. 4, pp. 2553 - 2562. (2016)

[Show Abstract] [Show BibTeX] [DOI]
Lorijn van Rooijen, Heiko Hamann:
Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm
In Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016). IEEE, pp. 3-9 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Kenter:
Reconfigurable Accelerators in the World of General-Purpose Computing
PhD thesis, Paderborn University (2016)

[Show BibTeX] [DOI]
Guangli Zhang:
Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions
Master's thesis, University of Paderborn (2016)

[Show BibTeX]
Falko Dressler, Friedhelm Meyer auf der Heide (eds.):
Proceedings of the 17th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc)
ACM (2016)

[Show BibTeX] [DOI]
Mike Czech:
Predicting Rankings of Software Verification Tools Using Kernels for Structured Data
Master's thesis, Paderborn University (2016)

[Show BibTeX]
Gavin Vaz, Heinrich Riebler, Tobias Kenter, Christian Plessl:
Potential and Methods for Embedding Dynamic Offloading Decisions into Application Code
In Computers and Electrical Engineering, vol. 55, pp. 91-111. Elsevier (2016)

[Show Abstract] [Show BibTeX] [DOI]
Sevil Mehraghdam (married name: Dräxler), Holger Karl:
Placement of Services with Flexible Structures Specified by a YANG Data Model
In Proceedings of the 2nd International IEEE Conference on Network Softwarization (NetSoft). IEEE, pp. 184-192 (2016) (won the NetSoft Best Student Paper Award)

[Show Abstract] [Show BibTeX] [DOI]
Peter Günther:
Physical attacks on pairing-based cryptography
PhD thesis, University of Paderborn (2016)

[Show BibTeX] [DOI]
Achim Lösch, Tobias Beisel, Tobias Kenter, Christian Plessl, Marco Platzner:
Performance-centric scheduling with task migration for a heterogeneous compute node in the data center
In Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, pp. 912-917 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Thomas Kuehne, Heiko Hamann, Svetlana Arifulina, Gregor Engels:
Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application
In Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016). Springer, LNCS 9594, pp. 278-293 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs, Manuel Töws, Felix Pauck:
PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper)
In Ishikawa F, Romanovsky A, Troubitsyna E (eds.): Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems. School of Computing Science, University of Newcastle upon Tyne, School of Computing Science Technical Report Series, no. CS-TR-1503 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Kenter, Gavin Vaz, Heinrich Riebler, Christian Plessl:
Opportunities for deferring application partitioning and accelerator synthesis to runtime (extended abstract)
In Proceedings of Workshop on Reconfigurable Computing. (2016)

[Show BibTeX]
Florian Stapel:
Ontology-based representation of abstract optimization models for model formulation and system generation
PhD thesis, Paderborn University (2016)

[Show BibTeX] [DOI]
Eduard Heck:
Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace
Bachelor thesis, University of Paderborn (2016)

[Show BibTeX]
Christoph Schwentker:
Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen
Bachelor thesis, University of Paderborn (2016)

[Show BibTeX]
Sven Walther, Heike Wehrheim:
On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs
In Science of Computer Programming, vol. 127, pp. 2-23. Elsevier (2016)

[Show Abstract] [Show BibTeX] [DOI]
Markus Dollmann, Michaela Geierhos:
On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements
In Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP). The Association for Computational Linguistics, pp. 1807-1816 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Faisal N. Abu-Khzam, Shouwei Li, Christine Markarian, Friedhelm Meyer auf der Heide, Pavel Podlipyan:
On the Parameterized Parallel Complexity and the Vertex Cover Problem
In Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA). Springer, LNCS, vol. 10043, pp. 477-488 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Angelika Endres:
On the Design and Defense of Networks - An Experimental Investigation
Master's thesis, Paderborn University (2016)

[Show BibTeX]
Muhammet Pehlivan:
On the abuse of market power - an economic perspective of Microsoft antitrust cases
Master's thesis, University of Paderborn (2016)

[Show BibTeX]
Dominik Gutt, Dennis Kundisch:
Money Talks (Even) in the Sharing Economy: Empirical Evidence for Price Effects in Online Ratings as Quality Signals
In Proceedings of the Thirty Seventh International Conference on Information Systems (ICIS), Dublin, Ireland. Association for Information Systems (2016)

[Show Abstract] [Show BibTeX] [DOI]
Stefan Stanco:
Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen
Master's thesis, University of Paderborn (2016)

[Show BibTeX]
Belma Kesmen:
Marktmissbrauch in der Internetökonomie - Eine wettbewerbspolitische Analyse
Master's thesis, University of Paderborn (2016)

[Show BibTeX]
Ari Jubrail:
Literaturüberblick zur Varianz in Kundenbewertungen auf Online Plattformen
Bachelor thesis, Paderborn University (2016)

[Show BibTeX]
Vitalik Melnikov, Eyke Hüllermeier:
Learning to Aggregate Using Uninorms
In Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016). Springer, LNCS, vol. 9852, no. 2, pp. 756-771 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Christopher Schmidt:
Kundenbewertungen im Online-Handel – Alles Betrug?
Bachelor thesis, Paderborn University (2016)

[Show BibTeX]
Mike Czech, Marie-Christine Jakobs, Heike Wehrheim:
Just test what you cannot verify!
In Jens Knoop, Uwe Zdun (eds.): Software Engineering 2016. Gesellschaft für Informatík, Lecture Notes in Informatics, vol. P-252, pp. 17-18 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Friedhelm Meyer auf der Heide, Peter Sanders, Nodari Sitchinava:
Introduction to the Special Issue on SPAA 2014
In Transactions on Parallel Computing (TOPC), vol. 3, no. 1, pp. 1. ACM (2016)

[Show BibTeX] [DOI]
Martina Eikel:
Insider-Resistant Distributed Storage Systems
PhD thesis, University of Paderborn (2016)

[Show BibTeX] [DOI]
Tobias Isenberg:
Induction-Based Verificiation of Timed Systems
PhD thesis, University of Paderborn (2016)

[Show BibTeX] [DOI]
Marie Christin Platenius, Ammar Shaker, Matthias Becker, Eyke Hüllermeier, Wilhelm Schaefer:
Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic
In IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017, vol. 43, no. 8, pp. 739-759. IEEE (2016)

[Show Abstract] [Show BibTeX] [DOI]
Michaela Geierhos, Frederik Simon Bäumer:
How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement
In Elisabeth Métais, Farid Meziane, Mohamad Saraee, Vijayan Sugumaran, Sunil Vadera (eds.): Natural Language Processing and Information Systems. 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings. Springer International Publishing, Lecture Notes in Computer Science, vol. 9612, pp. 37-47 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Lena Reckhorn:
Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling
Bachelor thesis, University of Paderborn (2016)

[Show BibTeX]
Tobias von Rechenberg, Dominik Gutt, Dennis Kundisch:
Goals as Reference Points: Empirical Evidence from a Virtual Reward System
In Decision Analysis, vol. 13, no. 2, pp. 153-171. (2016)

[Show Abstract] [Show BibTeX] [DOI]
Tristan Sassenberg:
Gefälschte Online Bewertungen - Literaturüberblick
Bachelor thesis, Paderborn University (2016)

[Show BibTeX]
Marie Christin Platenius:
Fuzzy Matching of Comprehensive Service Specifications
PhD thesis, Paderborn University (2016) (https://katalog.ub.uni-paderborn.de/local/records/001876297)

[Show BibTeX] [DOI]
Cengiz Aykanat:
Fußwallwunder Leicester City - Auch in der Bundesliga möglich? Ein ökonomischer Vergleich des Wettbewerbs in der Bundesliga mit der englischen Premier League
Bachelor thesis, University of Paderborn (2016)

[Show BibTeX]
Markus Dollmann:
Frag die Anwender: Extraktion und Klassifikation von funktionalen Softwareanforderungen aus User-Generated-Content
Master's thesis, University of Paderborn (2016)

[Show BibTeX]
Bahar Jazayeri, Marie Christin Platenius, Gregor Engels, Dennis Kundisch:
Features of IT Service Markets: A Systematic Literature Review (Supplementary Material)
Techreport UPB. (2016) (Technical Report, tr-ri-16-350 (https://www.hni.uni-paderborn.de/pub/9342) )

[Show BibTeX]
Bahar Jazayeri, Marie Christin Platenius, Gregor Engels, Dennis Kundisch:
Features of IT Service Markets: A Systematic Literature Review
In Proceedings of the 14th International Conference on Service Oriented Computing (ICSOC). Springer, LNCS, vol. 9936, pp. 301-316 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Maximilian Drees:
Existence and Properties of Pure Nash Equilibria in Budget Games
PhD thesis, University of Paderborn (2016)

[Show BibTeX] [DOI]
Henrik Bröcher:
Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung
Bachelor thesis, University of Paderborn (2016)

[Show BibTeX]
Eugen Dimant:
Economics of Corruption and Crime: An Interdisciplinary Approach to Behavioral Ethics
PhD thesis, Paderborn University (2016)

[Show BibTeX] [DOI]
Sonja Brangewitz, Simon Hoof:
Economic Aspects of Service Composition: Price Negotiations and Quality Investments
In Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, and Ilche Georgievski (eds.): Service-Oriented and Cloud Computing: 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings. Springer International Publishing (Cham), pp. 201-215 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Julia Funke:
Die Wirkung von monetären Incentives auf das Bewertungsverhalten von Kunden am Beispiel von meineLinse.de
Bachelor thesis, Paderborn University (2016)

[Show BibTeX]
Philipp Herrmann, Dominik Gutt, Mohammad Rahman:
Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions
(2016) (contribution at: INFORMS Annual Meeting, Nashville, USA)

[Show Abstract] [Show BibTeX]
Philipp Herrmann, Dominik Gutt, Mohammad Rahman:
Crowd-Driven Competitive Intelligence: Understanding the Relationship between Local Market Structure and Online Rating Distributions
(2016) (contribution at: NBER Summer Institute on the Economics of Information Technology and Digitization, Cambridge, MA)

[Show Abstract] [Show BibTeX]
Alexander Mäcker, Manuel Malatyali, Friedhelm Meyer auf der Heide, Sören Riechers:
Cost-efficient Scheduling on Machines from the Cloud
In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA). Springer, LNCS, vol. 10043, pp. 578-592 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Johannes Blömer, Gennadij Liske:
Construction of Fully CCA-Secure Predicate Encryptions from Pair Encoding Schemes
In Proceedings of the CT-RSA 2016. Springer, LNCS, vol. 9610, pp. 431-447 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Matthias Feldotto, Lennart Leder, Alexander Skopalik:
Congestion Games with Mixed Objectives
In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA). Springer, LNCS, vol. 10043, pp. 655-669 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Lennart Leder:
Congestion Games with Mixed Objectives
Master's thesis, Paderborn University (2016)

[Show BibTeX]
Sonja Brangewitz, Jochen Manegold:
Competition of Intermediaries in a Differentiated Duopoly
In Theoretical Economics Letters, vol. 6, pp. 1341-1362. (2016)

[Show Abstract] [Show BibTeX] [DOI]
Jochen Manegold:
Competition in Markets with Intermediaries
PhD thesis, University of Paderborn (2016)

[Show BibTeX] [DOI]
Laurens Porzenheim:
Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes
Bachelor thesis, Paderborn University (2016)

[Show BibTeX]
Kai Sören Bemmann:
Commitment Schemes - De finitions, Variants, and Security
Bachelor thesis, Paderborn University (2016)

[Show BibTeX]
Maximilian Drees, Robert Gmyr, Christian Scheideler:
Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration
In Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ACM, pp. 417-427 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Tobias von Rechenberg, Dominik Gutt:
Challenge Accepted! - The Impcat of Goal Achievement on Subsequent User Effort and Implications of a Goal's Difficulty
In Proceedings of the Twenty Fourth Conference on Information Systems (ECIS), Istanbul. (2016)

[Show Abstract] [Show BibTeX]
Simon Schwichtenberg:
Automatized Derivation of Comprehensive Specifications for Black-box Services
In Proceedings of the 38th International Conference on Software Engineering Companion (ICSE). ACM, pp. 815-818 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann, Bernd Kleinjohann:
Automatic Composition of Service-based Image Processing Applications
In Proceedings of the 13th IEEE International Conference on Services Computing (SCC). IEEE, pp. 106-113 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Bahar Jazayeri:
Architectural Management of On-The-Fly Computing Markets
In Proceedings of the 10th European Conference on Software Architecture (ECSA Workshops). ACM, pp. 42 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Matthias Keller:
Application Deployment at Distributed Clouds
PhD thesis, Paderborn University (2016)

[Show BibTeX] [DOI]
Marie Christin Platenius, Klementina Josifovska, Lorijn van Rooijen, Svetlana Arifulina, Matthias Becker, Gregor Engels, Wilhelm Schaefer:
An Overview of Service Specification Language and Matching in On-The-Fly Computing (v0.3)
Techreport UPB. (2016) (Technical Report, tr-ri-16-349 (https://www.hni.uni-paderborn.de/pub/9309))

[Show BibTeX]
Tobias Wiersema, Arne Bockhorn, Marco Platzner:
An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip
In Computers & Electrical Engineering, vol. 55, pp. 112-122. Elsevier (2016)

[Show Abstract] [Show BibTeX] [DOI]
Kristian Hinnenthal:
Aggregation in Overlay Networks
Master's thesis, Paderborn University (2016)

[Show Abstract] [Show BibTeX]
Julia Krämer, Heike Wehrheim:
A short survey on using software error localization for service compositions
In Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016). Springer, LNCS, vol. 9846, pp. 248-262 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann, Bernd Kleinjohann:
A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality
In Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE, pp. 1-8 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Julia Krämer, Heike Wehrheim:
A Formal Approach to Error Localization and Correction in Service Compositions
In Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016). Springer, LNCS, vol. 9946, pp. 445-457 (2016)

[Show Abstract] [Show BibTeX] [DOI]
Manuel Töws, Heike Wehrheim:
A CEGAR Scheme for Information Flow Analysis
In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016). Springer, LNCS, vol. 10009, pp. 466-483 (2016)

[Show Abstract] [Show BibTeX] [DOI]

2015 (100)

Rene Fahr, Behnud Djawadi:
“…and they are really lying”: Clean Evidence on the Pervasiveness of Cheating in Professional Contexts from a Field Experiment.
In Journal of Economic Psychology, vol. 48, pp. 48-59. (2015)

[Show Abstract] [Show BibTeX] [DOI]
Hannah Schulz:
Zur Verbreitung von Informationen in sozialen Netzwerken - eine wirtschaftspolitische Analyse
Bachelor thesis, University of Paderborn (2015)

[Show BibTeX]
Thomas John, Dennis Kundisch:
Why Fit Leads to Surprise: An Extension of Cognitive Fit Theory to Creative Problems
In Proceedings of the Thirty Sixth International Conference on Information Systems (ICIS), Fort Worth, USA. (2015)

[Show Abstract] [Show BibTeX]
Michaela Geierhos, Sabine Schulze, Frederik Simon Bäumer:
What did you mean? Facing the Challenges of User-generated Software Requirements
In Stephane Loiseau, Joaquim Filipe, Béatrice Duval and Jaap 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 (Lisbon, Portugal), pp. 277-283 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Burkhard Monien, Marios Mavronicolas, Klaus Wagner:
Weighted Boolean Formula Games
In the ´Festschrift´ Algorithms, Probability, Networks, and Games: Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday. Springer, LNCS, vol. 9295, pp. 49-86 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Johannes Blömer, Kathlén Kohn:
Voronoi Cells of Lattices with Respect to Arbitrary Norms
Techreport UPB. (2015) (arXiv.org Archive http://arxiv.org/pdf/1512.00720v1.pdf)

[Show Abstract] [Show BibTeX] [DOI]
MariaReinhild Menne:
Verkaufsbeschränkungen auf Onlinemarktplätzen - Eine wettbewerbspolitische Analyse am Fallbeispiel der Adidas AG
Bachelor thesis, University of Paderborn (2015)

[Show BibTeX]
Sebastian Strotmeyer:
Vergleichende Betrachtung von Software-Werkzeugen zur Geschäftsmodellentwicklung
Bachelor thesis, Paderborn University (2015)

[Show BibTeX]
Daniel Neumann:
Vergleichende Betrachtung ausgewählter Ansätze zur Bewertung von Innovation Performance im Kontext von IT-gestützen Geschäftsmodellinnovationen im Automotive Bereich
Master's thesis, (2015)

[Show BibTeX]
Kerstin Ochlast:
Trust Me, I am Certified - Wie die Zertifizierung von Produkten und Verkäufern das Vertrauen von Kunden im Onlinehandel beeinflussen
Bachelor thesis, Paderborn University (2015)

[Show BibTeX]
Marvin Damschen, Heinrich Riebler, Gavin Vaz, Christian Plessl:
Transparent offloading of computational hotspots from binary code to Xeon Phi
In Proceedings of the 2015 Conference on Design, Automation and Test in Europe (DATE). ACM, pp. 1078-1083 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Stefan Heindorf, Martin Potthast, Benno Stein, Gregor Engels:
Towards Vandalism Detection in Knowledge Bases: Corpus Construction and Analysis
In Proceedings of the 38th International ACM Conference on Research and Development in Information Retrieval (SIGIR 15). ACM, pp. 831-834 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Shouwei Li, Alexander Mäcker, Christine Markarian, Friedhelm Meyer auf der Heide, Sören Riechers:
Towards Flexible Demands in Online Leasing Problems
In Proceedings of the 21st Annual International Computing and Combinatorics Conference (COCOON). Springer, Lecture Notes in Computer Science, vol. 9198, pp. 277-288 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Christian Scheideler, Alexander Setzer, Thim Frederik Strothmann:
Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures
In Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Leibniz International Proceedings in Informatics (LIPIcs), vol. 46 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Andreas Koutsopoulos, Christian Scheideler, Thim Frederik Strothmann:
Towards a Universal Approach for the Finite Departure Problem in Overlay Networks
In Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). Springer, Lecture Notes in Computer Science, vol. 9212, pp. 201-216 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Thim Frederik Strothmann:
The impact of communication patterns on distributed locally self-adjusting binary search trees
In Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM). Springer, LNCS, vol. 8973, pp. 175-186 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Burkhard Monien, Marios Mavronicolas:
The complexity of pure equilibria in mix-weighted congestion games on parallel links
In Information Processing Letters, pp. 927-931. Elsevier (2015)

[Show Abstract] [Show BibTeX] [DOI]
Matthias Becker, Sebastian Lehrig, Steffen Becker:
Systematically Deriving Quality Metrics for Cloud Computing Systems
In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering. ACM (New York, NY, USA), ICPE '15, pp. 169-174 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Galina Besova:
Systematic Development and Re-Use of Model Tranformations
PhD thesis, University of Paderborn (2015)

[Show BibTeX] [DOI]
Arne Schwabe, Holger Karl:
SynRace: Decentralized Load-Adaptive Multi-path Routing without Collecting Statistics
In Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015). IEEE, pp. 37-42 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Thomas John:
Supporting Business Model Idea Generation Through Machine-generated Ideas - Towards a Design Theory
In Proceedings of the AIS SIGPRAG Pre-ICIS Workshop: Practice-based Design and Innovation of Digital Artifacts, Fort Worth, USA. (2015)

[Show Abstract] [Show BibTeX] [DOI]
Sonja Brangewitz, Claus-Jochen Haake, Philipp Möhlmeier:
Strategic Formation of Customer Relationship Networks
Techreport UPB. (2015)

[Show Abstract] [Show BibTeX]
Marie-Christine Jakobs:
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning
In Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM). Springer, LNCS, vol. 9276, pp. 159-174 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Karlson Pfannschmidt:
Solving the aggregated bandits problem
Master's thesis, Paderborn University (2015)

[Show BibTeX]
Martin Dräxler, Johannes Blobel, Philipp Dreimann, Stefan Valentin, Holger Karl:
SmarterPhones: Anticipatory Download Scheduling for Wireless Video Streaming
In Proceedings of the 2nd International Conference on Networked Systems (NetSys). IEEE, pp. 1-8 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Johannes Blömer, Jakob Juhnke, Nils Löken:
Short Group Signatures with Distributed Traceability
In Proceedings of the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS). Springer, LNCS, vol. 9582, pp. 166-180 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Dominik Gutt, Philipp Herrmann:
Sharing Means Caring? Hosts' Price Reactions to Rating Visibility
In Proceedings of the Twenty Third European Conference on Information Systems (ECIS), Münster. (2015)

[Show Abstract] [Show BibTeX]
Matthias Trykacz:
Share Economy - Identifikation von konstituierenden Merkmalen anhand einer vergleichenden Betrachtung von Geschäftsmodellen
Bachelor thesis, Paderborn University (2015)

[Show BibTeX]
Finn Zindler:
Selektive Vertriebssysteme am Fallbeispiel der Adidas AG - eine wettbewerbspolitische Beurteilung
Bachelor thesis, University of Paderborn (2015)

[Show BibTeX]
Berno Buechel, Nils Roehl:
Robust equilibria in location games
In European Journal of Operational Research, vol. 240, no. 2, pp. 505-517. Elsevier (2015)

[Show Abstract] [Show BibTeX] [DOI]
Melissa Sonntag:
Reputation und Vertrauen auf Online-Märkten
Bachelor thesis, Paderborn University (2015)

[Show BibTeX]
Dominik Gutt, Dennis Kundisch:
Rating Aggregation in Multi-Dimensional Rating Systems: How Do Reviewers Form Overall Ratings?
(2015) (contribution at: INFORMS Annual Meeting, Philadelphia, USA)

[Show Abstract] [Show BibTeX]
Fabian Brosig, Philipp Meier, Steffen Becker, Anne Koziolek, Heiko Koziolek, Samuel Kounev:
Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures
In Transactions on Software Engineering, vol. 41, no. 2, pp. 157-175. IEEE (2015)

[Show Abstract] [Show BibTeX] [DOI]
Thorsten Eisenhofer:
Protokolle zur authentifizierten Schlüsselvereinbarung
Bachelor thesis, Paderborn University (2015)

[Show BibTeX]
Marie-Christine Jakobs, Heike Wehrheim:
Programs from Proofs of Predicated Dataflow Analyses
In Proceedings of the 30th Annual ACM Symposium on Applied Computing. ACM, SAC '15, pp. 1729-1736 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Corinna Hallmann, Leena Suhl:
Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation
In OR Spectrum, pp. 1-19. Springer (2015)

[Show Abstract] [Show BibTeX] [DOI]
Philip Wette:
Optimizing Software-Defined Networks using Application-Layer Knowledge
PhD thesis, University of Paderborn (2015)

[Show BibTeX] [DOI]
Corinna Hallmann:
Optimierung von Wasserbehältern in einem Wasserversorgungssystem mittels einer Kombination aus Netzreduktion, mathematischer Optimierung und hydraulischer Simulation
PhD thesis, University of Paderborn (2015)

[Show BibTeX] [DOI]
Christine Markarian, Friedhelm Meyer auf der Heide:
Online Resource Leasing
In Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC). ACM, pp. 343-344 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Christine Markarian:
Online Resource Leasing
PhD thesis, University of Paderborn (2015)

[Show BibTeX] [DOI]
Alexander Lange:
Online Bewertungssysteme – Ein systematischer Überblick
Bachelor thesis, Paderborn University (2015)

[Show BibTeX]
Tobias Wiersema, Sen Wu, Marco Platzner:
On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach
In Proceedings of the International Symposium in Reconfigurable Computing (ARC). Springer, LNCS, vol. 9040, pp. 365-372 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Sebastian Abshoff:
On the Complexity of Fundamental Problems in Dynamic Ad-hoc Networks
PhD thesis, University of Paderborn (2015)

[Show BibTeX] [DOI]
Maximilian Drees, Matthias Feldotto, Sören Riechers, Alexander Skopalik:
On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games
In Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT). Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 9347, pp. 178-189 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann:
On Adaptivity for Automated Composition of Service Functionality
In Proceedings of the IEEE 11th World Congress on Services (SERVICES). IEEE, pp. 329-332 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Kathlén Kohn:
Number of Voronoi-relevant vectors in lattices with respect to arbitrary norms
Master's thesis, Paderborn University (2015)

[Show BibTeX]
Alexander Mäcker, Manuel Malatyali, Friedhelm Meyer auf der Heide, Sören Riechers:
Non-preemptive Scheduling on Machines with Setup Times
In Frank Dehne and Jörg-Rüdiger Sack and Ulrike Stege (eds.): Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings. Springer, Lecture Notes in Computer Science, vol. 9214, pp. 542-553 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Andreas Cord Landwehr, Pascal Lenzner:
Network Creation Games: Think Global - Act Local
In Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS). Springer, LNCS, vol. 9235, pp. 248-260 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Till Hohenberger:
Network Creation Games with Interest Groups
Master's thesis, University of Paderborn (2015)

[Show BibTeX]
Nils Kothe:
Multilevel Netzwerk Spiele mit konstanten Entfernungen im Highspeed-Netzwerk
Bachelor thesis, University of Paderborn (2015)

[Show BibTeX]
Michael Feldmann:
Monotonic Searchability for distributed sortes Lists and DeBruijn Graphs
Master's thesis, Paderborn University (2015)

[Show BibTeX]
Marie Christin Platenius, Svetlana Arifulina, Wilhelm Schaefer:
MatchBox: A Framework for Dynamic Configuration of Service Matching Processes
In Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE'15). ACM, pp. 75-84 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Svetlana Arifulina, Marie Christin Platenius, Felix Mohr, Gregor Engels, Wilhelm Schaefer:
Market-Specific Service Compositions: Specification and Matching
In Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet. IEEE, pp. 333-340 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Rojahn:
Load Balancing for Range Queries in a Dimension Invariant Peer-to-Peer Network
Master's thesis, University of Paderborn (2015)

[Show BibTeX]
Michelle Kirsch:
Koordinierter Patentschutz in einer globalisierten Welt - Effizienz- und Anreizwirkungen auf die Arzneimittelversorgung in Entwicklungsländern
Bachelor thesis, University of Paderborn (2015)

[Show BibTeX]
Mike Czech, Marie-Christine Jakobs, Heike Wehrheim:
Just test what you cannot verify!
In Egyed, Alexander and Schaefer, Ina (eds.): Fundamental Approaches to Software Engineering. Springer, Lecture Notes in Computer Science, vol. 9033, pp. 100-114 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Martina Eikel, Christian Scheideler:
IRIS: A Robust Information System Against Insider DoS Attacks
In Transactions on Parallel Computing, vol. 2, no. 3, pp. 18:1-18:33. ACM (2015)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Isenberg:
Incremental Inductive Verification of Parameterized Timed Systems
In Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD). IEEE Computer Society, pp. 1-9 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Benedikt Kalde:
Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup
Bachelor thesis, Paderborn University (2015)

[Show BibTeX]
Philip Wette, Holger Karl:
HybridTE: Traffic Engineering for Very Low-Cost Software-Defined Data-Center Networks
In Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015). IEEE, pp. 1-7 (2015) (won best paper award )

[Show Abstract] [Show BibTeX] [DOI]
Joe Cox, Daniel Kaimann:
How do reviews from professional critics interact with other signals of product quality? Evidence from the video game industry
In Journal of Consumer Behaviour, vol. 14, no. 6, pp. 366-377. (2015)

[Show Abstract] [Show BibTeX] [DOI]
Philipp Herrmann, Dennis Kundisch, Steffen Zimmermann, Barry Nault:
How do Different Sources of the Variance of Consumer Ratings Matter?
In Proceedings of the Thirty Sixth International Conference on Information Systems (ICIS), Fort Worth. (2015)

[Show Abstract] [Show BibTeX] [DOI]
Galina Besova, Dominik Steenken, Heike Wehrheim:
Grammar-based model transformations: Definition, execution, and quality properties
In Computer Languages, Systems & Structures, vol. 43, pp. 116-138. Elsevier (2015)

[Show Abstract] [Show BibTeX] [DOI]
Paul Börding:
Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen
Bachelor thesis, University of Paderborn (2015)

[Show BibTeX]
Christina Osburg:
Fusionen von gesetzlichen Krankenversicherungen zu den Effizienz- und Wechselwirkungen
Master's thesis, University of Paderborn (2015)

[Show BibTeX]
Michaela Geierhos, Frederik Simon Bäumer, Sabine Schulze, Valentina Stuß:
Filtering Reviews by Random Individual Error
In Ali, M., Kwon, Y.S., Lee, C.-H., Kim, J., Kim, Y. (eds.): Current Approaches in Applied Artificial Intelligence Intelligence - 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2015, Seoul, South Korea, June 10-12, 2015, Proceedings. Springer, LNAI, vol. 9101, pp. 305-315 (2015)

[Show Abstract] [Show BibTeX] [DOI]
GinaJoanna Materna:
Fair Trade - Eine neue Perspektive in der internationalen Handelspolitik
Bachelor thesis, University of Paderborn (2015)

[Show BibTeX]
Patricia Goronczewski:
Fair Trade - An economic investigation of benefits and drawbacks
Bachelor thesis, University of Paderborn (2015)

[Show BibTeX]
Tobias Kenter, Henning Schmitz, Christian Plessl:
Exploring Tradeoffs between Specialized Kernels and a Reusable Overlay in a Stereo-Matching Case Study
In International Journal of Reconfigurable Computing (IJRC), pp. 1-24. Hindawi Publishing Corporation (2015)

[Show Abstract] [Show BibTeX] [DOI]
Martin Sosniak:
Evaluation of Pairing Optimization for Embedded Platforms
Master's thesis, Paderborn University (2015)

[Show BibTeX]
Dennis Plonka:
Entwicklung von Ablösesummen und Gehälter in der Fußball-Bundesliga - Salary Caps als mögliches Modell der Chancengleichheit
Bachelor thesis, University of Paderborn (2015)

[Show BibTeX]
Britta Gerken:
Elektromagnetische Seitenkanalangriffe auf paarungsbasierte Kryptographie
Master's thesis, Paderborn University (2015)

[Show BibTeX]
Conrad Neumann:
Ein Framework für Fuzzy Service Matching basierend auf Fuzzy Sets
Bachelor thesis, University of Paderborn (2015)

[Show BibTeX]
Jan Bobolz:
Efficient Verifier-Local Revocation for Anonymous Credentials
Master's thesis, Paderborn University (2015)

[Show BibTeX]
Christian Stroh:
Efficient Attributes for Pairing-Based Anonymous Credentials
Master's thesis, Paderborn University (2015)

[Show BibTeX]
Marvin Damschen, Christian Plessl:
Easy-to-Use On-The-Fly Binary Program Acceleration on Many-Cores
In Proceedings of the 5th International Workshop on Adaptive Self-tuning Computing Systems (ADAPT). ACM (2015)

[Show Abstract] [Show BibTeX] [DOI]
Andreas Koutsopoulos:
Dynamics and Efficiency in Topological Self-Stabilization
PhD thesis, University of Paderborn (2015)

[Show BibTeX] [DOI]
Sebastian Kniesburges:
Distributed Data Structures and the Power of topological Self-Stabilization
PhD thesis, University of Paderborn (2015)

[Show BibTeX] [DOI]
Christina Kunisch:
Diffusion of Innovations in Social Networks
Bachelor thesis, University of Paderborn (2015)

[Show BibTeX]
Philipp Herrmann, Dennis Kundisch, Steffen Zimmermann, Barry Nault:
Different Sources of the Variance of Online Consumer Ratings and their Impact on Price and Demand
(2015) (contribution at: INFORMS Conference on Information Systems and Technology (CIST), Philadelphia, USA)

[Show Abstract] [Show BibTeX]
Alina Reimann:
Die Wirksamkeit von Zertifikaten als Qualitätssignal
Bachelor thesis, Paderborn University (2015)

[Show BibTeX]
Barlas Topal:
Die Einführung der EU-Merger Guidelines - Effizienz und Wohlfahrtswirkungen
Master's thesis, University of Paderborn (2015)

[Show BibTeX]
Melanie Bruns:
Design of an Evaluation Strategy for Fuzzy Service Matching
Bachelor thesis, Paderborn University (2015)

[Show BibTeX]
Sonja Brangewitz, Claus-Jochen Haake, Jochen Manegold:
Contract Design for Composed Services in a Cloud Computing Environment
In Ortiz, Guadalupe and Tran, Cuong (eds.): Advances in Service-Oriented and Cloud Computing. Springer International Publishing, Communications in Computer and Information Science, vol. 508, pp. 160-174 (2015) (Proceedings of the 2nd International Workshop on Cloud Service Brokerage, CSB 2014)

[Show Abstract] [Show BibTeX] [DOI]
Patrick Schleiter:
Constructions of Fully Secure Predicate Encryption Schemes
Master's thesis, Paderborn University (2015)

[Show BibTeX]
Paul Börding, Melanie Bruns, Marie Christin Platenius:
Comprehensive Service Matching with MatchBox
In 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'15). ACM, pp. 974-977 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Sonja Brangewitz, Jochen Manegold:
Competition and Product Innovation of Intermediaries in a Differentiated Duopoly
Techreport UPB. (2015)

[Show Abstract] [Show BibTeX]
Alexander Jungmann, Jan Jatzkowski, Bernd Kleinjohann:
Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study
In Proceedings of the 5th IFIP International Embedded Systems Symposium. Springer (2015)

[Show Abstract] [Show BibTeX]
Jannis Pautz:
Budget Games with priced strategies
Bachelor thesis, Paderborn University (2015)

[Show BibTeX]
Claudius Jähn:
Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen
PhD thesis, University of Paderborn (2015)

[Show BibTeX] [DOI]
Zille Huma:
Automatic Service Discovery and Composition for heterogeneous service partners
PhD thesis, University of Paderborn (2015)

[Show BibTeX] [DOI]
Felix Mohr, Alexander Jungmann, Hans Kleine Buening:
Automated Online Service Composition
In Proceedings of the 12th IEEE International Conference on Services Computing (SCC). IEEE, pp. 57-64 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Ioannis Caragiannis, Angelo Fanelli, Nick Gravin, Alexander Skopalik:
Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure
In Transactions on Economics and Computation, vol. 3, no. 1, pp. 2. ACM (2015)

[Show Abstract] [Show BibTeX] [DOI]
Fabian Eidens:
Anonymous credential system based on q-Strong Diffie-Hellman Assumption
Master's thesis, Paderborn University (2015)

[Show BibTeX]
Johannes Blömer, Jakob Juhnke, Christina Kolb:
Anonymous and Publicly Linkable Reputation Systems
In Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC). Springer, LNCS, vol. 8975, pp. 478-488 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann, Felix Mohr:
An approach towards adaptive service composition in markets of composed services
In Journal of Internet Services and Applications, vol. 6, no. 1, pp. 1-18. Springer Open (2015)

[Show Abstract] [Show BibTeX] [DOI]
Felix Mohr:
A Metric for Functional Reusability of Services
In Proceedings of the 14th International Conference on Software Reuse (ICSR). Springer, LNCS, vol. 8919, pp. 298-313 (2015)

[Show Abstract] [Show BibTeX] [DOI]
Nils Löken:
A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption
Master's thesis, Paderborn University (2015)

[Show BibTeX]
Frederic Heihoff:
A group signature scheme based on the LSRW assumption
Bachelor thesis, Paderborn University (2015)

[Show BibTeX]
Sebastian Kniesburges, Andreas Koutsopoulos, Christian Scheideler:
A deterministic worst-case message complexity optimal solution for resource discovery
In Theoretical of Computer Science, vol. 584, pp. 67-79. Elsevier (2015)

[Show Abstract] [Show BibTeX] [DOI]

2014 (141)

Andreas Agne, Markus Happe, Ariane Keller, Enno Lübbers, Bernhard Plattner, Marco Platzner, Christian Plessl:
ReconOS - An Operating System Approach for Reconfigurable Computing
In IEEE Micro, vol. 34, no. 1, pp. 60-71. IEEE (2014)

[Show Abstract] [Show BibTeX] [DOI]
Philip Wette, Martin Dräxler, Arne Schwabe, Felix Wallaschek, Mohammad Hassan Zahraee, Holger Karl:
MaxiNet: Distributed Emulation of Software-Defined Networks
In Proceedings of the 2014 IFIP Networking Conference (Networking 2014). IEEE, pp. 1-9 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Liesa Drigalsky:
Zur Ausbreitung und Behinderung von Epidemien - Eine Netzwerkanalyse
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Sen Wu:
Webcam application using virtual FPGA
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Maximilian Lange:
Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der zertifizierung und von Reputationssystemen auf Onlinemärkten
Bachelor thesis, Paderborn University (2014)

[Show BibTeX]
Sebastian Osterbrink:
Visualisierung von SMT-Solver-Ausgaben
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Peter Wagener:
Vertical Thread Migration in FPGA based Sound Localization
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Marco Platzner, Christian Plessl:
Verschiebungen an der Grenze zwischen Hardware und Software
In Norbert Otto Eke, Lioba Foit, Timo Kaerlein, Jörn Künsemöller (eds.): Logiken strukturbildender Prozesse: Automatismen. Wilhelm Fink Verlag, Schriftenreihe des Graduiertenkollegs "Automatismen", pp. 123-144 (2014)

[Show Abstract] [Show BibTeX]
Sven Walther, Heike Wehrheim:
Verified Service Compositions by Template-Based Construction
In Lanese, Ivan and Madelaine, Eric (eds.): Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS). Springer, LNCS, vol. 8997, pp. 31-48 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Christopher Berkemeier:
Verhandlungen vs Auktionen im Beschäftigungsmanagement
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Henri Beck:
Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Philip Wette, Holger Karl:
Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms
In Proceedings of the IEEE International Conference on Communications 2014. IEEE Computer Society, pp. 3270-3276 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Philipp Korth:
Untersuchung transitiver Eigenschaften der Technik "Programs from Proofs"
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Terry Fang Cheng:
Two-Sided Market and Game Console Vendors
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Christoph Klauke:
Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Jörn Künsemöller:
Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market
PhD thesis, University of Paderborn (2014)

[Show BibTeX] [DOI]
Matthias Becker, Steffen Becker, Galina Besova, Sven Walther, Heike Wehrheim:
Towards Systematic Configuration for Architecture Validation
In Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session). IEEE (2014)

[Show BibTeX]
Alexander Jungmann, Bernd Kleinjohann:
Towards Context-Sensitive Service Composition for Service-Oriented Image Processing
In Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom). IEEE, pp. 755-758 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Sonja Brangewitz, Alexander Jungmann, Ronald Petrlic, Marie Christin Platenius:
Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services
In Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION). IARIA XPS Press, pp. 49-57 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Sebastian Meisner, Marco Platzner:
Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores for Error Detection
In Goehringer, Diana and Santambrogio, MarcoDomenico and Cardoso, JoãoM.P. and Bertels, Koen (eds.): Proceedings of the 10th International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications. Springer International Publishing, Lecture Notes in Computer Science, vol. 8405, pp. 283-290 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Christoph Rüthing:
The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Christoph Sorge:
The Legal Classification of Identity-Based Signatures
In Computer Law and Security Review, vol. 30, no. 2, pp. 126-136. Elsevier (2014)

[Show Abstract] [Show BibTeX] [DOI]
Daniel Kaimann, Joe Cox:
The Interaction of Signals: A Fuzzy set Analysis of the Video Game Industry
Techreport UPB. (2014)

[Show Abstract] [Show BibTeX]
Lena Holzweißig:
The Impact of Customer Reviews and Reputation on Hotel Prices
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Friedrich Scheel:
The Economics of Individual Behavior in Competitive Environments: Empirical Evidence from Real-Life Tournaments
PhD thesis, University of Paderborn (2014)

[Show BibTeX] [DOI]
Felix Mohr, Sven Walther:
Template-based Generation of Semantic Services
In Proceedings of the 14th International Conference on Software Reuse (ICSR). Springer, LNCS, vol. 8919, pp. 188-203 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Matthias Keller, Christoph Robbert, Holger Karl:
Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds
In Proceedings of 7th International Conference on Utility and Cloud Computing (UCC). IEEE/ACM, pp. 387-395 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Johannes Blömer, Peter Günther, Gennadij Liske:
Tampering attacks in pairing-based cryptography
In Proceedings of Fault Tolerance and Diagnosis in Cryptography (FDTC). IEEE Computer Society, pp. 1-7 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Laszlo Blazovics, Tamas Lukovszki, Bertalan Forstner:
Surrounding robots - A discrete localized solution for the intruder problem
In Journal of Advanced Computational Intelligence and Intelligent Informatics, vol. 18, no. 3, pp. 315-319. Fuji Technology Press (2014)

[Show Abstract] [Show BibTeX] [DOI]
Olga Ebel:
Struktur und algorithmische Bestimmung stabiler Matchings in one-to-one Matching Märkten
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Nils Roehl:
Strategic and Cooperative Games in Network Economics
PhD thesis, University of Paderborn (2014)

[Show BibTeX] [DOI]
Manuel Töws:
Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Sevil Mehraghdam (married name: Dräxler), Matthias Keller, Holger Karl:
Specifying and Placing Chains of Virtual Network Functions
In Proceedings of the 3rd International Conference on Cloud Networking (CloudNet). IEEE, pp. 7-13 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Daniel Roeske:
Simulating load-dependent operation of picocells
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Sarah Kaiser:
Signalisieren und Screening in Arbeitsmärkten - die Experimente von Brandts & Holt und Kübler et. al
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Andreas Agne, Hendrik Hangmann, Markus Happe, Marco Platzner, Christian Plessl:
Seven Recipes for Setting Your FPGA on Fire - A Cookbook on Heat Generators
In Microprocessors and Microsystems, vol. 38, no. 8, Part B, pp. 911-919. Elsevier (2014)

[Show Abstract] [Show BibTeX] [DOI]
Svetlana Arifulina, Matthias Becker, Marie Christin Platenius, Sven Walther:
SeSAME: Modeling and Analyzing High-Quality Service Compositions
In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014). ACM New York, pp. 839-842 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Andreas Agne, Markus Happe, Achim Lösch, Christian Plessl, Marco Platzner:
Self-awareness as a Model for Designing and Operating Heterogeneous Multicores
In ACM Transactions on Reconfigurable Technology and Systems (TRETS), vol. 7, no. 2. ACM (2014) (Article No. 13)

[Show Abstract] [Show BibTeX] [DOI]
Ronald Petrlic, Alexander Jungmann, Marie Christin Platenius, Wilhelm Schaefer, Christoph Sorge:
Security and Privacy Challenges in On-The-Fly Computing
In Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014). De Gruyter Oldenbourg, pp. 131-142 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Jens Janiuk, Alexander Mäcker, Kalman Graffi:
Secure Distributed Data Structures for Peer-to-Peer-based Social Networks
In Proceedings of the International Conference on Collaboration Technologies and Systems (CTS). IEEE Computer Society, pp. 396-405 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Andre Brinkmann, Peter Kling, Friedhelm Meyer auf der Heide, Lars Nagel, Sören Riechers, Tim Suess:
Scheduling Shared Continuous Resources on Many-Cores
In Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ACM, pp. 128-137 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Timo Rath:
RSA-Full Domain Hash Revisited
Bachelor thesis, University of Paderborn (2014)

[Show Abstract] [Show BibTeX]
Tobias Harks, Martin Höfer, Kevin Schewior, Alexander Skopalik:
Routing Games with Progressive Filling
In Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM'14). IEEE, pp. 352-360 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Christian Scheideler, Alexander Setzer, Martina Eikel:
RoBuSt: A Crash-Failure-Resistant Distributed Storage System
In Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS). Springer, LNCS, vol. 8878, pp. 107-122 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Matthias Keller, Holger Karl:
Response Time-Optimized Distributed Cloud Resource Allocation
In Proceedings of the SIGCOMM workshop on Distributed cloud computing. ACM, pp. 47-52 (2014)

[Show Abstract] [Show BibTeX] [DOI]
David Pahl:
Reputationssysteme für zusammengesetzte Dienstleistungen
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Alexander Wold, Andreas Agne, Jim Torresen:
Relocatable Hardware Threads in Run-Time Reconfigurable Systems
In Goehringer, Diana and Santambrogio, MarcoDomenico and Cardoso, JoãoM.P. and Bertels, Koen (eds.): Proceedings of the 10th International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications. Springer, LNCS, vol. 8405, pp. 61-72 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Markus von Detten, Marie Christin Platenius, Steffen Becker:
Reengineering Component-Based Software Systems with Archimetrix
In Journal of Software and Systems Modeling, vol. 13, no. 4, pp. 1239-1268. Springer (2014)

[Show Abstract] [Show BibTeX] [DOI]
Matthias Herlich:
Reducing Energy Consumption of Radio Access Networks
PhD thesis, University of Paderborn (2014)

[Show Abstract] [Show BibTeX] [DOI]
Heinrich Riebler, Tobias Kenter, Christian Plessl, Christoph Sorge:
Reconstructing AES Key Schedules from Decayed Memory with FPGAs
In Proceedings of Field-Programmable Custom Computing Machines (FCCM). IEEE, pp. 222-229 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Sebastian Kniesburges, Andreas Koutsopoulos, Christian Scheideler:
Re-Chord: A Self-stabilizing Chord Overlay Network
In Theory of Computing Systems, vol. 55, no. 3, pp. 591-612. Springer (2014)

[Show Abstract] [Show BibTeX] [DOI]
Sebastian Abshoff, Christine Markarian, Friedhelm Meyer auf der Heide:
Randomized Online Algorithms for Set Cover Leasing Problems
In Proceedings of the 8th Annual International Conference on Combinatorial Optimization and Applications (COCOA). Springer, LNCS, vol. 8881, pp. 25-34 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Andreas Cord Landwehr, Alexander Mäcker, Friedhelm Meyer auf der Heide:
Quality of Service in Network Creation Games
In Proceedings of the 10th International Conference on Web and Internet Economics (WINE). Springer International Publishing Switzerland, LNCS, vol. 8877, pp. 423-428 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Sonja Brangewitz, Behnud Djawadi, Rene Fahr, Claus-Jochen Haake:
Quality Choices and Reputation Systems in Online Markets - An Experimental Study
Techreport UPB. (2014)

[Show Abstract] [Show BibTeX]
Jörn Künsemöller, Sonja Brangewitz, Holger Karl, Claus-Jochen Haake:
Provider Competition in Infrastructure-as-a-Service
In Proceedings of the 2014 IEEE International Conference on Services Computing (SCC). IEEE Computer Society, pp. 203-210 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Daniel Wonisch, Alexander Schremmer, Heike Wehrheim:
Programs from Proofs - Approach and Applications
In Proceedings of the Software Engineering Conference (SE). Gesellschaft für Informatik (GI), Lecture Notes in Informatics (LNI), vol. 227, pp. 67-68 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Ronald Petrlic, Sascha Lutters, Christoph Sorge:
Privacy-Preserving Reputation Management
In Proceedings of the 29th Symposium On Applied Computing (SAC). ACM, pp. 1712-1718 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Ronald Petrlic:
Privacy-Preserving Multiparty Digital Rights Management
PhD thesis, University of Paderborn (2014)

[Show BibTeX] [DOI]
Ronald Petrlic, Christoph Sorge:
Privacy-Preserving Digital Rights Management based on Attribute-based Encryption
In Proceedings of the Sixth IFIP International Conference on New Technologies, Mobility and Security (NTMS). IEEE, pp. 1-5 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Baruch Awerbuch, Andrea W. Richa, Christian Scheideler, Stefan Schmid, Jin Zhang:
Principles of Robust Medium Access and an Application to Leader Election
In Transactions on Algorithms, vol. 10, no. 4. ACM (2014)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Kenter, Gavin Vaz, Christian Plessl:
Partitioning and Vectorizing Binary Applications for a Reconfigurable Vector Computer
In Proceedings of the International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications (ARC). Springer, LNCS, vol. 8405, pp. 144-155 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Florian Stapel, Leena Suhl:
Ontology-based Representation of Optimization Models
Techreport UPB. (2014)

[Show Abstract] [Show BibTeX]
Zille Huma, Christian Gerth, Gregor Engels:
On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains
In Computer Science - Research and Development, vol. 30, no. 3-4, pp. 333-361. Springer (2014)

[Show Abstract] [Show BibTeX] [DOI]
Björn Feldkord:
On Variants of the Page Migration Problem
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
NinaMadeleine Brummel:
On the Relation between Innovation and Competion: The Case of Energy Industry
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Dianne Foreback, Andreas Koutsopoulos, Mikhail Nesterenko, Christian Scheideler, Thim Frederik Strothmann:
On Stabilizing Departures in Overlay Networks
In Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems. Springer, LNCS, vol. 8756, pp. 48-62 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Simon Schwichtenberg, Christian Gerth, Zille Huma, Gregor Engels:
Normalizing Heterogeneous Service Description Models with Generated QVT Transformations
In Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA). Springer, LNCS, vol. 8569, pp. 180-195 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Sebastian Abshoff, Andreas Cord Landwehr, Daniel Jung, Alexander Skopalik:
Multilevel Network Games
In Proceedings of the 10th International Conference on Web and Internet Economics (WINE). Springer International Publishing Switzerland, LNCS, vol. 8877, pp. 435-440 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Dorina Bano:
Modeling and Matching of Reputation of Services in On-The-Fly Computing
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Christian Scheideler, Martina Eikel, Alexander Setzer:
Minimum Linear Arrangement of Series-Parallel Graphs
In Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA). Springer, LNCS, vol. 8952, pp. 168-180 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Burkhard Monien, Marios Mavronicolas:
Minimizing Expectation Plus Variance
In Theory of Computing Systems. Springer (2014)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Wiersema, Stephanie Drzevitzky, Marco Platzner:
Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring
In Proceedings of the International Conference on Field-Programmable Technology (FPT). IEEE Computer Society, pp. 167-174 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Mirko Bunse:
Measuring Transformation-induced Uncertainty in Service Matching: A Feasibility Study
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Marie Christin Platenius, Svetlana Arifulina, Ronald Petrlic, Wilhelm Schaefer:
Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching
In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet. Springer, Communications in Computer and Information Science, vol. 508, pp. 6-17 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Svetlana Arifulina, Marie Christin Platenius, Christian Gerth, Steffen Becker, Gregor Engels, Wilhelm Schaefer:
Market-optimized Service Specification and Matching
In Franch, Xavier and Ghose, AdityaK. and Lewis, GraceA. and Bhiri, Sami (eds.): Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014). Springer Berlin Heidelberg, LNCS, vol. 8831, pp. 543-550 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Tobias Martin Lohre:
Machtverteilungen von Koalitionen im Fokus der politischen Realität
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Dirk Van Straaten:
Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Olga Degraf:
Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Tobias Kenter, Henning Schmitz, Christian Plessl:
Kernel-Centric Acceleration of High Accuracy Stereo-Matching
In Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE, pp. 1-8 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Felix Mohr:
Issues of Automated Software Composition in AI Planning
In Proceedings of the 29th International Conference on Automated Software Engineering (ASE). ACM, pp. 895-898 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs, Marco Platzner, Tobias Wiersema, Heike Wehrheim:
Integrating Software and Hardware Verification
In Albert, Elvira and Sekerinski, Emil (eds.): Proceedings of the 11th International Conference on Integrated Formal Methods (iFM). Springer, LNCS, vol. 8739, pp. 307-322 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Marie Christin Platenius, Steffen Becker, Wilhelm Schaefer:
Integrating Service Matchers into a Service Market Architecture
In Avgeriou, Paris and Zdun, Uwe (eds.): Proceedings of the 8th European Conference on Software Architecture (ECSA 2014). Springer International Publishing, LNCS, vol. 8627, pp. 210-217 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann, Sonja Brangewitz, Ronald Petrlic, Marie Christin Platenius:
Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services
In International Journal On Advances in Intelligent Systems (IntSys), vol. 7, no. 3&4, pp. 572-594. ThinkMind (2014)

[Show Abstract] [Show BibTeX] [DOI]
Vahide Taherinajafabadi:
Improving Service Specifications for the Service Matching on a Service Market
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Matthias Feldotto, Christian Scheideler, Kalman Graffi:
HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths
In Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P). IEEE, pp. 1-10 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Fabian Eusterholz:
Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Janek Jochheim:
Hiding software components using functional encryption
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Shafi Vijapurwala:
Handling Incomplete Service Specifications using Fuzzy Matching
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Pascal Bemmann:
Group Signature Schemes with Strong Exculpability
Bachelor thesis, Paderborn University (2014)

[Show BibTeX]
Galina Besova, Dominik Steenken, Heike Wehrheim:
Grammar-based model transformations
In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD). IEEE, pp. 1601-1610 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Felix Pauck:
Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Andre Kolle:
Gender and ethnic discrimination in hiring : evidence from field experiments in the German labor market
PhD thesis, University of Paderborn (2014)

[Show Abstract] [Show BibTeX] [DOI]
Sven Merschjohann:
Fuzzy Matching of Service Price Specifications
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Jan Lippert:
Fujisaki-Okamoto Transformation
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Maryam Sanati:
Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Suman Jojiju:
Finding Optimal Self-Adaption Rules by Design-Space Exploration
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Christoph Finkensiep:
Fast and Flexible Automatic Composition of Semantic Web Services
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Alexander Jungmann, Jan Jatzkowski, Bernd Kleinjohann:
Evaluation of Color Spaces for Robust Image Segmentation
In Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP). SCITEPRESS Digital Library, pp. 648-655 (2014)

[Show Abstract] [Show BibTeX]
Veit Dornseifer:
Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Benjamin Bulk:
Evaluating the Influence of Different Abstraction Levels of Software Design on Performance prediction
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Felix Mohr:
Estimating Functional Reusability of Services
In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC). IEEE, LNCS, vol. 8831, pp. 411-418 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Maik Herbort:
Entwicklung eines mathematischen Modells zur Optimierung der Struktur eines Trinkwasserbehälters
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Andreas Krakau:
Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Peter Kling:
Energy-efficient Scheduling Algorithms
PhD thesis, University of Paderborn (2014)

[Show Abstract] [Show BibTeX] [DOI]
Nico Bredenbals:
Energy-Efficient Queuing with Delayed Deactivation
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Tobias Wiersema, Arne Bockhorn, Marco Platzner:
Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA
In Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE Computer Society, pp. 1-6 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Linghui Luo:
Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Antonios Antoniadis, Neal Barcelo, Mario Consuegra, Peter Kling, Michael Nugent, Kirk Pruhs, Michele Scquizzato:
Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules
In Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS). Schloß Dagstuhl, LIPIcs, vol. 25, pp. 63-74 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Marvin Damschen:
Easy-to-use on-the-fly binary program acceleration on many-cores.
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Vanessa Wemhöner:
Die ökonomischen Auswirkungen der Kronzeugenregelung am Beispiel des Kaffeerösterkartells
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Andreas Kokoschka:
Designing an Anonymous and Secure Reputation System Using a Group Signature Variant
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]