Universität Paderborn » SFB 901 » Publications » All

Publication type



Year



Author






2017 (46)

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, 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]
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 (2017) (to appear)

[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]
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 (2017) (to appear)

[Show Abstract] [Show BibTeX]
Thim Frederik Strothmann:
Self-* Algorithms for Distributed Systems
PhD thesis, Universität Paderborn (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]
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 (2017) (to appear)

[Show Abstract] [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. (2017) (to appear)

[Show BibTeX]
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]
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 (2017) (to appear)

[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 Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM). (2017) (to appear)

[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]
Bahar Jazayeri, Simon Schwichtenberg:
On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture
In Proceedings of the International Conference on Software Architecture (IoT-ASAP Workshop). ACM (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]
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]
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]
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-107. Cambridge Scholars Publishing (2017) (in press)

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

[Show BibTeX] [DOI]
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 (2017) (to appear)

[Show Abstract] [Show BibTeX]
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]
Lennart Rehmer:
Erweiterung eines kontextsensitiven Autovervollständigungstools zur natürlichsprachlichen Softwarespezifikation
Bachelor thesis, University of Paderborn (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) (2017) (to appear)

[Show Abstract] [Show BibTeX]
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]
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 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]
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]
Ngoc Chi Banh:
An Asynchronous Adaptation of a Churn-resistant Overlay Network
Bachelor thesis, University of Paderborn (2017)

[Show BibTeX]
Marcel Wever, Lorijn van Rooijen, Heiko Hamann:
Active Coevolutionary Learning of Requirements Specifications from Examples
In Genetic and Evolutionary Computation Conference (GECCO). (2017) (to appear)

[Show BibTeX]
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]
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]

2016 (91)

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]
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]
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]
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]
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]
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]
Angelika Endres:
On the Design and Defense of Networks - An Experimental Investigation
Master's thesis, Paderborn University (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]
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. 99. 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]
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]
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]
Andreas Cord Landwehr, Matthias Fischer, Daniel Jung, Friedhelm Meyer auf der Heide:
Asymptotically Optimal Gathering on a Grid
In Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ACM, pp. 301-312 (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]
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 (86)

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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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 (135)

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]
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]
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]
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]
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]
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]
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]
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]
Andreas Kokoschka:
Designing an Anonymous and Secure Reputation System Using a Group Signature Variant
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Gavin Vaz, Heinrich Riebler, Tobias Kenter, Christian Plessl:
Deferring Accelerator Offloading Decisions to Application Runtime
In Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE, pp. 1-8 (2014) (won best paper award)

[Show Abstract] [Show BibTeX] [DOI]
Daniel Kaimann:
Decision Making under Asymmetric Information in Markets for Experience Goods: Empirical Evidence of Signaling Effects on Consumer Perceptions
PhD thesis, University of Paderborn (2014)

[Show BibTeX] [DOI]
Christoph Sorge, Ronald Petrlic:
Datenschutz im Future Internet: rechtliche Aspekte und technische Maßnahmen
In Tagungsband des 17. Internationalen Rechtsinformatik Symposions. Austrian Computer Society (2014)

