Incremental Inductive Verification of Parameterized Timed Systems
T. Isenberg, in: Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9.
LibreCat: /record/285
DOI: 10.1109/ACSD.2015.13

HybridTE: Traffic Engineering for Very Low-Cost Software-Defined Data-Center Networks
P. Wette, H. Karl, in: Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 1--7.
LibreCat: /record/287
DOI: 10.1109/EWSDN.2015.57

Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures
C. Scheideler, A. Setzer, T.F. Strothmann, in: Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS), 2015.
LibreCat: /record/241
DOI: 10.4230/LIPIcs.OPODIS.2015.24

Towards a Universal Approach for the Finite Departure Problem in Overlay Networks
A. Koutsopoulos, C. Scheideler, T.F. Strothmann, in: Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2015, pp. 201–216.
LibreCat: /record/242
DOI: 10.1007/978-3-319-21741-3_14

The impact of communication patterns on distributed locally self-adjusting binary search trees
T.F. Strothmann, in: Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM), 2015, pp. 175--186.
LibreCat: /record/243
DOI: 10.1007/978-3-319-15612-5_16

The complexity of pure equilibria in mix-weighted congestion games on parallel links
B. Monien, M. Mavronicolas, Information Processing Letters 115 (2015) 927–931.
LibreCat: /record/244
DOI: 10.1016/j.ipl.2015.07.012

Systematically Deriving Quality Metrics for Cloud Computing Systems
M. Becker, S. Lehrig, S. Becker, in: Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, New York, NY, USA, 2015, pp. 169--174.
LibreCat: /record/245
DOI: 10.1145/2668930.2688043

SynRace: Decentralized Load-Adaptive Multi-path Routing without Collecting Statistics
A. Schwabe, H. Karl, in: Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015), 2015, pp. 37–42.
LibreCat: /record/247
DOI: 10.1109/EWSDN.2015.58

Rating Aggregation in Multi-Dimensional Rating Systems: How Do Reviewers Form Overall Ratings?
D. Gutt, D. Kundisch, in: INFORMS Annual Meeting, 2015.
LibreCat: /record/259

Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures
F. Brosig, P. Meier, S. Becker, A. Koziolek, H. Koziolek, S. Kounev, Transactions on Software Engineering (2015) 157--175.
LibreCat: /record/260
DOI: 10.1109/TSE.2014.2362755

Programs from Proofs of Predicated Dataflow Analyses
M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–1736.
LibreCat: /record/262
DOI: 10.1145/2695664.2695690

Optimizing Water Tanks in Water Distribution Systems by combining Network Reduction, Mathematical Optimization and Hydraulic Simulation
C. Hallmann, L. Suhl, OR Spectrum (2015) 1–19.
LibreCat: /record/263
DOI: 10.1007/s00291-015-0403-1

Online Resource Leasing
C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC), 2015, pp. 343–344.
LibreCat: /record/266
DOI: 10.1145/2767386.2767454

On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach
T. Wiersema, S. Wu, M. Platzner, in: Proceedings of the International Symposium in Reconfigurable Computing (ARC), 2015, pp. 365--372.
LibreCat: /record/269
DOI: 10.1007/978-3-319-16214-0_32

Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure
I. Caragiannis, A. Fanelli, N. Gravin, A. Skopalik, Transactions on Economics and Computation 3 (2015).
LibreCat: /record/320
DOI: 10.1145/2614687

Anonymous and Publicly Linkable Reputation Systems
J. Blömer, J. Juhnke, C. Kolb, in: Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC), 2015, pp. 478--488.
LibreCat: /record/322
DOI: 10.1007/978-3-662-47854-7_29

An approach towards adaptive service composition in markets of composed services
A. Jungmann, F. Mohr, Journal of Internet Services and Applications (2015) 1–18.
LibreCat: /record/323
DOI: 10.1186/s13174-015-0022-8

A Metric for Functional Reusability of Services
F. Mohr, in: Proceedings of the 14th International Conference on Software Reuse (ICSR), 2015, pp. 298--313.
LibreCat: /record/324
DOI: 10.1007/978-3-319-14130-5_21

A deterministic worst-case message complexity optimal solution for resource discovery
S. Kniesburges, A. Koutsopoulos, C. Scheideler, Theoretical Computer Science (2015) 67–79.
LibreCat: /record/327
DOI: 10.1016/j.tcs.2014.11.027

