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.
7530 Publications
2016 | Conference Paper | LibreCat-ID: 3158
Verification of Concurrent Programs on Weak Memory Models
O. Travkin, H. Wehrheim, in: A. Sampaio, F. Wang (Eds.), Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, 2016, pp. 3--24.
LibreCat
| DOI
O. Travkin, H. Wehrheim, in: A. Sampaio, F. Wang (Eds.), Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, 2016, pp. 3--24.
2016 | Conference Paper | LibreCat-ID: 3159
Towards a Thread-Local Proof Technique for Starvation Freedom
G. Schellhorn, O. Travkin, H. Wehrheim, in: M. Huisman (Ed.), Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016, pp. 193--209.
LibreCat
| DOI
G. Schellhorn, O. Travkin, H. Wehrheim, in: M. Huisman (Ed.), Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016, pp. 193--209.
2016 | Journal Article | LibreCat-ID: 27037
Changes in water and sugar-containing beverage consumption and body weight outcomes in children
R. Muckelbauer, S.L. Gortmaker, L. Libuda, M. Kersting, K. Clausen, B. Adelberger, J. Müller-Nordhorn, British Journal of Nutrition (2016) 2057–2066.
LibreCat
| DOI
R. Muckelbauer, S.L. Gortmaker, L. Libuda, M. Kersting, K. Clausen, B. Adelberger, J. Müller-Nordhorn, British Journal of Nutrition (2016) 2057–2066.
2016 | Journal Article | LibreCat-ID: 27264
Spritzgießdirektcompoundierung (SGDC) - Produktspezifische Materialentwicklung im Spritzgießprozess
E. Moritzer, Y. Martin, E. Müller, Kunststofftechnik - Spritzgießen 2016 (2016) 27–39.
LibreCat
E. Moritzer, Y. Martin, E. Müller, Kunststofftechnik - Spritzgießen 2016 (2016) 27–39.
2016 | Journal Article | LibreCat-ID: 27445
Management des geistigen Eigentums im Rahmen der strategischen Produktplanung
D. Eckelt, J. Gausemeier, C.U. Gronemeyer, 12. Symposium für Vorausschau und Technologieplanung 8. und 9. Dezember 2016 (2016) 289–316.
LibreCat
D. Eckelt, J. Gausemeier, C.U. Gronemeyer, 12. Symposium für Vorausschau und Technologieplanung 8. und 9. Dezember 2016 (2016) 289–316.
2016 | Book Chapter | LibreCat-ID: 27446
Strategische Release-Planung als Ansatz zur systematischen Produktwertsteigerung
A. Kühn, R. Dumitrescu, J. Gausemeier, in: Vorausschau und Technologieplanung, 12. Symposium für Vorausschau und Technologieplanung, 8. und 9. Dezember 2016, Heinz Nixdorf Institut, Universität Paderborn, 2016, pp. 159–176.
LibreCat
A. Kühn, R. Dumitrescu, J. Gausemeier, in: Vorausschau und Technologieplanung, 12. Symposium für Vorausschau und Technologieplanung, 8. und 9. Dezember 2016, Heinz Nixdorf Institut, Universität Paderborn, 2016, pp. 159–176.
2016 | Journal Article | LibreCat-ID: 27458
Visualization of Headlight Illumination for the Virtual Prototyping of Light-Based Driver Assistance Systems
J. Berssenbrügge, A. Trächtler, C. Schmidt, Journal of Computing and Information Science in Engineering, Band 16(3) (2016).
LibreCat
J. Berssenbrügge, A. Trächtler, C. Schmidt, Journal of Computing and Information Science in Engineering, Band 16(3) (2016).
2016 | Journal Article | LibreCat-ID: 27474
Die sich selbst optimierende Lackieranlage
P. Iwanek, A. Kühn, Journal für Oberflächentechnik 3(56) (2016) 28–31.
LibreCat
P. Iwanek, A. Kühn, Journal für Oberflächentechnik 3(56) (2016) 28–31.
2016 | Conference Paper | LibreCat-ID: 1151 | 
Wie verhalten sich Aktionäre bei Unternehmenszusammenschlüssen? Modellierung sprachlicher Muster zur Analyse treibender Faktoren bei der Berichterstattung
S. Stotz, M. Geierhos, in: DHd 2016: Modellierung - Vernetzung - Visualisierung. Die Digital Humanities als fächerübergreifendes Forschungsparadigma. Konferenzabstracts, Universität Leipzig, 7. bis 12. März 2016, Nisaba-Verlag, Duisburg, Germany, 2016, pp. 378–381.
LibreCat
| Download (ext.)
S. Stotz, M. Geierhos, in: DHd 2016: Modellierung - Vernetzung - Visualisierung. Die Digital Humanities als fächerübergreifendes Forschungsparadigma. Konferenzabstracts, Universität Leipzig, 7. bis 12. März 2016, Nisaba-Verlag, Duisburg, Germany, 2016, pp. 378–381.
2016 | Conference (Editor) | LibreCat-ID: 21507
Erweichungszonen beim Widerstandspunktschweißen von DP- und CP-Stählen – Analyse und Bewertung der Verbindungen im Hinblick auf die Tragfähigkeit
D. Hein, G. Meschut, G. Tümkaya, DVS Media GmbH, eds., Erweichungszonen beim Widerstandspunktschweißen von DP- und CP-Stählen – Analyse und Bewertung der Verbindungen im Hinblick auf die Tragfähigkeit, DVS Media GmbH, Düsseldorf, 2016.
LibreCat
D. Hein, G. Meschut, G. Tümkaya, DVS Media GmbH, eds., Erweichungszonen beim Widerstandspunktschweißen von DP- und CP-Stählen – Analyse und Bewertung der Verbindungen im Hinblick auf die Tragfähigkeit, DVS Media GmbH, Düsseldorf, 2016.
2016 | Conference Paper | LibreCat-ID: 216
Challenge Accepted! - The Impcat of Goal Achievement on Subsequent User Effort and Implications of a Goal's Difficulty
T. von Rechenberg, D. Gutt, in: Proceedings of the 24th Conference on Information Systems (ECIS), Istanbul, 2016.
LibreCat
| Files available
T. von Rechenberg, D. Gutt, in: Proceedings of the 24th Conference on Information Systems (ECIS), Istanbul, 2016.
2016 | Bachelorsthesis | LibreCat-ID: 173
Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace
E. Heck, Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace, Universität Paderborn, 2016.
LibreCat
E. Heck, Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace, Universität Paderborn, 2016.
2016 | Bachelorsthesis | LibreCat-ID: 174
Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen
C. Schwentker, Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen, Universität Paderborn, 2016.
LibreCat
C. Schwentker, Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen, Universität Paderborn, 2016.
2016 | Journal Article | LibreCat-ID: 175
On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs
S. Walther, H. Wehrheim, Science of Computer Programming (2016) 2--23.
LibreCat
| Files available
| DOI
S. Walther, H. Wehrheim, Science of Computer Programming (2016) 2--23.
2016 | Conference Paper | LibreCat-ID: 176 |
On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements
M. Dollmann, M. Geierhos, in: Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), Association for Computational Linguistics (ACL), Austin, TX, USA, 2016, pp. 1807–1816.
LibreCat
| Files available
| Download (ext.)
M. Dollmann, M. Geierhos, in: Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), Association for Computational Linguistics (ACL), Austin, TX, USA, 2016, pp. 1807–1816.
2016 | Conference Paper | LibreCat-ID: 177
On the Parameterized Parallel Complexity and the Vertex Cover Problem
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in: Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 477–488.
LibreCat
| Files available
| DOI
F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in: Proceedings of the 10th International Conference on Combinatorial Optimization and Applications (COCOA), 2016, pp. 477–488.
2016 | Journal Article | LibreCat-ID: 190
Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic
M.C. Platenius, A. Shaker, M. Becker, E. Hüllermeier, W. Schäfer, IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017 (2016) 739–759.
LibreCat
| Files available
| DOI
M.C. Platenius, A. Shaker, M. Becker, E. Hüllermeier, W. Schäfer, IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017 (2016) 739–759.
2016 | Conference Paper | LibreCat-ID: 191
How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement
M. Geierhos, F.S. Bäumer, in: E. Métais, F. Meziane, M. Saraee, V. Sugumaran, S. Vadera (Eds.), Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB), Springer, Cham, Switzerland, 2016, pp. 37–47.
LibreCat
| Files available
| DOI
M. Geierhos, F.S. Bäumer, in: E. Métais, F. Meziane, M. Saraee, V. Sugumaran, S. Vadera (Eds.), Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB), Springer, Cham, Switzerland, 2016, pp. 37–47.
2016 | Bachelorsthesis | LibreCat-ID: 192
Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling
L. Reckhorn, Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling, Universität Paderborn, 2016.
LibreCat
L. Reckhorn, Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling, Universität Paderborn, 2016.
2016 | Journal Article | LibreCat-ID: 193
Goals as Reference Points: Empirical Evidence from a Virtual Reward System
T. von Rechenberg, D. Gutt, D. Kundisch, Decision Analysis (2016) 153--171.
LibreCat
| Files available
| DOI
T. von Rechenberg, D. Gutt, D. Kundisch, Decision Analysis (2016) 153--171.