@inproceedings{3118,
  author       = {{Hofheinz, Dennis and Jager, Tibor and Rupp, Andy}},
  booktitle    = {{Theory of Cryptography - 14th International Conference, TCC 2016-B, Beijing, China, October 31 - November 3, 2016, Proceedings, Part II}},
  pages        = {{146----168}},
  title        = {{{Public-Key Encryption with Simulation-Based Selective-Opening Security and Compact Ciphertexts}}},
  doi          = {{10.1007/978-3-662-53644-5_6}},
  year         = {{2016}},
}

@inproceedings{3119,
  author       = {{Hofheinz, Dennis and Jager, Tibor}},
  booktitle    = {{Theory of Cryptography - 13th International Conference, TCC 2016-A, Tel Aviv, Israel, January 10-13, 2016, Proceedings, Part I}},
  pages        = {{336----362}},
  title        = {{{Verifiable Random Functions from Standard Assumptions}}},
  doi          = {{10.1007/978-3-662-49096-9_14}},
  year         = {{2016}},
}

@inproceedings{3157,
  author       = {{Beringer, Steffen and Wehrheim, Heike}},
  booktitle    = {{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}},
  editor       = {{H. ter Beek, Maurice and Gnesi, Stefania and Knapp, Alexander}},
  pages        = {{189----204}},
  title        = {{{Verification of AUTOSAR Software Architectures with Timed Automata}}},
  doi          = {{10.1007/978-3-319-45943-1_13}},
  year         = {{2016}},
}

@inproceedings{3158,
  author       = {{Travkin, Oleg and Wehrheim, Heike}},
  booktitle    = {{Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings}},
  editor       = {{Sampaio, Augusto and Wang, Farn}},
  pages        = {{3----24}},
  title        = {{{Verification of Concurrent Programs on Weak Memory Models}}},
  doi          = {{10.1007/978-3-319-46750-4_1}},
  year         = {{2016}},
}

@inproceedings{3159,
  author       = {{Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}},
  booktitle    = {{Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings}},
  editor       = {{Huisman, Marieke}},
  pages        = {{193----209}},
  title        = {{{Towards a Thread-Local Proof Technique for Starvation Freedom}}},
  doi          = {{10.1007/978-3-319-33693-0_13}},
  year         = {{2016}},
}