Learning Boolean Specifications
U. Bubeck, H. Kleine Büning, Artificial Intelligence (2015) 246–257.
LibreCat: /record/3343
DOI: 10.1016/j.artint.2015.09.003

How do reviews from professional critics interact with other signals of product quality? Evidence from the video game industry
J. Cox, D. Kaimann, Journal of Consumer Behaviour 14 (2015) 366–377.
LibreCat: /record/288
DOI: 10.1002/cb.1553

How do Different Sources of the Variance of Consumer Ratings Matter?
P. Herrmann, D. Kundisch, S. Zimmermann, B. Nault, in: Proceedings of the 36th International Conference on Information Systems (ICIS), Fort Worth, 2015.
LibreCat: /record/289

Grammar-based model transformations: Definition, execution, and quality properties
G. Besova, D. Steenken, H. Wehrheim, Computer Languages, Systems &; Structures (2015) 116–138.
LibreCat: /record/290
DOI: 10.1016/j.cl.2015.05.003

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

Comprehensive Service Matching with MatchBox
P. Börding, M. Bruns, M.C. Platenius, in: 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15), 2015, pp. 974--977.
LibreCat: /record/313
DOI: 10.1145/2786805.2803181

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

Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP International Embedded Systems Symposium, 2015.
LibreCat: /record/315

Temporal plans for software architecture reconfiguration
S. Ziegert, H. Wehrheim, Computer Science - R &; D (2015) 303--320.
LibreCat: /record/3162
DOI: 10.1007/s00450-014-0259-7

Automated Online Service Composition
F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57--64.
LibreCat: /record/319
DOI: 10.1109/SCC.2015.18

On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games
M. Drees, M. Feldotto, S. Riechers, A. Skopalik, in: Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT), 2015, pp. 178–189.
LibreCat: /record/271
DOI: 10.1007/978-3-662-48433-3_14
arXiv: 1507.02908

On Adaptivity for Automated Composition of Service Functionality
A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), 2015, pp. 329--332.
LibreCat: /record/272
DOI: 10.1109/SERVICES.2015.57

Non-preemptive Scheduling on Machines with Setup Times
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, in: F. Dehne, J.R. Sack, U. Stege (Eds.), Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings, 2015, pp. 542--553.
LibreCat: /record/274
DOI: 10.1007/978-3-319-21840-3_45

Network Creation Games: Think Global - Act Local
A. Cord-Landwehr, P. Lenzner, in: Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS), 2015, pp. 248--260.
LibreCat: /record/275
DOI: 10.1007/978-3-662-48054-0_21

MatchBox: A Framework for Dynamic Configuration of Service Matching Processes
M.C. Platenius, S. Arifulina, W. Schäfer, in: Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15), 2015, pp. 75–84.
LibreCat: /record/279
DOI: 10.1145/2737166.2737174

Self-Aware and Self-Expressive Systems – Guest Editor's Introduction
J. Torresen, C. Plessl, X. Yao, IEEE Computer 48 (2015) 18–20.
LibreCat: /record/1772
DOI: 10.1109/MC.2015.205

Towards Vandalism Detection in Knowledge Bases: Corpus Construction and Analysis
S. Heindorf, M. Potthast, B. Stein, G. Engels, in: Proceedings of the 38th International ACM Conference on Research and Development in Information Retrieval (SIGIR 15), 2015, pp. 831--834.
LibreCat: /record/239
DOI: 10.1145/2766462.2767804

Towards Flexible Demands in Online Leasing Problems
S. Li, A. Mäcker, C. Markarian, F. Meyer auf der Heide, S. Riechers, in: Proceedings of the 21st Annual International Computing and Combinatorics Conference (COCOON), 2015, pp. 277--288.
LibreCat: /record/240
DOI: 10.1007/978-3-319-21398-9_22

cand they are really lyingd: Clean Evidence on the Pervasiveness of Cheating in Professional Contexts from a Field Experiment.
R. Fahr, B. Mir Djawadi, Journal of Economic Psychology (2015) 48–59.
LibreCat: /record/228
DOI: 10.1016/j.joep.2015.03.002

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

