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.

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.

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.

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.

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.

Schneider, Steve, et al. “Managing LTL Properties in Event-B Refinement.” CoRR, 2014.

Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via I.” CoRR, 2014.

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.

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.

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.

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.

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.

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

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

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.

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.

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.

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.

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

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.