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.
7891 Publications
2017 | Conference Paper | LibreCat-ID: 5741
Model-Driven Context Management for Self-adaptive User Interfaces
E. Yigitbas, S. Grün, S. Sauer, G. Engels, in: Ubiquitous Computing and Ambient Intelligence - 11th International Conference, UCAmI 2017, Philadelphia, PA, USA, November 7-10, 2017, Proceedings, 2017, pp. 624–635.
LibreCat
| DOI
E. Yigitbas, S. Grün, S. Sauer, G. Engels, in: Ubiquitous Computing and Ambient Intelligence - 11th International Conference, UCAmI 2017, Philadelphia, PA, USA, November 7-10, 2017, Proceedings, 2017, pp. 624–635.
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 | 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: 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 | 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 | 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 | 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 | 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.
2017 | Journal Article | LibreCat-ID: 7026
Robust Si 3 N 4 masks for 100 nm selective area epitaxy of GaAs-based nanostructures
V. Zolatanosha, D. Reuter, Microelectronic Engineering 180 (2017) 35–39.
LibreCat
| DOI
V. Zolatanosha, D. Reuter, Microelectronic Engineering 180 (2017) 35–39.
2017 | Dissertation | LibreCat-ID: 707
Knowledge-based Verification of Service Compositions
S. Walther, Knowledge-Based Verification of Service Compositions, Universität Paderborn, 2017.
LibreCat
| DOI
S. Walther, Knowledge-Based Verification of Service Compositions, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 708
Minimizing downtimes: Using dynamic reconfiguration and state management in SDN
A. Schwabe, E. Rojas, H. Karl, in: 2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--5.
LibreCat
| DOI
A. Schwabe, E. Rojas, H. Karl, in: 2017 {IEEE} Conference on Network Softwarization, NetSoft 2017, Bologna, Italy, July 3-7, 2017, 2017, pp. 1--5.
2017 | Conference Paper | LibreCat-ID: 71
Predicting Rankings of Software Verification Tools
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26.
LibreCat
| Files available
| DOI
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 3rd International Workshop on Software Analytics, 2017, pp. 23–26.
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 |
![Open access file OA](https://ris.uni-paderborn.de/images/access_open.png)
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.