T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” in Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9.

P. Wette and H. 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), 2015, pp. 1--7.

C. Scheideler, A. Setzer, and T. F. Strothmann, “Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures,” in Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS), 2015.

A. Koutsopoulos, C. Scheideler, and T. F. 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), 2015, pp. 201–216.

T. F. 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), 2015, pp. 175--186.

B. Monien and M. Mavronicolas, “The complexity of pure equilibria in mix-weighted congestion games on parallel links,” Information Processing Letters, vol. 115, no. 12, pp. 927–931, 2015.

M. Becker, S. Lehrig, and S. Becker, “Systematically Deriving Quality Metrics for Cloud Computing Systems,” in Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, 2015, pp. 169--174.

A. Schwabe and H. Karl, “SynRace: Decentralized Load-Adaptive Multi-path Routing without Collecting Statistics,” in Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 37–42.

D. Gutt and D. Kundisch, “Rating Aggregation in Multi-Dimensional Rating Systems: How Do Reviewers Form Overall Ratings?,” in INFORMS Annual Meeting, Philadelphia, USA, 2015.

F. Brosig, P. Meier, S. Becker, A. Koziolek, H. Koziolek, and S. Kounev, “Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures,” Transactions on Software Engineering, no. 2, pp. 157--175, 2015.

M.-C. Jakobs and H. Wehrheim, “Programs from Proofs of Predicated Dataflow Analyses,” in Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–1736.

C. Hallmann and L. Suhl, “Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation,” OR Spectrum, pp. 1–19, 2015.

C. Markarian and F. Meyer auf der Heide, “Online Resource Leasing,” in Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC), 2015, pp. 343–344.

T. Wiersema, S. Wu, and M. 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), 2015, pp. 365--372.

I. Caragiannis, A. Fanelli, N. Gravin, and A. Skopalik, “Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure,” Transactions on Economics and Computation, vol. 3, no. 1, 2015.

J. Blömer, J. Juhnke, and C. Kolb, “Anonymous and Publicly Linkable Reputation Systems,” in Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC), 2015, pp. 478--488.

A. Jungmann and F. Mohr, “An approach towards adaptive service composition in markets of composed services,” Journal of Internet Services and Applications, no. 1, pp. 1–18, 2015.

F. Mohr, “A Metric for Functional Reusability of Services,” in Proceedings of the 14th International Conference on Software Reuse (ICSR), 2015, pp. 298--313.

S. Kniesburges, A. Koutsopoulos, and C. Scheideler, “A deterministic worst-case message complexity optimal solution for resource discovery,” Theoretical Computer Science, pp. 67–79, 2015.

U. Bubeck and H. Kleine Büning, “Learning Boolean Specifications,” Artificial Intelligence, pp. 246–257, 2015.

J. Cox and D. Kaimann, “How do reviews from professional critics interact with other signals of product quality? Evidence from the video game industry,” Journal of Consumer Behaviour, vol. 14, no. 6, pp. 366–377, 2015.

P. Herrmann, D. Kundisch, S. Zimmermann, and B. Nault, “How do Different Sources of the Variance of Consumer Ratings Matter?,” in Proceedings of the 36th International Conference on Information Systems (ICIS), Fort Worth, Forth Worth, USA, 2015.

G. Besova, D. Steenken, and H. Wehrheim, “Grammar-based model transformations: Definition, execution, and quality properties,” Computer Languages, Systems &; Structures, pp. 116–138, 2015.

M. Geierhos, F. S. Bäumer, S. Schulze, and V. Stuß, “Filtering Reviews by Random Individual Error,” in Proceedings of the 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2015), vol. 9101, M. Ali, Y. S. Kwon, C.-H. Lee, J. Kim, and Y. Kim, Eds. Cham, Switzerland: Springer, 2015, pp. 305–315.

P. Börding, M. Bruns, and M. C. 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), 2015, pp. 974--977.

S. Brangewitz and J. Manegold, Competition and Product Innovation of Intermediaries in a Differentiated Duopoly. Universität Paderborn, 2015.

A. Jungmann, J. Jatzkowski, and B. Kleinjohann, “Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study,” in Proceedings of the 5th IFIP International Embedded Systems Symposium, 2015.

S. Ziegert and H. Wehrheim, “Temporal plans for software architecture reconfiguration,” Computer Science - R &; D, no. 3–4, pp. 303--320, 2015.

