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

Derrick J, Dongol B, Schellhorn G, Tofan B, Travkin O, Wehrheim H. Quiescent Consistency: Defining and Verifying Relaxed Linearizability. In: B. Jones C, Pihlajasaari P, Sun J, eds. FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:200--214. doi:10.1007/978-3-319-06410-9_15
LibreCat: /record/3170
DOI: 10.1007/978-3-319-06410-9_15

Travkin O, Wehrheim H. Handling TSO in Mechanized Linearizability Proofs. In: Yahav E, ed. Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:132--147. doi:10.1007/978-3-319-13338-6_11
LibreCat: /record/3171
DOI: 10.1007/978-3-319-13338-6_11

Isenberg T, Wehrheim H. Timed Automata Verification via I with Zones. In: Merz S, Pang J, eds. Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014: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 S, Treharne H, Wehrheim H, M. Williams D. Managing LTL Properties in Event-B Refinement. In: Albert E, Sekerinski E, eds. Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Lecture Notes in Computer Science. ; 2014:221--237. doi:10.1007/978-3-319-10181-1_14
LibreCat: /record/3173
DOI: 10.1007/978-3-319-10181-1_14

Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing LTL properties in Event-B refinement. CoRR. 2014.
LibreCat: /record/3174

Isenberg T, Wehrheim H. Proof-Carrying Hardware via I. CoRR. 2014.
LibreCat: /record/3175

Stimming M, Mesch CM, Kersting M, Libuda L. Fish and rapeseed oil consumption in infants and mothers: dietary habits and determinants in a nationwide sample in Germany. European Journal of Nutrition. Published online 2014:1069-1080. doi:10.1007/s00394-014-0784-y
LibreCat: /record/27041
DOI: 10.1007/s00394-014-0784-y

Stimming M, Mesch CM, Kersting M, 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. Journal of Agricultural and Food Chemistry. Published online 2014:10153-10161. doi:10.1021/jf502469b
LibreCat: /record/27042
DOI: 10.1021/jf502469b

Vyncke K, Huybrechts I, Van Winckel M, et al. Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors. Lipids. Published online 2014:881-893. doi:10.1007/s11745-014-3935-2
LibreCat: /record/27044
DOI: 10.1007/s11745-014-3935-2

Bel-Serrat S, Mouratidou T, Huybrechts I, 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. British Journal of Nutrition. Published online 2014:2049-2059. doi:10.1017/s0007114514003183
LibreCat: /record/27059
DOI: 10.1017/s0007114514003183

Mesch CM, Stimming M, Foterek K, et al. Food variety in commercial and homemade complementary meals for infants in Germany. Market survey and dietary practice. Appetite. Published online 2014:113-119. doi:10.1016/j.appet.2014.01.074
LibreCat: /record/27060
DOI: 10.1016/j.appet.2014.01.074

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

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

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

Herrmann P, Rahman M. 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). ; 2014.
LibreCat: /record/2713

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

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

Keil R, Selke H, Winkelnkemper F. Twenty years of learning with the World Wide Web. Trahasch S,  Pl  "o tzner  R, Schneider G, Gayer C, Sassiat D, W  "o hrle N, eds. Published online 2014:51–60.
LibreCat: /record/27166

Winkelnkemper F, Keil R. Zwischen Design und Flexibilit\'22at - Zur Ergonomie des Flat Design. In: Butz A,  Schlichter J, eds. Vol 2014. Oldenbourg Verlag; 2014:255-264.
LibreCat: /record/27167