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.
5452 Publications
2016 | Conference Paper | LibreCat-ID: 3157
Beringer, S., & Wehrheim, H. (2016). Verification of AUTOSAR Software Architectures with Timed Automata. 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 (pp. 189--204). https://doi.org/10.1007/978-3-319-45943-1_13
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
Schellhorn, G., Travkin, O., & Wehrheim, H. (2016). Towards a Thread-Local Proof Technique for Starvation Freedom. In M. Huisman (Ed.), Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (pp. 193--209). https://doi.org/10.1007/978-3-319-33693-0_13
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27036
Schröder, M., Müller, K., Falkenstein, M., Stehle, P., Kersting, M., & Libuda, L. (2016). 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, 1298–1305. https://doi.org/10.1017/s0007114516002932
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27037
Muckelbauer, R., Gortmaker, S. L., Libuda, L., Kersting, M., Clausen, K., Adelberger, B., & Müller-Nordhorn, J. (2016). Changes in water and sugar-containing beverage consumption and body weight outcomes in children. British Journal of Nutrition, 2057–2066. https://doi.org/10.1017/s0007114516001136
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27249
Schöppner, V., Littek, S., Döring, A., & Kuckling, D. (2016). Berechnung des Materialabbaus von PP und PS in der Plastifiziereinheit Teil 1: Belastung und Materialmodellierung. Zeitschrift Kunststofftechnik / Journal of Plastics Technology, 18.
LibreCat
2016 | Journal Article | LibreCat-ID: 27451
Eckelt, D., Dülme, C., Gausemeier, J., & Hemel, S. (2016). Detecting White Spots in Innovation-Driven Intellectual Property Management. Technology Innovation Management Review 6(7), 34–47.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 27452
Kage, M., Drewel, M., Gausemeier, J., & Schneider, M. (2016). Value Network Design for Innovations: Developing Alternative Value Network Drafts. Technology Innovation Management Review 6(7), 21–33.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 27483
Rehage, G., Isenberg, F., Reisch, R.-E., Weber, J., Jurke, B., & Pruschek, P. (2016). Intelligente Arbeitsvorbereitung in der Cloud. wt Werkstattstechnik online (1/2-2016), 077–082.
LibreCat
2016 | Conference Paper | LibreCat-ID: 1151 | 
Stotz, S., & Geierhos, M. (2016). 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 (pp. 378–381). Duisburg, Germany: Nisaba-Verlag.
LibreCat
| Download (ext.)
2016 | Encyclopedia Article | LibreCat-ID: 1152 |
Geierhos, M. (2016). Webmonitoring. In N. Gronau, J. Becker, E. Sinz, L. Suhl, & J. M. Leimeister (Eds.), Enzyklopädie der Wirtschaftsinformatik (9th ed.). Berlin, Germany: GITO-Verlag.
LibreCat
| Download (ext.)
2016 | Encyclopedia Article | LibreCat-ID: 1153 |
Geierhos, M. (2016). Sentimentanalyse. In N. Gronau, J. Becker, E. Sinz, L. Suhl, & J. M. Leimeister (Eds.), Enzyklopädie der Wirtschaftsinformatik (9th ed.). Berlin, Germany: GITO-Verlag.
LibreCat
| Download (ext.)
2016 | Encyclopedia Article | LibreCat-ID: 1154 |
Geierhos, M. (2016). Text Mining. In N. Gronau, J. Becker, E. Sinz, L. Suhl, & J. M. Leimeister (Eds.), Enzyklopädie der Wirtschaftsinformatik (9th ed.). Berlin, Germany: GITO-Verlag.
LibreCat
| Download (ext.)
2016 | Encyclopedia Article | LibreCat-ID: 1155 |
Geierhos, M. (2016). Crawler (fokussiert / nicht fokussiert). In N. Gronau, J. Becker, E. Sinz, L. Suhl, & J. M. Leimeister (Eds.), Enzyklopädie der Wirtschaftsinformatik (9th ed.). Berlin, Germany: GITO-Verlag.
LibreCat
| Download (ext.)
2016 | Mastersthesis | LibreCat-ID: 210
Leder, L. (2016). Congestion Games with Mixed Objectives. Universität Paderborn.
LibreCat
2016 | Journal Article | LibreCat-ID: 211
Brangewitz, S., & Manegold, J. (2016). Competition of Intermediaries in a Differentiated Duopoly. Theoretical Economics Letters, 6(6), 1341–1362. https://doi.org/10.4236/tel.2016.66124
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 212
Manegold, J. (2016). Competition in Markets with Intermediaries. Universität Paderborn.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 213
Porzenheim, L. (2016). Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes. Universität Paderborn.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 214
Bemmann, K. S. (2016). Commitment Schemes - Definitions, Variants, and Security. Universität Paderborn.
LibreCat
2016 | Conference Paper | LibreCat-ID: 215
Drees, M., Gmyr, R., & Scheideler, C. (2016). Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration. In Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) (pp. 417--427). https://doi.org/10.1145/2935764.2935783
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 216
von Rechenberg, T., & Gutt, D. (2016). 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. Istanbul, Turkey.
LibreCat
| Files available