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.
9797 Publications
2017 | Conference Paper | LibreCat-ID: 5769
Policy Dependent and Independent Information Flow Analyses
M. Töws, H. Wehrheim, in: Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods (ICFEM 2017), Springer International Publishing, 2017, pp. 362–378.
LibreCat
| Files available
| DOI
M. Töws, H. Wehrheim, in: Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods (ICFEM 2017), Springer International Publishing, 2017, pp. 362–378.
2017 | Journal Article | LibreCat-ID: 58 |
Specification, Composition, and Placement of Network Services with Flexible Structures
S. Dräxler, H. Karl, International Journal of Network Management (2017) 1--16.
LibreCat
| Files available
| DOI
S. Dräxler, H. Karl, International Journal of Network Management (2017) 1--16.
2017 | Conference Paper | LibreCat-ID: 5830
XDAI-A: Framework for Enabling Cross-Device Integration of Android Apps
D. Wolters, J. Kirchhoff, C. Gerth, G. Engels, in: K. Drira, H. Wang, Q. Yu, Y. Wang, Y. Yan, F. Charoy, J. Mendling, M. Mohamed, Z. Wang, S. Bhiri (Eds.), Service-Oriented Computing -- ICSOC 2016 Workshops, Springer International Publishing, Cham, 2017, pp. 203–206.
LibreCat
| DOI
D. Wolters, J. Kirchhoff, C. Gerth, G. Engels, in: K. Drira, H. Wang, Q. Yu, Y. Wang, Y. Yan, F. Charoy, J. Mendling, M. Mohamed, Z. Wang, S. Bhiri (Eds.), Service-Oriented Computing -- ICSOC 2016 Workshops, Springer International Publishing, Cham, 2017, pp. 203–206.
2017 | Conference Paper | LibreCat-ID: 59
Sharing is Caring: Multiprocessor Scheduling with a Sharable Resource
P. Kling, A. Mäcker, S. Riechers, A. Skopalik, in: Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2017, pp. 123--132.
LibreCat
| Files available
| DOI
P. Kling, A. Mäcker, S. Riechers, A. Skopalik, in: Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2017, pp. 123--132.
2017 | Conference Paper | LibreCat-ID: 5914
Multiobjective Optimal Control Methods for the Development of an Intelligent Cruise Control
M. Dellnitz, J. Eckstein, K. Flaßkamp, P. Friedel, C. Horenkamp, U. Köhler, S. Ober-Blöbaum, S. Peitz, S. Tiemeyer, in: Progress in Industrial Mathematics at ECMI 2014 , Springer International Publishing, Cham, 2017, pp. 633–641.
LibreCat
| DOI
M. Dellnitz, J. Eckstein, K. Flaßkamp, P. Friedel, C. Horenkamp, U. Köhler, S. Ober-Blöbaum, S. Peitz, S. Tiemeyer, in: Progress in Industrial Mathematics at ECMI 2014 , Springer International Publishing, Cham, 2017, pp. 633–641.
2017 | Conference (Editor) | LibreCat-ID: 5980
Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017
C. Scheideler, M. Taghi Hajiaghayi, eds., Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017, ACM, 2017.
LibreCat
| DOI
C. Scheideler, M. Taghi Hajiaghayi, eds., Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA 2017, Washington DC, USA, July 24-26, 2017, ACM, 2017.
2017 | Mastersthesis | LibreCat-ID: 60
Semantically Secure Attribute-based Searchable Encryption
D. Niehus, Semantically Secure Attribute-Based Searchable Encryption, Universität Paderborn, 2017.
LibreCat
D. Niehus, Semantically Secure Attribute-Based Searchable Encryption, Universität Paderborn, 2017.
2017 | Mastersthesis | LibreCat-ID: 62
Searchable Encryption
E. Weis, Searchable Encryption, Universität Paderborn, 2017.
LibreCat
E. Weis, Searchable Encryption, Universität Paderborn, 2017.
2017 | Book Chapter | LibreCat-ID: 6255
A Human-Centered Perspective on Software Quality: Acceptance Criteria for Work 4.0
H.G. Fischer, M. Engler, S. Sauer, in: Design, User Experience, and Usability: Theory, Methodology, and Management, Springer International Publishing, Cham, 2017, pp. 570–583.
LibreCat
| DOI
H.G. Fischer, M. Engler, S. Sauer, in: Design, User Experience, and Usability: Theory, Methodology, and Management, Springer International Publishing, Cham, 2017, pp. 570–583.
2017 | Conference Paper | LibreCat-ID: 6256
Akzeptierte Assistenzsysteme in der Arbeitswelt 4.0 durch systematisches Human-Centered Software Engineering
H.G. Fischer, B. Senft, K. Stahl, in: E. Bodden, F. Dressler, R. Dumitrescu, J. Gausemeier, F. Meyer auf der Heide, C. Scheytt, A. Trächtler (Eds.), Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2017, pp. 197–210.
LibreCat
| DOI
H.G. Fischer, B. Senft, K. Stahl, in: E. Bodden, F. Dressler, R. Dumitrescu, J. Gausemeier, F. Meyer auf der Heide, C. Scheytt, A. Trächtler (Eds.), Wissenschafts- und Industrieforum 2017 - Intelligente Technische Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2017, pp. 197–210.
2017 | Journal Article | LibreCat-ID: 64
Response-Time-Optimised Service Deployment: MILP Formulations of Piece-wise Linear Functions Approximating Non-linear Bivariate Mixed-integer Functions
M. Keller, H. Karl, IEEE Transactions on Network and Service Management (2017) 121--135.
LibreCat
| Files available
| DOI
M. Keller, H. Karl, IEEE Transactions on Network and Service Management (2017) 121--135.
2017 | Mastersthesis | LibreCat-ID: 46
Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen
F. Grobbel, Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen, Universität Paderborn, 2017.
LibreCat
F. Grobbel, Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen, Universität Paderborn, 2017.
2017 | Mastersthesis | LibreCat-ID: 47
Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze
M. Theda, Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze, Universität Paderborn, 2017.
LibreCat
M. Theda, Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 49
Visual Languages for Modeling Business Models: A Critical Review and Future Research Directions
T. John, D. Kundisch, D. Szopinski, in: Proceedings of the 38th International Conference on Information Systems (ICIS), Seoul, South Korea, 2017.
LibreCat
| Files available
T. John, D. Kundisch, D. Szopinski, in: Proceedings of the 38th International Conference on Information Systems (ICIS), Seoul, South Korea, 2017.
2017 | Book (Editor) | LibreCat-ID: 4908
Kundenwert
S. Helm, B. Günter, A. Eggert, eds., Kundenwert, Springer Fachmedien Wiesbaden, Wiesbaden, 2017.
LibreCat
| DOI
S. Helm, B. Günter, A. Eggert, eds., Kundenwert, Springer Fachmedien Wiesbaden, Wiesbaden, 2017.
2017 | Book Chapter | LibreCat-ID: 4939
Die zwei Perspektiven des Kundenwerts: Darstellung und Versuch einer Integration
A. Eggert, in: Kundenwert, Gabler Verlag, Wiesbaden, 2017, pp. 41–59.
LibreCat
| DOI
A. Eggert, in: Kundenwert, Gabler Verlag, Wiesbaden, 2017, pp. 41–59.
2017 | Book Chapter | LibreCat-ID: 4941
Die zwei Perspektiven des Kundenwerts: Darstellung und Versuch einer Integration
A. Eggert, in: Kundenwert, Springer Fachmedien Wiesbaden, Wiesbaden, 2017, pp. 37–51.
LibreCat
| DOI
A. Eggert, in: Kundenwert, Springer Fachmedien Wiesbaden, Wiesbaden, 2017, pp. 37–51.
2017 | Book Chapter | LibreCat-ID: 4942
Kundenwert – eine Einführung in die theoretischen und praktischen Herausforderungen der Bewertung von Kundenbeziehungen
S. Helm, B. Günter, A. Eggert, in: Kundenwert, Springer Fachmedien Wiesbaden, Wiesbaden, 2017, pp. 3–34.
LibreCat
| DOI
S. Helm, B. Günter, A. Eggert, in: Kundenwert, Springer Fachmedien Wiesbaden, Wiesbaden, 2017, pp. 3–34.
2017 | Bachelorsthesis | LibreCat-ID: 698
As Asynchronous Adaption of a Churn-resistant Overlay Network
N.C. Banh, As Asynchronous Adaption of a Churn-Resistant Overlay Network, Universität Paderborn, 2017.
LibreCat
N.C. Banh, As Asynchronous Adaption of a Churn-Resistant Overlay Network, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 70
Price Fluctuations in Online Leasing
B. Feldkord, C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2017, pp. 17–31.
LibreCat
| Files available
| DOI
B. Feldkord, C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 11th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2017, pp. 17–31.