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
Schellhorn G, Travkin O, Wehrheim H. Towards a Thread-Local Proof Technique for Starvation Freedom. In: Huisman M, ed. Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Lecture Notes in Computer Science. ; 2016:193--209. doi:10.1007/978-3-319-33693-0_13
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3160
Doherty S, Dongol B, Derrick J, Schellhorn G, Wehrheim H. Proving Opacity of a Pessimistic {STM}. In: Fatourou P, Jim{\’{e}}nez E, Pedone F, eds. 20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain. LIPIcs. ; 2016:35:1--35:17. doi:10.4230/LIPIcs.OPODIS.2016.35
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3161
Isenberg T, Jakobs M-}Christine, Pauck F, Wehrheim H. Deriving approximation tolerance constraints from verification runs. CoRR. 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 27036
Schröder M, Müller K, Falkenstein M, Stehle P, Kersting M, Libuda L. 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. Published online 2016:1298-1305. doi:10.1017/s0007114516002932
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27037
Muckelbauer R, Gortmaker SL, Libuda L, et al. Changes in water and sugar-containing beverage consumption and body weight outcomes in children. British Journal of Nutrition. Published online 2016:2057-2066. doi:10.1017/s0007114516001136
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27249
Schöppner V, Littek S, Döring A, Kuckling D. Berechnung des Materialabbaus von PP und PS in der Plastifiziereinheit Teil 1: Belastung und Materialmodellierung. Zeitschrift Kunststofftechnik / Journal of Plastics Technology. Published online 2016:18.
LibreCat
2016 | Journal Article | LibreCat-ID: 27451
Eckelt D, Dülme C, Gausemeier J, Hemel S. Detecting White Spots in Innovation-Driven Intellectual Property Management. Technology Innovation Management Review 6(7). Published online 2016:34-47.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 27452
Kage M, Drewel M, Gausemeier J, Schneider M. Value Network Design for Innovations: Developing Alternative Value Network Drafts. Technology Innovation Management Review 6(7). Published online 2016:21-33.
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 27483
Rehage G, Isenberg F, Reisch R-E, Weber J, Jurke B, Pruschek P. Intelligente Arbeitsvorbereitung in der Cloud. wt Werkstattstechnik online (1/2-2016). Published online 2016:077-082.
LibreCat
2016 | Conference Paper | LibreCat-ID: 1151 | 
Stotz S, Geierhos M. 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. Duisburg, Germany: Nisaba-Verlag; 2016:378-381.
LibreCat
| Download (ext.)
2016 | Encyclopedia Article | LibreCat-ID: 1152 |
Geierhos M. Webmonitoring. In: Gronau N, Becker J, Sinz E, Suhl L, Leimeister JM, eds. Enzyklopädie der Wirtschaftsinformatik. 9th ed. Berlin, Germany: GITO-Verlag; 2016.
LibreCat
| Download (ext.)
2016 | Encyclopedia Article | LibreCat-ID: 1153 |
Geierhos M. Sentimentanalyse. In: Gronau N, Becker J, Sinz E, Suhl L, Leimeister JM, eds. Enzyklopädie der Wirtschaftsinformatik. 9th ed. Berlin, Germany: GITO-Verlag; 2016.
LibreCat
| Download (ext.)
2016 | Encyclopedia Article | LibreCat-ID: 1154 |
Geierhos M. Text Mining. In: Gronau N, Becker J, Sinz E, Suhl L, Leimeister JM, eds. Enzyklopädie der Wirtschaftsinformatik. 9th ed. Berlin, Germany: GITO-Verlag; 2016.
LibreCat
| Download (ext.)
2016 | Encyclopedia Article | LibreCat-ID: 1155 |
Geierhos M. Crawler (fokussiert / nicht fokussiert). In: Gronau N, Becker J, Sinz E, Suhl L, Leimeister JM, eds. Enzyklopädie der Wirtschaftsinformatik. 9th ed. Berlin, Germany: GITO-Verlag; 2016.
LibreCat
| Download (ext.)
2016 | Mastersthesis | LibreCat-ID: 210
Leder L. Congestion Games with Mixed Objectives. Universität Paderborn; 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 21034
Brecht B, Luo K-H, Herrmann H, Silberhorn C. A versatile design for resonant guided-wave parametric down-conversion sources for quantum repeaters. Applied Physics B. 2016;122:116. doi:10.1007/s00340-016-6381-4
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 21035
Krapick S, Brecht B, Herrmann H, Quiring V, Silberhorn C. On-chip generation of photon-triplet states. Optics Express. 2016;24(3). doi:10.1364/oe.24.002836
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 211
Brangewitz S, Manegold J. Competition of Intermediaries in a Differentiated Duopoly. Theoretical Economics Letters. 2016;6(6):1341-1362. doi:10.4236/tel.2016.66124
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 212
Manegold J. Competition in Markets with Intermediaries. Universität Paderborn; 2016.
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 213
Porzenheim L. Comparison of Different Definitions of Chosen-Ciphertext Security in Encryption Schemes. Universität Paderborn; 2016.
LibreCat