What did you mean? Facing the Challenges of User-generated Software Requirements
M. Geierhos, S. Schulze, F.S. Bäumer, in: S. Loiseau, J. Filipe, B. Duval, J. van den Herik (Eds.), Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015), SciTePress - Science and Technology Publications, Setúbal, Portugal, 2015, pp. 277–283.
LibreCat: /record/231
DOI: 10.5220/0005346002770283

Weighted Boolean Formula Games
B. Monien, M. Mavronicolas, K. Wagner, in: The ´Festschrift´ Algorithms, Probability, Networks, and Games: Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday, 2015, pp. 49–86.
LibreCat: /record/232
DOI: 10.1007/978-3-319-24024-4_6

Voronoi Cells of Lattices with Respect to Arbitrary Norms
J. Blömer, K. Kohn, Voronoi Cells of Lattices with Respect to Arbitrary Norms, Universität Paderborn, 2015.
LibreCat: /record/233

Fast Fuzzy Pattern Tree Learning for Classification
R. Senge, E. Hüllermeier, IEEE Transactions on Fuzzy Systems 23 (2015) 2024–2033.
LibreCat: /record/4792
DOI: 10.1109/tfuzz.2015.2396078

Robust Equilibria in Location Games
B. Buechel, N. Röhl, European Journal of Operational Research 240 (2015) 505–517.
LibreCat: /record/491
DOI: 10.1016/j.ejor.2014.07.019

Topology model to generate realistic latency for simulations
A. Schwabe, H. Karl, in: 2015 IEEE International Conference on Communications, ICC 2015, London, United Kingdom, June 8-12, 2015, 2015, pp. 6122--6127.
LibreCat: /record/743
DOI: 10.1109/ICC.2015.7249298

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

Minimizing Expectation Plus Variance
B. Monien, M. Mavronicolas, Theory of Computing Systems 57 (2015) 617–654.
LibreCat: /record/398
DOI: 10.1007/s00224-014-9542-z

IccTA: Detecting Inter-Component Privacy Leaks in Android Apps
L. Li, A. Bartel, T.F. Bissyande, J. Klein, Y. Le Traon, S. Arzt, S. Rasthofer, E. Bodden, D. Octeau, P. McDaniel, in: 2015 International Conference on Software Engineering (ICSE), 2015, pp. 280–291.
LibreCat: /record/5207

Different Sources of the Variance of Online Consumer Ratings and their Impact on Price and Demand
P. Herrmann, D. Kundisch, S. Zimmermann, B. Nault, in: 2015.
LibreCat: /record/307

Exploring Tradeoffs between Specialized Kernels and a Reusable Overlay in a Stereo-Matching Case Study
T. Kenter, H. Schmitz, C. Plessl, International Journal of Reconfigurable Computing (IJRC) 2015 (2015).
LibreCat: /record/296
DOI: 10.1155/2015/859425

Easy-to-Use On-The-Fly Binary Program Acceleration on Many-Cores
M. Damschen, C. Plessl, in: Proceedings of the 5th International Workshop on Adaptive Self-Tuning Computing Systems (ADAPT), 2015.
LibreCat: /record/303
arXiv: 1412.3906

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

Competitive outcomes and the inner core of NTU market games
S. Brangewitz, J.-P. Gamp, Economic Theory 57 (2014) 529–554.
LibreCat: /record/2522
DOI: 10.1007/s00199-014-0846-7

MaxiNet: Distributed Emulation of Software-Defined Networks
P. Wette, M. Dräxler, A. Schwabe, F. Wallaschek, M.H. Zahraee, H. Karl, in: Proceedings of the 2014 IFIP Networking Conference (Networking 2014), 2014, pp. 1–9.
LibreCat: /record/329
DOI: 10.1109/IFIPNetworking.2014.6857078

Verified Service Compositions by Template-Based Construction
S. Walther, H. Wehrheim, in: I. Lanese, E. Madelaine (Eds.), Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), 2014, pp. 31–48.
LibreCat: /record/336
DOI: 10.1007/978-3-319-15317-9_3

Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms
P. Wette, H. Karl, in: Proceedings of the IEEE International Conference on Communications 2014, 2014, pp. 3270–3276.
LibreCat: /record/339
DOI: 10.1109/ICC.2014.6883825

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

