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.
9862 Publications
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: 27036
Lunch at school and children’s cognitive functioning in the early afternoon: results from the Cognition Intervention Study Dortmund Continued (CoCo)
M. Schröder, K. Müller, M. Falkenstein, P. Stehle, M. Kersting, L. Libuda, British Journal of Nutrition (2016) 1298–1305.
LibreCat
| DOI
M. Schröder, K. Müller, M. Falkenstein, P. Stehle, M. Kersting, L. Libuda, British Journal of Nutrition (2016) 1298–1305.
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: 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 | Journal Article | LibreCat-ID: 27483
Intelligente Arbeitsvorbereitung in der Cloud
G. Rehage, F. Isenberg, R.-E. Reisch, J. Weber, B. Jurke, P. Pruschek, wt Werkstattstechnik online (1/2-2016) (2016) 077–082.
LibreCat
G. Rehage, F. Isenberg, R.-E. Reisch, J. Weber, B. Jurke, P. Pruschek, wt Werkstattstechnik online (1/2-2016) (2016) 077–082.
2016 | Journal Article | LibreCat-ID: 27523
Ernährung und psychische Erkrankungen
L. Libuda, J. Antel, J. Hebebrand, M. Föcker, Der Nervenarzt (2016) 87–101.
LibreCat
| DOI
L. Libuda, J. Antel, J. Hebebrand, M. Föcker, Der Nervenarzt (2016) 87–101.
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 | Journal Article | LibreCat-ID: 20941
Influence of the Surface and Heat Treatment on the Bond Strength of Galvanized Steel/Aluminum Composites Joined by Plastic Deformation
C. Hoppe, C. Ebbert, R. Grothe, H.C. Schmidt, I. Hordych, W. Homberg, H.J. Maier, G. Grundmeier, ADVANCED ENGINEERING MATERIALS 18 (2016) 1371–1380.
LibreCat
| DOI
| WoS
C. Hoppe, C. Ebbert, R. Grothe, H.C. Schmidt, I. Hordych, W. Homberg, H.J. Maier, G. Grundmeier, ADVANCED ENGINEERING MATERIALS 18 (2016) 1371–1380.
2016 | Journal Article | LibreCat-ID: 20942
Molecular Engineering of Aluminum-Copper Interfaces for Joining by Plastic Deformation
C. Hoppe, C. Ebbert, M. Voigt, H.C. Schmidt, D. Rodman, W. Homberg, H.J. Maier, G. Grundmeier, ADVANCED ENGINEERING MATERIALS 18 (2016) 1066–1074.
LibreCat
| DOI
| WoS
C. Hoppe, C. Ebbert, M. Voigt, H.C. Schmidt, D. Rodman, W. Homberg, H.J. Maier, G. Grundmeier, ADVANCED ENGINEERING MATERIALS 18 (2016) 1066–1074.
2016 | Mastersthesis | LibreCat-ID: 210
Congestion Games with Mixed Objectives
L. Leder, Congestion Games with Mixed Objectives, Universität Paderborn, 2016.
LibreCat
L. Leder, Congestion Games with Mixed Objectives, Universität Paderborn, 2016.
2016 | Journal Article | LibreCat-ID: 211
Competition of Intermediaries in a Differentiated Duopoly
S. Brangewitz, J. Manegold, Theoretical Economics Letters 6 (2016) 1341–1362.
LibreCat
| Files available
| DOI
S. Brangewitz, J. Manegold, Theoretical Economics Letters 6 (2016) 1341–1362.
2016 | Dissertation | LibreCat-ID: 212
Competition in Markets with Intermediaries
J. Manegold, Competition in Markets with Intermediaries, Universität Paderborn, 2016.
LibreCat
| Files available
J. Manegold, Competition in Markets with Intermediaries, Universität Paderborn, 2016.
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.