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.
4204 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: 27249
Berechnung des Materialabbaus von PP und PS in der Plastifiziereinheit Teil 1: Belastung und Materialmodellierung
V. Schöppner, S. Littek, A. Döring, D. Kuckling, Zeitschrift Kunststofftechnik / Journal of Plastics Technology (2016) 18.
LibreCat
V. Schöppner, S. Littek, A. Döring, D. Kuckling, Zeitschrift Kunststofftechnik / Journal of Plastics Technology (2016) 18.
2016 | Journal Article | LibreCat-ID: 27271
Plasmaunterstütztes Fügen von Kunststoffen
E. Moritzer, V. Schöppner, P. Lakemeyer, T. Nordmeyer, Joining Plastics (2016) 100–108.
LibreCat
E. Moritzer, V. Schöppner, P. Lakemeyer, T. Nordmeyer, Joining Plastics (2016) 100–108.
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 | 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 | Encyclopedia Article | LibreCat-ID: 1152 |
Webmonitoring
M. Geierhos, in: N. Gronau, J. Becker, E. Sinz, L. Suhl, J.M. Leimeister (Eds.), Enzyklopädie der Wirtschaftsinformatik, 9th ed., GITO-Verlag, Berlin, Germany, 2016.
LibreCat
| Download (ext.)
M. Geierhos, in: N. Gronau, J. Becker, E. Sinz, L. Suhl, J.M. Leimeister (Eds.), Enzyklopädie der Wirtschaftsinformatik, 9th ed., GITO-Verlag, Berlin, Germany, 2016.
2016 | Encyclopedia Article | LibreCat-ID: 1153 |
Sentimentanalyse
M. Geierhos, in: N. Gronau, J. Becker, E. Sinz, L. Suhl, J.M. Leimeister (Eds.), Enzyklopädie der Wirtschaftsinformatik, 9th ed., GITO-Verlag, Berlin, Germany, 2016.
LibreCat
| Download (ext.)
M. Geierhos, in: N. Gronau, J. Becker, E. Sinz, L. Suhl, J.M. Leimeister (Eds.), Enzyklopädie der Wirtschaftsinformatik, 9th ed., GITO-Verlag, Berlin, Germany, 2016.
2016 | Encyclopedia Article | LibreCat-ID: 1154 |
Text Mining
M. Geierhos, in: N. Gronau, J. Becker, E. Sinz, L. Suhl, J.M. Leimeister (Eds.), Enzyklopädie der Wirtschaftsinformatik, 9th ed., GITO-Verlag, Berlin, Germany, 2016.
LibreCat
| Download (ext.)
M. Geierhos, in: N. Gronau, J. Becker, E. Sinz, L. Suhl, J.M. Leimeister (Eds.), Enzyklopädie der Wirtschaftsinformatik, 9th ed., GITO-Verlag, Berlin, Germany, 2016.
2016 | Encyclopedia Article | LibreCat-ID: 1155 |
Crawler (fokussiert / nicht fokussiert)
M. Geierhos, in: N. Gronau, J. Becker, E. Sinz, L. Suhl, J.M. Leimeister (Eds.), Enzyklopädie der Wirtschaftsinformatik, 9th ed., GITO-Verlag, Berlin, Germany, 2016.
LibreCat
| Download (ext.)
M. Geierhos, in: N. Gronau, J. Becker, E. Sinz, L. Suhl, J.M. Leimeister (Eds.), Enzyklopädie der Wirtschaftsinformatik, 9th ed., GITO-Verlag, Berlin, Germany, 2016.
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 | Bachelorsthesis | LibreCat-ID: 213
Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes
L. Porzenheim, Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes, Universität Paderborn, 2016.
LibreCat
L. Porzenheim, Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes, Universität Paderborn, 2016.
2016 | Bachelorsthesis | LibreCat-ID: 214
Commitment Schemes - Definitions, Variants, and Security
K.S. Bemmann, Commitment Schemes - Definitions, Variants, and Security, Universität Paderborn, 2016.
LibreCat
K.S. Bemmann, Commitment Schemes - Definitions, Variants, and Security, Universität Paderborn, 2016.
2016 | Conference Paper | LibreCat-ID: 215
Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration
M. Drees, R. Gmyr, C. Scheideler, in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 417--427.
LibreCat
| Files available
| DOI
M. Drees, R. Gmyr, C. Scheideler, in: Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2016, pp. 417--427.
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.