@article{3168, author = {{Tofan, Bogdan and Travkin, Oleg and Schellhorn, Gerhard and Wehrheim, Heike}}, journal = {{Sci. Comput. Program.}}, pages = {{297----314}}, title = {{{Two approaches for proving linearizability of multiset}}}, doi = {{10.1016/j.scico.2014.04.001}}, year = {{2014}}, } @article{3169, author = {{Schellhorn, Gerhard and Derrick, John and Wehrheim, Heike}}, journal = {{{ACM} Trans. Comput. Log.}}, number = {{4}}, pages = {{31:1----31:37}}, title = {{{A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures}}}, doi = {{10.1145/2629496}}, year = {{2014}}, } @inproceedings{3170, author = {{Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Tofan, Bogdan and Travkin, Oleg and Wehrheim, Heike}}, booktitle = {{{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings}}, editor = {{B. Jones, Cliff and Pihlajasaari, Pekka and Sun, Jun}}, pages = {{200----214}}, title = {{{Quiescent Consistency: Defining and Verifying Relaxed Linearizability}}}, doi = {{10.1007/978-3-319-06410-9_15}}, year = {{2014}}, } @inproceedings{3171, author = {{Travkin, Oleg and Wehrheim, Heike}}, booktitle = {{Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings}}, editor = {{Yahav, Eran}}, pages = {{132----147}}, title = {{{Handling {TSO} in Mechanized Linearizability Proofs}}}, doi = {{10.1007/978-3-319-13338-6_11}}, year = {{2014}}, } @inproceedings{3172, author = {{Isenberg, Tobias and Wehrheim, Heike}}, booktitle = {{Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings}}, editor = {{Merz, Stephan and Pang, Jun}}, pages = {{203----218}}, title = {{{Timed Automata Verification via {IC3} with Zones}}}, doi = {{10.1007/978-3-319-11737-9_14}}, year = {{2014}}, } @inproceedings{3173, author = {{A. Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David}}, booktitle = {{Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings}}, editor = {{Albert, Elvira and Sekerinski, Emil}}, pages = {{221----237}}, title = {{{Managing {LTL} Properties in Event-B Refinement}}}, doi = {{10.1007/978-3-319-10181-1_14}}, year = {{2014}}, } @article{3174, author = {{Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David}}, journal = {{CoRR}}, title = {{{Managing {LTL} properties in Event-B refinement}}}, year = {{2014}}, } @article{3175, author = {{Isenberg, Tobias and Wehrheim, Heike}}, journal = {{CoRR}}, title = {{{Proof-Carrying Hardware via {IC3}}}}, year = {{2014}}, } @article{27041, author = {{Stimming, Madlen and Mesch, Christina M. and Kersting, Mathilde and Libuda, Lars}}, issn = {{1436-6207}}, journal = {{European Journal of Nutrition}}, pages = {{1069--1080}}, title = {{{Fish and rapeseed oil consumption in infants and mothers: dietary habits and determinants in a nationwide sample in Germany}}}, doi = {{10.1007/s00394-014-0784-y}}, year = {{2014}}, } @article{27042, author = {{Stimming, Madlen and Mesch, Christina M. and Kersting, Mathilde and Kalhoff, Hermann and Demmelmair, Hans and Koletzko, Berthold and Schmidt, Anne and Böhm, Volker and Libuda, Lars}}, issn = {{0021-8561}}, journal = {{Journal of Agricultural and Food Chemistry}}, pages = {{10153--10161}}, title = {{{Vitamin E Content and Estimated Need in German Infant and Follow-On Formulas With and Without Long-Chain Polyunsaturated Fatty Acids (LC-PUFA) Enrichment}}}, doi = {{10.1021/jf502469b}}, year = {{2014}}, } @article{27044, author = {{Vyncke, Krishna and Huybrechts, Inge and Van Winckel, Myriam and Cuenca Garcia, Magdalena and Labayen, Idoia and Gottrand, Frederic and Widhalm, Kurt and Leclercq, Catherine and Libuda, Lars and Manios, Yannis and Sjostrom, Michael and Molnar, Denes and Moreno, Luis A. and Gonzalez-Gross, Marcela and Spinneker, André and Perez de Heredia, Fatima and Plada, Maria and De Henauw, Stefaan}}, issn = {{0024-4201}}, journal = {{Lipids}}, pages = {{881--893}}, title = {{{Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors}}}, doi = {{10.1007/s11745-014-3935-2}}, year = {{2014}}, } @article{27059, abstract = {{The present study aimed to investigate the relationships between macronutrient intake and serum lipid profile in adolescents from eight European cities participating in the HELENA (Healthy Lifestyle in Europe by Nutrition in Adolescence) cross-sectional study (2006–7), and to assess the role of body fat-related variables in these associations. Weight, height, waist circumference, skinfold thicknesses, total cholesterol, HDL-cholesterol (HDL-C), LDL-cholesterol, TAG, apoB and apoA1 were measured in 454 adolescents (44 % boys) aged 12·5–17·5 years. Macronutrient intake (g/4180 kJ per d (1000 kcal per d)) was assessed using two non-consecutive 24 h dietary recalls. Associations were evaluated by multi-level analysis and adjusted for sex, age, maternal education, centre, sum of four skinfolds, moderate-to-vigorous physical activity, sedentary behaviours and diet quality index for adolescents. Carbohydrate intake was inversely associated with HDL-C (β = − 0·189, P< 0·001). An inverse association was found between fat intake and TAG (β = − 0·319, P< 0·001). Associations between macronutrient intake and serum lipids varied according to adiposity levels, i.e. an inverse association between carbohydrate intake and HDL-C was only observed in those adolescents with a higher waist:height ratio. As serum lipids and excess body fat are the major markers of CVD, these findings should be considered when developing strategies to prevent the risk of CVD among adolescents.}}, author = {{Bel-Serrat, Silvia and Mouratidou, Theodora and Huybrechts, Inge and Labayen, Idoia and Cuenca-García, Magdalena and Palacios, Gonzalo and Breidenassel, Christina and Molnár, Dénes and Roccaldo, Romana and Widhalm, Kurt and Gottrand, Frederic and Kafatos, Anthony and Manios, Yannis and Vyncke, Krishna and Sjöström, Michael and Libuda, Lars and Gómez-Martínez, Sonia and Moreno, Luis A.}}, issn = {{0007-1145}}, journal = {{British Journal of Nutrition}}, pages = {{2049--2059}}, title = {{{Associations between macronutrient intake and serum lipid profile depend on body fat in European adolescents: the Healthy Lifestyle in Europe by Nutrition in Adolescence (HELENA) study}}}, doi = {{10.1017/s0007114514003183}}, year = {{2014}}, } @article{27060, author = {{Mesch, Christina M. and Stimming, Madlen and Foterek, Kristina and Hilbig, Annett and Alexy, Ute and Kersting, Mathilde and Libuda, Lars}}, issn = {{0195-6663}}, journal = {{Appetite}}, pages = {{113--119}}, title = {{{Food variety in commercial and homemade complementary meals for infants in Germany. Market survey and dietary practice}}}, doi = {{10.1016/j.appet.2014.01.074}}, year = {{2014}}, } @inproceedings{2707, author = {{Mutter, Tobias and Kundisch, Dennis}}, booktitle = {{Proceedings of the International Conference on Information Systems (ICIS)}}, location = {{Auckland, Neuseeland}}, title = {{{Behavioral Mechanisms Prompted by Badges: The Goal-Gradient Hypothesis}}}, year = {{2014}}, } @inproceedings{2708, author = {{Herrmann, Philipp}}, location = {{Auckland, Neuseeland}}, title = {{{The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience}}}, year = {{2014}}, } @article{2709, abstract = {{This paper studies welfare consequences of consumer-side market transparency with endogenous entry of firms. Different from most studies, we consider the unique symmetric entry equilibrium, which is in mixed strategies. We identify two effects of market transparency on welfare: a competition effect and a novel market-structure effect. We show, surprisingly, that for almost all demand functions the negative market-structure effect eventually dominates the positive competition effect as the market becomes increasingly transparent. Consumer-side market transparency can therefore be socially excessive even without collusion. The only exception among commonly used demand functions is the set of constant demand functions. }}, author = {{Gu, Yiquan and Hehenkamp, Burkhard}}, issn = {{0932-4569}}, journal = {{Journal of Institutional and Theoretical Economics JITE}}, number = {{2}}, pages = {{225--248}}, publisher = {{Mohr Siebeck}}, title = {{{Too Much of a Good Thing? Welfare Consequences of Market Transparency}}}, doi = {{10.1628/093245614x13895979380392}}, volume = {{170}}, year = {{2014}}, } @inproceedings{2713, author = {{Herrmann, Philipp and Rahman, Mohammad}}, booktitle = {{Workshop on Information Systems & Economics (WISE)}}, location = {{Auckland, Neuseeland}}, title = {{{The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience}}}, year = {{2014}}, } @inproceedings{2714, author = {{John, Thomas}}, booktitle = {{Proceedings of the Americas' Conference on Information Systems (AMCIS)}}, location = {{Savannah, USA}}, title = {{{Modeling Languages for Business Models as Tools for Innovation: Towards a Theoretical Foundation}}}, year = {{2014}}, } @inproceedings{2715, author = {{Görzen, Thomas and Kundisch, Dennis and Ottensmann, C. and Haubrock, A.}}, booktitle = {{Proceedings of the European Electric Vehicle Congress (EEVC)}}, location = {{Brussels, Belgium}}, title = {{{Research on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet}}}, year = {{2014}}, } @inproceedings{27166, author = {{Keil, Reinhard and Selke, Harald and Winkelnkemper, Felix}}, editor = {{Trahasch, Stephan and Pl {\ "o} tzner , Rolf and Schneider, Gerhard and Gayer, Claudia and Sassiat, Daniel and W {\ "o} hrle, Nicole}}, pages = {{51–60}}, title = {{{Twenty years of learning with the World Wide Web}}}, year = {{2014}}, }