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.
1940 Publications
2016 | Conference Paper | LibreCat-ID: 3158
Travkin, Oleg, and Heike Wehrheim. “Verification of Concurrent Programs on Weak Memory Models.” 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
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
Schellhorn, Gerhard, et al. “Towards a Thread-Local Proof Technique for Starvation Freedom.” 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
| DOI
2016 | Conference Paper | LibreCat-ID: 3160
Doherty, Simon, et al. “Proving Opacity of a Pessimistic {STM}.” 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
| DOI
2016 | Journal Article | LibreCat-ID: 3161
Isenberg, Tobias, et al. “Deriving Approximation Tolerance Constraints from Verification Runs.” CoRR, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 2699
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
2016 | Conference Paper | LibreCat-ID: 2700
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
2016 | Conference Paper | LibreCat-ID: 2701
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
2016 | Journal Article | LibreCat-ID: 27034
Cadenas-Sanchez, Cristina, et al. “Fitness and Fatness in Relation with Attention Capacity in European Adolescents: The HELENA Study.” Journal of Science and Medicine in Sport, 2016, pp. 373–79, doi:10.1016/j.jsams.2016.08.003.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27035
Xue, Hongmei, et al. “Sedentary Behavior Is Independently Related to Fat Mass among Children and Adolescents in South China.” Nutrients, 667, 2016, doi:10.3390/nu8110667.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27036
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).” British Journal of Nutrition, 2016, pp. 1298–305, doi:10.1017/s0007114516002932.
LibreCat
| DOI