Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1906 Publications
2014 | Conference Paper | LibreCat-ID: 408
Jakobs M-C, Platzner M, Wiersema T, Wehrheim H. Integrating Software and Hardware Verification. In: Albert E, Sekerinski E, eds. Proceedings of the 11th International Conference on Integrated Formal Methods (IFM). LNCS. ; 2014:307-322. doi:10.1007/978-3-319-10181-1_19
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 4080
Lindner J. TEM investigations on the nanoheteroepitaxy of semiconductors . In: ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 4082
Lindner J. Microscopic studies of plasmonic nanostructures II. In: ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 4083
Lindner J. Nanostrukturierte Oberflächen, nicht nur zum Spass. In: ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 409
Platenius MC, Becker S, Schäfer W. Integrating Service Matchers into a Service Market Architecture. In: Avgeriou P, Zdun U, eds. Proceedings of the 8th European Conference on Software Architecture (ECSA 2014). LNCS. ; 2014:210-217. doi:10.1007/978-3-319-09970-5_19
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 41
Schwichtenberg S, Gerth C, Engels G. 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. Vol 1317. CEUR-WS.org; 2014:155--162.
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 410
Jungmann A, Brangewitz S, Petrlic R, Platenius MC. Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services. International Journal On Advances in Intelligent Systems (IntSys). 2014;7(3&4):572--594.
LibreCat
| Files available
| Download (ext.)
2014 | Mastersthesis | LibreCat-ID: 411
Taherinajafabadi V. Improving Service Specifications for the Service Matching on a Service Market. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 412
Feldotto M, Scheideler C, Graffi K. HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths. In: Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P). ; 2014:1-10. doi:10.1109/P2P.2014.6934300
LibreCat
| Files available
| DOI
| arXiv
2014 | Bachelorsthesis | LibreCat-ID: 413
Eusterholz F. Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 414
Jochheim J. Hiding Software Components Using Functional Encryption. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 415
Vijapurwala S. Handling Incomplete Service Specifications Using Fuzzy Matching. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 416
Bemmann P. Group Signature Schemes with Strong Exculpability. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
Besova G, Steenke D, Wehrheim H. Grammar-based model transformations. In: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD). ; 2014:1601-1610. doi:10.1016/j.cl.2015.05.003
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
Pauck F. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Dissertation | LibreCat-ID: 419
Kolle A. Gender and Ethnic Discrimination in Hiring : Evidence from Field Experiments in the German Labor Market. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 420
Merschjohann S. Fuzzy Matching of Service Price Specifications. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 421
Lippert J. Fujisaki-Okamoto Transformation. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 422
Sanati M. Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 423
Jojiju S. Finding Optimal Self-Adaption Rules by Design-Space Exploration. Universität Paderborn; 2014.
LibreCat