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
@inproceedings{Travkin_Wehrheim_2016, series={Lecture Notes in Computer Science}, title={Verification of Concurrent Programs on Weak Memory Models}, DOI={10.1007/978-3-319-46750-4_1}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings}, author={Travkin, Oleg and Wehrheim, Heike}, editor={Sampaio, Augusto and Wang, FarnEditors}, year={2016}, pages={3--24}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
@inproceedings{Schellhorn_Travkin_Wehrheim_2016, series={Lecture Notes in Computer Science}, title={Towards a Thread-Local Proof Technique for Starvation Freedom}, DOI={10.1007/978-3-319-33693-0_13}, booktitle={Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings}, author={Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}, editor={Huisman, MariekeEditor}, year={2016}, pages={193--209}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3160
@inproceedings{Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2016, series={LIPIcs}, title={Proving Opacity of a Pessimistic {STM}}, DOI={10.4230/LIPIcs.OPODIS.2016.35}, booktitle={20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain}, author={Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Fatourou, Panagiota and Jim{\’{e}}nez, Ernesto and Pedone, FernandoEditors}, year={2016}, pages={35:1--35:17}, collection={LIPIcs} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3161
@article{Isenberg_Jakobs_Pauck_Wehrheim_2016, title={Deriving approximation tolerance constraints from verification runs}, journal={CoRR}, author={Isenberg, Tobias and Jakobs, Marie{-}Christine and Pauck, Felix and Wehrheim, Heike}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 2699
@inproceedings{Görzen_Kundisch_2016, title={Can the Crowd Substitute Experts in Evaluation of Creative Ideas? An Experimental Study Using Business Models}, booktitle={Proceedings of the 22nd Americas’ Conference on Information Systems (AMCIS)}, author={Görzen, Thomas and Kundisch, Dennis}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 2700
@inproceedings{Görzen_Kundisch_2016, title={Can the Crowd Substitute Experts in Evaluation of Creative Jobs? The Case of Business Models}, booktitle={Proceedings of the 24th European Conference on Information Systems (ECIS)}, author={Görzen, Thomas and Kundisch, Dennis}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 2701
@inproceedings{Schlangenotto_Kundisch_2016, title={Read this Paper! A Field Experiment on the Role of a Call-To-Action in Paid Search}, booktitle={Proceedings of the 24th European Conference on Information Systems (ECIS)}, author={Schlangenotto, Darius and Kundisch, Dennis}, year={2016} }
LibreCat
2016 | Journal Article | LibreCat-ID: 27034
@article{Cadenas-Sanchez_Vanhelst_Ruiz_Castillo-Gualda_Libuda_Labayen_De Miguel-Etayo_Marcos_Molnár_Catena_et al._2016, title={Fitness and fatness in relation with attention capacity in European adolescents: The HELENA study}, DOI={10.1016/j.jsams.2016.08.003}, journal={Journal of Science and Medicine in Sport}, author={Cadenas-Sanchez, Cristina and Vanhelst, Jeremy and Ruiz, Jonatan R. and Castillo-Gualda, Ruth and Libuda, Lars and Labayen, Idoia and De Miguel-Etayo, Pilar and Marcos, Ascensión and Molnár, Eszter and Catena, Andrés and et al.}, year={2016}, pages={373–379} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27035
@article{Xue_Tian_Duan_Quan_Zhao_Yang_Libuda_Muckelbauer_Cheng_2016, title={Sedentary Behavior Is Independently Related to Fat Mass among Children and Adolescents in South China}, DOI={10.3390/nu8110667}, number={667}, journal={Nutrients}, author={Xue, Hongmei and Tian, Guo and Duan, Ruonan and Quan, Liming and Zhao, Li and Yang, Min and Libuda, Lars and Muckelbauer, Rebecca and Cheng, Guo}, year={2016} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27036
@article{Schröder_Müller_Falkenstein_Stehle_Kersting_Libuda_2016, title={Lunch at school and children’s cognitive functioning in the early afternoon: results from the Cognition Intervention Study Dortmund Continued (CoCo)}, DOI={10.1017/s0007114516002932}, journal={British Journal of Nutrition}, author={Schröder, Maike and Müller, Katrin and Falkenstein, Michael and Stehle, Peter and Kersting, Mathilde and Libuda, Lars}, year={2016}, pages={1298–1305} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27037
@article{Muckelbauer_Gortmaker_Libuda_Kersting_Clausen_Adelberger_Müller-Nordhorn_2016, title={Changes in water and sugar-containing beverage consumption and body weight outcomes in children}, DOI={10.1017/s0007114516001136}, journal={British Journal of Nutrition}, author={Muckelbauer, Rebecca and Gortmaker, Steven L. and Libuda, Lars and Kersting, Mathilde and Clausen, Kerstin and Adelberger, Bettina and Müller-Nordhorn, Jacqueline}, year={2016}, pages={2057–2066} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27038
@article{Cheng_Duan_Kranz_Libuda_Zhang_2016, title={Development of a Dietary Index to Assess Overall Diet Quality for Chinese School-Aged Children: The Chinese Children Dietary Index}, DOI={10.1016/j.jand.2015.11.010}, journal={Journal of the Academy of Nutrition and Dietetics}, author={Cheng, Guo and Duan, Ruonan and Kranz, Sibylle and Libuda, Lars and Zhang, Lishi}, year={2016}, pages={608–617} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 27245
@inproceedings{Schöppner_Westhues_Westhues_2016, place={Lyon (Frankreich)}, title={A New Sample Preparation Method to Investigate Melting Phenomena within a Partly Filled Melting Zone Of Co-Rotating Twin Screw Extruders}, booktitle={32nd International Conference of the Polymer Processing Society (PPS)}, author={Schöppner, Volker and Westhues, K. and Westhues, T}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 27246
@inproceedings{Moritzer_Hüttner_Henning_Webersen_2016, place={Lyon (Frankreich)}, title={An Approach to Non-Destructive Testing of Aged Polymers}, booktitle={32nd International Conference of the Polymer Processing Society (PPS)}, author={Moritzer, Elmar and Hüttner, M. and Henning, Bernd and Webersen, Manuel}, year={2016} }
LibreCat
2016 | Journal Article | LibreCat-ID: 27248
@article{Schöppner_Brockhaus_Penner_Möckel_2016, title={Auswirkungen von Betriebsparametern in der Heißluftvulkanisation}, number={69. Jg. Heft 7}, journal={GAK Gummi Fasern Kunststoffe}, author={Schöppner, Volker and Brockhaus, S. and Penner, C. and Möckel, J.}, year={2016}, pages={410–413} }
LibreCat
2016 | Journal Article | LibreCat-ID: 27249
@article{Schöppner_Littek_Döring_Kuckling_2016, title={Berechnung des Materialabbaus von PP und PS in der Plastifiziereinheit Teil 1: Belastung und Materialmodellierung}, journal={Zeitschrift Kunststofftechnik / Journal of Plastics Technology}, author={Schöppner, Volker and Littek, S. and Döring, Artjom and Kuckling, Dirk}, year={2016}, pages={18} }
LibreCat
2016 | Journal Article | LibreCat-ID: 27250
@article{Moritzer_Hüttner_Henning_Webersen_2016, title={Detecting Molecular Damage - Non-Destructive Characterization of Molecular Changes in Aged Polymers}, number={10. Jg. Heft 4}, journal={Kunststoffe international}, author={Moritzer, Elmar and Hüttner, M. and Henning, Bernd and Webersen, Manuel}, year={2016}, pages={43–45} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 27251
@inproceedings{Moritzer_Nordmeyer_Enneking_Grishin_Knospe_Buske_2016, place={Indianapolis (USA)}, title={Development of an Inline Plasma Treatment During Injection Molding Process}, booktitle={74th Annual Technical Conference of the Society of Plastics Engineers (ANTEC)}, author={Moritzer, Elmar and Nordmeyer, T. and Enneking, L. and Grishin, A. and Knospe, A. and Buske, C.}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 27252
@inproceedings{Moritzer_Budde_Hüttner_2016, place={Bad Nauheim (Deutschland)}, title={Die Riveting – A New Joining Technology for Composite Sheet-Metal-Hybrid Joints}, booktitle={Joining in Car Body Engineering 2016}, author={Moritzer, Elmar and Budde, C. and Hüttner, M.}, year={2016} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 27253
@inproceedings{Moritzer_Hüttner_Henning_Webersen_2016, place={Dalheim (Deutschland)}, title={Ein Ansatz zur zerstörungsfreien Prüfung von hydrothermisch gealterten Polymeren}, booktitle={Safe and Reliable Structures}, author={Moritzer, Elmar and Hüttner, M. and Henning, Bernd and Webersen, Manuel}, year={2016} }
LibreCat