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.
2330 Publications
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 | 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 |

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: 723 |

M. Peuster, S. Dräxler, H. Razzaghi Kouchaksaraei, S. van Rossem, W. Tavernier, and H. Karl, “A flexible multi-pop infrastructure emulator for carrier-grade MANO systems,” in IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, Bologna, 2017, pp. 1--3.
LibreCat
| Files available
| DOI
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 | Book Chapter | LibreCat-ID: 7454
P. Frehe and H.-H. Kremer, “Inklusive Bildung zwischen Beruflichkeit und Subjektorientierung - Eine Analyse ausbildungsvorbereitender Bildungsgänge,” in Potenzialorientierte Förderung in den Fachdidakten, M. Veber, R. Benölken, and M. Pfitzner, Eds. 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 7481
A. Riefer et al., “Zn–VI quasiparticle gaps and optical spectra from many-body calculations,” Journal of Physics: Condensed Matter, vol. 29, no. 21, 2017.
LibreCat
| Files available
| DOI
| WoS
| PubMed | Europe PMC
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 | Conference Paper | LibreCat-ID: 8559
M. Liebendörfer and R. Hochmuth, “Perceived Competence and Incompetence in the First Year of Mathematics Studies: Forms and Situations,” in Didactics of Mathematics in Higher Education as a Scientific Discipline - Conference Proceedings, 2017, pp. 286–293.
LibreCat