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: /record/3159
DOI: 10.1007/978-3-319-33693-0_13

Proving Opacity of a Pessimistic STM
S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, H. Wehrheim, in: P. Fatourou, E. Jim\rquote enez, 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: /record/3160
DOI: 10.4230/LIPIcs.OPODIS.2016.35

Deriving approximation tolerance constraints from verification runs
T. Isenberg, M.-Christine Jakobs, F. Pauck, H. Wehrheim, CoRR (2016).
LibreCat: /record/3161

Can the Crowd Substitute Experts in Evaluation of Creative Ideas? An Experimental Study Using Business Models
T. Görzen, D. Kundisch, in: Proceedings of the 22nd Americas’ Conference on Information Systems (AMCIS), 2016.
LibreCat: /record/2699

Can the Crowd Substitute Experts in Evaluation of Creative Jobs? The Case of Business Models
T. Görzen, D. Kundisch, in: Proceedings of the 24th European Conference on Information Systems (ECIS), 2016.
LibreCat: /record/2700

Read this Paper! A Field Experiment on the Role of a Call-To-Action in Paid Search
D. Schlangenotto, D. Kundisch, in: Proceedings of the 24th European Conference on Information Systems (ECIS), 2016.
LibreCat: /record/2701

Fitness and fatness in relation with attention capacity in European adolescents: The HELENA study
C. Cadenas-Sanchez, J. Vanhelst, J.R. Ruiz, R. Castillo-Gualda, L. Libuda, I. Labayen, P. De Miguel-Etayo, A. Marcos, E. Molnár, A. Catena, L.A. Moreno, M. Sjöström, F. Gottrand, K. Widhalm, F.B. Ortega, Journal of Science and Medicine in Sport (2016) 373–379.
LibreCat: /record/27034
DOI: 10.1016/j.jsams.2016.08.003

Sedentary Behavior Is Independently Related to Fat Mass among Children and Adolescents in South China
H. Xue, G. Tian, R. Duan, L. Quan, L. Zhao, M. Yang, L. Libuda, R. Muckelbauer, G. Cheng, Nutrients (2016).
LibreCat: /record/27035
DOI: 10.3390/nu8110667

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: /record/27036
DOI: 10.1017/s0007114516002932

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: /record/27037
DOI: 10.1017/s0007114516001136

Development of a Dietary Index to Assess Overall Diet Quality for Chinese School-Aged Children: The Chinese Children Dietary Index
G. Cheng, R. Duan, S. Kranz, L. Libuda, L. Zhang, Journal of the Academy of Nutrition and Dietetics (2016) 608–617.
LibreCat: /record/27038
DOI: 10.1016/j.jand.2015.11.010

A New Sample Preparation Method to Investigate Melting Phenomena within a Partly Filled Melting Zone Of Co-Rotating Twin Screw Extruders
V. Schöppner, K. Westhues, T. Westhues, in: 32nd International Conference of the Polymer Processing Society (PPS), Lyon (Frankreich), 2016.
LibreCat: /record/27245

An Approach to Non-Destructive Testing of Aged Polymers
E. Moritzer, M. Hüttner, B. Henning, M. Webersen, in: 32nd International Conference of the Polymer Processing Society (PPS), Lyon (Frankreich), 2016.
LibreCat: /record/27246

Auswirkungen von Betriebsparametern in der Heißluftvulkanisation
V. Schöppner, S. Brockhaus, C. Penner, J. Möckel, GAK Gummi Fasern Kunststoffe (2016) 410–413.
LibreCat: /record/27248

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: /record/27249

Detecting Molecular Damage - Non-Destructive Characterization of Molecular Changes in Aged Polymers
E. Moritzer, M. Hüttner, B. Henning, M. Webersen, Kunststoffe International (2016) 43–45.
LibreCat: /record/27250

Development of an Inline Plasma Treatment During Injection Molding Process
E. Moritzer, T. Nordmeyer, L. Enneking, A. Grishin, A. Knospe, C. Buske, in: 74th Annual Technical Conference of the Society of Plastics Engineers (ANTEC), Indianapolis (USA), 2016.
LibreCat: /record/27251

Die Riveting – A New Joining Technology for Composite Sheet-Metal-Hybrid Joints
E. Moritzer, C. Budde, M. Hüttner, in: Joining in Car Body Engineering 2016, Bad Nauheim (Deutschland), 2016.
LibreCat: /record/27252

Ein Ansatz zur zerstörungsfreien Prüfung von hydrothermisch gealterten Polymeren
E. Moritzer, M. Hüttner, B. Henning, M. Webersen, in: Safe and Reliable Structures, Dalheim (Deutschland), 2016.
LibreCat: /record/27253

Experimental Investigations on the Fibre Length Degradation in Injection Moulds
E. Moritzer, Y. Martin, in: 32nd International Conference of the Polymer Processing Society (PPS), Lyon (Frankreich), 2016.
LibreCat: /record/27254