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.
7879 Publications
2014 | Conference Paper | LibreCat-ID: 394
S. Schwichtenberg, C. Gerth, Z. Huma, and G. Engels, “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations,” in Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–195.
LibreCat
| Files available
| DOI
2014 | Book Chapter | LibreCat-ID: 3941
S. Declair and J. Förstner, “Simulation of Planar Photonic Resonators,” in Handbook of Optical Microcavities, vol. Kapitel 2, A. H. W. Choi, Ed. Pan Stanford Publishing Pte. Ltd., 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 395
S. Abshoff, A. Cord-Landwehr, D. Jung, and A. Skopalik, “Multilevel Network Games,” in Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 435–440.
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 396
D. Bano, Modeling and Matching of Reputation of Services in On-The-Fly Computing. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 399
T. Wiersema, S. Drzevitzky, and M. Platzner, “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring,” in Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–174.
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 400
M. Bunse, Measuring Transformation-induced Uncertainty in Service Matching: A Feasibility Study. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 401
M. C. Platenius, S. Arifulina, R. Petrlic, and W. Schäfer, “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching,” in Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
S. Arifulina, M. C. Platenius, C. Gerth, S. Becker, G. Engels, and W. Schäfer, “Market-optimized Service Specification and Matching,” in Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 407
F. Mohr, “Issues of Automated Software Composition in AI Planning,” in Proceedings of the 29th International Conference on Automated Software Engineering (ASE), 2014, pp. 895--898.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 4072
T. Riedl and J. Lindner, “Self-organized fabrication of periodic arrays of vertical, ultra-thin nanopillars on GaAs surfaces,” physica status solidi (a), vol. 211, no. 12, pp. 2871–2877, 2014.
LibreCat
| Files available
| DOI
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: 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 | 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 | Mastersthesis | LibreCat-ID: 415
S. Vijapurwala, Handling Incomplete Service Specifications using Fuzzy Matching. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
G. Besova, D. Steenke, and H. Wehrheim, “Grammar-based model transformations,” in Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 420
S. Merschjohann, Fuzzy Matching of Service Price Specifications. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 422
M. Sanati, Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 423
S. Jojiju, Finding Optimal Self-Adaption Rules by Design-Space Exploration. Universität Paderborn, 2014.
LibreCat