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
Beringer, Steffen, and Heike Wehrheim. “Verification of AUTOSAR Software Architectures with Timed Automata.” In 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, edited by Maurice H. ter Beek, Stefania Gnesi, and Alexander Knapp, 189--204. Lecture Notes in Computer Science, 2016. https://doi.org/10.1007/978-3-319-45943-1_13.
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3158
Travkin, Oleg, and Heike Wehrheim. “Verification of Concurrent Programs on Weak Memory Models.” In Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, edited by Augusto Sampaio and Farn Wang, 3--24. Lecture Notes in Computer Science, 2016. https://doi.org/10.1007/978-3-319-46750-4_1.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
Schellhorn, Gerhard, Oleg Travkin, and Heike Wehrheim. “Towards a Thread-Local Proof Technique for Starvation Freedom.” In Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, edited by Marieke Huisman, 193--209. Lecture Notes in Computer Science, 2016. https://doi.org/10.1007/978-3-319-33693-0_13.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27036
Schröder, Maike, Katrin Müller, Michael Falkenstein, Peter Stehle, Mathilde Kersting, and Lars Libuda. “Lunch at School and Children’s Cognitive Functioning in the Early Afternoon: Results from the Cognition Intervention Study Dortmund Continued (CoCo).” British Journal of Nutrition, 2016, 1298–1305. https://doi.org/10.1017/s0007114516002932.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27037
Muckelbauer, Rebecca, Steven L. Gortmaker, Lars Libuda, Mathilde Kersting, Kerstin Clausen, Bettina Adelberger, and Jacqueline Müller-Nordhorn. “Changes in Water and Sugar-Containing Beverage Consumption and Body Weight Outcomes in Children.” British Journal of Nutrition, 2016, 2057–66. https://doi.org/10.1017/s0007114516001136.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27264
Moritzer, Elmar, Y. Martin, and E. Müller. “Spritzgießdirektcompoundierung (SGDC) - Produktspezifische Materialentwicklung Im Spritzgießprozess.” Kunststofftechnik - Spritzgießen 2016, no. 1 (2016): 27–39.
LibreCat
2016 | Journal Article | LibreCat-ID: 27458
Berssenbrügge, Jan, Ansgar Trächtler, and Christoph Schmidt. “Visualization of Headlight Illumination for the Virtual Prototyping of Light-Based Driver Assistance Systems.” Journal of Computing and Information Science in Engineering, Band 16(3), 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 27474
Iwanek, Peter, and Arno Kühn. “Die sich selbst optimierende Lackieranlage.” Journal für Oberflächentechnik 3(56), 2016, 28–31.
LibreCat
2016 | Journal Article | LibreCat-ID: 27483
Rehage, Gerald, Florian Isenberg, Raphael-Elias Reisch, Jens Weber, Benjamin Jurke, and Peter Pruschek. “Intelligente Arbeitsvorbereitung in der Cloud.” wt Werkstattstechnik online (1/2-2016), 2016, 077–082.
LibreCat
2016 | Journal Article | LibreCat-ID: 27523
Libuda, Lars, J. Antel, J. Hebebrand, and M. Föcker. “Ernährung und psychische Erkrankungen.” Der Nervenarzt, 2016, 87–101. https://doi.org/10.1007/s00115-016-0262-2.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 1151 | 
Stotz, Sophia, and Michaela Geierhos. “Wie verhalten sich Aktionäre bei Unternehmenszusammenschlüssen? Modellierung sprachlicher Muster zur Analyse treibender Faktoren bei der Berichterstattung.” In DHd 2016: Modellierung - Vernetzung - Visualisierung. Die Digital Humanities als fächerübergreifendes Forschungsparadigma. Konferenzabstracts, Universität Leipzig, 7. bis 12. März 2016, 378–81. Duisburg, Germany: Nisaba-Verlag, 2016.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 20941
Hoppe, Christian, Christoph Ebbert, Richard Grothe, Hans Christian Schmidt, Illia Hordych, Werner Homberg, Hans Juergen Maier, and Guido Grundmeier. “Influence of the Surface and Heat Treatment on the Bond Strength of Galvanized Steel/Aluminum Composites Joined by Plastic Deformation.” ADVANCED ENGINEERING MATERIALS 18, no. 8 (2016): 1371–80. https://doi.org/10.1002/adem.201600085.
LibreCat
| DOI
| WoS
2016 | Journal Article | LibreCat-ID: 20942
Hoppe, Christian, Christoph Ebbert, Markus Voigt, Hans Christian Schmidt, Dmytro Rodman, Werner Homberg, Hans Juergen Maier, and Guido Grundmeier. “Molecular Engineering of Aluminum-Copper Interfaces for Joining by Plastic Deformation.” ADVANCED ENGINEERING MATERIALS 18, no. 6 (2016): 1066–74. https://doi.org/10.1002/adem.201500501.
LibreCat
| DOI
| WoS
2016 | Mastersthesis | LibreCat-ID: 210
Leder, Lennart. Congestion Games with Mixed Objectives. Universität Paderborn, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 211
Brangewitz, Sonja, and Jochen Manegold. “Competition of Intermediaries in a Differentiated Duopoly.” Theoretical Economics Letters 6, no. 6 (2016): 1341–62. https://doi.org/10.4236/tel.2016.66124.
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 212
Manegold, Jochen. Competition in Markets with Intermediaries. Universität Paderborn, 2016.
LibreCat
| Files available
2016 | Conference (Editor) | LibreCat-ID: 21507
Hein, David, Gerson Meschut, Gökhan Tümkaya, and 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. Vol. 327. DVS-Berichte. Düsseldorf: DVS Media GmbH, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 216
Rechenberg, Tobias von, and Dominik Gutt. “Challenge Accepted! - The Impcat of Goal Achievement on Subsequent User Effort and Implications of a Goal’s Difficulty.” In Proceedings of the 24th Conference on Information Systems (ECIS), Istanbul, 2016.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 173
Heck, Eduard. Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace. Universität Paderborn, 2016.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 174
Schwentker, Christoph. Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen. Universität Paderborn, 2016.
LibreCat