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
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
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Predicting Rankings of Software Verification Competitions, 2017.
2017 | Conference Paper | LibreCat-ID: 723 | 
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
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.
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
M.-C. Jakobs, in: A. Cimatti, M. Sirjani (Eds.), Software Engineering and Formal Methods, 2017, pp. 120–135.
2017 | Mastersthesis | LibreCat-ID: 74
OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten
C. Knorr, OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten, Universität Paderborn, 2017.
LibreCat
C. Knorr, OpenCL-basierte Videoverarbeitung auf heterogenen Rechenknoten, Universität Paderborn, 2017.
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
P. Frehe, H.-H. Kremer, in: M. Veber, R. Benölken, M. Pfitzner (Eds.), Potenzialorientierte Förderung in den Fachdidakten, 2017.
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
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).
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
M.C. Platenius, S. Arifulina, W. Schäfer, in: Tagungsband Software Engineering, 2017, pp. 81--82.
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
L. Lohrsträter, Literaturüberblick über die Rolle von Business Architecture in Enterprise Architecture, Universität Paderborn, 2017.
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
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.
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
M. Liebendörfer, S. Schukajlow, ZDM 49 (2017) 355–366.
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
L. Niggemeyer, Kartellabsprachen und vertikale Preisbindungen - Eine wettbewerbspolitische Analyse am Bespiel der Lebensmittelindustrie in Deutschland, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 87 |
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
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.
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
S. Peitz, M. Dellnitz, in: NEO 2016, Cham, 2017, pp. 159–182.
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
A. Ganesh Athreya, Instantiating a Predicate Encryption Scheme via Pair Encodings, Universität Paderborn, 2017.
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
M. Schulze Darup, A. Redder, I. Shames, F. Farokhi, D. Quevedo, IEEE Control Systems Letters (2017) 195–200.
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
I. Jovanovikj, Presentation: Framework for Constructing Context-Specific Migration Methods for Test Cases, Berlin, 2017.
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
M. Beutner, F.A. Rüscher, Proceedings of the 13th International Conference Mobile Learning 2017 (2017) 63–72.
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
M. Beutner, F.A. Rüscher, Kölner Zeitschrift für Wirtschaft und Pädagogik (2017) 3–34.
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
M. Beutner, F.A. Rüscher, Kölner Zeitschrift für Wirtschaft und Pädagogik (2017) 35–62.
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.)
M. Beutner, D. Eggert, F.A. Rüscher, Hochschultage 2017 (2017) 1–16.