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.
4679 Publications
2014 | Conference Paper | LibreCat-ID: 407
Mohr, Felix. “Issues of Automated Software Composition in AI Planning.” Proceedings of the 29th International Conference on Automated Software Engineering (ASE), 2014, pp. 895--898, doi:10.1145/2642937.2653470.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 4072
Riedl, Thomas, and Jörg Lindner. “Self-Organized Fabrication of Periodic Arrays of Vertical, Ultra-Thin Nanopillars on GaAs Surfaces.” Physica Status Solidi (A), vol. 211, no. 12, Wiley, 2014, pp. 2871–77, doi:10.1002/pssa.201431474.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 408
Jakobs, Marie-Christine, et al. “Integrating Software and Hardware Verification.” Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), edited by Elvira Albert and Emil Sekerinski, 2014, pp. 307–22, doi:10.1007/978-3-319-10181-1_19.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
Platenius, Marie Christin, et al. “Integrating Service Matchers into a Service Market Architecture.” Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), edited by Paris Avgeriou and Uwe Zdun, 2014, pp. 210–17, doi:10.1007/978-3-319-09970-5_19.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 410
Jungmann, Alexander, et al. “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, IARIA, 2014, pp. 572--594.
LibreCat
| Files available
| Download (ext.)
2014 | Mastersthesis | LibreCat-ID: 411
Taherinajafabadi, Vahide. Improving Service Specifications for the Service Matching on a Service Market. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 412
Feldotto, Matthias, et al. “HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths.” Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P), 2014, pp. 1–10, doi:10.1109/P2P.2014.6934300.
LibreCat
| Files available
| DOI
| arXiv
2014 | Bachelorsthesis | LibreCat-ID: 413
Eusterholz, Fabian. Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 414
Jochheim, Janek. Hiding Software Components Using Functional Encryption. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 415
Vijapurwala, Shafi. Handling Incomplete Service Specifications Using Fuzzy Matching. Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 416
Bemmann, Pascal. Group Signature Schemes with Strong Exculpability. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
Besova, Galina, et al. “Grammar-Based Model Transformations.” Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–10, doi:10.1016/j.cl.2015.05.003.
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat
| Files available
2014 | Dissertation | LibreCat-ID: 419
Kolle, Andre. 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, Sven. Fuzzy Matching of Service Price Specifications. Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 421
Lippert, Jan. Fujisaki-Okamoto Transformation. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 422
Sanati, Maryam. Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 423
Jojiju, Suman. Finding Optimal Self-Adaption Rules by Design-Space Exploration. Universität Paderborn, 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 424
Finkensiep, Christoph. Fast and Flexible Automatic Composition of Semantic Web Services. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 425
Jungmann, Alexander, et al. “Evaluation of Color Spaces for Robust Image Segmentation.” Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP), 2014, pp. 648–55.
LibreCat
| Files available