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 | Journal Article | LibreCat-ID: 3169
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.
LibreCat
| DOI
G. Schellhorn, J. Derrick, H. Wehrheim, {ACM} Trans. Comput. Log. (2014) 31:1--31:37.
2014 | Conference Paper | LibreCat-ID: 3170
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.
LibreCat
| DOI
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.
2014 | Conference Paper | LibreCat-ID: 3171
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.
LibreCat
| DOI
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.
2014 | Conference Paper | LibreCat-ID: 3172
Timed Automata Verification via {IC3} 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.
LibreCat
| DOI
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.
2014 | Conference Paper | LibreCat-ID: 3173
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.
LibreCat
| DOI
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.
2014 | Journal Article | LibreCat-ID: 3174
Managing {LTL} properties in Event-B refinement
S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).
LibreCat
S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).
2014 | Journal Article | LibreCat-ID: 3175
Proof-Carrying Hardware via {IC3}
T. Isenberg, H. Wehrheim, CoRR (2014).
LibreCat
T. Isenberg, H. Wehrheim, CoRR (2014).
2014 | Journal Article | LibreCat-ID: 27041
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.
LibreCat
| DOI
M. Stimming, C.M. Mesch, M. Kersting, L. Libuda, European Journal of Nutrition (2014) 1069–1080.
2014 | Journal Article | LibreCat-ID: 27042
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.
LibreCat
| DOI
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.
2014 | Journal Article | LibreCat-ID: 27044
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.
LibreCat
| DOI
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.