F. Mohr, A. Jungmann, and H. Kleine Büning, “Automated Online Service Composition,” in Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57--64.

M. Drees, M. Feldotto, S. Riechers, and A. 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), 2015, pp. 178–189.

A. Jungmann, “On Adaptivity for Automated Composition of Service Functionality,” in Proceedings of the IEEE 11th World Congress on Services (SERVICES), 2015, pp. 329--332.

A. Mäcker, M. Malatyali, F. Meyer auf der Heide, and S. Riechers, “Non-preemptive Scheduling on Machines with Setup Times,” in Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings, 2015, pp. 542--553.

A. Cord-Landwehr and P. Lenzner, “Network Creation Games: Think Global - Act Local,” in Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS), 2015, pp. 248--260.

M. C. Platenius, S. Arifulina, and W. Schäfer, “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), 2015, pp. 75–84.

J. Torresen, C. Plessl, and X. Yao, “Self-Aware and Self-Expressive Systems – Guest Editor’s Introduction,” IEEE Computer, vol. 48, no. 7, pp. 18–20, 2015.

S. Heindorf, M. Potthast, B. Stein, and G. 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), 2015, pp. 831--834.

S. Li, A. Mäcker, C. Markarian, F. Meyer auf der Heide, and S. Riechers, “Towards Flexible Demands in Online Leasing Problems,” in Proceedings of the 21st Annual International Computing and Combinatorics Conference (COCOON), 2015, pp. 277--288.

R. Fahr and B. Mir Djawadi, “‘and they are really lying’: Clean Evidence on the Pervasiveness of Cheating in Professional Contexts from a Field Experiment.,” Journal of Economic Psychology, pp. 48–59, 2015.

T. John and D. Kundisch, “Why Fit Leads to Surprise: An Extension of Cognitive Fit Theory to Creative Problems,” in Proceedings of the 36th International Conference on Information Systems (ICIS), Fort Worth, USA, Fort Worth, USA, 2015.

M. Geierhos, S. Schulze, and F. S. Bäumer, “What did you mean? Facing the Challenges of User-generated Software Requirements,” in Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015), 2015, pp. 277–283.

B. Monien, M. Mavronicolas, and K. 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, 2015, pp. 49–86.

J. Blömer and K. Kohn, Voronoi Cells of Lattices with Respect to Arbitrary Norms. Universität Paderborn, 2015.

R. Senge and E. Hüllermeier, “Fast Fuzzy Pattern Tree Learning for Classification,” IEEE Transactions on Fuzzy Systems, vol. 23, no. 6, pp. 2024–2033, 2015.

B. Buechel and N. Röhl, “Robust Equilibria in Location Games,” European Journal of Operational Research, vol. 240, no. 2, pp. 505–517, 2015.

A. Schwabe and H. Karl, “Topology model to generate realistic latency for simulations,” in 2015 IEEE International Conference on Communications, ICC 2015, London, United Kingdom, June 8-12, 2015, 2015, pp. 6122--6127.

M. Peuster and H. Karl, “An Architecture for Energy-aware On-demand Mobile Network Management,” in Proceedings of the 5th Workshop on All Things Cellular: Operations, Applications and Challenges, London, 2015.

B. Monien and M. Mavronicolas, “Minimizing Expectation Plus Variance,” Theory of Computing Systems, vol. 57, no. 3, pp. 617–654, 2015.

L. Li et al., “IccTA: Detecting Inter-Component Privacy Leaks in Android Apps,” in 2015 International Conference on Software Engineering (ICSE), 2015, pp. 280–291.

P. Herrmann, D. Kundisch, S. Zimmermann, and B. Nault, “Different Sources of the Variance of Online Consumer Ratings and their Impact on Price and Demand,” presented at the INFORMS Conference on Information Systems and Technology (CIST), Philadelphia, USA, 2015.

T. Kenter, H. Schmitz, and C. Plessl, “Exploring Tradeoffs between Specialized Kernels and a Reusable Overlay in a Stereo-Matching Case Study,”10.1155/2015/859425__International Journal of Reconfigurable Computing (IJRC), vol. 2015, Art. no. 859425, 2015, doi:10.1155/2015/859425 .

M. Damschen and C. Plessl, “Easy-to-Use On-The-Fly Binary Program Acceleration on Many-Cores,” 2015.

