Travkin, Oleg, and Heike Wehrheim. “Verification of Concurrent Programs on Weak Memory Models.”10.1007/978-3-319-46750-4_1__Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, edited by Augusto Sampaio and Farn Wang, 2016, pp. 3--24, doi:10.1007/978-3-319-46750-4_1.
LibreCat: /record/3158
DOI: 10.1007/978-3-319-46750-4_1

Schellhorn, Gerhard, et al. “Towards a Thread-Local Proof Technique for Starvation Freedom.”10.1007/978-3-319-33693-0_13__Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, edited by Marieke Huisman, 2016, pp. 193--209, doi:10.1007/978-3-319-33693-0_13.
LibreCat: /record/3159
DOI: 10.1007/978-3-319-33693-0_13

Doherty, Simon, et al. “Proving Opacity of a Pessimistic STM.”10.4230/LIPIcs.OPODIS.2016.35__20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, edited by Panagiota Fatourou et al., 2016, pp. 35:1--35:17, doi:10.4230/LIPIcs.OPODIS.2016.35.
LibreCat: /record/3160
DOI: 10.4230/LIPIcs.OPODIS.2016.35

Isenberg, Tobias, et al. “Deriving Approximation Tolerance Constraints from Verification Runs.” CoRR, 2016.
LibreCat: /record/3161

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

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

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

Cadenas-Sanchez, Cristina, 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, 2016, pp. 373–79, doi:10.1016/j.jsams.2016.08.003.
LibreCat: /record/27034
DOI: 10.1016/j.jsams.2016.08.003

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

Schröder, Maike, et al. “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, 2016, pp. 1298–305, doi:10.1017/s0007114516002932.
LibreCat: /record/27036
DOI: 10.1017/s0007114516002932