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, Gerhard, et al. “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.” {ACM} Trans. Comput. Log., no. 4, 2014, pp. 31:1--31:37, doi:10.1145/2629496.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3170
Derrick, John, et al. “Quiescent Consistency: Defining and Verifying Relaxed Linearizability.” {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones et al., 2014, pp. 200--214, doi:10.1007/978-3-319-06410-9_15.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
Travkin, Oleg, and Heike Wehrheim. “Handling {TSO} in Mechanized Linearizability Proofs.” Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, edited by Eran Yahav, 2014, pp. 132--147, doi:10.1007/978-3-319-13338-6_11.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via {IC3} with Zones.” Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, edited by Stephan Merz and Jun Pang, 2014, pp. 203--218, doi:10.1007/978-3-319-11737-9_14.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
A. Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, edited by Elvira Albert and Emil Sekerinski, 2014, pp. 221--237, doi:10.1007/978-3-319-10181-1_14.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3174
Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” CoRR, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 3175
Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via {IC3}.” CoRR, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 27041
Stimming, Madlen, et al. “Fish and Rapeseed Oil Consumption in Infants and Mothers: Dietary Habits and Determinants in a Nationwide Sample in Germany.” European Journal of Nutrition, 2014, pp. 1069–80, doi:10.1007/s00394-014-0784-y.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27042
Stimming, Madlen, 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, 2014, pp. 10153–61, doi:10.1021/jf502469b.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27044
Vyncke, Krishna, et al. “Dietary Lipid Intake Only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors.” Lipids, 2014, pp. 881–93, doi:10.1007/s11745-014-3935-2.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27059
Bel-Serrat, Silvia, 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, 2014, pp. 2049–59, doi:10.1017/s0007114514003183.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27060
Mesch, Christina M., et al. “Food Variety in Commercial and Homemade Complementary Meals for Infants in Germany. Market Survey and Dietary Practice.” Appetite, 2014, pp. 113–19, doi:10.1016/j.appet.2014.01.074.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 2707
Mutter, Tobias, and Dennis Kundisch. “Behavioral Mechanisms Prompted by Badges: The Goal-Gradient Hypothesis.” Proceedings of the International Conference on Information Systems (ICIS), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 2708
Herrmann, Philipp. The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience. 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 2709
Gu, Yiquan, and Burkhard Hehenkamp. “Too Much of a Good Thing? Welfare Consequences of Market Transparency.” Journal of Institutional and Theoretical Economics JITE, vol. 170, no. 2, Mohr Siebeck, 2014, pp. 225–48, doi:10.1628/093245614x13895979380392.
LibreCat
| DOI
2014 | Conference Abstract | LibreCat-ID: 2713
Herrmann, Philipp, and Mohammad Rahman. “The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience.” Workshop on Information Systems & Economics (WISE), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 2714
John, Thomas. “Modeling Languages for Business Models as Tools for Innovation: Towards a Theoretical Foundation.” Proceedings of the Americas’ Conference on Information Systems (AMCIS), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 2715
Görzen, Thomas, et al. “Research on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet.” Proceedings of the European Electric Vehicle Congress (EEVC), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27166
Keil, Reinhard, et al. Twenty Years of Learning with the World Wide Web. Edited by Stephan Trahasch et al., 2014, pp. 51–60.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27167
Winkelnkemper, Felix, and Reinhard Keil. Zwischen Design Und Flexibilit{\"a}t - Zur Ergonomie Des Flat Design. Edited by Andreas Butz and Johann Schlichter, vol. 2014, Oldenbourg Verlag, 2014, pp. 255–64.
LibreCat