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.

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.

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.

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.

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.

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.

Applying Reinforcement Learning for Resolving Ambiguity in Service Composition
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 2014, pp. 105–112.

Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic
P. Dreimann, Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic, Universität Paderborn, 2014.

Algorithmic Aspects of Resource Management in the Cloud
S. Kniesburges, C. Markarian, F. Meyer auf der Heide, C. Scheideler, in: Proceedings of the 21st International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2014, pp. 1–13.

Adaptive Placement of Programmable Virtual Network Function Chains
S. Dräxler, Adaptive Placement of Programmable Virtual Network Function Chains, Universität Paderborn, 2014.

A Simulation Framework for Analyzing Complex Infinitely Repeated Games
M. Feldotto, A. Skopalik, in: Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014), 2014, pp. 625–630.

A Practical Second-Order Fault Attack against a Real-World Pairing Implementation
J. Blömer, R. Gomes da Silva, P. Günther, J. Krämer, J.-P. Seifert, in: Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC), 2014, pp. 123--136.

A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization
D. Gall, R. Jacob, A.W. Richa, C. Scheideler, S. Schmid, H. Täubig, Theory of Computing Systems (2014) 110–135.

A Game-Theoretic Approach to the Financial Benefits of Infrastructure-as-a-Service
J. Künsemöller, H. Karl, Future Generation Computer Systems (2014) 44--52.

FormADF mal anders: Wie aus einer Oracle-Vision Praxis wird
M. Klenke, M. Grieger, DOAG News (2014) 38–42.

A Method to Systematically Improve the Effectiveness and Efficiency of the Semi-Automatic Migration of Legacy Systems
M. Grieger, M. Fazal-Baqaie, S. Sauer, M. Klenke, Softwaretechnik-Trends, Proceedings of the 16th Workshop Software-Reengineering (WSRE) 34 (2014) 77–78.

Architectural Restructuring by Semi-Automatic Clustering to Facilitate Migration towards a Service-oriented Architecture
M. Grieger, S. Sauer, M. Klenke, Softwaretechnik-Trends, Proceedings of the 2nd Workshop Model-Based and Model-Driven Software Modernization (MMSM) 34 (2014) 44–45.

Power model design for ICT systems -- A generic approach
F. Beister, M. Dräxler, J. Aelken, H. Karl, Computer Communications (2014) 77--85.

MAC Protocols for Cooperative Diversity in Wireless LANs and Wireless Sensor Networks
R. Azeem M. Khan, H. Karl, IEEE Communications Surveys and Tutorials (2014) 46--63.

Anticipatory power cycling of mobile network equipment for high demand multimedia traffic
M. Dräxler, P. Dreimann, H. Karl, in: IEEE Online Conference on Green Communications, OnlineGreenComm 2014, November 12-14, 2014, 2014, pp. 1--7.

Flow processing-aware controller placement in wireless DenseNets
S. Auroux, H. Karl, in: 25th IEEE Annual International Symposium on Personal, Indoor, and Mobile Radio Communication, PIMRC 2014, Washington DC, USA, September 2-5, 2014, 2014, pp. 1294--1299.

Using MAC addresses as efficient routing labels in data centers
A. Schwabe, H. Karl, in: Proceedings of the Third Workshop on Hot Topics in Software Defined Networking, HotSDN ’14, Chicago, Illinois, USA, August 22, 2014, 2014, pp. 115--120.

Energy-efficient clock synchronization using wake-up receivers
J. Blanckenstein, H. Karl, in: 22nd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2014, Split, Croatia, September 17-19, 2014, 2014, pp. 408--413.

Predicting mobile video inter-download times with Hidden Markov Models
F. Beister, H. Karl, in: IEEE 10th International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2014, Larnaca, Cyprus, October 8-10, 2014, 2014, pp. 359--364.

Specifying and Placing Chains of Virtual Network Functions
S. Mehraghdam, M. Keller, H. Karl, CoRR (2014).

DCT²Gen: A Versatile TCP Traffic Generator for Data Centers
P. Wette, H. Karl, CoRR (2014).

Adding Geographical Embedding to AS Topology Generation
A. Schwabe, H. Karl, CoRR (2014).

