Tofan, Bogdan, et al. “Two Approaches for Proving Linearizability of Multiset.”10.1016/j.scico.2014.04.001__Sci. Comput. Program., 2014, pp. 297--314, doi:10.1016/j.scico.2014.04.001.

Schellhorn, Gerhard, et al. “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.”10.1145/2629496__ACM Trans. Comput. Log., no. 4, 2014, pp. 31:1--31:37, doi:10.1145/2629496.

Derrick, John, et al. “Quiescent Consistency: Defining and Verifying Relaxed Linearizability.”10.1007/978-3-319-06410-9_15__FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones et al., 2014, pp. 200--214, doi:10.1007/978-3-319-06410-9_15.

Travkin, Oleg, and Heike Wehrheim. “Handling TSO in Mechanized Linearizability Proofs.”10.1007/978-3-319-13338-6_11__Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, edited by Eran Yahav, 2014, pp. 132--147, doi:10.1007/978-3-319-13338-6_11.

Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via I with Zones.”10.1007/978-3-319-11737-9_14__Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, edited by Stephan Merz and Jun Pang, 2014, pp. 203--218, doi:10.1007/978-3-319-11737-9_14.

A. Schneider, Steve, et al. “Managing LTL Properties in Event-B Refinement.”10.1007/978-3-319-10181-1_14__Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, edited by Elvira Albert and Emil Sekerinski, 2014, pp. 221--237, doi:10.1007/978-3-319-10181-1_14.

Schneider, Steve, et al. “Managing LTL Properties in Event-B Refinement.” CoRR, 2014.

Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via I.” CoRR, 2014.

Keil, Reinhard, et al. Twenty Years of Learning with the World Wide Web. Edited by Stephan Trahasch et al., 2014, pp. 51–60.

Winkelnkemper, Felix, and Reinhard Keil. Zwischen Design Und Flexibilit\'22at - Zur Ergonomie Des Flat Design. Edited by Andreas Butz and Johann  Schlichter, vol. 2014, Oldenbourg Verlag, 2014, pp. 255–64.

Brenner, Christian, et al. “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.” Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 2014.

Polevoy, Gleb, et al. “Nash Equilibria in Shared Effort Games.” Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp. 861–68.

Polevoy, Gleb, and Mathijs M. de Weerdt. “Improving Human Interaction in Crowdsensing.” Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp. 1741–42.

King, Thomas C., et al. “Request Driven Social Sensing.” Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp. 1651–52.

Polevoy, Gleb, et al. “Signaling Competition and Social Welfare.”10.1145/2560766__ACM Trans. Econ. Comput., vol. 2, no. 1, ACM, 2014, pp. 1:1-1:16, doi:10.1145/2560766.

Steinle, Tobias, et al. “Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres.”10.1007/978-3-319-09063-4_19__Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC), edited by Hans Georg Bock et al., Springer International Publishing, 2014, pp. 233–43, doi:10.1007/978-3-319-09063-4_19.

Graf, Tobias, et al. “On Semeai Detection in Monte-Carlo Go.”10.1007/978-3-319-09165-5_2__Proc. Conf. on Computers and Games (CG), no. 8427, Springer, 2014, pp. 14–25, doi:10.1007/978-3-319-09165-5_2.

Petring, Ralf. Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen in Echtzeit. 2014.

Pohlmann, Uwe, et al. “Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems.” Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE Xplore, 2014.

Becker, Steffen, et al. “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems.” Proceedings of the 36th International Conference on Software Engineering (Posters), ACM, New York, NY, USA, 2014.

Pohlmann, Uwe, et al. “A Modelica Coordination Pattern Library for Cyber-Physical Systems.” Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014.

Becker, Steffen, et al. The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling. 2014.

Pohlmann, Uwe, et al. “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment.” Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, ACM, New York, NY, USA, 2014, p. 23:23-23:30.

Luo, Linghui. Ein Selbst-Stabilisierender Algorithmus Für Das Finite Sleep Problem in Skip+ Graphen. Universität Paderborn, 2014.

Hinnenthal, Kristian. Formbildung Selbstorganisierender Partikelsysteme. 2014.

Wette, Philip, and Holger Karl. “Incorporating Feedback from Application Layer into Routing and Wavelength Assignment Algorithms.”10.1109/infcomw.2013.6970733__2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), IEEE, 2014, doi:10.1109/infcomw.2013.6970733.