Towards Context-Sensitive Service Composition for Service-Oriented Image Processing
A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom), 2014, pp. 755–758.
LibreCat: /record/345
DOI: 10.1109/CloudCom.2014.154

Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services
S. Brangewitz, A. Jungmann, R. Petrlic, M.C. Platenius, in: Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.
LibreCat: /record/346

Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores for Error Detection
S. Meisner, M. Platzner, in: D. Goehringer, M. Santambrogio, J.P. Cardoso, K. Bertels (Eds.), Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC), Springer, 2014, pp. 283–290.
LibreCat: /record/347
DOI: 10.1007/978-3-319-05960-0_30

The Legal Classification of Identity-Based Signatures
C. Sorge, The Legal Classification of Identity-Based Signatures, 2014.
LibreCat: /record/349

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

Template-based Generation of Semantic Services
F. Mohr, S. Walther, in: Proceedings of the 14th International Conference on Software Reuse (ICSR), 2014, pp. 188–203.
LibreCat: /record/353
DOI: 10.1007/978-3-319-14130-5_14

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

Tampering attacks in pairing-based cryptography
J. Blömer, P. Günther, G. Liske, in: Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC), 2014, pp. 1--7.
LibreCat: /record/355
DOI: 10.1109/FDTC.2014.10

Surrounding robots -- A discrete localized solution for the intruder problem
L. Blazovics, T. Lukovszki, B. Forstner, Journal of Advanced Computational Intelligence and Intelligent Informatics (2014) 315--319.
LibreCat: /record/356
DOI: 10.20965/jaciii.2014.p0315

Specifying and Placing Chains of Virtual Network Functions
S. Dräxler, M. Keller, H. Karl, in: Proceedings of the 3rd International Conference on Cloud Networking (CloudNet), 2014, pp. 7–13.
LibreCat: /record/360
DOI: 10.1109/CloudNet.2014.6968961

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

Security and Privacy Challenges in On-The-Fly Computing
R. Petrlic, A. Jungmann, M.C. Platenius, W. Schäfer, C. Sorge, in: Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014, pp. 131–142.
LibreCat: /record/366

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

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

Routing Games with Progressive Filling
T. Harks, M. Höfer, K. Schewior, A. Skopalik, in: Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14), 2014, pp. 352–360.
LibreCat: /record/370
DOI: 10.1109/TNET.2015.2468571

RoBuSt: A Crash-Failure-Resistant Distributed Storage System
C. Scheideler, A. Setzer, M. Eikel, in: Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS), 2014, pp. 107--122.
LibreCat: /record/371
DOI: 10.1007/978-3-319-14472-6_8

Response Time-Optimized Distributed Cloud Resource Allocation
M. Keller, H. Karl, in: Proceedings of the SIGCOMM Workshop on Distributed Cloud Computing, 2014, pp. 47--52.
LibreCat: /record/372
DOI: 10.1145/2627566.2627570

Relocatable Hardware Threads in Run-Time Reconfigurable Systems
A. Wold, A. Agne, J. Torresen, in: D. Goehringer, M. Santambrogio, J.P. Cardoso, K. Bertels (Eds.), Proceedings of the 10th International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications, 2014, pp. 61–72.
LibreCat: /record/374
DOI: 10.1007/978-3-319-05960-0_6

Reengineering Component-Based Software Systems with Archimetrix
M. von Detten, M.C. Platenius, S. Becker, Journal of Software and Systems Modeling (2014) 1239--1268.
LibreCat: /record/375
DOI: 10.1007/s10270-013-0341-9

Re-Chord: A Self-stabilizing Chord Overlay Network
S. Kniesburges, A. Koutsopoulos, C. Scheideler, Theory of Computing Systems (2014) 591–612.
LibreCat: /record/378
DOI: 10.1007/s00224-012-9431-2

Randomized Online Algorithms for Set Cover Leasing Problems
S. Abshoff, C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 8th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2014, pp. 25–34.
LibreCat: /record/379
DOI: 10.1007/978-3-319-12691-3_3

Quality of Service in Network Creation Games
A. Cord-Landwehr, A. Mäcker, F. Meyer auf der Heide, in: Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 423–428.
LibreCat: /record/380
DOI: 10.1007/978-3-319-13129-0_34

Provider Competition in Infrastructure-as-a-Service
J. Künsemöller, S. Brangewitz, H. Karl, C.-J. Haake, in: Proceedings of the 2014 IEEE International Conference on Services Computing (SCC), 2014, pp. 203–210.
LibreCat: /record/382
DOI: 10.1109/SCC.2014.35

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

