A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures
G. Schellhorn, J. Derrick, H. Wehrheim, ACM Trans. Comput. Log. (2014) 31:1--31:37.

Quiescent Consistency: Defining and Verifying Relaxed Linearizability
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, H. Wehrheim, in: C. B. Jones, P. Pihlajasaari, J. Sun (Eds.), FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.

Handling TSO in Mechanized Linearizability Proofs
O. Travkin, H. Wehrheim, in: E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.

Timed Automata Verification via I with Zones
T. Isenberg, H. Wehrheim, 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, 2014, pp. 203--218.

Managing LTL Properties in Event-B Refinement
S. A. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, in: E. Albert, E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.

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

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

Fish and rapeseed oil consumption in infants and mothers: dietary habits and determinants in a nationwide sample in Germany
M. Stimming, C.M. Mesch, M. Kersting, L. Libuda, European Journal of Nutrition (2014) 1069–1080.

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

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

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

Food variety in commercial and homemade complementary meals for infants in Germany. Market survey and dietary practice
C.M. Mesch, M. Stimming, K. Foterek, A. Hilbig, U. Alexy, M. Kersting, L. Libuda, Appetite (2014) 113–119.

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

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

Too Much of a Good Thing? Welfare Consequences of Market Transparency
Y. Gu, B. Hehenkamp, Journal of Institutional and Theoretical Economics JITE 170 (2014) 225–248.

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

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

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

Twenty years of learning with the World Wide Web
R. Keil, H. Selke, F. Winkelnkemper, (2014) 51–60.

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