[Show Abstract] [Show BibTeX]
Johannes Blömer, Gennadij Liske:
Constructing CCA-secure predicate encapsulation schemes from CPA-secure schemes and universal one-way hash functions
Techreport UPB. (2014) (Cryptology ePrint Archive https://eprint.iacr.org/2014/511.pdf)

[Show Abstract] [Show BibTeX]
Ana Mauleon, Nils Roehl, Vincent Vannetelbosch:
Constitutions and Social Networks
Techreport UPB. (2014)

[Show Abstract] [Show BibTeX]
Behnud Djawadi, Rene Fahr, Florian Turk:
Conceptual Model and Economic Experiments to Explain Nonpersistence and Enable Mechanism Designs Fosterin Behavioral Change
In Value in Health, vol. 17, no. 8, pp. 814-822. (2014)

[Show Abstract] [Show BibTeX] [DOI]
Sonja Brangewitz, Jan-Philip Gamp:
Competitive outcomes and the inner core of NTU market games
In Economic Theory, vol. 57, no. 3, pp. 529-554. Springer Berlin Heidelberg (2014)

[Show Abstract] [Show BibTeX] [DOI]
Adrian Ogierman, Andrea W. Richa, Christian Scheideler, Stefan Schmid, Jin Zhang:
Competitive MAC under adversarial SINR
In Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM). IEEE Computer Society, pp. 2751-2759 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann, Felix Mohr, Bernd Kleinjohann:
Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services
In Proceedings of the 10th World Congress on Services (SERVICES). IEEE, pp. 346-353 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Yuan Gao:
Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Matthias Becker, Marie Christin Platenius, Steffen Becker:
Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!
In Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB). Springer, Communications in Computer and Information Science, pp. 153-159 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Marie-Christine Jakobs, Heike Wehrheim:
Certification for Configurable Program Analysis
In Proceedings of the 21st International Symposium on Model Checking of Software (SPIN). ACM, SPIN 2014, pp. 30-39 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Maximilian Drees, Sören Riechers, Alexander Skopalik:
Budget-restricted utility games with ordered strategic decisions
In Ron Lavi (eds.): Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT). Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 8768, pp. 110-121 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Sebastian Abshoff, Andreas Cord Landwehr, Daniel Jung, Alexander Skopalik:
Brief Announcement: A Model for Multilevel Network Games
In Ron Lavi (eds.): Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT). Springer, LNCS, vol. 8768, pp. 294 (2014)

[Show Abstract] [Show BibTeX]
Matthias Feldotto, Martin Gairing, Alexander Skopalik:
Bounding the Potential Function in Congestion Games and Approximate Pure Nash Equilibria
In Proceedings of the 10th International Conference on Web and Internet Economics (WINE). Springer International Publishing Switzerland, LNCS, vol. 8877, pp. 30-43 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Waleri Heldt:
Automated Service Composition: Adaption of the ASTRO Approach
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Christoph Hansknecht, Max Klimm, Alexander Skopalik:
Approximate pure Nash equilibria in weighted congestion games
In Proceedings of the 17th. International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs, vol. 28, pp. 242 - 257 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Martin Gairing, Grammateia Kotsialou, Alexander Skopalik:
Approximate pure Nash equilibria in Social Context Congestion Games
In Proceedings of the 10th International Conference on Web and Internet Economics (WINE). Springer International Publishing Switzerland, LNCS, vol. 8877, pp. 480 - 485 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Alexander Jungmann, Felix Mohr, Bernd Kleinjohann:
Applying Reinforcement Learning for Resolving Ambiguity in Service Composition
In Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA). IEEE Computer Society, pp. 105-112 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Philipp Dreimann:
Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Sebastian Kniesburges, Christine Markarian, Friedhelm Meyer auf der Heide, Christian Scheideler:
Algorithmic Aspects of Resource Management in the Cloud
In Proceedings of the 21st International Colloquium on Structural Information and Communication Complexity (SIROCCO). Springer, LNCS, vol. 8576, pp. 1-13 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Robert Mittendorf:
Advanced AES-key recovery from decayed RAM-dumps using multi-threading and FPGAs.
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Sevil Mehraghdam (married name: Dräxler):
Adaptive Placement of Programmable Virtual Network Function Chains
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Matthias Feldotto, Alexander Skopalik:
A Simulation Framework for Analyzing Complex Infinitely Repeated Games
In Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014). SciTePress, pp. 625-630 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Johannes Blömer, Ricardo Gomes da Silva, Peter Günther, Juliane Krämer, Jean-Pierre Seifert:
A Practical Second-Order Fault Attack against a Real-World Pairing Implementation
In Proceedings of Fault Tolerance and Diagnosis in Cryptography (FDTC). IEEE, pp. 123-136 (2014)