@inproceedings{3160,
  author       = {{Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}},
  booktitle    = {{20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain}},
  editor       = {{Fatourou, Panagiota and Jim{\'{e}}nez, Ernesto and Pedone, Fernando}},
  pages        = {{35:1----35:17}},
  title        = {{{Proving Opacity of a Pessimistic {STM}}}},
  doi          = {{10.4230/LIPIcs.OPODIS.2016.35}},
  year         = {{2016}},
}

@article{3161,
  author       = {{Isenberg, Tobias and Jakobs, Marie{-}Christine and Pauck, Felix and Wehrheim, Heike}},
  journal      = {{CoRR}},
  title        = {{{Deriving approximation tolerance constraints from verification runs}}},
  year         = {{2016}},
}

@inproceedings{2699,
  author       = {{Görzen, Thomas and Kundisch, Dennis}},
  booktitle    = {{Proceedings of the 22nd Americas' Conference on Information Systems (AMCIS)}},
  location     = {{San Diego, USA}},
  title        = {{{Can the Crowd Substitute Experts in Evaluation of Creative Ideas? An Experimental Study Using Business Models}}},
  year         = {{2016}},
}

@inproceedings{2700,
  author       = {{Görzen, Thomas and Kundisch, Dennis}},
  booktitle    = {{Proceedings of the 24th European Conference on Information Systems (ECIS)}},
  location     = {{Istanbul, Turkey}},
  title        = {{{Can the Crowd Substitute Experts in Evaluation of Creative Jobs? The Case of Business Models}}},
  year         = {{2016}},
}

@inproceedings{2701,
  author       = {{Schlangenotto, Darius and Kundisch, Dennis}},
  booktitle    = {{Proceedings of the 24th European Conference on Information Systems (ECIS)}},
  location     = {{Istanbul, Turkey}},
  title        = {{{Read this Paper! A Field Experiment on the Role of a Call-To-Action in Paid Search}}},
  year         = {{2016}},
}

@article{27034,
  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 Moreno, Luis A. and Sjöström, Michael and Gottrand, Frederic and Widhalm, Kurt and Ortega, Francisco B.}},
  issn         = {{1440-2440}},
  journal      = {{Journal of Science and Medicine in Sport}},
  pages        = {{373--379}},
  title        = {{{Fitness and fatness in relation with attention capacity in European adolescents: The HELENA study}}},
  doi          = {{10.1016/j.jsams.2016.08.003}},
  year         = {{2016}},
}

@article{27035,
  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}},
  issn         = {{2072-6643}},
  journal      = {{Nutrients}},
  title        = {{{Sedentary Behavior Is Independently Related to Fat Mass among Children and Adolescents in South China}}},
  doi          = {{10.3390/nu8110667}},
  year         = {{2016}},
}

@article{27036,
  abstract     = {{<jats:title>Abstract</jats:title><jats:p>Studies about effects of school lunch on children’s cognition are rare; two previous studies (CogniDo, CogniDo PLUS) generally found no negative effects of lunch on children’s cognitive performance at the end of lunch break (i.e. 45 min after finishing lunch), but suggested potential beneficial effects for single parameters. Therefore, the present study investigated the hypothesis of potential positive effects of school lunch on cognitive performance at early afternoon (90 min after finishing lunch). A randomised, cross-over intervention trial was conducted at a comprehensive school with fifth and sixth grade students. Participants were randomised into two groups: On day 1, group 1 did not eat lunch, whereas group 2 received lunch <jats:italic>ad libitum</jats:italic>. On day 2 (1 week later), group 2 did not eat lunch and group 1 received lunch <jats:italic>ad libitum</jats:italic>. The cognitive parameters task switching, working memory updating and alertness were tested using a computerised test battery 90 min after finishing the meal. Of the 204 recruited children, fifty were excluded because of deviations from the study protocol or absence on one of the 2 test days, which resulted in 154 participants. Data showed no significant effects of lunch on task switching, working memory updating and alertness (<jats:italic>P</jats:italic> values between 0·07 and 0·79). The present study suggests that school lunch does not seem to have beneficial effects on children’s cognitive functions regarding the conducted tests at early afternoon. Together with our previous studies, we conclude that school lunch in general has no negative effects on cognitive performance in children. However, beneficial effects seem to be restricted to a relatively short time period after eating lunch.</jats:p>}},
  author       = {{Schröder, Maike and Müller, Katrin and Falkenstein, Michael and Stehle, Peter and Kersting, Mathilde and Libuda, Lars}},
  issn         = {{0007-1145}},
  journal      = {{British Journal of Nutrition}},
  pages        = {{1298--1305}},
  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}},
  year         = {{2016}},
}

