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.
2002 Publications
2014 | Journal Article | LibreCat-ID: 3169
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
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3170
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
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
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
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
Isenberg, T., & Wehrheim, H. (2014). Timed Automata Verification via {IC3} 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
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
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
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3174
Schneider, S., Treharne, H., Wehrheim, H., & M. Williams, D. (2014). Managing {LTL} properties in Event-B refinement. CoRR.
LibreCat
2014 | Journal Article | LibreCat-ID: 3175
Isenberg, T., & Wehrheim, H. (2014). Proof-Carrying Hardware via {IC3}. CoRR.
LibreCat
2014 | Journal Article | LibreCat-ID: 27041
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
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27042
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
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27044
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
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27059
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
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27060
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
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 2707
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.
LibreCat
2014 | Conference Paper | LibreCat-ID: 2708
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.
LibreCat
2014 | Journal Article | LibreCat-ID: 2709
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
LibreCat
| DOI
2014 | Conference Abstract | LibreCat-ID: 2713
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.
LibreCat
2014 | Conference Paper | LibreCat-ID: 2714
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.
LibreCat
2014 | Conference Paper | LibreCat-ID: 2715
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.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27166
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).
LibreCat
2014 | Conference Paper | LibreCat-ID: 27167
Winkelnkemper, F., & Keil, R. (2014). Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design (A. Butz & J. Schlichter, Eds.; Vol. 2014, pp. 255–264). Oldenbourg Verlag.
LibreCat