Brüseke, Frank, Henning Wachsmuth, Gregor Engels, and Steffen Becker. “PBlaman: Performance Blame Analysis Based on Palladio Contracts.” In Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment, 1975–2004, 2014.

Künsemöller, Jörn, Sonja Brangewitz, Holger Karl, and Claus-Jochen Haake. “Provider Competition in Infrastructure-as-a-Service.”https://doi.org/10.1109/SCC.2014.35__In Proceedings of the 2014 IEEE International Conference on Services Computing (SCC), 203–10, 2014.https://doi.org/10.1109/SCC.2014.35 .

Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from Proofs -- Approach and Applications.” In Proceedings of the Software Engineering Conference (SE), 67–68. Lecture Notes in Informatics (LNI), 2014.

Awerbuch, Baruch, Andrea W. Richa, Christian Scheideler, Stefan Schmid, and Jin Zhang. “Principles of Robust Medium Access and an Application to Leader Election.”https://doi.org/10.1145/2635818__Transactions on Algorithms, no. 4 (2014).https://doi.org/10.1145/2635818 .

Wachsmuth, Henning, Martin Trenkmann, Benno Stein, and Gregor Engels. “Modeling Review Argumentation for Robust Sentiment Analysis.” In Proceedings of COLING 2014, the 25th International Conference on Computational Linguistics: Technical Papers, 553–64, 2014.

Hammer, Manfred. “Oblique Incidence of Semi-Guided Waves on Rectangular Slab Waveguide Discontinuities: A Vectorial QUEP Solver.”https://doi.org/10.1016/j.optcom.2014.09.087__Optics Communications 338 (2014): 447–56.https://doi.org/10.1016/j.optcom.2014.09.087 .

Huma, Zille, Christian Gerth, and Gregor Engels. “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains.”https://doi.org/10.1007/s00450-014-0254-z__Computer Science - Research and Development, no. 3–4 (2014): 333–61.https://doi.org/10.1007/s00450-014-0254-z .

Abu Quba Rana, Chamsi, Salima Hassas, Fayyad Usama, Milad Alshomary, and Christine Gertosio. “ISoNTRE: The Social Network Transformer into Recommendation Engine.” 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA), 2014, 169–75.

Brauer, Sascha. A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures, 2014.

Ackermann, Marcel Rudolf, Johannes Blömer, Daniel Kuntze, and Christian Sohler. “Analysis of Agglomerative Clustering.”https://doi.org/10.1007/s00453-012-9717-4__Algorithmica 69 (2014).https://doi.org/10.1007/s00453-012-9717-4 .

Blömer, Johannes, Kathrin Bujna, and Daniel Kuntze. “A Theoretical and Experimental Comparison of the EM and SEM Algorithm.”https://doi.org/10.1109/icpr.2014.253__In 2014 22nd International Conference on Pattern Recognition. IEEE, 2014.https://doi.org/10.1109/icpr.2014.253 .

Jager, Tibor. “Die Zukunft Der Kryptographie.”https://doi.org/10.1007/s11623-014-0204-8__Datenschutz Und Datensicherheit, no. 7 (2014): 445--451.https://doi.org/10.1007/s11623-014-0204-8 .

Fleischhacker, Nils, Tibor Jager, and Dominique Schröder. “On Tight Security Proofs for Schnorr Signatures.”https://doi.org/10.1007/978-3-662-45611-8_27__In Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I, 512--531, 2014.https://doi.org/10.1007/978-3-662-45611-8_27 .

Schneider, Steve, Helen Treharne, and Heike Wehrheim. “The Behavioural Semantics of Event-B Refinement.”https://doi.org/10.1007/s00165-012-0265-0__Formal Asp. Comput., no. 2 (2014): 251--280.https://doi.org/10.1007/s00165-012-0265-0 .

Tofan, Bogdan, Oleg Travkin, Gerhard Schellhorn, and Heike Wehrheim. “Two Approaches for Proving Linearizability of Multiset.”https://doi.org/10.1016/j.scico.2014.04.001__Sci. Comput. Program., 2014, 297--314.https://doi.org/10.1016/j.scico.2014.04.001 .

Schellhorn, Gerhard, John Derrick, and Heike Wehrheim. “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.”https://doi.org/10.1145/2629496__ACM Trans. Comput. Log., no. 4 (2014): 31:1--31:37.https://doi.org/10.1145/2629496 .

Derrick, John, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, and Heike Wehrheim. “Quiescent Consistency: Defining and Verifying Relaxed Linearizability.”https://doi.org/10.1007/978-3-319-06410-9_15__In FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones, Pekka Pihlajasaari, and Jun Sun, 200--214. Lecture Notes in Computer Science, 2014.https://doi.org/10.1007/978-3-319-06410-9_15 .

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

Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via I with Zones.”https://doi.org/10.1007/978-3-319-11737-9_14__In 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, 203--218. Lecture Notes in Computer Science, 2014.https://doi.org/10.1007/978-3-319-11737-9_14 .

A. Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing LTL Properties in Event-B Refinement.”https://doi.org/10.1007/978-3-319-10181-1_14__In Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, edited by Elvira Albert and Emil Sekerinski, 221--237. Lecture Notes in Computer Science, 2014.https://doi.org/10.1007/978-3-319-10181-1_14 .

Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing LTL Properties in Event-B Refinement.” CoRR, 2014.

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

Keil, Reinhard, Harald Selke, and Felix Winkelnkemper. “Twenty Years of Learning with the World Wide Web.” Edited by Stephan Trahasch, Rolf   Pl  "o tzner , Gerhard Schneider, Claudia  Gayer, Daniel Sassiat, and Nicole W  "o hrle. Lecture Notes in Informatics (LNI), 2014.

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