Jacob, Riko, et al. “SKIP*: A Self-Stabilizing Skip Graph.”10.1145/2629695__J. ACM, no. 6, 2014, pp. 36:1--36:26, doi:10.1145/2629695.

Derakhshandeh, Zahra, et al. “Brief Announcement: Amoebot - a New Model for Programmable Matter.”10.1145/2612669.2612712__26th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA’14, Prague, Czech Republic - June 23 - 25, 2014, ACM, 2014, pp. 220--222, doi:10.1145/2612669.2612712.

Kühn, Arno, et al. “Feature Models Supporting Trade-off Decisions in Early Mechatronic Systems Design.” NordDesign 2014, Espoo, Finnland, 27. - 29. Aug. 2014, 2014.

Gausemeier, Jürgen, et al. “Der Spitzencluster it’s OWL auf dem Weg zur Industrie 4.0.” ZWF - Zeitschrift für Wirtschaftlichen Fabrikbetrieb, 2014, pp. 336–46.

Mahadhir, Khairul Azmi, et al. “Terrain Classification for Track-Driven Agricultural Robots.” Procedia Technology, vol. Vol. 15, 2014, pp. 776–83.

Dorociak, Rafal, et al. “Specification Technique CONSENS for the Description of Self-Optimizing Systems.” Design Methodology for Intelligent Technichal Systems, edited by Jürgen Gausemeier et al., Springer, 2014.

Kühn, Arno, et al. “Strategy Controlling for Innovation Clusters - the Example of ‘It’s OWL.’” ISPIM Conference 2014, 2014.

Dumitrescu, Roman, et al. “Systematische Berücksichtigung von Fertigungsanforderungen im Model-Based Systems Engineering.” Tag des Systems Engineering, Bremen, edited by Maik Maurer and Sven-Olaf Schulze, Carl Hanser Verlag, 2014.

Rabe, Martin, et al. “Methodology for the Identification of Solution Patterns within Mechatronic Systems.” Proceedings of the 15th International Workshop on Research and Education in Mechatronics (REM), El Gouna, Egypt, 2014.

Tschirner, Christian, et al. “Collaboration in Model-Based Systems Engineering Based on Application Scenarios.” NordDesign 2014, 2014.

Jürgenhake, Christoph, et al. “Optimized Process Sequences for Prototyping of Molded Interconnect Devices.” Advanced Materials Research, vol. Vol.1038, 2014, pp. 19–27.

Schierbaum, Thomas, et al. “Method for the Identification and Comparison of Alternative Process Chains Focusing on Economics Efficiency Analysis during the Conceptual Design of Mechatronic Integrated Devices.” Advanced Materials Research, vol. Vol.1038, 2014, pp. 3–9.

Bailey, M., and C. Law. “A Summer Blender Camp: Modeling, Rendering, and Animation for High School Students.”10.1109/MCG.2014.4__IEEE Computer Graphics and Applications, vol. 34, no. 1, IEEE, 2014, pp. 65–67, doi:10.1109/MCG.2014.4.

Dias, P., et al. “Student Projects Involving Novel Interaction with Large Displays.”10.1109/MCG.2014.35__IEEE Computer Graphics and Applications, vol. 34, no. 2, IEEE, 2014, pp. 80–86, doi:10.1109/MCG.2014.35.

Repenning, A., et al. “Beyond Minecraft: Facilitating Computational Thinking through Modeling and Programming in 3D.”10.1109/MCG.2014.46__IEEE Computer Graphics and Applications, vol. 34, no. 3, IEEE, 2014, pp. 68–71, doi:10.1109/MCG.2014.46.

Reina, G., et al. “Incorporating Modern OpenGL into Computer Graphics Education.”10.1109/MCG.2014.69__IEEE Computer Graphics and Applications, vol. 34, no. 4, IEEE, 2014, pp. 16–21, doi:10.1109/MCG.2014.69.

Cao, M., et al. “Creative Educational Use of Virtual Reality: Working with Second Life.”10.1109/MCG.2014.87__Computer Graphics and Applications, IEEE, vol. 34, IEEE, 2014, pp. 83–87, doi:10.1109/MCG.2014.87.

DiSalvo, B. “Graphical Qualities of Educational Technology: Using Drag-and-Drop and Text-Based Programs for Introductory Computer Science.”10.1109/MCG.2014.112__IEEE Computer Graphics and Applications, vol. 34, no. 6, IEEE, 2014, pp. 12–15, doi:10.1109/MCG.2014.112.