M. Damschen, H. Riebler, G. F. Vaz, and C. Plessl, “Transparent offloading of computational hotspots from binary code to Xeon Phi,”10.7873/DATE.2015.1124__in Proceedings of the 2015 Conference on Design, Automation and Test in Europe (DATE), 2015, pp. 1078–1083, doi:10.7873/DATE.2015.1124 .

S. Brangewitz and J.-P. Gamp, “Competitive outcomes and the inner core of NTU market games,” Economic Theory, vol. 57, no. 3, pp. 529–554, 2014.

P. Wette, M. Dräxler, A. Schwabe, F. Wallaschek, M. H. Zahraee, and H. Karl, “MaxiNet: Distributed Emulation of Software-Defined Networks,” in Proceedings of the 2014 IFIP Networking Conference (Networking 2014), 2014, pp. 1–9.

S. Walther and H. Wehrheim, “Verified Service Compositions by Template-Based Construction,” in Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), 2014, pp. 31–48.

P. Wette and H. Karl, “Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms,” in Proceedings of the IEEE International Conference on Communications 2014, 2014, pp. 3270–3276.

M. Becker, S. Becker, G. Besova, S. Walther, and H. Wehrheim, “Towards Systematic Configuration for Architecture Validation,” in Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.

A. Jungmann and B. 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), 2014, pp. 755–758.

S. Brangewitz, A. Jungmann, R. Petrlic, and M. C. 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), 2014, pp. 49–57.

S. Meisner and M. Platzner, “Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores for Error Detection,” in Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC), 2014, pp. 283–290.

C. Sorge, The Legal Classification of Identity-Based Signatures. 2014.

D. Kaimann and J. Cox, The Interaction of Signals: A Fuzzy set Analysis of the Video Game Industry. Universität Paderborn, 2014.

F. Mohr and S. Walther, “Template-based Generation of Semantic Services,” in Proceedings of the 14th International Conference on Software Reuse (ICSR), 2014, pp. 188–203.

M. Keller, C. Robbert, and H. Karl, “Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds,” in Proceedings of 7th International Conference on Utility and Cloud Computing (UCC), 2014, pp. 387--395.

J. Blömer, P. Günther, and G. Liske, “Tampering attacks in pairing-based cryptography,” in Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC), 2014, pp. 1--7.

L. Blazovics, T. Lukovszki, and B. Forstner, “Surrounding robots -- A discrete localized solution for the intruder problem,” Journal of Advanced Computational Intelligence and Intelligent Informatics, no. 3, pp. 315--319, 2014.

S. Dräxler, M. Keller, and H. Karl, “Specifying and Placing Chains of Virtual Network Functions,” in Proceedings of the 3rd International Conference on Cloud Networking (CloudNet), 2014, pp. 7–13.

S. Arifulina, M. Becker, M. C. Platenius, and S. Walther, “SeSAME: Modeling and Analyzing High-Quality Service Compositions,” in Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 2014, pp. 839–842.

R. Petrlic, A. Jungmann, M. C. Platenius, W. Schäfer, and C. Sorge, “Security and Privacy Challenges in On-The-Fly Computing,” in Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014), 2014, pp. 131–142.

J. Janiuk, A. Mäcker, and K. Graffi, “Secure Distributed Data Structures for Peer-to-Peer-based Social Networks,” in Proceedings of the International Conference on Collaboration Technologies and Systems (CTS), 2014, pp. 396–405.

A. Brinkmann, P. Kling, F. Meyer auf der Heide, L. Nagel, S. Riechers, and T. Suess, “Scheduling Shared Continuous Resources on Many-Cores,”10.1145/2612669.2612698__in Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2014, pp. 128–137, doi:10.1145/2612669.2612698 .

T. Harks, M. Höfer, K. Schewior, and A. Skopalik, “Routing Games with Progressive Filling,” in Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14), 2014, pp. 352–360.

C. Scheideler, A. Setzer, and M. Eikel, “RoBuSt: A Crash-Failure-Resistant Distributed Storage System,” in Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS), 2014, pp. 107--122.

M. Keller and H. Karl, “Response Time-Optimized Distributed Cloud Resource Allocation,” in Proceedings of the SIGCOMM workshop on Distributed cloud computing, 2014, pp. 47--52.

