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.
1957 Publications
2016 | Conference Paper | LibreCat-ID: 3158
O. Travkin and H. Wehrheim, “Verification of Concurrent Programs on Weak Memory Models,” in Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, 2016, pp. 3--24.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
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
| DOI
2016 | Conference Paper | LibreCat-ID: 3160
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
| DOI
2016 | Journal Article | LibreCat-ID: 3161
T. Isenberg, M.-}Christine Jakobs, F. Pauck, and H. Wehrheim, “Deriving approximation tolerance constraints from verification runs,” CoRR, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 2699
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
2016 | Conference Paper | LibreCat-ID: 2700
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
2016 | Conference Paper | LibreCat-ID: 2701
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
2016 | Journal Article | LibreCat-ID: 27034
C. Cadenas-Sanchez et al., “Fitness and fatness in relation with attention capacity in European adolescents: The HELENA study,” Journal of Science and Medicine in Sport, pp. 373–379, 2016, doi: 10.1016/j.jsams.2016.08.003.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27035
H. Xue et al., “Sedentary Behavior Is Independently Related to Fat Mass among Children and Adolescents in South China,” Nutrients, Art. no. 667, 2016, doi: 10.3390/nu8110667.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27036
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),” British Journal of Nutrition, pp. 1298–1305, 2016, doi: 10.1017/s0007114516002932.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27037
R. Muckelbauer et al., “Changes in water and sugar-containing beverage consumption and body weight outcomes in children,” British Journal of Nutrition, pp. 2057–2066, 2016, doi: 10.1017/s0007114516001136.
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27038
G. Cheng, R. Duan, S. Kranz, L. Libuda, and L. Zhang, “Development of a Dietary Index to Assess Overall Diet Quality for Chinese School-Aged Children: The Chinese Children Dietary Index,” Journal of the Academy of Nutrition and Dietetics, pp. 608–617, 2016, doi: 10.1016/j.jand.2015.11.010.
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 27245
V. Schöppner, K. Westhues, and T. Westhues, “A New Sample Preparation Method to Investigate Melting Phenomena within a Partly Filled Melting Zone Of Co-Rotating Twin Screw Extruders,” presented at the 32nd International Conference of the Polymer Processing Society (PPS), Lyon (Frankreich), 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 27246
E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “An Approach to Non-Destructive Testing of Aged Polymers,” presented at the 32nd International Conference of the Polymer Processing Society (PPS), Lyon (Frankreich), 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 27248
V. Schöppner, S. Brockhaus, C. Penner, and J. Möckel, “Auswirkungen von Betriebsparametern in der Heißluftvulkanisation,” GAK Gummi Fasern Kunststoffe, no. 69. Jg. Heft 7, pp. 410–413, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 27249
V. Schöppner, S. Littek, A. Döring, and D. Kuckling, “Berechnung des Materialabbaus von PP und PS in der Plastifiziereinheit Teil 1: Belastung und Materialmodellierung,” Zeitschrift Kunststofftechnik / Journal of Plastics Technology, p. 18, 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 27250
E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “Detecting Molecular Damage - Non-Destructive Characterization of Molecular Changes in Aged Polymers,” Kunststoffe international, no. 10. Jg. Heft 4, pp. 43–45, 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 27251
E. Moritzer, T. Nordmeyer, L. Enneking, A. Grishin, A. Knospe, and C. Buske, “Development of an Inline Plasma Treatment During Injection Molding Process,” presented at the 74th Annual Technical Conference of the Society of Plastics Engineers (ANTEC), Indianapolis (USA), 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 27252
E. Moritzer, C. Budde, and M. Hüttner, “Die Riveting – A New Joining Technology for Composite Sheet-Metal-Hybrid Joints,” presented at the Joining in Car Body Engineering 2016, Bad Nauheim (Deutschland), 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 27253
E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “Ein Ansatz zur zerstörungsfreien Prüfung von hydrothermisch gealterten Polymeren,” presented at the Safe and Reliable Structures, Dalheim (Deutschland), 2016.
LibreCat