Schellhorn, G., Derrick, J., &; Wehrheim, H. (2014). A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. ACM Trans. Comput. Log., (4), 31:1--31:37.https://doi.org/10.1145/2629496 

Derrick, J., Dongol, B., Schellhorn, G., Tofan, B., Travkin, O., &; Wehrheim, H. (2014). Quiescent Consistency: Defining and Verifying Relaxed Linearizability. In C. B. Jones, P. Pihlajasaari, &; J. Sun (Eds.), FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (pp. 200--214).https://doi.org/10.1007/978-3-319-06410-9_15 

Travkin, O., &; Wehrheim, H. (2014). Handling TSO in Mechanized Linearizability Proofs. In E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings (pp. 132--147).https://doi.org/10.1007/978-3-319-13338-6_11 

Isenberg, T., &; Wehrheim, H. (2014). Timed Automata Verification via I with Zones. In S. Merz &; J. Pang (Eds.), Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings (pp. 203--218).https://doi.org/10.1007/978-3-319-11737-9_14 

A. Schneider, S., Treharne, H., Wehrheim, H., &; M. Williams, D. (2014). Managing LTL Properties in Event-B Refinement. In E. Albert &; E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (pp. 221--237).https://doi.org/10.1007/978-3-319-10181-1_14 

Schneider, S., Treharne, H., Wehrheim, H., &; M. Williams, D. (2014). Managing LTL properties in Event-B refinement. CoRR.

Isenberg, T., &; Wehrheim, H. (2014). Proof-Carrying Hardware via I. CoRR.

Stimming, M., Mesch, C. M., Kersting, M., &; Libuda, L. (2014). Fish and rapeseed oil consumption in infants and mothers: dietary habits and determinants in a nationwide sample in Germany. European Journal of Nutrition, 1069–1080.https://doi.org/10.1007/s00394-014-0784-y 

Stimming, M., Mesch, C. M., Kersting, M., Kalhoff, H., Demmelmair, H., Koletzko, B., Schmidt, A., Böhm, V., &; Libuda, L. (2014). Vitamin E Content and Estimated Need in German Infant and Follow-On Formulas With and Without Long-Chain Polyunsaturated Fatty Acids (LC-PUFA) Enrichment. Journal of Agricultural and Food Chemistry, 10153–10161.https://doi.org/10.1021/jf502469b 

Vyncke, K., Huybrechts, I., Van Winckel, M., Cuenca Garcia, M., Labayen, I., Gottrand, F., Widhalm, K., Leclercq, C., Libuda, L., Manios, Y., Sjostrom, M., Molnar, D., Moreno, L. A., Gonzalez-Gross, M., Spinneker, A., Perez de Heredia, F., Plada, M., &; De Henauw, S. (2014). Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors. Lipids, 881–893.https://doi.org/10.1007/s11745-014-3935-2 

Bel-Serrat, S., Mouratidou, T., Huybrechts, I., Labayen, I., Cuenca-García, M., Palacios, G., Breidenassel, C., Molnár, D., Roccaldo, R., Widhalm, K., Gottrand, F., Kafatos, A., Manios, Y., Vyncke, K., Sjöström, M., Libuda, L., Gómez-Martínez, S., &; Moreno, L. A. (2014). 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. British Journal of Nutrition, 2049–2059.https://doi.org/10.1017/s0007114514003183 

Mesch, C. M., Stimming, M., Foterek, K., Hilbig, A., Alexy, U., Kersting, M., &; Libuda, L. (2014). Food variety in commercial and homemade complementary meals for infants in Germany. Market survey and dietary practice. Appetite, 113–119.https://doi.org/10.1016/j.appet.2014.01.074 

Mutter, T., &; Kundisch, D. (2014). Behavioral Mechanisms Prompted by Badges: The Goal-Gradient Hypothesis. In Proceedings of the International Conference on Information Systems (ICIS). Auckland, Neuseeland.

Herrmann, P. (2014). The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience. Presented at the Workshop on Information Systems &; Economics (WISE), Auckland, Neuseeland.

Gu, Y., &; Hehenkamp, B. (2014). Too Much of a Good Thing? Welfare Consequences of Market Transparency. Journal of Institutional and Theoretical Economics JITE, 170(2), 225–248.https://doi.org/10.1628/093245614x13895979380392 

Herrmann, P., &; Rahman, M. (2014). The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience. In Workshop on Information Systems &; Economics (WISE). Auckland, Neuseeland.

John, T. (2014). Modeling Languages for Business Models as Tools for Innovation: Towards a Theoretical Foundation. In Proceedings of the Americas’ Conference on Information Systems (AMCIS). Savannah, USA.

Görzen, T., Kundisch, D., Ottensmann, C., &; Haubrock, A. (2014). Research on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet. In Proceedings of the European Electric Vehicle Congress (EEVC). Brussels, Belgium.

Keil, R., Selke, H., &; Winkelnkemper, F. (2014). Twenty years of learning with the World Wide Web (S. Trahasch, R.  Pl  "o tzner , G. Schneider, C. Gayer, D. Sassiat, &; N. W  "o hrle, Eds.; pp. 51–60).

Winkelnkemper, F., &; Keil, R. (2014). Zwischen Design und Flexibilit\'22at - Zur Ergonomie des Flat Design (A. Butz &; J.  Schlichter, Eds.; Vol. 2014, pp. 255–264). Oldenbourg Verlag.