M.-C. Jakobs, M. Platzner, T. Wiersema, and H. Wehrheim, “Integrating Software and Hardware Verification,” in Proceedings of the 11th International Conference on Integrated Formal Methods (iFM), 2014, pp. 307–322.

J. Lindner, “TEM investigations on the nanoheteroepitaxy of semiconductors ,” presented at the 16th Scientific Seminar of the Dresden Fraunhofer Cluster Nanoanalysis in collaboration with the Dresden Center for Nanoanalysis, Dresden (Germany), 2014.

J. Lindner, “Microscopic studies of plasmonic nanostructures II,” presented at the Europhotonics Spring School 2014, Porquerolles (France), 2014.

J. Lindner, “Nanostrukturierte Oberflächen, nicht nur zum Spass,” presented at the Kolloquium der Friedrich-Schiller-Universität, Jena (Germany), 2014.

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

S. Schwichtenberg, C. Gerth, and G. Engels, “RSDL workbench results for OAEI 2014,” in Proceedings of the 9th International Workshop on Ontology Matching collocated with the 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Trentino, Italy, October 20, 2014., 2014, vol. 1317, pp. 155--162.

A. Jungmann, S. Brangewitz, R. Petrlic, and M. C. Platenius, “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services,” International Journal On Advances in Intelligent Systems (IntSys), vol. 7, no. 3&;4, pp. 572--594, 2014.

V. Taherinajafabadi, Improving Service Specifications for the Service Matching on a Service Market. Universität Paderborn, 2014.

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

F. Eusterholz, Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes. Universität Paderborn, 2014.

J. Jochheim, Hiding software components using functional encryption. Universität Paderborn, 2014.

S. Vijapurwala, Handling Incomplete Service Specifications using Fuzzy Matching. Universität Paderborn, 2014.

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

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

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

A. Kolle, Gender and ethnic discrimination in hiringf: evidence from field experiments in the German labor market. Universität Paderborn, 2014.

S. Merschjohann, Fuzzy Matching of Service Price Specifications. Universität Paderborn, 2014.

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

M. Sanati, Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn, 2014.

S. Jojiju, Finding Optimal Self-Adaption Rules by Design-Space Exploration. Universität Paderborn, 2014.