Nüske, Feliks, et al. “Variational Approach to Molecular Kinetics.”10.1021/ct4009156__Journal of Chemical Theory and Computation, 2014, pp. 1739–52, doi:10.1021/ct4009156.

Weskamp , Christoph, et al., editors. Towards a Simulation-Based Approach for Evaluating Business Models for the Electric Vehicle Market. 2014.

Pittke, Fabian, et al. “Linguistic Consistency of Goal Models.” Proceedings of the 19th International EMMSAD Conference, Springer, 2014.

Fazal-Baqaie, Masud, et al. “Breathing Life into Situational Software Engineering Methods.” In Proceedings of the 15th International Conference of Product Focused Software Development and Process Improvement (PROFES 2014), vol. 8892, Springer, 2014, pp. 281–84.

Fazal-Baqaie, Masud, et al. “Agile Entwicklung Mit On- Und Offshore-Partnern – Methodenverbesserung in Der Praxis.” Proceedings of Projektmanagement Und Vorgehensmodelle 2014, GI, Köllen Druck+Verlag GmbH, Bonn, 2014, pp. 59–69.

Arifulina, Svetlana, et al. Configuration of Specification Language and Matching for Services in On-The-Fly Computing. Heinz Nixdorf Institute, University of Paderborn, 2014.

Yigitbas, Enes, et al. “Model-Based User Interface Development for Adaptive Self-Service Systems.”10.1007/978-3-319-07668-3‑21__Design, User Experience, and Usability. Theories, Methods, and Tools for Designing the User Experience - Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I, 2014, pp. 206–13, doi:10.1007/978-3-319-07668-3‑21.

Yigitbas, Enes, et al. “Model-Based Development of Adaptive UIs for Multi-Channel Self-Service Systems.”10.1007/978-3-662-44811-3‑18__Human-Centered Software Engineering - 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings, 2014, pp. 267–74, doi:10.1007/978-3-662-44811-3‑18.

Yigitbas, Enes, and Stefan Sauer. “Flexible &; Adaptive UIs for Self-Service Systems.” Mensch &; Computer 2014 - Workshopband, 14. Fachübergreifende Konferenz Für Interaktive Und Kooperative Medien - Interaktiv Unterwegs - Freiräume Gestalten, 31. August - 3. September 2014, München, Germany, 2014, pp. 167–75.

Fischer, Holger Gerhard, et al. “Qualität Im Usability Engineering - Stand Der Arbeiten Am Qualitätsstandard Usability Engineering Der German UPA.” Jahresband Usability Professionals, German UPA, 2014.

Senft, Björn, et al. “IT-Unterstützung im praktischen Ausbildungsbetrieb der Feuerwehr.” Mensch &; Computer 2014 - Workshopband, De Gruyter Oldenbourg, 2014, pp. 111–16.

Sommer, Christoph, and Falko Dressler. Vehicular Networking. Cambridge University Press, 2014, doi:10.1017/CBO9781107110649.

Blömer, Johannes, and Gennadij Liske. Constructing CCA-Secure Predicate Encapsulation Schemes from CPA-Secure Schemes and Universal One-Way Hash Functions. Universität Paderborn, 2014.

Ogierman, Adrian, et al. “Competitive MAC under Adversarial SINR.”10.1109/INFOCOM.2014.6848224__Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM), 2014, pp. 2751--2759, doi:10.1109/INFOCOM.2014.6848224.

Jungmann, Alexander, et al. “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services.”10.1109/SERVICES.2014.68__Proceedings of the 10th World Congress on Services (SERVICES), 2014, pp. 346–53, doi:10.1109/SERVICES.2014.68.

Becker, Matthias, et al. “Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!”10.1007/978-3-319-14886-1_15__Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB), 2014, pp. 153–59, doi:10.1007/978-3-319-14886-1_15.

Jakobs, Marie-Christine, and Heike Wehrheim. “Certification for Configurable Program Analysis.”10.1145/2632362.2632372__Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 2014, pp. 30–39, doi:10.1145/2632362.2632372.

Drees, Maximilian, et al. “Budget-Restricted Utility Games with Ordered Strategic Decisions.”10.1007/978-3-662-44803-8_10__Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), edited by Ron Lavi, 2014, pp. 110–21, doi:10.1007/978-3-662-44803-8_10.

