Schellhorn, Gerhard, et al. “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.”10.1145/2629496__ACM Trans. Comput. Log., no. 4, 2014, pp. 31:1--31:37, doi:10.1145/2629496.
LibreCat: /record/3169
DOI: 10.1145/2629496

Derrick, John, et al. “Quiescent Consistency: Defining and Verifying Relaxed Linearizability.”10.1007/978-3-319-06410-9_15__FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones et al., 2014, pp. 200--214, doi:10.1007/978-3-319-06410-9_15.
LibreCat: /record/3170
DOI: 10.1007/978-3-319-06410-9_15

Travkin, Oleg, and Heike Wehrheim. “Handling TSO in Mechanized Linearizability Proofs.”10.1007/978-3-319-13338-6_11__Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, edited by Eran Yahav, 2014, pp. 132--147, doi:10.1007/978-3-319-13338-6_11.
LibreCat: /record/3171
DOI: 10.1007/978-3-319-13338-6_11

Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via I with Zones.”10.1007/978-3-319-11737-9_14__Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, edited by Stephan Merz and Jun Pang, 2014, pp. 203--218, doi:10.1007/978-3-319-11737-9_14.
LibreCat: /record/3172
DOI: 10.1007/978-3-319-11737-9_14

A. Schneider, Steve, et al. “Managing LTL Properties in Event-B Refinement.”10.1007/978-3-319-10181-1_14__Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, edited by Elvira Albert and Emil Sekerinski, 2014, pp. 221--237, doi:10.1007/978-3-319-10181-1_14.
LibreCat: /record/3173
DOI: 10.1007/978-3-319-10181-1_14

Schneider, Steve, et al. “Managing LTL Properties in Event-B Refinement.” CoRR, 2014.
LibreCat: /record/3174

Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via I.” CoRR, 2014.
LibreCat: /record/3175

Stimming, Madlen, et al. “Fish and Rapeseed Oil Consumption in Infants and Mothers: Dietary Habits and Determinants in a Nationwide Sample in Germany.”10.1007/s00394-014-0784-y__European Journal of Nutrition, 2014, pp. 1069–80, doi:10.1007/s00394-014-0784-y.
LibreCat: /record/27041
DOI: 10.1007/s00394-014-0784-y

Stimming, Madlen, et al. “Vitamin E Content and Estimated Need in German Infant and Follow-On Formulas With and Without Long-Chain Polyunsaturated Fatty Acids (LC-PUFA) Enrichment.”10.1021/jf502469b__Journal of Agricultural and Food Chemistry, 2014, pp. 10153–61, doi:10.1021/jf502469b.
LibreCat: /record/27042
DOI: 10.1021/jf502469b

Vyncke, Krishna, et al. “Dietary Lipid Intake Only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors.”10.1007/s11745-014-3935-2__Lipids, 2014, pp. 881–93, doi:10.1007/s11745-014-3935-2.
LibreCat: /record/27044
DOI: 10.1007/s11745-014-3935-2

Bel-Serrat, Silvia, et al. “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.”10.1017/s0007114514003183__British Journal of Nutrition, 2014, pp. 2049–59, doi:10.1017/s0007114514003183.
LibreCat: /record/27059
DOI: 10.1017/s0007114514003183

Mesch, Christina M., et al. “Food Variety in Commercial and Homemade Complementary Meals for Infants in Germany. Market Survey and Dietary Practice.”10.1016/j.appet.2014.01.074__Appetite, 2014, pp. 113–19, doi:10.1016/j.appet.2014.01.074.
LibreCat: /record/27060
DOI: 10.1016/j.appet.2014.01.074

Mutter, Tobias, and Dennis Kundisch. “Behavioral Mechanisms Prompted by Badges: The Goal-Gradient Hypothesis.” Proceedings of the International Conference on Information Systems (ICIS), 2014.
LibreCat: /record/2707

Herrmann, Philipp. The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience. 2014.
LibreCat: /record/2708

Gu, Yiquan, and Burkhard Hehenkamp. “Too Much of a Good Thing? Welfare Consequences of Market Transparency.”10.1628/093245614x13895979380392__Journal of Institutional and Theoretical Economics JITE, vol. 170, no. 2, Mohr Siebeck, 2014, pp. 225–48, doi:10.1628/093245614x13895979380392.
LibreCat: /record/2709
DOI: 10.1628/093245614x13895979380392

Herrmann, Philipp, and Mohammad Rahman. “The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience.” Workshop on Information Systems &; Economics (WISE), 2014.
LibreCat: /record/2713

John, Thomas. “Modeling Languages for Business Models as Tools for Innovation: Towards a Theoretical Foundation.” Proceedings of the Americas’ Conference on Information Systems (AMCIS), 2014.
LibreCat: /record/2714

Görzen, Thomas, et al. “Research on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet.” Proceedings of the European Electric Vehicle Congress (EEVC), 2014.
LibreCat: /record/2715

Keil, Reinhard, et al. Twenty Years of Learning with the World Wide Web. Edited by Stephan Trahasch et al., 2014, pp. 51–60.
LibreCat: /record/27166

Winkelnkemper, Felix, and Reinhard Keil. Zwischen Design Und Flexibilit\'22at - Zur Ergonomie Des Flat Design. Edited by Andreas Butz and Johann  Schlichter, vol. 2014, Oldenbourg Verlag, 2014, pp. 255–64.
LibreCat: /record/27167