@article{27037,
  abstract     = {{<jats:title>Abstract</jats:title><jats:p>An intervention study showed that promoting water consumption in schoolchildren prevented overweight, but a mechanism linking water consumption to overweight was not substantiated. We investigated whether increased water consumption replaced sugar-containing beverages and whether changes in water or sugar-containing beverages influenced body weight outcomes. In a secondary analysis of the intervention study in Germany, we analysed combined longitudinal data from the intervention and control groups. Body weight and height were measured and beverage consumption was self-reported by a 24-h recall questionnaire at the beginning and end of the school year 2006/2007. The effect of a change in water consumption on change in sugar-containing beverage (soft drinks and juices) consumption, change in BMI (kg/m<jats:sup>2</jats:sup>) and prevalence of overweight and obesity at follow-up was analysed using regression analyses. Of 3220 enroled children, 1987 children (mean age 8·3 (<jats:sc>sd</jats:sc> 0·7) years) from thirty-two schools were analysed. Increased water consumption by 1 glass/d was associated with a reduced consumption of sugar-containing beverages by 0·12 glasses/d (95 % CI −0·16, −0·08) but was not associated with changes in BMI (<jats:italic>P</jats:italic>=0·63). Increased consumption of sugar-containing beverages by 1 glass/d was associated with an increased BMI by 0·02 (95 % CI 0·00, 0·03) kg/m<jats:sup>2</jats:sup> and increased prevalence of obesity (OR 1·22; 95 % CI 1·04, 1·44) but not with overweight (<jats:italic>P</jats:italic>=0·83). In conclusion, an increase in water consumption can replace sugar-containing beverages. As sugar-containing beverages were associated with weight gain, this replacement might explain the prevention of obesity through the promotion of water consumption.</jats:p>}},
  author       = {{Muckelbauer, Rebecca and Gortmaker, Steven L. and Libuda, Lars and Kersting, Mathilde and Clausen, Kerstin and Adelberger, Bettina and Müller-Nordhorn, Jacqueline}},
  issn         = {{0007-1145}},
  journal      = {{British Journal of Nutrition}},
  pages        = {{2057--2066}},
  title        = {{{Changes in water and sugar-containing beverage consumption and body weight outcomes in children}}},
  doi          = {{10.1017/s0007114516001136}},
  year         = {{2016}},
}

@article{27038,
  author       = {{Cheng, Guo and Duan, Ruonan and Kranz, Sibylle and Libuda, Lars and Zhang, Lishi}},
  issn         = {{2212-2672}},
  journal      = {{Journal of the Academy of Nutrition and Dietetics}},
  pages        = {{608--617}},
  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}},
  year         = {{2016}},
}

@inproceedings{27245,
  author       = {{Schöppner, Volker and Westhues, K. and Westhues, T}},
  booktitle    = {{32nd International Conference of the Polymer Processing Society (PPS)}},
  location     = {{Lyon (Frankreich)}},
  title        = {{{A New Sample Preparation Method to Investigate Melting Phenomena within a Partly Filled Melting Zone Of Co-Rotating Twin Screw Extruders}}},
  year         = {{2016}},
}

@inproceedings{27246,
  author       = {{Moritzer, Elmar and Hüttner, M. and Henning, Bernd and Webersen, Manuel}},
  booktitle    = {{32nd International Conference of the Polymer Processing Society (PPS)}},
  location     = {{Lyon (Frankreich)}},
  title        = {{{An Approach to Non-Destructive Testing of Aged Polymers}}},
  year         = {{2016}},
}

@article{27248,
  author       = {{Schöppner, Volker and Brockhaus, S. and Penner, C. and Möckel, J.}},
  issn         = {{0176-1625}},
  journal      = {{GAK Gummi Fasern Kunststoffe}},
  number       = {{69. Jg. Heft 7}},
  pages        = {{410--413}},
  title        = {{{Auswirkungen von Betriebsparametern in der Heißluftvulkanisation}}},
  year         = {{2016}},
}

@article{27249,
  author       = {{Schöppner, Volker and Littek, S. and Döring, Artjom  and Kuckling, Dirk}},
  journal      = {{Zeitschrift Kunststofftechnik / Journal of Plastics Technology}},
  pages        = {{18}},
  title        = {{{Berechnung des Materialabbaus von PP und PS in der Plastifiziereinheit Teil 1: Belastung und Materialmodellierung}}},
  year         = {{2016}},
}

@article{27250,
  author       = {{Moritzer, Elmar and Hüttner, M. and Henning, Bernd and Webersen, Manuel}},
  issn         = {{1862-4243}},
  journal      = {{Kunststoffe international}},
  number       = {{10. Jg. Heft 4}},
  pages        = {{43--45}},
  title        = {{{Detecting Molecular Damage - Non-Destructive Characterization of Molecular Changes in Aged Polymers}}},
  year         = {{2016}},
}