Privacy-Preserving Reputation Management
R. Petrlic, S. Lutters, C. Sorge, in: Proceedings of the 29th Symposium On Applied Computing (SAC), 2014, pp. 1712–1718.
LibreCat: /record/384
DOI: 10.1145/2554850.2554881

Privacy-Preserving Digital Rights Management based on Attribute-based Encryption
R. Petrlic, C. Sorge, in: Proceedings of the Sixth IFIP International Conference on New Technologies, Mobility and Security (NTMS), 2014, pp. 1–5.
LibreCat: /record/386
DOI: 10.1109/NTMS.2014.6814044

Principles of Robust Medium Access and an Application to Leader Election
B. Awerbuch, A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, Transactions on Algorithms (2014).
LibreCat: /record/387
DOI: 10.1145/2635818

Ontology-based Representation of Optimization Models
F. Stapel, L. Suhl, Ontology-Based Representation of Optimization Models, Universität Paderborn, 2014.
LibreCat: /record/389

On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains
Z. Huma, C. Gerth, G. Engels, Computer Science - Research and Development (2014) 333–361.
LibreCat: /record/390
DOI: 10.1007/s00450-014-0254-z

Datenschutz im Future Internet: rechtliche Aspekte und technische Maßnahmen
C. Sorge, R. Petrlic, in: Tagungsband Des 17. Internationalen Rechtsinformatik Symposions, 2014.
LibreCat: /record/441

Constructing CCA-secure predicate encapsulation schemes from CPA-secure schemes and universal one-way hash functions
J. Blömer, G. Liske, (2014).
LibreCat: /record/442

Constitutions and Social Networks
A. Mauleon, N. Röhl, V. Vannetelbosch, Constitutions and Social Networks, Universität Paderborn, 2014.
LibreCat: /record/443

Conceptual Model and Economic Experiments to Explain Nonpersistence and Enable Mechanism Designs Fosterin Behavioral Change
B. Mir Djawadi, R. Fahr, F. Turk, Value in Health (2014) 814–822.
LibreCat: /record/444
DOI: 10.1016/j.jval.2014.08.2669

Competitive outcomes and the inner core of NTU market games
S. Brangewitz, J.-P. Gamp, Economic Theory (2014) 529–554.
LibreCat: /record/445
DOI: 10.1007/s00199-014-0846-7

Competitive MAC under adversarial SINR
A. Ogierman, A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM), 2014, pp. 2751--2759.
LibreCat: /record/446
DOI: 10.1109/INFOCOM.2014.6848224

Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 10th World Congress on Services (SERVICES), 2014, pp. 346–353.
LibreCat: /record/447
DOI: 10.1109/SERVICES.2014.68

Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!
M. Becker, M.C. Platenius, S. Becker, in: Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB), 2014, pp. 153–159.
LibreCat: /record/449
DOI: 10.1007/978-3-319-14886-1_15

Certification for Configurable Program Analysis
M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 2014, pp. 30–39.
LibreCat: /record/450
DOI: 10.1145/2632362.2632372

Budget-restricted utility games with ordered strategic decisions
M. Drees, S. Riechers, A. Skopalik, in: R. Lavi (Ed.), Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), 2014, pp. 110–121.
LibreCat: /record/451
DOI: 10.1007/978-3-662-44803-8_10

Brief Announcement: A Model for Multilevel Network Games
S. Abshoff, A. Cord-Landwehr, D. Jung, A. Skopalik, in: R. Lavi (Ed.), Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), 2014, p. 294.
LibreCat: /record/452

Bounding the Potential Function in Congestion Games and Approximate Pure Nash Equilibria
M. Feldotto, M. Gairing, A. Skopalik, in: Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 30–43.
LibreCat: /record/453
DOI: 10.1007/978-3-319-13129-0_3

Approximate pure Nash equilibria in weighted congestion games
C. Hansknecht, M. Klimm, A. Skopalik, in: Proceedings of the 17th. International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX), 2014, pp. 242–257.
LibreCat: /record/455
DOI: 10.4230/LIPIcs.APPROX-RANDOM.2014.242

Approximate pure Nash equilibria in Social Context Congestion Games
M. Gairing, G. Kotsialou, A. Skopalik, in: Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 480–485.
LibreCat: /record/456
DOI: 10.1007/978-3-319-13129-0_43