Brenner, Christian, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, and Matthias Tichy. “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.” In Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 2014.

Polevoy, Gleb, Stojan Trajanovski, and Mathijs M. de Weerdt. “Nash Equilibria in Shared Effort Games.” In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, 861–68. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2014.

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

King, Thomas C., Qingzhi Liu, Gleb Polevoy, Mathijs de Weerdt, Virginia Dignum, M. Birna van Riemsdijk, and Martijn Warnier. “Request Driven Social Sensing.” In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, 1651–52. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2014.

Polevoy, Gleb, Rann Smorodinsky, and Moshe Tennenholtz. “Signaling Competition and Social Welfare.”https://doi.org/10.1145/2560766__ACM Trans. Econ. Comput. 2, no. 1 (2014): 1:1-1:16.https://doi.org/10.1145/2560766 .

Steinle, Tobias, Jadran Vrabec, and Andrea Walther. “Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres.”https://doi.org/10.1007/978-3-319-09063-4_19__In Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC), edited by Hans Georg Bock, Xuan Phu Hoang, Rolf Rannacher, and Johannes P. Schlöder, 233–43. Springer International Publishing, 2014.https://doi.org/10.1007/978-3-319-09063-4_19 .

Graf, Tobias, Lars Schaefers, and Marco Platzner. “On Semeai Detection in Monte-Carlo Go.”https://doi.org/10.1007/978-3-319-09165-5_2__In Proc. Conf. on Computers and Games (CG), 14–25. Lecture Notes in Computer Science. Switzerland: Springer, 2014.https://doi.org/10.1007/978-3-319-09165-5_2 .

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

Pohlmann, Uwe, Jörg Holtmann, Matthias Meyer, and Christopher Gerking. “Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems.” In Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE Xplore, 2014.

Becker, Steffen, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schäfer, Matthias Meyer, and Uwe Pohlmann. “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems.” In Proceedings of the 36th International Conference on Software Engineering (Posters). ACM, New York, NY, USA, 2014.

Pohlmann, Uwe, Stefan Dziwok, Matthias Meyer, Matthias Tichy, and Sebastian Thiele. “A Modelica Coordination Pattern Library for Cyber-Physical Systems.” In Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014.

Becker, Steffen, Stefan Dziwok, Christopher Gerking, Wilhelm Schäfer, Christian Heinzemann, Sebastian Thiele, Matthias Meyer, Claudia Priesterjahn, Uwe Pohlmann, and Matthias Tichy. The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling, 2014.

Pohlmann, Uwe, Matthias Meyer, Andreas Peter Dann, and Christopher Brink. “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment.” In Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, 23:23-23:30. ACM, New York, NY, USA, 2014.

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.”https://doi.org/10.1109/infcomw.2013.6970733__In 2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS). IEEE, 2014.https://doi.org/10.1109/infcomw.2013.6970733 .

Jacob, Riko, Andrea W. Richa, Christian Scheideler, Stefan Schmid, and Hanjo Täubig. “SKIP*: A Self-Stabilizing Skip Graph.”https://doi.org/10.1145/2629695__J. ACM, no. 6 (2014): 36:1--36:26.https://doi.org/10.1145/2629695 .

Derakhshandeh, Zahra, Shlomi Dolev, Robert Gmyr, Andrea W. Richa, Christian Scheideler, and Thim Frederik Strothmann. “Brief Announcement: Amoebot - a New Model for Programmable Matter.”https://doi.org/10.1145/2612669.2612712__In 26th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA’14, Prague, Czech Republic - June 23 - 25, 2014, 220--222. ACM, 2014.https://doi.org/10.1145/2612669.2612712 .

Kühn, Arno, Christian Bremer, Roman Dumitrescu, and Jürgen Gausemeier. “Feature Models Supporting Trade-off Decisions in Early Mechatronic Systems Design.” In NordDesign 2014, Espoo, Finnland, 27. - 29. Aug. 2014, 2014.

Gausemeier, Jürgen, Roman Dumitrescu, Jürgen Jasperneite, Arno Kühn, and Henning Trsek. “Der Spitzencluster it’s OWL auf dem Weg zur Industrie 4.0.” ZWF - Zeitschrift für Wirtschaftlichen Fabrikbetrieb, 2014.

Mahadhir, Khairul Azmi, Shing Chiang Tan, Cheng Low, Roman Dumitrescu, Adam Tan Mohd Amin, and Ahmed Jaffar. “Terrain Classification for Track-Driven Agricultural Robots.” Procedia Technology, 2014.

Dorociak, Rafal, Roman Dumitrescu, Jürgen Gausemeier, and Peter Iwanek. “Specification Technique CONSENS for the Description of Self-Optimizing Systems.” In Design Methodology for Intelligent Technichal Systems, edited by Jürgen Gausemeier, Franz-Josef Rammig, and Wilhelm Schäfer. Berlin: Springer, 2014.

Kühn, Arno, Daniel Kliewe, Roman Dumitrescu, and Jürgen Gausemeier. “Strategy Controlling for Innovation Clusters - the Example of ‘It’s OWL.’” In ISPIM Conference 2014, 2014.

Dumitrescu, Roman, Christian Fechtelpeter, and Arno Kühn. “Systematische Berücksichtigung von Fertigungsanforderungen im Model-Based Systems Engineering.” In Tag des Systems Engineering, Bremen, edited by Maik Maurer and Sven-Olaf Schulze. München: Carl Hanser Verlag, 2014.

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

Tschirner, Christian, Lydia Kaiser, Roman Dumitrescu, and Jürgen Gausemeier. “Collaboration in Model-Based Systems Engineering Based on Application Scenarios.” In NordDesign 2014. Espoo, Finnland, 2014.