Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1920 Publications
2014 | Conference Paper | LibreCat-ID: 3170
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, and H. Wehrheim, “Quiescent Consistency: Defining and Verifying Relaxed Linearizability,” in {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
O. Travkin and H. Wehrheim, “Handling {TSO} in Mechanized Linearizability Proofs,” in Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
T. Isenberg and H. Wehrheim, “Timed Automata Verification via {IC3} with Zones,” in 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.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
S. A. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL} Properties in Event-B Refinement,” in Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3174
S. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL} properties in Event-B refinement,” CoRR, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 3175
T. Isenberg and H. Wehrheim, “Proof-Carrying Hardware via {IC3},” CoRR, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 27041
M. Stimming, C. M. Mesch, M. Kersting, and L. Libuda, “Fish and rapeseed oil consumption in infants and mothers: dietary habits and determinants in a nationwide sample in Germany,” European Journal of Nutrition, pp. 1069–1080, 2014, doi: 10.1007/s00394-014-0784-y.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27042
M. Stimming 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, pp. 10153–10161, 2014, doi: 10.1021/jf502469b.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27044
K. Vyncke et al., “Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors,” Lipids, pp. 881–893, 2014, doi: 10.1007/s11745-014-3935-2.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27059
S. Bel-Serrat 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, pp. 2049–2059, 2014, doi: 10.1017/s0007114514003183.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27060
C. M. Mesch et al., “Food variety in commercial and homemade complementary meals for infants in Germany. Market survey and dietary practice,” Appetite, pp. 113–119, 2014, doi: 10.1016/j.appet.2014.01.074.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 2707
T. Mutter and D. Kundisch, “Behavioral Mechanisms Prompted by Badges: The Goal-Gradient Hypothesis,” in Proceedings of the International Conference on Information Systems (ICIS), Auckland, Neuseeland, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 2708
P. Herrmann, “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, 2014.
LibreCat
2014 | Conference Abstract | LibreCat-ID: 2713
P. Herrmann and M. Rahman, “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, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 2714
T. John, “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, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 2715
T. Görzen, D. Kundisch, C. Ottensmann, and A. Haubrock, “Research on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet,” in Proceedings of the European Electric Vehicle Congress (EEVC), Brussels, Belgium, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27166
R. Keil, H. Selke, and F. Winkelnkemper, “Twenty years of learning with the World Wide Web.” pp. 51–60, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27167
F. Winkelnkemper and R. Keil, “Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design,” 2014, vol. 2014, pp. 255–264.
LibreCat