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.

4204 Publications


2017 | Bachelorsthesis | LibreCat-ID: 698
N. C. Banh, As Asynchronous Adaption of a Churn-resistant Overlay Network. Universität Paderborn, 2017.
LibreCat
 

2017 | Mastersthesis | LibreCat-ID: 699
J. Sundermeier, Routing in Hybrid Communication Networks with Holes - Considering Bounding Boxes as Hole Abstractions. Universität Paderborn, 2017.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 70
B. Feldkord, C. Markarian, and F. Meyer auf der Heide, “Price Fluctuations in Online Leasing,” in Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2017, pp. 17–31.
LibreCat | Files available | DOI
 

2017 | Mastersthesis | LibreCat-ID: 700
T. Knollmann, A Self-Stabilizing Protocol for Graphs of Diameter Two. Universität Paderborn, 2017.
LibreCat
 

2017 | Mastersthesis | LibreCat-ID: 701
T. Götte, Self-Stabilizing Spanners for Tree Metrics. Universität Paderborn, 2017.
LibreCat
 

2017 | Dissertation | LibreCat-ID: 703
P. Podlipyan, Local Algorithms for the Continuous Gathering Problem. Universität Paderborn, 2017.
LibreCat | Files available | DOI
 

2017 | Dissertation | LibreCat-ID: 704
S. Riechers, Scheduling with Scarce Resources. Universität Paderborn, 2017.
LibreCat | Files available | DOI
 

2017 | Journal Article | LibreCat-ID: 706
A. Mäcker, M. Malatyali, F. Meyer auf der Heide, and S. Riechers, “Cost-efficient Scheduling on Machines from the Cloud,” Journal of Combinatorial Optimization, vol. 36, no. 4, pp. 1168–1194, 2017.
LibreCat | Files available | DOI
 

2017 | Dissertation | LibreCat-ID: 707
S. Walther, Knowledge-based Verification of Service Compositions. Universität Paderborn, 2017.
LibreCat | DOI
 

2017 | Conference Paper | LibreCat-ID: 71
M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, “Predicting Rankings of Software Verification Tools,” in Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 717 | OA
S. Dräxler et al., “SONATA: Service programming and orchestration for virtualized software networks,” in 2017 IEEE International Conference on Communications Workshops (ICC Workshops), Paris, France, 2017.
LibreCat | Files available | DOI | Download (ext.)
 

2017 | Report | LibreCat-ID: 72
M. Czech, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, Predicting Rankings of Software Verification Competitions. 2017.
LibreCat | Files available
 

2017 | Conference Paper | LibreCat-ID: 73
M.-C. Jakobs, “PART_PW: From Partial Analysis Results to a Proof Witness,” in Software Engineering and Formal Methods, 2017, pp. 120–135.
LibreCat | Files available | DOI
 

2017 | Mastersthesis | LibreCat-ID: 74
C. Knorr, OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten. Universität Paderborn, 2017.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 84
M. C. Platenius, S. Arifulina, and W. Schäfer, “MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract),” in Tagungsband Software Engineering, 2017, pp. 81--82.
LibreCat | Files available
 

2017 | Bachelorsthesis | LibreCat-ID: 85
L. Lohrsträter, Literaturüberblick über die Rolle von Business Architecture in Enterprise Architecture. Universität Paderborn, 2017.
LibreCat
 

2017 | Bachelorsthesis | LibreCat-ID: 86
L. Niggemeyer, Kartellabsprachen und vertikale Preisbindungen - Eine wettbewerbspolitische Analyse am Bespiel der Lebensmittelindustrie in Deutschland. Universität Paderborn, 2017.
LibreCat
 

2017 | Conference Paper | LibreCat-ID: 87 | OA
S. Dräxler, H. Karl, and Z. A. Mann, “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), 2017.
LibreCat | Files available | DOI
 

2017 | Bachelorsthesis | LibreCat-ID: 88
A. Ganesh Athreya, Instantiating a Predicate Encryption Scheme via Pair Encodings. Universität Paderborn, 2017.
LibreCat
 

2017 | Dissertation | LibreCat-ID: 89
F. S. Bäumer, Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen. Universität Paderborn, 2017.
LibreCat | DOI
 

Filters and Search Terms

isbn%3D978-1-4614-1864-1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed