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.
2315 Publications
2017 | Report | LibreCat-ID: 72
Czech M, Hüllermeier E, Jakobs M-C, Wehrheim H. Predicting Rankings of Software Verification Competitions.; 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 723 |

Peuster M, Dräxler S, Razzaghi Kouchaksaraei H, van Rossem S, Tavernier W, Karl H. 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. ; 2017:1--3. doi:10.1109/NETSOFT.2017.8004250
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 73
Jakobs M-C. PART_PW: From Partial Analysis Results to a Proof Witness. In: Cimatti A, Sirjani M, eds. Software Engineering and Formal Methods. Lecture Notes in Computer Science. ; 2017:120-135. doi:10.1007/978-3-319-66197-1_8
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 74
Knorr C. OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten. Universität Paderborn; 2017.
LibreCat
2017 | Book Chapter | LibreCat-ID: 7454
Frehe P, Kremer H-H. Inklusive Bildung zwischen Beruflichkeit und Subjektorientierung - Eine Analyse ausbildungsvorbereitender Bildungsgänge. In: Veber M, Benölken R, Pfitzner M, eds. Potenzialorientierte Förderung in den Fachdidakten. ; 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 7481
Riefer A, Weber N, Mund J, et al. Zn–VI quasiparticle gaps and optical spectra from many-body calculations. Journal of Physics: Condensed Matter. 2017;29(21). doi:10.1088/1361-648x/aa6b2a
LibreCat
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 | Conference Paper | LibreCat-ID: 84
Platenius MC, Arifulina S, Schäfer W. MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract). In: Tagungsband Software Engineering. Lecture Notes in Informatics (LNI). ; 2017:81--82.
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 85
Lohrsträter L. Literaturüberblick über die Rolle von Business Architecture in Enterprise Architecture. Universität Paderborn; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 8559
Liebendörfer M, Hochmuth R. Perceived Competence and Incompetence in the First Year of Mathematics Studies: Forms and Situations. In: Göller R, Biehler R, Hochmuth R, Rück H-G, eds. Didactics of Mathematics in Higher Education as a Scientific Discipline - Conference Proceedings. Kassel: Universität Kassel; 2017:286-293.
LibreCat
2017 | Journal Article | LibreCat-ID: 8564
Liebendörfer M, Schukajlow S. Interest development during the first year at university: do mathematical beliefs predict interest in mathematics? ZDM. 2017;49(3):355-366. doi:10.1007/s11858-016-0827-3
LibreCat
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 86
Niggemeyer L. Kartellabsprachen und vertikale Preisbindungen - Eine wettbewerbspolitische Analyse am Bespiel der Lebensmittelindustrie in Deutschland. Universität Paderborn; 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 87 |

Dräxler S, Karl H, Mann ZA. 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. doi:10.1109/CCGRID.2017.25
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 8752
Peitz S, Dellnitz M. Gradient-Based Multiobjective Optimization with Uncertainties. In: NEO 2016. Cham; 2017:159-182. doi:10.1007/978-3-319-64063-1_7
LibreCat
| DOI
2017 | Bachelorsthesis | LibreCat-ID: 88
Ganesh Athreya A. Instantiating a Predicate Encryption Scheme via Pair Encodings. Universität Paderborn; 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 8804
Schulze Darup M, Redder A, Shames I, Farokhi F, Quevedo D. Towards Encrypted MPC for Linear Constrained Systems. IEEE Control Systems Letters. 2017:195-200. doi:10.1109/lcsys.2017.2779473
LibreCat
| DOI
2017 | Misc | LibreCat-ID: 8843
Jovanovikj I. Presentation: Framework for Constructing Context-Specific Migration Methods for Test Cases. Berlin; 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 8877
Beutner M, Rüscher FA. Acceptance of Mobile Learning at SMEs of the Service Sector. Proceedings of the 13th International Conference Mobile Learning 2017. 2017:63-72.
LibreCat
2017 | Journal Article | LibreCat-ID: 8878
Beutner M, Rüscher FA. Die Unterstützung von Entrepreneurship im Kultur- und Kreativsektor durch Berufsbildung. Kölner Zeitschrift für Wirtschaft und Pädagogik. 2017:3-34.
LibreCat
2017 | Journal Article | LibreCat-ID: 8879
Beutner M, Rüscher FA. Green Economy und Green Entrepreneurship fördern – GET-UP Ergebnisse. Kölner Zeitschrift für Wirtschaft und Pädagogik. 2017:35-62.
LibreCat
2017 | Journal Article | LibreCat-ID: 8881
Beutner M, Eggert D, Rüscher FA. YES – Ein Online Gruppen-Deck-Card-Game zu European Citizenship. Hochschultage 2017. 2017:1-16.
LibreCat
| Download (ext.)