A. Wold, A. Agne, and J. Torresen, “Relocatable Hardware Threads in Run-Time Reconfigurable Systems,” in Proceedings of the 10th International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications, 2014, pp. 61–72.

M. von Detten, M. C. Platenius, and S. Becker, “Reengineering Component-Based Software Systems with Archimetrix,” Journal of Software and Systems Modeling, no. 4, pp. 1239--1268, 2014.

S. Kniesburges, A. Koutsopoulos, and C. Scheideler, “Re-Chord: A Self-stabilizing Chord Overlay Network,” Theory of Computing Systems, no. 3, pp. 591–612, 2014.

S. Abshoff, C. Markarian, and F. 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), 2014, pp. 25–34.

A. Cord-Landwehr, A. Mäcker, and F. Meyer auf der Heide, “Quality of Service in Network Creation Games,” in Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 423–428.

J. Künsemöller, S. Brangewitz, H. Karl, and C.-J. Haake, “Provider Competition in Infrastructure-as-a-Service,” in Proceedings of the 2014 IEEE International Conference on Services Computing (SCC), 2014, pp. 203–210.

D. Wonisch, A. Schremmer, and H. Wehrheim, “Programs from Proofs -- Approach and Applications,” in Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.

R. Petrlic, S. Lutters, and C. Sorge, “Privacy-Preserving Reputation Management,” in Proceedings of the 29th Symposium On Applied Computing (SAC), 2014, pp. 1712–1718.

R. Petrlic and C. 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), 2014, pp. 1–5.

B. Awerbuch, A. W. Richa, C. Scheideler, S. Schmid, and J. Zhang, “Principles of Robust Medium Access and an Application to Leader Election,” Transactions on Algorithms, no. 4, 2014.

F. Stapel and L. Suhl, Ontology-based Representation of Optimization Models. Universität Paderborn, 2014.

Z. Huma, C. Gerth, and G. Engels, “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains,” Computer Science - Research and Development, no. 3–4, pp. 333–361, 2014.

C. Sorge and R. Petrlic, “Datenschutz im Future Internet: rechtliche Aspekte und technische Maßnahmen,” in Tagungsband des 17. Internationalen Rechtsinformatik Symposions, 2014.

J. Blömer and G. Liske, “Constructing CCA-secure predicate encapsulation schemes from CPA-secure schemes and universal one-way hash functions.” Universität Paderborn, 2014.

A. Mauleon, N. Röhl, and V. Vannetelbosch, Constitutions and Social Networks. Universität Paderborn, 2014.

B. Mir Djawadi, R. Fahr, and F. Turk, “Conceptual Model and Economic Experiments to Explain Nonpersistence and Enable Mechanism Designs Fosterin Behavioral Change,” Value in Health, no. 8, pp. 814–822, 2014.

S. Brangewitz and J.-P. Gamp, “Competitive outcomes and the inner core of NTU market games,” Economic Theory, no. 3, pp. 529–554, 2014.

A. Ogierman, A. W. Richa, C. Scheideler, S. Schmid, and J. Zhang, “Competitive MAC under adversarial SINR,” in Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM), 2014, pp. 2751--2759.

A. Jungmann, F. Mohr, and B. Kleinjohann, “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services,” in Proceedings of the 10th World Congress on Services (SERVICES), 2014, pp. 346–353.

M. Becker, M. C. Platenius, and S. Becker, “Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!,” in Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB), 2014, pp. 153–159.

M.-C. Jakobs and H. Wehrheim, “Certification for Configurable Program Analysis,” in Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 2014, pp. 30–39.

M. Drees, S. Riechers, and A. Skopalik, “Budget-restricted utility games with ordered strategic decisions,” in Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), 2014, pp. 110–121.

S. Abshoff, A. Cord-Landwehr, D. Jung, and A. Skopalik, “Brief Announcement: A Model for Multilevel Network Games,” in Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), 2014, p. 294.

M. Feldotto, M. Gairing, and A. 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), 2014, pp. 30–43.

C. Hansknecht, M. Klimm, and A. Skopalik, “Approximate pure Nash equilibria in weighted congestion games,” in Proceedings of the 17th. International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX), 2014, pp. 242–257.

M. Gairing, G. Kotsialou, and A. Skopalik, “Approximate pure Nash equilibria in Social Context Congestion Games,” in Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 480–485.