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.
11566 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 | Conference Paper | LibreCat-ID: 3160
Proving Opacity of a Pessimistic {STM}
S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, H. Wehrheim, in: P. Fatourou, E. Jim{\’{e}}nez, F. Pedone (Eds.), 20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain, 2016, pp. 35:1--35:17.
LibreCat
| DOI
S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, H. Wehrheim, in: P. Fatourou, E. Jim{\’{e}}nez, F. Pedone (Eds.), 20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain, 2016, pp. 35:1--35:17.
2016 | Journal Article | LibreCat-ID: 3161
Deriving approximation tolerance constraints from verification runs
T. Isenberg, M.-}Christine Jakobs, F. Pauck, H. Wehrheim, CoRR (2016).
LibreCat
T. Isenberg, M.-}Christine Jakobs, F. Pauck, H. Wehrheim, CoRR (2016).
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: 27451
Detecting White Spots in Innovation-Driven Intellectual Property Management
D. Eckelt, C. Dülme, J. Gausemeier, S. Hemel, Technology Innovation Management Review 6(7) (2016) 34–47.
LibreCat
| Download (ext.)
D. Eckelt, C. Dülme, J. Gausemeier, S. Hemel, Technology Innovation Management Review 6(7) (2016) 34–47.
2016 | Journal Article | LibreCat-ID: 27452
Value Network Design for Innovations: Developing Alternative Value Network Drafts
M. Kage, M. Drewel, J. Gausemeier, M. Schneider, Technology Innovation Management Review 6(7) (2016) 21–33.
LibreCat
| Download (ext.)
M. Kage, M. Drewel, J. Gausemeier, M. Schneider, Technology Innovation Management Review 6(7) (2016) 21–33.
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: 21034
A versatile design for resonant guided-wave parametric down-conversion sources for quantum repeaters
B. Brecht, K.-H. Luo, H. Herrmann, C. Silberhorn, Applied Physics B 122 (2016) 116.
LibreCat
| DOI
B. Brecht, K.-H. Luo, H. Herrmann, C. Silberhorn, Applied Physics B 122 (2016) 116.
2016 | Journal Article | LibreCat-ID: 21035
On-chip generation of photon-triplet states
S. Krapick, B. Brecht, H. Herrmann, V. Quiring, C. Silberhorn, Optics Express 24 (2016).
LibreCat
| DOI
S. Krapick, B. Brecht, H. Herrmann, V. Quiring, C. Silberhorn, Optics Express 24 (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.