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.
9840 Publications
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 | 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 | 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 | 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 | Dissertation | LibreCat-ID: 89
Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen
F.S. Bäumer, Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen, Universität Paderborn, 2017.
LibreCat
| DOI
F.S. Bäumer, Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen, Universität Paderborn, 2017.
2017 | Bachelorsthesis | LibreCat-ID: 96
Geschäftsmodell-Frameworks zur Analyse und Klassifikation bestehender Geschäftsmodelle
M. Warkentin, Geschäftsmodell-Frameworks zur Analyse und Klassifikation bestehender Geschäftsmodelle, Universität Paderborn, 2017.
LibreCat
M. Warkentin, Geschäftsmodell-Frameworks zur Analyse und Klassifikation bestehender Geschäftsmodelle, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 9682
A monolithic, doubly-resonant parametric down-conversion source for Caesium Raman memories
B. Brecht, O. Lazo-Arjona, K.T. Kaczmarek, T. Parker, R. Ricken, V. Quiring, C. Eigner, K.H. Luo, H. Herrmann, C. Silberhorn, I.A. Walmsley, in: Frontiers in Optics 2017, 2017.
LibreCat
| DOI
B. Brecht, O. Lazo-Arjona, K.T. Kaczmarek, T. Parker, R. Ricken, V. Quiring, C. Eigner, K.H. Luo, H. Herrmann, C. Silberhorn, I.A. Walmsley, in: Frontiers in Optics 2017, 2017.
2017 | Conference Paper | LibreCat-ID: 97
From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process
L. van Rooijen, F.S. Bäumer, M.C. Platenius, M. Geierhos, H. Hamann, G. Engels, in: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, Piscataway, NJ, USA, 2017, pp. 379–385.
LibreCat
| Files available
| DOI
L. van Rooijen, F.S. Bäumer, M.C. Platenius, M. Geierhos, H. Hamann, G. Engels, in: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, Piscataway, NJ, USA, 2017, pp. 379–385.
2017 | Conference Paper | LibreCat-ID: 98
From Open API to Semantic Specifications and Code Adapters
S. Schwichtenberg, C. Gerth, G. Engels, in: Proceedings of the 24th IEEE International Conference on Web Services (ICWS), 2017, pp. 484--491.
LibreCat
| Files available
S. Schwichtenberg, C. Gerth, G. Engels, in: Proceedings of the 24th IEEE International Conference on Web Services (ICWS), 2017, pp. 484--491.
2017 | Conference Paper | LibreCat-ID: 981 |
Profile Your Chains, Not Functions. Automated Network Service Profiling in DevOps Environments
M. Peuster, H. Karl, in: IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN), Berlin, 2017.
LibreCat
| Files available
| DOI
M. Peuster, H. Karl, in: IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN), Berlin, 2017.
2017 | Book Chapter | LibreCat-ID: 9872
,,Identification of Material Parameters for Constitutive Equations “
R. Mahnken, in: E. Stein, R. de Borst, T.J.R. Hughes (Eds.), Encyclopedia of Computational Mechanics, 2nd ed., John Wiley & Sons, 2017, p. 1165.
LibreCat
R. Mahnken, in: E. Stein, R. de Borst, T.J.R. Hughes (Eds.), Encyclopedia of Computational Mechanics, 2nd ed., John Wiley & Sons, 2017, p. 1165.
2017 | Conference Paper | LibreCat-ID: 99
Fault localization in service compositions
H. Wehrheim, in: Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS), 2017.
LibreCat
| Files available
H. Wehrheim, in: Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS), 2017.
2017 | Conference Paper | LibreCat-ID: 9970
Modellbasierte Prognose der nutzbaren Restlebensdauer von Gummi-Metall-Elementen
A. Bender, J.K. Kimotho, S. Kohl, W. Sextro, K. Reinke, in: 15. Internationale Schienenfahrzeugtagung, 2017, pp. 123–125.
LibreCat
A. Bender, J.K. Kimotho, S. Kohl, W. Sextro, K. Reinke, in: 15. Internationale Schienenfahrzeugtagung, 2017, pp. 123–125.
2017 | Journal Article | LibreCat-ID: 5019
Design and Evaluation of a Model-Driven Decision Support System for Repurposing Electric Vehicle Batteries
B. Klör, M. Monhof, D. Beverungen, S. Bräuer, European Journal of Information Systems (EJIS) (2017) 1--19.
LibreCat
| DOI
B. Klör, M. Monhof, D. Beverungen, S. Bräuer, European Journal of Information Systems (EJIS) (2017) 1--19.
2017 | Book Chapter | LibreCat-ID: 5028
End-of-Life Solutions für eCar-Batterien --- Entwicklung hybrider Leistungsbündel und Informationssysteme zur Entscheidungsunterstützung (EOL-IS)
J. Becker, M. Monhof, D. Beverungen, S. Bräuer, B. Klör, F. Plenter, in: W. Ganz, A. Kampker, G. Satzger (Eds.), Dienstleistungen Als Erfolgsfaktor Für Elektromobilität. Ergebnisse Aus Dem Förderschwerpunkt “Dienstleistungsinnovationen Für Elektromobilität,” Stuttgart, 2017, pp. 24--29.
LibreCat
J. Becker, M. Monhof, D. Beverungen, S. Bräuer, B. Klör, F. Plenter, in: W. Ganz, A. Kampker, G. Satzger (Eds.), Dienstleistungen Als Erfolgsfaktor Für Elektromobilität. Ergebnisse Aus Dem Förderschwerpunkt “Dienstleistungsinnovationen Für Elektromobilität,” Stuttgart, 2017, pp. 24--29.
2017 | Book Chapter | LibreCat-ID: 5076
Informationsmodellierung in Dienstleistungssystemen
D. Beverungen, M. Matzner, in: S. Roth, H. Corsten (Eds.), Handbuch Dienstleistungsmanagement, Verlag Franz Vahlen, München, 2017, p. S. 519–536.
LibreCat
D. Beverungen, M. Matzner, in: S. Roth, H. Corsten (Eds.), Handbuch Dienstleistungsmanagement, Verlag Franz Vahlen, München, 2017, p. S. 519–536.