Abshoff, Sebastian, et al. “Brief Announcement: A Model for Multilevel Network Games.” Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), edited by Ron Lavi, 2014, p. 294.

Feldotto, Matthias, et al. “Bounding the Potential Function in Congestion Games and Approximate Pure Nash Equilibria.”10.1007/978-3-319-13129-0_3__Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 30–43, doi:10.1007/978-3-319-13129-0_3.

Hansknecht, Christoph, et al. “Approximate Pure Nash Equilibria in Weighted Congestion Games.”10.4230/LIPIcs.APPROX-RANDOM.2014.242__Proceedings of the 17th. International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX), 2014, pp. 242–57, doi:10.4230/LIPIcs.APPROX-RANDOM.2014.242.

Gairing, Martin, et al. “Approximate Pure Nash Equilibria in Social Context Congestion Games.”10.1007/978-3-319-13129-0_43__Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 480–85, doi:10.1007/978-3-319-13129-0_43.

Jungmann, Alexander, et al. “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition.”10.1109/SOCA.2014.48__Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 2014, pp. 105–12, doi:10.1109/SOCA.2014.48.

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

Kniesburges, Sebastian, et al. “Algorithmic Aspects of Resource Management in the Cloud.”10.1007/978-3-319-09620-9_1__Proceedings of the 21st International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2014, pp. 1–13, doi:10.1007/978-3-319-09620-9_1.

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

Feldotto, Matthias, and Alexander Skopalik. “A Simulation Framework for Analyzing Complex Infinitely Repeated Games.”10.5220/0005110406250630__Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014), 2014, pp. 625–30, doi:10.5220/0005110406250630.

Blömer, Johannes, et al. “A Practical Second-Order Fault Attack against a Real-World Pairing Implementation.”10.1109/FDTC.2014.22__Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC), 2014, pp. 123--136, doi:10.1109/FDTC.2014.22.

Gall, Dominik, et al. “A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization.”10.1007/s00224-013-9504-x__Theory of Computing Systems, no. 1, Springer, 2014, pp. 110–35, doi:10.1007/s00224-013-9504-x.

Künsemöller, Jörn, and Holger Karl. “A Game-Theoretic Approach to the Financial Benefits of Infrastructure-as-a-Service.”10.1016/j.future.2014.03.005__Future Generation Computer Systems, Elsevier, 2014, pp. 44--52, doi:10.1016/j.future.2014.03.005.

Klenke, Markus, and Marvin Grieger. “FormADF Mal Anders: Wie Aus Einer Oracle-Vision Praxis Wird.” DOAG News, no. 3, 2014, pp. 38–42.

Grieger, Marvin, et al. “A Method to Systematically Improve the Effectiveness and Efficiency of the Semi-Automatic Migration of Legacy Systems.” Softwaretechnik-Trends, Proceedings of the 16th Workshop Software-Reengineering (WSRE), vol. 34, no. 2, 2014, pp. 77–78.

Grieger, Marvin, et al. “Architectural Restructuring by Semi-Automatic Clustering to Facilitate Migration towards a Service-Oriented Architecture.” Softwaretechnik-Trends, Proceedings of the 2nd Workshop Model-Based and Model-Driven Software Modernization (MMSM), vol. 34, no. 2, 2014, pp. 44–45.

Beister, Frederic, et al. “Power Model Design for ICT Systems -- A Generic Approach.”10.1016/j.comcom.2014.02.007__Computer Communications, 2014, pp. 77--85, doi:10.1016/j.comcom.2014.02.007.

Azeem M. Khan, Rana, and Holger Karl. “MAC Protocols for Cooperative Diversity in Wireless LANs and Wireless Sensor Networks.”10.1109/SURV.2013.042313.00067__IEEE Communications Surveys and Tutorials, no. 1, 2014, pp. 46--63, doi:10.1109/SURV.2013.042313.00067.

Dräxler, Martin, et al. “Anticipatory Power Cycling of Mobile Network Equipment for High Demand Multimedia Traffic.”10.1109/OnlineGreenCom.2014.7114415__IEEE Online Conference on Green Communications, OnlineGreenComm 2014, November 12-14, 2014, 2014, pp. 1--7, doi:10.1109/OnlineGreenCom.2014.7114415.

