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.
1602 Publications
2017 | Journal Article | LibreCat-ID: 706
Mäcker, A., Malatyali, M., Meyer auf der Heide, F., & Riechers, S. (2017). Cost-efficient Scheduling on Machines from the Cloud. Journal of Combinatorial Optimization, 36(4), 1168–1194. https://doi.org/10.1007/s10878-017-0198-x
LibreCat
| Files available
| DOI
2017 | Dissertation | LibreCat-ID: 707
Walther, S. (2017). Knowledge-based Verification of Service Compositions. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-307
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 71
Czech, M., Hüllermeier, E., Jakobs, M.-C., & Wehrheim, H. (2017). Predicting Rankings of Software Verification Tools. In Proceedings of the 3rd International Workshop on Software Analytics (pp. 23–26). https://doi.org/10.1145/3121257.3121262
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 717 | 
Dräxler, S., Karl, H., Peuster, M., Razzaghi Kouchaksaraei, H., Bredel, M., Lessmann, J., … Xilouris, G. (2017). SONATA: Service programming and orchestration for virtualized software networks. In 2017 IEEE International Conference on Communications Workshops (ICC Workshops). Paris, France: IEEE. https://doi.org/10.1109/iccw.2017.7962785
LibreCat
| Files available
| DOI
| Download (ext.)
2017 | Report | LibreCat-ID: 72
Czech, M., Hüllermeier, E., Jakobs, M.-C., & Wehrheim, H. (2017). Predicting Rankings of Software Verification Competitions.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 73
Jakobs, M.-C. (2017). PART_PW: From Partial Analysis Results to a Proof Witness. In A. Cimatti & M. Sirjani (Eds.), Software Engineering and Formal Methods (pp. 120–135). https://doi.org/10.1007/978-3-319-66197-1_8
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 74
Knorr, C. (2017). OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten. Universität Paderborn.
LibreCat
2017 | Conference Paper | LibreCat-ID: 84
Platenius, M. C., Arifulina, S., & Schäfer, W. (2017). MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract). In Tagungsband Software Engineering (pp. 81--82).
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 85
Lohrsträter, L. (2017). Literaturüberblick über die Rolle von Business Architecture in Enterprise Architecture. Universität Paderborn.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 86
Niggemeyer, L. (2017). Kartellabsprachen und vertikale Preisbindungen - Eine wettbewerbspolitische Analyse am Bespiel der Lebensmittelindustrie in Deutschland. Universität Paderborn.
LibreCat
2017 | Conference Paper | LibreCat-ID: 87 |
Dräxler, S., Karl, H., & Mann, Z. A. (2017). Joint Optimization of Scaling and Placement of Virtual Network Services. In Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017). https://doi.org/10.1109/CCGRID.2017.25
LibreCat
| Files available
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 88
Ganesh Athreya, A. (2017). Instantiating a Predicate Encryption Scheme via Pair Encodings. Universität Paderborn.
LibreCat
2017 | Dissertation | LibreCat-ID: 89
Bäumer, F. S. (2017). Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-157
LibreCat
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 96
Warkentin, M. (2017). Geschäftsmodell-Frameworks zur Analyse und Klassifikation bestehender Geschäftsmodelle. Universität Paderborn.
LibreCat
2017 | Conference Paper | LibreCat-ID: 97
van Rooijen, L., Bäumer, F. S., Platenius, M. C., Geierhos, M., Hamann, H., & Engels, G. (2017). From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process. In 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW) (pp. 379–385). Piscataway, NJ, USA: IEEE. https://doi.org/10.1109/REW.2017.26
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 98
Schwichtenberg, S., Gerth, C., & Engels, G. (2017). From Open API to Semantic Specifications and Code Adapters. In Proceedings of the 24th IEEE International Conference on Web Services (ICWS) (pp. 484--491).
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 981 |
Peuster, M., & Karl, H. (2017). Profile Your Chains, Not Functions. Automated Network Service Profiling in DevOps Environments. In IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN). Berlin. https://doi.org/10.1109/NFV-SDN.2017.8169826
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 99
Wehrheim, H. (2017). Fault localization in service compositions. In Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS).
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 50
Hamdeev, E. (2017). Verzerrte Online-Produktbewertungen - Literaturüberblick. Universität Paderborn.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 5084
Streck, T. (2017). How to adequately relocate asylum applicants within the European Union - An attempt to apply matching theory in the current migration crisis. Universität Paderborn.
LibreCat