Mathematik als Werkzeug: Sicht- und Arbeitsweisen von Studierenden am Anfang ihres Mathematikstudiums
M. Liebendörfer, L. Ostsieker, in: T. Wassong, D. Frischemeier, P.R. Fischer, R. Hochmuth, P. Bender (Eds.), Mit Werkzeugen Mathematik Und Stochastik Lernen – Using Tools for Learning Mathematics and Statistics, Springer Fachmedien Wiesbaden, Wiesbaden, 2014, pp. 453–462.

The Mathematical Beliefs and Interest Development of Pre-Service Primary Teachers
M. Liebendörfer, R. Hochmuth, J. Kolter, S. Schukajlow, in: C. Nicol, S. Oesterle, P. Liljedahl, D. Allan (Eds.), Proceedings of the 38th Conference of the International Group for the Psychology of Mathematics Education an the 36th Conference of the North American Chapter of the Psychology of Mathematics Education, PME, Vancouver, 2014, p. 153.

Self-determination and interest development of first-year mathematics students
M. Liebendörfer, Oberwolfach Reports 11 (2014) 3132–3135.

Vorstellung eines Fragebogens zur Erfassung von Lernstrategien in mathematikhaltigen Studiengängen
M. Liebendörfer, R. Hochmuth, S. Schreiber, R. Göller, J. Kolter, R. Biehler, J. Kortemeyer, L. Ostsieker, in: J. Roth, J. Ames (Eds.), Beiträge Zum Mathematikunterricht 2014, WTM-Verlag, Münster, 2014, pp. 739–742.

Detection and Resolution of Data-Flow Differences in Business Process Models
I. Jovanovikj, Detection and Resolution of Data-Flow Differences in Business Process Models, 2014.

On Stabilizing Departures in Overlay Networks
D. Foreback, A. Koutsopoulos, M. Nesterenko, C. Scheideler, T.F. Strothmann, in: Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2014, pp. 48--62.

General relation for group delay and the relevance of group delay for refractometric sensing
H.J.W.M. Hoekstra, M. Hammer, Journal of the Optical Society of America B 31 (2014).

Normalizing Heterogeneous Service Description Models with Generated QVT Transformations
S. Schwichtenberg, C. Gerth, Z. Huma, G. Engels, in: Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–195.

Multilevel Network Games
S. Abshoff, A. Cord-Landwehr, D. Jung, A. Skopalik, in: Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 435–440.

Minimum Linear Arrangement of Series-Parallel Graphs
C. Scheideler, M. Eikel, A. Setzer, in: Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), 2014, pp. 168--180.

Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring
T. Wiersema, S. Drzevitzky, M. Platzner, in: Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–174.

Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching
M.C. Platenius, S. Arifulina, R. Petrlic, W. Schäfer, in: Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17.

Market-optimized Service Specification and Matching
S. Arifulina, M.C. Platenius, C. Gerth, S. Becker, G. Engels, W. Schäfer, in: X. Franch, A. Ghose, G. Lewis, S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.

Integrating Software and Hardware Verification
M.-C. Jakobs, M. Platzner, T. Wiersema, H. Wehrheim, in: E. Albert, E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), 2014, pp. 307–322.

Integrating Service Matchers into a Service Market Architecture
M.C. Platenius, S. Becker, W. Schäfer, in: P. Avgeriou, U. Zdun (Eds.), Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), 2014, pp. 210–217.

HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths
M. Feldotto, C. Scheideler, K. Graffi, in: Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P), 2014, pp. 1–10.

Hiding software components using functional encryption
J. Jochheim, Hiding Software Components Using Functional Encryption, Universität Paderborn, 2014.

Group Signature Schemes with Strong Exculpability
P. Bemmann, Group Signature Schemes with Strong Exculpability, Universität Paderborn, 2014.

Grammar-based model transformations
G. Besova, D. Steenke, H. Wehrheim, in: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.

Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren
F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, Universität Paderborn, 2014.

Fujisaki-Okamoto Transformation
J. Lippert, Fujisaki-Okamoto Transformation, Universität Paderborn, 2014.

Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network
V. Dornseifer, Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network, Universität Paderborn, 2014.

Estimating Functional Reusability of Services
F. Mohr, in: Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC), 2014, pp. 411–418.