Predicting Rankings of Software Verification Competitions
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Predicting Rankings of Software Verification Competitions, 2017.
LibreCat: /record/72

A flexible multi-pop infrastructure emulator for carrier-grade MANO systems
M. Peuster, S. Dräxler, H. Razzaghi Kouchaksaraei, S. van Rossem, W. Tavernier, H. Karl, in: IEEE Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--3.
LibreCat: /record/723
DOI: 10.1109/NETSOFT.2017.8004250

PART_PW: From Partial Analysis Results to a Proof Witness
M.-C. Jakobs, in: A. Cimatti, M. Sirjani (Eds.), Software Engineering and Formal Methods, 2017, pp. 120–135.
LibreCat: /record/73
DOI: 10.1007/978-3-319-66197-1_8

OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten
C. Knorr, OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten, Universität Paderborn, 2017.
LibreCat: /record/74

Inklusive Bildung zwischen Beruflichkeit und Subjektorientierung - Eine Analyse ausbildungsvorbereitender Bildungsgänge
P. Frehe, H.-H. Kremer, in: M. Veber, R. Benölken, M. Pfitzner (Eds.), Potenzialorientierte Förderung in den Fachdidakten, 2017.
LibreCat: /record/7454

Zn–VI quasiparticle gaps and optical spectra from many-body calculations
A. Riefer, N. Weber, J. Mund, D.R. Yakovlev, M. Bayer, A. Schindlmayr, C. Meier, W.G. Schmidt, Journal of Physics: Condensed Matter 29 (2017).
LibreCat: /record/7481
DOI: 10.1088/1361-648x/aa6b2a
WoS: 000400093100001
PMID: 28374685

MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract)
M.C. Platenius, S. Arifulina, W. Schäfer, in: Tagungsband Software Engineering, 2017, pp. 81--82.
LibreCat: /record/84

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

Perceived Competence and Incompetence in the First Year of Mathematics Studies: Forms and Situations
M. Liebendörfer, R. Hochmuth, in: R. Göller, R. Biehler, R. Hochmuth, H.-G. Rück (Eds.), Didactics of Mathematics in Higher Education as a Scientific Discipline - Conference Proceedings, Universität Kassel, Kassel, 2017, pp. 286–293.
LibreCat: /record/8559

Interest development during the first year at university: do mathematical beliefs predict interest in mathematics?
M. Liebendörfer, S. Schukajlow, ZDM 49 (2017) 355–366.
LibreCat: /record/8564
DOI: 10.1007/s11858-016-0827-3