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.
6951 Publications
2014 | Conference Paper | LibreCat-ID: 401
Platenius, M. C., Arifulina, S., Petrlic, R., & Schäfer, W. (2014). Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet (pp. 6–17). https://doi.org/10.1007/978-3-319-14886-1_2
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
Arifulina, S., Platenius, M. C., Gerth, C., Becker, S., Engels, G., & Schäfer, W. (2014). Market-optimized Service Specification and Matching. In X. Franch, A. Ghose, G. Lewis, & S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014) (pp. 543–550). https://doi.org/10.1007/978-3-662-45391-9_47
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 407
Mohr, F. (2014). Issues of Automated Software Composition in AI Planning. In Proceedings of the 29th International Conference on Automated Software Engineering (ASE) (pp. 895--898). https://doi.org/10.1145/2642937.2653470
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 4072
Riedl, T., & Lindner, J. (2014). Self-organized fabrication of periodic arrays of vertical, ultra-thin nanopillars on GaAs surfaces. Physica Status Solidi (A), 211(12), 2871–2877. https://doi.org/10.1002/pssa.201431474
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 408
Jakobs, M.-C., Platzner, M., Wiersema, T., & Wehrheim, H. (2014). Integrating Software and Hardware Verification. In E. Albert & E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (iFM) (pp. 307–322). https://doi.org/10.1007/978-3-319-10181-1_19
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
Platenius, M. C., Becker, S., & Schäfer, W. (2014). Integrating Service Matchers into a Service Market Architecture. In P. Avgeriou & U. Zdun (Eds.), Proceedings of the 8th European Conference on Software Architecture (ECSA 2014) (pp. 210–217). https://doi.org/10.1007/978-3-319-09970-5_19
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 410
Jungmann, A., Brangewitz, S., Petrlic, R., & Platenius, M. C. (2014). Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services. International Journal On Advances in Intelligent Systems (IntSys), 7(3&4), 572--594.
LibreCat
| Files available
| Download (ext.)
2014 | Mastersthesis | LibreCat-ID: 411
Taherinajafabadi, V. (2014). Improving Service Specifications for the Service Matching on a Service Market. Universität Paderborn.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 415
Vijapurwala, S. (2014). Handling Incomplete Service Specifications using Fuzzy Matching. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
Besova, G., Steenke, D., & Wehrheim, H. (2014). Grammar-based model transformations. In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD) (pp. 1601–1610). https://doi.org/10.1016/j.cl.2015.05.003
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
Pauck, F. (2014). Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 420
Merschjohann, S. (2014). Fuzzy Matching of Service Price Specifications. Universität Paderborn.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 422
Sanati, M. (2014). Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 423
Jojiju, S. (2014). Finding Optimal Self-Adaption Rules by Design-Space Exploration. Universität Paderborn.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 424
Finkensiep, C. (2014). Fast and Flexible Automatic Composition of Semantic Web Services. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 425
Jungmann, A., Jatzkowski, J., & Kleinjohann, B. (2014). Evaluation of Color Spaces for Robust Image Segmentation. In Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP) (pp. 648–655).
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 427
Bulk, B. (2014). Evaluating the Influence of Different Abstraction Levels of Software Design on Performance prediction. Universität Paderborn.
LibreCat
2014 | Conference Paper | LibreCat-ID: 428
Mohr, F. (2014). Estimating Functional Reusability of Services. In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC) (pp. 411–418).
LibreCat
| Files available
| Download (ext.)
2014 | Bachelorsthesis | LibreCat-ID: 430
Krakau, A. (2014). Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT. Universität Paderborn.
LibreCat
2014 | Dissertation | LibreCat-ID: 431
Kling, P. (2014). Energy-efficient Scheduling Algorithms. Universität Paderborn.
LibreCat
| Files available