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.
2204 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