Auroux, Sebastien, and Holger Karl. “Flow Processing-Aware Controller Placement in Wireless DenseNets.”10.1109/PIMRC.2014.7136368__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, doi:10.1109/PIMRC.2014.7136368.

Schwabe, Arne, and Holger Karl. “Using MAC Addresses as Efficient Routing Labels in Data Centers.”10.1145/2620728.2620730__Proceedings of the Third Workshop on Hot Topics in Software Defined Networking, HotSDN ’14, Chicago, Illinois, USA, August 22, 2014, 2014, pp. 115--120, doi:10.1145/2620728.2620730.

Blanckenstein, Johannes, and Holger Karl. “Energy-Efficient Clock Synchronization Using Wake-up Receivers.”10.1109/SOFTCOM.2014.7039090__22nd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2014, Split, Croatia, September 17-19, 2014, 2014, pp. 408--413, doi:10.1109/SOFTCOM.2014.7039090.

Beister, Frederic, and Holger Karl. “Predicting Mobile Video Inter-Download Times with Hidden Markov Models.”10.1109/WiMOB.2014.6962195__IEEE 10th International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2014, Larnaca, Cyprus, October 8-10, 2014, 2014, pp. 359--364, doi:10.1109/WiMOB.2014.6962195.

Mehraghdam, Sevil, et al. “Specifying and Placing Chains of Virtual Network Functions.” CoRR, 2014.

Wette, Philip, and Holger Karl. “DCT<sup>2</sup>Gen: A Versatile TCP Traffic Generator for Data Centers.” CoRR, 2014.

Schwabe, Arne, and Holger Karl. “Adding Geographical Embedding to AS Topology Generation.” CoRR, 2014.

Liebendörfer, Michael, and Laura Ostsieker. “Mathematik Als Werkzeug: Sicht- Und Arbeitsweisen von Studierenden Am Anfang Ihres Mathematikstudiums.” Mit Werkzeugen Mathematik Und Stochastik Lernen – Using Tools for Learning Mathematics and Statistics, edited by Thomas Wassong et al., Springer Fachmedien Wiesbaden, 2014, pp. 453–62.

Liebendörfer, Michael, et al. “The Mathematical Beliefs and Interest Development of Pre-Service Primary Teachers.” 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, edited by C. Nicol et al., vol. 6, PME, 2014, p. 153.

Liebendörfer, Michael. “Self-Determination and Interest Development of First-Year Mathematics Students.” Oberwolfach Reports, vol. 11, no. 4, 2014, pp. 3132–35.

Liebendörfer, Michael, et al. “Vorstellung Eines Fragebogens Zur Erfassung von Lernstrategien in Mathematikhaltigen Studiengängen.” Beiträge Zum Mathematikunterricht 2014, edited by Jürgen Roth and J. Ames, WTM-Verlag, 2014, pp. 739–42.

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

Foreback, Dianne, et al. “On Stabilizing Departures in Overlay Networks.”10.1007/978-3-319-11764-5_4__Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2014, pp. 48--62, doi:10.1007/978-3-319-11764-5_4.

Hoekstra, Hugo J. W. M., and Manfred Hammer. “General Relation for Group Delay and the Relevance of Group Delay for Refractometric Sensing.”10.1364/josab.31.001561__Journal of the Optical Society of America B, vol. 31, no. 7, 1561–1567, The Optical Society, 2014, doi:10.1364/josab.31.001561.

Schwichtenberg, Simon, et al. “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations.”10.1007/978-3-319-09195-2_12__Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–95, doi:10.1007/978-3-319-09195-2_12.

Abshoff, Sebastian, et al. “Multilevel Network Games.”10.1007/978-3-319-13129-0_36__Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 435–40, doi:10.1007/978-3-319-13129-0_36.

Scheideler, Christian, et al. “Minimum Linear Arrangement of Series-Parallel Graphs.” Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), 2014, pp. 168--180.

Wiersema, Tobias, et al. “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring.”10.1109/FPT.2014.7082771__Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–74, doi:10.1109/FPT.2014.7082771.

Platenius, Marie Christin, et al. “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching.”10.1007/978-3-319-14886-1_2__Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17, doi:10.1007/978-3-319-14886-1_2.

Arifulina, Svetlana, et al. “Market-Optimized Service Specification and Matching.”10.1007/978-3-662-45391-9_47__Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), edited by Xavier Franch et al., 2014, pp. 543–50, doi:10.1007/978-3-662-45391-9_47.