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.
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

TEM investigations on the nanoheteroepitaxy of semiconductors 
J. Lindner, in: 2014.
LibreCat: /record/4080

Microscopic studies of plasmonic nanostructures II
J. Lindner, in: 2014.
LibreCat: /record/4082

Nanostrukturierte Oberflächen, nicht nur zum Spass
J. Lindner, in: 2014.
LibreCat: /record/4083

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.
LibreCat: /record/409
DOI: 10.1007/978-3-319-09970-5_19

RSDL workbench results for OAEI 2014
S. Schwichtenberg, C. Gerth, G. Engels, 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., CEUR-WS.org, 2014, pp. 155--162.
LibreCat: /record/41

Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services
A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, International Journal On Advances in Intelligent Systems (IntSys) 7 (2014) 572--594.
LibreCat: /record/410

Improving Service Specifications for the Service Matching on a Service Market
V. Taherinajafabadi, Improving Service Specifications for the Service Matching on a Service Market, Universität Paderborn, 2014.
LibreCat: /record/411

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.
LibreCat: /record/412
DOI: 10.1109/P2P.2014.6934300
arXiv: 1408.0395

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

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

Handling Incomplete Service Specifications using Fuzzy Matching
S. Vijapurwala, Handling Incomplete Service Specifications Using Fuzzy Matching, Universität Paderborn, 2014.
LibreCat: /record/415

Group Signature Schemes with Strong Exculpability
P. Bemmann, Group Signature Schemes with Strong Exculpability, Universität Paderborn, 2014.
LibreCat: /record/416

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.
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003

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.
LibreCat: /record/418

Gender and ethnic discrimination in hiring : evidence from field experiments in the German labor market
A. Kolle, Gender and Ethnic Discrimination in Hiringf: Evidence from Field Experiments in the German Labor Market, Universität Paderborn, 2014.
LibreCat: /record/419

Fuzzy Matching of Service Price Specifications
S. Merschjohann, Fuzzy Matching of Service Price Specifications, Universität Paderborn, 2014.
LibreCat: /record/420

Fujisaki-Okamoto Transformation
J. Lippert, Fujisaki-Okamoto Transformation, Universität Paderborn, 2014.
LibreCat: /record/421

Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions
M. Sanati, Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions, Universität Paderborn, 2014.
LibreCat: /record/422

Finding Optimal Self-Adaption Rules by Design-Space Exploration
S. Jojiju, Finding Optimal Self-Adaption Rules by Design-Space Exploration, Universität Paderborn, 2014.
LibreCat: /record/423