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.
1892 Publications
2014 | Conference Paper | LibreCat-ID: 408
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.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 4080
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.
LibreCat
2014 | Conference Paper | LibreCat-ID: 4082
J. Lindner, “Microscopic studies of plasmonic nanostructures II,” presented at the Europhotonics Spring School 2014, Porquerolles (France), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 4083
J. Lindner, “Nanostrukturierte Oberflächen, nicht nur zum Spass,” presented at the Kolloquium der Friedrich-Schiller-Universität, Jena (Germany), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 409
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.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 41
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.
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 410
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.
LibreCat
| Files available
| Download (ext.)
2014 | Mastersthesis | LibreCat-ID: 411
V. Taherinajafabadi, Improving Service Specifications for the Service Matching on a Service Market. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 412
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 (P2P), 2014, pp. 1–10.
LibreCat
| Files available
| DOI
| arXiv
2014 | Bachelorsthesis | LibreCat-ID: 413
F. Eusterholz, Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes. Universität Paderborn, 2014.
LibreCat