G. Schellhorn, O. Travkin, and H. Wehrheim, “Towards a Thread-Local Proof Technique for Starvation Freedom,” in 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

S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Opacity of a Pessimistic STM,” in 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

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

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

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

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

C. Cadenas-Sanchez et al., “Fitness and fatness in relation with attention capacity in European adolescents: The HELENA study,”10.1016/j.jsams.2016.08.003__Journal of Science and Medicine in Sport, pp. 373–379, 2016, doi:10.1016/j.jsams.2016.08.003 .
LibreCat: /record/27034
DOI: 10.1016/j.jsams.2016.08.003

H. Xue et al., “Sedentary Behavior Is Independently Related to Fat Mass among Children and Adolescents in South China,”10.3390/nu8110667__Nutrients, Art. no. 667, 2016, doi:10.3390/nu8110667 .
LibreCat: /record/27035
DOI: 10.3390/nu8110667

M. Schröder, K. Müller, M. Falkenstein, P. Stehle, M. Kersting, and L. Libuda, “Lunch at school and children’s cognitive functioning in the early afternoon: results from the Cognition Intervention Study Dortmund Continued (CoCo),”10.1017/s0007114516002932__British Journal of Nutrition, pp. 1298–1305, 2016, doi:10.1017/s0007114516002932 .
LibreCat: /record/27036
DOI: 10.1017/s0007114516002932

R. Muckelbauer et al., “Changes in water and sugar-containing beverage consumption and body weight outcomes in children,”10.1017/s0007114516001136__British Journal of Nutrition, pp. 2057–2066, 2016, doi:10.1017/s0007114516001136 .
LibreCat: /record/27037
DOI: 10.1017/s0007114516001136