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.
9817 Publications
2016 | Conference Paper | LibreCat-ID: 3157
Verification of AUTOSAR Software Architectures with Timed Automata
S. Beringer, H. Wehrheim, in: M. H. ter Beek, S. Gnesi, A. Knapp (Eds.), Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, 2016, pp. 189--204.
LibreCat
| Files available
| DOI
S. Beringer, H. Wehrheim, in: M. H. ter Beek, S. Gnesi, A. Knapp (Eds.), Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, 2016, pp. 189--204.
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: 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.