[Show Abstract] [Show BibTeX] [DOI]
Dominik Gall, Riko Jacob, Andrea W. Richa, Christian Scheideler, Stefan Schmid, Hanjo Täubig:
A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization
In Theory of Computing Systems, vol. 55, no. 1, pp. 110-135. Springer (2014)

[Show Abstract] [Show BibTeX] [DOI]
Florian Stapel, Leena Suhl:
A MINLP Approach for Planning the Renewal of Pipes in Drinking Water Networks
Techreport UPB. (2014)

[Show Abstract] [Show BibTeX]
Marcel Brand:
A generalized loop accelerator implemented as a coarse grained array.
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Jörn Künsemöller, Holger Karl:
A Game-Theoretic Approach to the Financial Benefits of Infrastructure-as-a-Service
In Future Generation Computer Systems, vol. 41, pp. 44-52. Elsevier (2014)

[Show Abstract] [Show BibTeX] [DOI]
Sebastian Kniesburges, Andreas Koutsopoulos, Christian Scheideler:
A Deterministic Worst-Case Message Complexity Optimal Solution for Resource Discovery
In Theoretical Computer Science. Elsevier (2014)

[Show Abstract] [Show BibTeX] [DOI]

2013 (96)

Daniel Wonisch, Alexander Schremmer, Heike Wehrheim:
Zero Overhead Runtime Monitoring
In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM). Springer, LNCS, vol. 8137, pp. 244-258 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Philip Wette, Holger Karl:
Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow
In Proceedings of the ACM SIGCOMM '13. ACM, Digital Library, pp. 541-542 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Alina Tezer:
Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen
Bachelor thesis, University of Paderborn (2013)

[Show BibTeX]
Marco Engelbrecht:
Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern
Bachelor thesis, University of Paderborn (2013)

[Show BibTeX]
Ronald Petrlic, Stephan Sekula:
Unlinkable content playbacks in a multiparty DRM system
In Wang, Lingyu and Shafiq, Basit (eds.): Data and Applications Security and Privacy XXVII. Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 7964, pp. 289-296 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Nils Roehl:
Two-Stage Allocation Procedures
Techreport UPB. (2013)

[Show Abstract] [Show BibTeX]
Nakul Joshi, Ronald Petrlic:
Towards practical privacy-preserving Digital Rights Management for Cloud Computing
In Proceedings of the 10th Annual IEEE Consumer Communications & Networking Conference (CCNC). IEEE Computer Society, pp. 259-264 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Petr Kolman, Christian Scheideler:
Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing
In Theory of Computing Systems, vol. 53, no. 2, pp. 341-363. Springer (2013)

[Show Abstract] [Show BibTeX] [DOI]
Sebastian Abshoff, Markus Benter, Andreas Cord Landwehr, Manuel Malatyali, Friedhelm Meyer auf der Heide:
Token Dissemination in Geometric Dynamic Networks
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. Springer, Lecture Notes in Computer Science, vol. 8243, pp. 22-34 (2013)

[Show Abstract] [Show BibTeX] [DOI]
Nils Timm:
Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems
PhD thesis, University of Paderborn (2013)

[Show Abstract] [Show BibTeX] [DOI]
Christoph Sorge:
The Legal Classification of Identity-Based Signatures
Techreport UPB. (2013) (Cryptology ePrint Archiv https://eprint.iacr.org/2013/271)

[Show Abstract] [Show BibTeX] [DOI]
Bernd Frick, Robert Simmons:
The Impact of Individual and Collective Reputation on Wine Prices: Empirical Evidence from the Mosel Valley
In Journal of Business Economics, vol. 83, no. 2, pp. 101-119. Springer (2013)

[Show Abstract] [Show BibTeX] [DOI]
Kalman Graffi, Lars Bremer:
Symbiotic Coupling of P2P and Cloud Systems: The Wikipedia Case
In Proceedings of the International Conference on Communications (ICC'13). IEEE Computer Society, pp. 3444 - 3449 (2013)

[Show Abstract]