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.
2086 Publications
2016 | Conference Paper | LibreCat-ID: 3118
Hofheinz D, Jager T, Rupp A. Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts. In: Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II. ; 2016:146--168. doi:10.1007/978-3-662-53644-5_6
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3119
Hofheinz D, Jager T. Verifiable Random Functions from Standard Assumptions. In: Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I. ; 2016:336--362. doi:10.1007/978-3-662-49096-9_14
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
Beringer S, Wehrheim H. Verification of AUTOSAR Software Architectures with Timed Automata. In: H. ter Beek M, Gnesi S, Knapp A, eds. Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings. Lecture Notes in Computer Science. ; 2016:189--204. doi:10.1007/978-3-319-45943-1_13
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3158
Travkin O, Wehrheim H. Verification of Concurrent Programs on Weak Memory Models. In: Sampaio A, Wang F, eds. Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. Lecture Notes in Computer Science. ; 2016:3--24. doi:10.1007/978-3-319-46750-4_1
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3159
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
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3160
Doherty S, Dongol B, Derrick J, Schellhorn G, Wehrheim H. Proving Opacity of a Pessimistic {STM}. In: Fatourou P, Jim{\’{e}}nez 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
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3161
Isenberg T, Jakobs M-}Christine, Pauck F, Wehrheim H. Deriving approximation tolerance constraints from verification runs. CoRR. 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 2699
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.
LibreCat
2016 | Conference Paper | LibreCat-ID: 2700
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.
LibreCat
2016 | Conference Paper | LibreCat-ID: 2701
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.
LibreCat
2016 | Journal Article | LibreCat-ID: 27034
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
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27035
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
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27036
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
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27037
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
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27038
Cheng G, Duan R, Kranz S, Libuda L, Zhang L. 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. Published online 2016:608-617. doi:10.1016/j.jand.2015.11.010
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 27245
Schöppner V, Westhues K, Westhues T. A New Sample Preparation Method to Investigate Melting Phenomena within a Partly Filled Melting Zone Of Co-Rotating Twin Screw Extruders. In: 32nd International Conference of the Polymer Processing Society (PPS). ; 2016.
LibreCat
2016 | Conference Paper | LibreCat-ID: 27246
Moritzer E, Hüttner M, Henning B, Webersen M. An Approach to Non-Destructive Testing of Aged Polymers. In: 32nd International Conference of the Polymer Processing Society (PPS). ; 2016.
LibreCat
2016 | Journal Article | LibreCat-ID: 27248
Schöppner V, Brockhaus S, Penner C, Möckel J. Auswirkungen von Betriebsparametern in der Heißluftvulkanisation. GAK Gummi Fasern Kunststoffe. 2016;(69. Jg. Heft 7):410-413.
LibreCat
2016 | Journal Article | LibreCat-ID: 27249
Schöppner V, Littek S, Döring A, Kuckling D. Berechnung des Materialabbaus von PP und PS in der Plastifiziereinheit Teil 1: Belastung und Materialmodellierung. Zeitschrift Kunststofftechnik / Journal of Plastics Technology. Published online 2016:18.
LibreCat
2016 | Journal Article | LibreCat-ID: 27250
Moritzer E, Hüttner M, Henning B, Webersen M. Detecting Molecular Damage - Non-Destructive Characterization of Molecular Changes in Aged Polymers. Kunststoffe international. 2016;(10. Jg. Heft 4):43-45.
LibreCat