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

Doherty S, Dongol B, Derrick J, Schellhorn G, Wehrheim H. Proving Opacity of a Pessimistic STM. In: Fatourou P, Jim\rquote enez 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

Isenberg T, Jakobs M-Christine, Pauck F, Wehrheim H. Deriving approximation tolerance constraints from verification runs. CoRR. 2016.

Görzen T, Kundisch D. 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). ; 2016.

Görzen T, Kundisch D. 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). ; 2016.

Schlangenotto D, Kundisch D. 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). ; 2016.

Cadenas-Sanchez C, Vanhelst J, Ruiz JR, et al. Fitness and fatness in relation with attention capacity in European adolescents: The HELENA study. Journal of Science and Medicine in Sport. Published online 2016:373-379. doi:10.1016/j.jsams.2016.08.003

Xue H, Tian G, Duan R, et al. Sedentary Behavior Is Independently Related to Fat Mass among Children and Adolescents in South China. Nutrients. Published online 2016. doi:10.3390/nu8110667

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

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