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.

2205 Publications


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

2017 | Conference Paper | LibreCat-ID: 723 | OA
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 | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 73
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 | Files available | DOI
 

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

2017 | Book Chapter | LibreCat-ID: 7454
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
 

2017 | Journal Article | LibreCat-ID: 7481
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 | Files available | DOI | WoS | PubMed | Europe PMC
 

2017 | Conference Paper | LibreCat-ID: 84
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 | Files available
 

2017 | Bachelorsthesis | LibreCat-ID: 85
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
 

2017 | Conference Paper | LibreCat-ID: 8559
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
 

2017 | Journal Article | LibreCat-ID: 8564
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 | DOI
 

2017 | Bachelorsthesis | LibreCat-ID: 86
Kartellabsprachen und vertikale Preisbindungen - Eine wettbewerbspolitische Analyse am Bespiel der Lebensmittelindustrie in Deutschland
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
Joint Optimization of Scaling and Placement of Virtual Network Services
S. Dräxler, H. Karl, Z.A. Mann, in: Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017), 2017.
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 8752
Gradient-Based Multiobjective Optimization with Uncertainties
S. Peitz, M. Dellnitz, in: NEO 2016, Cham, 2017, pp. 159–182.
LibreCat | DOI
 

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

2017 | Journal Article | LibreCat-ID: 8804
Towards Encrypted MPC for Linear Constrained Systems
M. Schulze Darup, A. Redder, I. Shames, F. Farokhi, D. Quevedo, IEEE Control Systems Letters (2017) 195–200.
LibreCat | DOI
 

2017 | Misc | LibreCat-ID: 8843
Presentation: Framework for Constructing Context-Specific Migration Methods for Test Cases
I. Jovanovikj, Presentation: Framework for Constructing Context-Specific Migration Methods for Test Cases, Berlin, 2017.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 8877
Acceptance of Mobile Learning at SMEs of the Service Sector
M. Beutner, F.A. Rüscher, Proceedings of the 13th International Conference Mobile Learning 2017 (2017) 63–72.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 8878
Die Unterstützung von Entrepreneurship im Kultur- und Kreativsektor durch Berufsbildung
M. Beutner, F.A. Rüscher, Kölner Zeitschrift für Wirtschaft und Pädagogik (2017) 3–34.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 8879
Green Economy und Green Entrepreneurship fördern – GET-UP Ergebnisse
M. Beutner, F.A. Rüscher, Kölner Zeitschrift für Wirtschaft und Pädagogik (2017) 35–62.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 8881
YES – Ein Online Gruppen-Deck-Card-Game zu European Citizenship
M. Beutner, D. Eggert, F.A. Rüscher, Hochschultage 2017 (2017) 1–16.
LibreCat | Download (ext.)
 

Filters and Search Terms

year=2017

Search

Filter Publications

Display / Sort

Export / Embed