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.
8484 Publications
2017 | Conference Paper | LibreCat-ID: 70
Feldkord, B., Markarian, C., & Meyer auf der Heide, F. (2017). Price Fluctuations in Online Leasing. In Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA) (pp. 17–31). https://doi.org/10.1007/978-3-319-71147-8_2
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 700
Knollmann, T. (2017). A Self-Stabilizing Protocol for Graphs of Diameter Two. Universität Paderborn.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 701
Götte, T. (2017). Self-Stabilizing Spanners for Tree Metrics. Universität Paderborn.
LibreCat
2017 | Dissertation | LibreCat-ID: 703
Podlipyan, P. (2017). Local Algorithms for the Continuous Gathering Problem. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-230
LibreCat
| Files available
| DOI
2017 | Dissertation | LibreCat-ID: 704
Riechers, S. (2017). Scheduling with Scarce Resources. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-231
LibreCat
| Files available
| DOI
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 | Journal Article | LibreCat-ID: 9607
Kakvi, S., & Kiltz, E. (2017). Optimal Security Proofs for Full Domain Hash, Revisited. Journal of Cryptology, 276–306. https://doi.org/10.1007/s00145-017-9257-9
LibreCat
| DOI
| Download (ext.)