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
Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts
D. Hofheinz, T. Jager, A. Rupp, in: Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II, 2016, pp. 146--168.
LibreCat
| DOI
D. Hofheinz, T. Jager, A. Rupp, in: Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II, 2016, pp. 146--168.
2016 | Conference Paper | LibreCat-ID: 3119
Verifiable Random Functions from Standard Assumptions
D. Hofheinz, T. Jager, in: Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I, 2016, pp. 336--362.
LibreCat
| DOI
D. Hofheinz, T. Jager, in: Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I, 2016, pp. 336--362.
2016 | Conference Paper | LibreCat-ID: 3157
Verification of AUTOSAR Software Architectures with Timed Automata
S. Beringer, H. Wehrheim, in: M. H. ter Beek, S. Gnesi, A. Knapp (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, 2016, pp. 189--204.
LibreCat
| Files available
| DOI
S. Beringer, H. Wehrheim, in: M. H. ter Beek, S. Gnesi, A. Knapp (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, 2016, pp. 189--204.
2016 | Conference Paper | LibreCat-ID: 3158
Verification of Concurrent Programs on Weak Memory Models
O. Travkin, H. Wehrheim, in: A. Sampaio, F. Wang (Eds.), Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, 2016, pp. 3--24.
LibreCat
| DOI
O. Travkin, H. Wehrheim, in: A. Sampaio, F. Wang (Eds.), Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, 2016, pp. 3--24.
2016 | Conference Paper | LibreCat-ID: 3159
Towards a Thread-Local Proof Technique for Starvation Freedom
G. Schellhorn, O. Travkin, H. Wehrheim, in: M. Huisman (Ed.), Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016, pp. 193--209.
LibreCat
| DOI
G. Schellhorn, O. Travkin, H. Wehrheim, in: M. Huisman (Ed.), Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016, pp. 193--209.
2016 | Conference Paper | LibreCat-ID: 3160
Proving Opacity of a Pessimistic {STM}
S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, H. Wehrheim, in: P. Fatourou, E. Jim{\’{e}}nez, F. Pedone (Eds.), 20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain, 2016, pp. 35:1--35:17.
LibreCat
| DOI
S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, H. Wehrheim, in: P. Fatourou, E. Jim{\’{e}}nez, F. Pedone (Eds.), 20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain, 2016, pp. 35:1--35:17.
2016 | Journal Article | LibreCat-ID: 3161
Deriving approximation tolerance constraints from verification runs
T. Isenberg, M.-}Christine Jakobs, F. Pauck, H. Wehrheim, CoRR (2016).
LibreCat
T. Isenberg, M.-}Christine Jakobs, F. Pauck, H. Wehrheim, CoRR (2016).
2016 | Conference Paper | LibreCat-ID: 2699
Can the Crowd Substitute Experts in Evaluation of Creative Ideas? An Experimental Study Using Business Models
T. Görzen, D. Kundisch, in: Proceedings of the 22nd Americas’ Conference on Information Systems (AMCIS), 2016.
LibreCat
T. Görzen, D. Kundisch, in: Proceedings of the 22nd Americas’ Conference on Information Systems (AMCIS), 2016.
2016 | Conference Paper | LibreCat-ID: 2700
Can the Crowd Substitute Experts in Evaluation of Creative Jobs? The Case of Business Models
T. Görzen, D. Kundisch, in: Proceedings of the 24th European Conference on Information Systems (ECIS), 2016.
LibreCat
T. Görzen, D. Kundisch, in: Proceedings of the 24th European Conference on Information Systems (ECIS), 2016.
2016 | Conference Paper | LibreCat-ID: 2701
Read this Paper! A Field Experiment on the Role of a Call-To-Action in Paid Search
D. Schlangenotto, D. Kundisch, in: Proceedings of the 24th European Conference on Information Systems (ECIS), 2016.
LibreCat
D. Schlangenotto, D. Kundisch, in: Proceedings of the 24th European Conference on Information Systems (ECIS), 2016.
2016 | Journal Article | LibreCat-ID: 27034
Fitness and fatness in relation with attention capacity in European adolescents: The HELENA study
C. Cadenas-Sanchez, J. Vanhelst, J.R. Ruiz, R. Castillo-Gualda, L. Libuda, I. Labayen, P. De Miguel-Etayo, A. Marcos, E. Molnár, A. Catena, L.A. Moreno, M. Sjöström, F. Gottrand, K. Widhalm, F.B. Ortega, Journal of Science and Medicine in Sport (2016) 373–379.
LibreCat
| DOI
C. Cadenas-Sanchez, J. Vanhelst, J.R. Ruiz, R. Castillo-Gualda, L. Libuda, I. Labayen, P. De Miguel-Etayo, A. Marcos, E. Molnár, A. Catena, L.A. Moreno, M. Sjöström, F. Gottrand, K. Widhalm, F.B. Ortega, Journal of Science and Medicine in Sport (2016) 373–379.
2016 | Journal Article | LibreCat-ID: 27035
Sedentary Behavior Is Independently Related to Fat Mass among Children and Adolescents in South China
H. Xue, G. Tian, R. Duan, L. Quan, L. Zhao, M. Yang, L. Libuda, R. Muckelbauer, G. Cheng, Nutrients (2016).
LibreCat
| DOI
H. Xue, G. Tian, R. Duan, L. Quan, L. Zhao, M. Yang, L. Libuda, R. Muckelbauer, G. Cheng, Nutrients (2016).
2016 | Journal Article | LibreCat-ID: 27036
Lunch at school and children’s cognitive functioning in the early afternoon: results from the Cognition Intervention Study Dortmund Continued (CoCo)
M. Schröder, K. Müller, M. Falkenstein, P. Stehle, M. Kersting, L. Libuda, British Journal of Nutrition (2016) 1298–1305.
LibreCat
| DOI
M. Schröder, K. Müller, M. Falkenstein, P. Stehle, M. Kersting, L. Libuda, British Journal of Nutrition (2016) 1298–1305.
2016 | Journal Article | LibreCat-ID: 27037
Changes in water and sugar-containing beverage consumption and body weight outcomes in children
R. Muckelbauer, S.L. Gortmaker, L. Libuda, M. Kersting, K. Clausen, B. Adelberger, J. Müller-Nordhorn, British Journal of Nutrition (2016) 2057–2066.
LibreCat
| DOI
R. Muckelbauer, S.L. Gortmaker, L. Libuda, M. Kersting, K. Clausen, B. Adelberger, J. Müller-Nordhorn, British Journal of Nutrition (2016) 2057–2066.
2016 | Journal Article | LibreCat-ID: 27038
Development of a Dietary Index to Assess Overall Diet Quality for Chinese School-Aged Children: The Chinese Children Dietary Index
G. Cheng, R. Duan, S. Kranz, L. Libuda, L. Zhang, Journal of the Academy of Nutrition and Dietetics (2016) 608–617.
LibreCat
| DOI
G. Cheng, R. Duan, S. Kranz, L. Libuda, L. Zhang, Journal of the Academy of Nutrition and Dietetics (2016) 608–617.
2016 | Conference Paper | LibreCat-ID: 27245
A New Sample Preparation Method to Investigate Melting Phenomena within a Partly Filled Melting Zone Of Co-Rotating Twin Screw Extruders
V. Schöppner, K. Westhues, T. Westhues, in: 32nd International Conference of the Polymer Processing Society (PPS), Lyon (Frankreich), 2016.
LibreCat
V. Schöppner, K. Westhues, T. Westhues, in: 32nd International Conference of the Polymer Processing Society (PPS), Lyon (Frankreich), 2016.
2016 | Conference Paper | LibreCat-ID: 27246
An Approach to Non-Destructive Testing of Aged Polymers
E. Moritzer, M. Hüttner, B. Henning, M. Webersen, in: 32nd International Conference of the Polymer Processing Society (PPS), Lyon (Frankreich), 2016.
LibreCat
E. Moritzer, M. Hüttner, B. Henning, M. Webersen, in: 32nd International Conference of the Polymer Processing Society (PPS), Lyon (Frankreich), 2016.
2016 | Journal Article | LibreCat-ID: 27248
Auswirkungen von Betriebsparametern in der Heißluftvulkanisation
V. Schöppner, S. Brockhaus, C. Penner, J. Möckel, GAK Gummi Fasern Kunststoffe (2016) 410–413.
LibreCat
V. Schöppner, S. Brockhaus, C. Penner, J. Möckel, GAK Gummi Fasern Kunststoffe (2016) 410–413.
2016 | Journal Article | LibreCat-ID: 27249
Berechnung des Materialabbaus von PP und PS in der Plastifiziereinheit Teil 1: Belastung und Materialmodellierung
V. Schöppner, S. Littek, A. Döring, D. Kuckling, Zeitschrift Kunststofftechnik / Journal of Plastics Technology (2016) 18.
LibreCat
V. Schöppner, S. Littek, A. Döring, D. Kuckling, Zeitschrift Kunststofftechnik / Journal of Plastics Technology (2016) 18.
2016 | Journal Article | LibreCat-ID: 27250
Detecting Molecular Damage - Non-Destructive Characterization of Molecular Changes in Aged Polymers
E. Moritzer, M. Hüttner, B. Henning, M. Webersen, Kunststoffe International (2016) 43–45.
LibreCat
E. Moritzer, M. Hüttner, B. Henning, M. Webersen, Kunststoffe International (2016) 43–45.