[{"publication":"Sci. Comput. Program.","type":"journal_article","status":"public","department":[{"_id":"77"}],"user_id":"29719","_id":"3168","page":"297--314","citation":{"ama":"Tofan B, Travkin O, Schellhorn G, Wehrheim H. Two approaches for proving linearizability of multiset. <i>Sci Comput Program</i>. 2014:297--314. doi:<a href=\"https://doi.org/10.1016/j.scico.2014.04.001\">10.1016/j.scico.2014.04.001</a>","chicago":"Tofan, Bogdan, Oleg Travkin, Gerhard Schellhorn, and Heike Wehrheim. “Two Approaches for Proving Linearizability of Multiset.” <i>Sci. Comput. Program.</i>, 2014, 297--314. <a href=\"https://doi.org/10.1016/j.scico.2014.04.001\">https://doi.org/10.1016/j.scico.2014.04.001</a>.","ieee":"B. Tofan, O. Travkin, G. Schellhorn, and H. Wehrheim, “Two approaches for proving linearizability of multiset,” <i>Sci. Comput. Program.</i>, pp. 297--314, 2014.","short":"B. Tofan, O. Travkin, G. Schellhorn, H. Wehrheim, Sci. Comput. Program. (2014) 297--314.","bibtex":"@article{Tofan_Travkin_Schellhorn_Wehrheim_2014, title={Two approaches for proving linearizability of multiset}, DOI={<a href=\"https://doi.org/10.1016/j.scico.2014.04.001\">10.1016/j.scico.2014.04.001</a>}, journal={Sci. Comput. Program.}, author={Tofan, Bogdan and Travkin, Oleg and Schellhorn, Gerhard and Wehrheim, Heike}, year={2014}, pages={297--314} }","mla":"Tofan, Bogdan, et al. “Two Approaches for Proving Linearizability of Multiset.” <i>Sci. Comput. Program.</i>, 2014, pp. 297--314, doi:<a href=\"https://doi.org/10.1016/j.scico.2014.04.001\">10.1016/j.scico.2014.04.001</a>.","apa":"Tofan, B., Travkin, O., Schellhorn, G., &#38; Wehrheim, H. (2014). Two approaches for proving linearizability of multiset. <i>Sci. Comput. Program.</i>, 297--314. <a href=\"https://doi.org/10.1016/j.scico.2014.04.001\">https://doi.org/10.1016/j.scico.2014.04.001</a>"},"year":"2014","date_created":"2018-06-13T07:56:12Z","author":[{"first_name":"Bogdan","last_name":"Tofan","full_name":"Tofan, Bogdan"},{"last_name":"Travkin","full_name":"Travkin, Oleg","first_name":"Oleg"},{"last_name":"Schellhorn","full_name":"Schellhorn, Gerhard","first_name":"Gerhard"},{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}],"date_updated":"2022-01-06T06:59:01Z","doi":"10.1016/j.scico.2014.04.001","title":"Two approaches for proving linearizability of multiset"},{"status":"public","publication":"{ACM} Trans. Comput. Log.","type":"journal_article","department":[{"_id":"77"}],"user_id":"29719","_id":"3169","page":"31:1--31:37","citation":{"apa":"Schellhorn, G., Derrick, J., &#38; Wehrheim, H. (2014). A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. <i>{ACM} Trans. Comput. Log.</i>, (4), 31:1--31:37. <a href=\"https://doi.org/10.1145/2629496\">https://doi.org/10.1145/2629496</a>","bibtex":"@article{Schellhorn_Derrick_Wehrheim_2014, title={A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures}, DOI={<a href=\"https://doi.org/10.1145/2629496\">10.1145/2629496</a>}, number={4}, journal={{ACM} Trans. Comput. Log.}, author={Schellhorn, Gerhard and Derrick, John and Wehrheim, Heike}, year={2014}, pages={31:1--31:37} }","short":"G. Schellhorn, J. Derrick, H. Wehrheim, {ACM} Trans. Comput. Log. (2014) 31:1--31:37.","mla":"Schellhorn, Gerhard, et al. “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.” <i>{ACM} Trans. Comput. Log.</i>, no. 4, 2014, pp. 31:1--31:37, doi:<a href=\"https://doi.org/10.1145/2629496\">10.1145/2629496</a>.","ama":"Schellhorn G, Derrick J, Wehrheim H. A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. <i>{ACM} Trans Comput Log</i>. 2014;(4):31:1--31:37. doi:<a href=\"https://doi.org/10.1145/2629496\">10.1145/2629496</a>","chicago":"Schellhorn, Gerhard, John Derrick, and Heike Wehrheim. “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.” <i>{ACM} Trans. Comput. Log.</i>, no. 4 (2014): 31:1--31:37. <a href=\"https://doi.org/10.1145/2629496\">https://doi.org/10.1145/2629496</a>.","ieee":"G. Schellhorn, J. Derrick, and H. Wehrheim, “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures,” <i>{ACM} Trans. Comput. Log.</i>, no. 4, pp. 31:1--31:37, 2014."},"year":"2014","issue":"4","doi":"10.1145/2629496","title":"A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures","author":[{"last_name":"Schellhorn","full_name":"Schellhorn, Gerhard","first_name":"Gerhard"},{"first_name":"John","last_name":"Derrick","full_name":"Derrick, John"},{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"}],"date_created":"2018-06-13T07:57:31Z","date_updated":"2022-01-06T06:59:01Z"},{"publication":"{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings","type":"conference","status":"public","editor":[{"full_name":"B. Jones, Cliff","last_name":"B. Jones","first_name":"Cliff"},{"first_name":"Pekka","full_name":"Pihlajasaari, Pekka","last_name":"Pihlajasaari"},{"first_name":"Jun","last_name":"Sun","full_name":"Sun, Jun"}],"department":[{"_id":"77"}],"user_id":"29719","series_title":"Lecture Notes in Computer Science","_id":"3170","page":"200--214","citation":{"ama":"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. <i>{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings</i>. Lecture Notes in Computer Science. ; 2014:200--214. doi:<a href=\"https://doi.org/10.1007/978-3-319-06410-9_15\">10.1007/978-3-319-06410-9_15</a>","ieee":"J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, and H. Wehrheim, “Quiescent Consistency: Defining and Verifying Relaxed Linearizability,” in <i>{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings</i>, 2014, pp. 200--214.","chicago":"Derrick, John, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, and Heike Wehrheim. “Quiescent Consistency: Defining and Verifying Relaxed Linearizability.” In <i>{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings</i>, edited by Cliff B. Jones, Pekka Pihlajasaari, and Jun Sun, 200--214. Lecture Notes in Computer Science, 2014. <a href=\"https://doi.org/10.1007/978-3-319-06410-9_15\">https://doi.org/10.1007/978-3-319-06410-9_15</a>.","apa":"Derrick, J., Dongol, B., Schellhorn, G., Tofan, B., Travkin, O., &#38; Wehrheim, H. (2014). Quiescent Consistency: Defining and Verifying Relaxed Linearizability. In C. B. Jones, P. Pihlajasaari, &#38; J. Sun (Eds.), <i>{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings</i> (pp. 200--214). <a href=\"https://doi.org/10.1007/978-3-319-06410-9_15\">https://doi.org/10.1007/978-3-319-06410-9_15</a>","bibtex":"@inproceedings{Derrick_Dongol_Schellhorn_Tofan_Travkin_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Quiescent Consistency: Defining and Verifying Relaxed Linearizability}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-06410-9_15\">10.1007/978-3-319-06410-9_15</a>}, booktitle={{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings}, author={Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Tofan, Bogdan and Travkin, Oleg and Wehrheim, Heike}, editor={B. Jones, Cliff and Pihlajasaari, Pekka and Sun, JunEditors}, year={2014}, pages={200--214}, collection={Lecture Notes in Computer Science} }","mla":"Derrick, John, et al. “Quiescent Consistency: Defining and Verifying Relaxed Linearizability.” <i>{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings</i>, edited by Cliff B. Jones et al., 2014, pp. 200--214, doi:<a href=\"https://doi.org/10.1007/978-3-319-06410-9_15\">10.1007/978-3-319-06410-9_15</a>.","short":"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."},"year":"2014","date_created":"2018-06-13T07:58:40Z","author":[{"first_name":"John","last_name":"Derrick","full_name":"Derrick, John"},{"full_name":"Dongol, Brijesh","last_name":"Dongol","first_name":"Brijesh"},{"first_name":"Gerhard","last_name":"Schellhorn","full_name":"Schellhorn, Gerhard"},{"first_name":"Bogdan","full_name":"Tofan, Bogdan","last_name":"Tofan"},{"first_name":"Oleg","full_name":"Travkin, Oleg","last_name":"Travkin"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:02Z","doi":"10.1007/978-3-319-06410-9_15","title":"Quiescent Consistency: Defining and Verifying Relaxed Linearizability"},{"author":[{"first_name":"Oleg","full_name":"Travkin, Oleg","last_name":"Travkin"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"date_created":"2018-06-13T07:59:46Z","date_updated":"2022-01-06T06:59:02Z","doi":"10.1007/978-3-319-13338-6_11","title":"Handling {TSO} in Mechanized Linearizability Proofs","page":"132--147","citation":{"mla":"Travkin, Oleg, and Heike Wehrheim. “Handling {TSO} in Mechanized Linearizability Proofs.” <i>Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings</i>, edited by Eran Yahav, 2014, pp. 132--147, doi:<a href=\"https://doi.org/10.1007/978-3-319-13338-6_11\">10.1007/978-3-319-13338-6_11</a>.","bibtex":"@inproceedings{Travkin_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Handling {TSO} in Mechanized Linearizability Proofs}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-13338-6_11\">10.1007/978-3-319-13338-6_11</a>}, booktitle={Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings}, author={Travkin, Oleg and Wehrheim, Heike}, editor={Yahav, EranEditor}, year={2014}, pages={132--147}, collection={Lecture Notes in Computer Science} }","short":"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.","apa":"Travkin, O., &#38; Wehrheim, H. (2014). Handling {TSO} in Mechanized Linearizability Proofs. In E. Yahav (Ed.), <i>Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings</i> (pp. 132--147). <a href=\"https://doi.org/10.1007/978-3-319-13338-6_11\">https://doi.org/10.1007/978-3-319-13338-6_11</a>","ama":"Travkin O, Wehrheim H. Handling {TSO} in Mechanized Linearizability Proofs. In: Yahav E, ed. <i>Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings</i>. Lecture Notes in Computer Science. ; 2014:132--147. doi:<a href=\"https://doi.org/10.1007/978-3-319-13338-6_11\">10.1007/978-3-319-13338-6_11</a>","ieee":"O. Travkin and H. Wehrheim, “Handling {TSO} in Mechanized Linearizability Proofs,” in <i>Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings</i>, 2014, pp. 132--147.","chicago":"Travkin, Oleg, and Heike Wehrheim. “Handling {TSO} in Mechanized Linearizability Proofs.” In <i>Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings</i>, edited by Eran Yahav, 132--147. Lecture Notes in Computer Science, 2014. <a href=\"https://doi.org/10.1007/978-3-319-13338-6_11\">https://doi.org/10.1007/978-3-319-13338-6_11</a>."},"year":"2014","department":[{"_id":"77"}],"user_id":"29719","series_title":"Lecture Notes in Computer Science","_id":"3171","publication":"Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings","type":"conference","status":"public","editor":[{"full_name":"Yahav, Eran","last_name":"Yahav","first_name":"Eran"}]},{"user_id":"29719","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}],"_id":"3172","type":"conference","publication":"Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings","status":"public","editor":[{"full_name":"Merz, Stephan","last_name":"Merz","first_name":"Stephan"},{"first_name":"Jun","last_name":"Pang","full_name":"Pang, Jun"}],"author":[{"last_name":"Isenberg","full_name":"Isenberg, Tobias","first_name":"Tobias"},{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"}],"date_created":"2018-06-13T08:01:04Z","date_updated":"2022-01-06T06:59:02Z","doi":"10.1007/978-3-319-11737-9_14","title":"Timed Automata Verification via {IC3} with Zones","citation":{"mla":"Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via {IC3} with Zones.” <i>Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings</i>, edited by Stephan Merz and Jun Pang, 2014, pp. 203--218, doi:<a href=\"https://doi.org/10.1007/978-3-319-11737-9_14\">10.1007/978-3-319-11737-9_14</a>.","bibtex":"@inproceedings{Isenberg_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Timed Automata Verification via {IC3} with Zones}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-11737-9_14\">10.1007/978-3-319-11737-9_14</a>}, booktitle={Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings}, author={Isenberg, Tobias and Wehrheim, Heike}, editor={Merz, Stephan and Pang, JunEditors}, year={2014}, pages={203--218}, collection={Lecture Notes in Computer Science} }","short":"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.","apa":"Isenberg, T., &#38; Wehrheim, H. (2014). Timed Automata Verification via {IC3} with Zones. In S. Merz &#38; J. Pang (Eds.), <i>Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings</i> (pp. 203--218). <a href=\"https://doi.org/10.1007/978-3-319-11737-9_14\">https://doi.org/10.1007/978-3-319-11737-9_14</a>","ama":"Isenberg T, Wehrheim H. Timed Automata Verification via {IC3} with Zones. In: Merz S, Pang J, eds. <i>Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings</i>. Lecture Notes in Computer Science. ; 2014:203--218. doi:<a href=\"https://doi.org/10.1007/978-3-319-11737-9_14\">10.1007/978-3-319-11737-9_14</a>","ieee":"T. Isenberg and H. Wehrheim, “Timed Automata Verification via {IC3} with Zones,” in <i>Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings</i>, 2014, pp. 203--218.","chicago":"Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via {IC3} with Zones.” In <i>Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings</i>, edited by Stephan Merz and Jun Pang, 203--218. Lecture Notes in Computer Science, 2014. <a href=\"https://doi.org/10.1007/978-3-319-11737-9_14\">https://doi.org/10.1007/978-3-319-11737-9_14</a>."},"page":"203--218","year":"2014"},{"citation":{"bibtex":"@inproceedings{A. Schneider_Treharne_Wehrheim_M. Williams_2014, series={Lecture Notes in Computer Science}, title={Managing {LTL} Properties in Event-B Refinement}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-10181-1_14\">10.1007/978-3-319-10181-1_14</a>}, booktitle={Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings}, author={A. Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David}, editor={Albert, Elvira and Sekerinski, EmilEditors}, year={2014}, pages={221--237}, collection={Lecture Notes in Computer Science} }","mla":"A. Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” <i>Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings</i>, edited by Elvira Albert and Emil Sekerinski, 2014, pp. 221--237, doi:<a href=\"https://doi.org/10.1007/978-3-319-10181-1_14\">10.1007/978-3-319-10181-1_14</a>.","short":"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.","apa":"A. Schneider, S., Treharne, H., Wehrheim, H., &#38; M. Williams, D. (2014). Managing {LTL} Properties in Event-B Refinement. In E. Albert &#38; E. Sekerinski (Eds.), <i>Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings</i> (pp. 221--237). <a href=\"https://doi.org/10.1007/978-3-319-10181-1_14\">https://doi.org/10.1007/978-3-319-10181-1_14</a>","ama":"A. Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} Properties in Event-B Refinement. In: Albert E, Sekerinski E, eds. <i>Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings</i>. Lecture Notes in Computer Science. ; 2014:221--237. doi:<a href=\"https://doi.org/10.1007/978-3-319-10181-1_14\">10.1007/978-3-319-10181-1_14</a>","ieee":"S. A. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL} Properties in Event-B Refinement,” in <i>Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings</i>, 2014, pp. 221--237.","chicago":"A. Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing {LTL} Properties in Event-B Refinement.” In <i>Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings</i>, edited by Elvira Albert and Emil Sekerinski, 221--237. Lecture Notes in Computer Science, 2014. <a href=\"https://doi.org/10.1007/978-3-319-10181-1_14\">https://doi.org/10.1007/978-3-319-10181-1_14</a>."},"page":"221--237","year":"2014","doi":"10.1007/978-3-319-10181-1_14","title":"Managing {LTL} Properties in Event-B Refinement","date_created":"2018-06-13T08:04:33Z","author":[{"full_name":"A. Schneider, Steve","last_name":"A. Schneider","first_name":"Steve"},{"last_name":"Treharne","full_name":"Treharne, Helen","first_name":"Helen"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"},{"last_name":"M. Williams","full_name":"M. Williams, David","first_name":"David"}],"date_updated":"2022-01-06T06:59:02Z","status":"public","editor":[{"first_name":"Elvira","full_name":"Albert, Elvira","last_name":"Albert"},{"first_name":"Emil","full_name":"Sekerinski, Emil","last_name":"Sekerinski"}],"type":"conference","publication":"Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings","series_title":"Lecture Notes in Computer Science","user_id":"29719","department":[{"_id":"77"}],"_id":"3173"},{"author":[{"last_name":"Schneider","full_name":"Schneider, Steve","first_name":"Steve"},{"last_name":"Treharne","full_name":"Treharne, Helen","first_name":"Helen"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"},{"first_name":"David","last_name":"M. Williams","full_name":"M. Williams, David"}],"date_created":"2018-06-13T08:05:39Z","date_updated":"2022-01-06T06:59:02Z","title":"Managing {LTL} properties in Event-B refinement","citation":{"ieee":"S. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL} properties in Event-B refinement,” <i>CoRR</i>, 2014.","chicago":"Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing {LTL} Properties in Event-B Refinement.” <i>CoRR</i>, 2014.","ama":"Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} properties in Event-B refinement. <i>CoRR</i>. 2014.","apa":"Schneider, S., Treharne, H., Wehrheim, H., &#38; M. Williams, D. (2014). Managing {LTL} properties in Event-B refinement. <i>CoRR</i>.","short":"S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).","bibtex":"@article{Schneider_Treharne_Wehrheim_M. Williams_2014, title={Managing {LTL} properties in Event-B refinement}, journal={CoRR}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David}, year={2014} }","mla":"Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” <i>CoRR</i>, 2014."},"year":"2014","user_id":"29719","department":[{"_id":"77"}],"_id":"3174","type":"journal_article","publication":"CoRR","status":"public"},{"status":"public","type":"journal_article","publication":"CoRR","user_id":"29719","department":[{"_id":"77"}],"_id":"3175","citation":{"chicago":"Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via {IC3}.” <i>CoRR</i>, 2014.","ieee":"T. Isenberg and H. Wehrheim, “Proof-Carrying Hardware via {IC3},” <i>CoRR</i>, 2014.","ama":"Isenberg T, Wehrheim H. Proof-Carrying Hardware via {IC3}. <i>CoRR</i>. 2014.","apa":"Isenberg, T., &#38; Wehrheim, H. (2014). Proof-Carrying Hardware via {IC3}. <i>CoRR</i>.","short":"T. Isenberg, H. Wehrheim, CoRR (2014).","mla":"Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via {IC3}.” <i>CoRR</i>, 2014.","bibtex":"@article{Isenberg_Wehrheim_2014, title={Proof-Carrying Hardware via {IC3}}, journal={CoRR}, author={Isenberg, Tobias and Wehrheim, Heike}, year={2014} }"},"year":"2014","title":"Proof-Carrying Hardware via {IC3}","date_created":"2018-06-13T08:07:24Z","author":[{"last_name":"Isenberg","full_name":"Isenberg, Tobias","first_name":"Tobias"},{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"}],"date_updated":"2022-01-06T06:59:02Z"},{"date_updated":"2022-01-06T06:57:32Z","date_created":"2021-11-01T20:14:14Z","author":[{"last_name":"Stimming","full_name":"Stimming, Madlen","first_name":"Madlen"},{"full_name":"Mesch, Christina M.","last_name":"Mesch","first_name":"Christina M."},{"full_name":"Kersting, Mathilde","last_name":"Kersting","first_name":"Mathilde"},{"last_name":"Libuda","orcid":"0000-0003-1603-3133","id":"88682","full_name":"Libuda, Lars","first_name":"Lars"}],"title":"Fish and rapeseed oil consumption in infants and mothers: dietary habits and determinants in a nationwide sample in Germany","doi":"10.1007/s00394-014-0784-y","publication_status":"published","publication_identifier":{"issn":["1436-6207","1436-6215"]},"year":"2014","citation":{"ama":"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. <i>European Journal of Nutrition</i>. Published online 2014:1069-1080. doi:<a href=\"https://doi.org/10.1007/s00394-014-0784-y\">10.1007/s00394-014-0784-y</a>","ieee":"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,” <i>European Journal of Nutrition</i>, pp. 1069–1080, 2014, doi: <a href=\"https://doi.org/10.1007/s00394-014-0784-y\">10.1007/s00394-014-0784-y</a>.","chicago":"Stimming, Madlen, Christina M. Mesch, Mathilde Kersting, and Lars Libuda. “Fish and Rapeseed Oil Consumption in Infants and Mothers: Dietary Habits and Determinants in a Nationwide Sample in Germany.” <i>European Journal of Nutrition</i>, 2014, 1069–80. <a href=\"https://doi.org/10.1007/s00394-014-0784-y\">https://doi.org/10.1007/s00394-014-0784-y</a>.","apa":"Stimming, M., Mesch, C. M., Kersting, M., &#38; Libuda, L. (2014). Fish and rapeseed oil consumption in infants and mothers: dietary habits and determinants in a nationwide sample in Germany. <i>European Journal of Nutrition</i>, 1069–1080. <a href=\"https://doi.org/10.1007/s00394-014-0784-y\">https://doi.org/10.1007/s00394-014-0784-y</a>","short":"M. Stimming, C.M. Mesch, M. Kersting, L. Libuda, European Journal of Nutrition (2014) 1069–1080.","mla":"Stimming, Madlen, et al. “Fish and Rapeseed Oil Consumption in Infants and Mothers: Dietary Habits and Determinants in a Nationwide Sample in Germany.” <i>European Journal of Nutrition</i>, 2014, pp. 1069–80, doi:<a href=\"https://doi.org/10.1007/s00394-014-0784-y\">10.1007/s00394-014-0784-y</a>.","bibtex":"@article{Stimming_Mesch_Kersting_Libuda_2014, title={Fish and rapeseed oil consumption in infants and mothers: dietary habits and determinants in a nationwide sample in Germany}, DOI={<a href=\"https://doi.org/10.1007/s00394-014-0784-y\">10.1007/s00394-014-0784-y</a>}, journal={European Journal of Nutrition}, author={Stimming, Madlen and Mesch, Christina M. and Kersting, Mathilde and Libuda, Lars}, year={2014}, pages={1069–1080} }"},"page":"1069-1080","_id":"27041","user_id":"49428","department":[{"_id":"35"},{"_id":"22"},{"_id":"395"}],"language":[{"iso":"eng"}],"type":"journal_article","publication":"European Journal of Nutrition","status":"public"},{"status":"public","type":"journal_article","publication":"Journal of Agricultural and Food Chemistry","language":[{"iso":"eng"}],"_id":"27042","user_id":"49428","department":[{"_id":"35"},{"_id":"22"},{"_id":"395"}],"year":"2014","citation":{"bibtex":"@article{Stimming_Mesch_Kersting_Kalhoff_Demmelmair_Koletzko_Schmidt_Böhm_Libuda_2014, title={Vitamin E Content and Estimated Need in German Infant and Follow-On Formulas With and Without Long-Chain Polyunsaturated Fatty Acids (LC-PUFA) Enrichment}, DOI={<a href=\"https://doi.org/10.1021/jf502469b\">10.1021/jf502469b</a>}, journal={Journal of Agricultural and Food Chemistry}, author={Stimming, Madlen and Mesch, Christina M. and Kersting, Mathilde and Kalhoff, Hermann and Demmelmair, Hans and Koletzko, Berthold and Schmidt, Anne and Böhm, Volker and Libuda, Lars}, year={2014}, pages={10153–10161} }","short":"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.","mla":"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.” <i>Journal of Agricultural and Food Chemistry</i>, 2014, pp. 10153–61, doi:<a href=\"https://doi.org/10.1021/jf502469b\">10.1021/jf502469b</a>.","apa":"Stimming, M., Mesch, C. M., Kersting, M., Kalhoff, H., Demmelmair, H., Koletzko, B., Schmidt, A., Böhm, V., &#38; 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. <i>Journal of Agricultural and Food Chemistry</i>, 10153–10161. <a href=\"https://doi.org/10.1021/jf502469b\">https://doi.org/10.1021/jf502469b</a>","ama":"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. <i>Journal of Agricultural and Food Chemistry</i>. Published online 2014:10153-10161. doi:<a href=\"https://doi.org/10.1021/jf502469b\">10.1021/jf502469b</a>","ieee":"M. Stimming <i>et al.</i>, “Vitamin E Content and Estimated Need in German Infant and Follow-On Formulas With and Without Long-Chain Polyunsaturated Fatty Acids (LC-PUFA) Enrichment,” <i>Journal of Agricultural and Food Chemistry</i>, pp. 10153–10161, 2014, doi: <a href=\"https://doi.org/10.1021/jf502469b\">10.1021/jf502469b</a>.","chicago":"Stimming, Madlen, Christina M. Mesch, Mathilde Kersting, Hermann Kalhoff, Hans Demmelmair, Berthold Koletzko, Anne Schmidt, Volker Böhm, and Lars Libuda. “Vitamin E Content and Estimated Need in German Infant and Follow-On Formulas With and Without Long-Chain Polyunsaturated Fatty Acids (LC-PUFA) Enrichment.” <i>Journal of Agricultural and Food Chemistry</i>, 2014, 10153–61. <a href=\"https://doi.org/10.1021/jf502469b\">https://doi.org/10.1021/jf502469b</a>."},"page":"10153-10161","publication_status":"published","publication_identifier":{"issn":["0021-8561","1520-5118"]},"title":"Vitamin E Content and Estimated Need in German Infant and Follow-On Formulas With and Without Long-Chain Polyunsaturated Fatty Acids (LC-PUFA) Enrichment","doi":"10.1021/jf502469b","date_updated":"2022-01-06T06:57:32Z","date_created":"2021-11-01T20:16:04Z","author":[{"full_name":"Stimming, Madlen","last_name":"Stimming","first_name":"Madlen"},{"first_name":"Christina M.","full_name":"Mesch, Christina M.","last_name":"Mesch"},{"last_name":"Kersting","full_name":"Kersting, Mathilde","first_name":"Mathilde"},{"first_name":"Hermann","last_name":"Kalhoff","full_name":"Kalhoff, Hermann"},{"last_name":"Demmelmair","full_name":"Demmelmair, Hans","first_name":"Hans"},{"first_name":"Berthold","last_name":"Koletzko","full_name":"Koletzko, Berthold"},{"last_name":"Schmidt","full_name":"Schmidt, Anne","first_name":"Anne"},{"first_name":"Volker","full_name":"Böhm, Volker","last_name":"Böhm"},{"first_name":"Lars","orcid":"0000-0003-1603-3133","last_name":"Libuda","full_name":"Libuda, Lars","id":"88682"}]},{"publication_identifier":{"issn":["0024-4201","1558-9307"]},"publication_status":"published","year":"2014","page":"881-893","citation":{"ama":"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. <i>Lipids</i>. Published online 2014:881-893. doi:<a href=\"https://doi.org/10.1007/s11745-014-3935-2\">10.1007/s11745-014-3935-2</a>","ieee":"K. Vyncke <i>et al.</i>, “Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors,” <i>Lipids</i>, pp. 881–893, 2014, doi: <a href=\"https://doi.org/10.1007/s11745-014-3935-2\">10.1007/s11745-014-3935-2</a>.","chicago":"Vyncke, Krishna, Inge Huybrechts, Myriam Van Winckel, Magdalena Cuenca Garcia, Idoia Labayen, Frederic Gottrand, Kurt Widhalm, et al. “Dietary Lipid Intake Only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors.” <i>Lipids</i>, 2014, 881–93. <a href=\"https://doi.org/10.1007/s11745-014-3935-2\">https://doi.org/10.1007/s11745-014-3935-2</a>.","apa":"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., &#38; De Henauw, S. (2014). Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors. <i>Lipids</i>, 881–893. <a href=\"https://doi.org/10.1007/s11745-014-3935-2\">https://doi.org/10.1007/s11745-014-3935-2</a>","bibtex":"@article{Vyncke_Huybrechts_Van Winckel_Cuenca Garcia_Labayen_Gottrand_Widhalm_Leclercq_Libuda_Manios_et al._2014, title={Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors}, DOI={<a href=\"https://doi.org/10.1007/s11745-014-3935-2\">10.1007/s11745-014-3935-2</a>}, journal={Lipids}, author={Vyncke, Krishna and Huybrechts, Inge and Van Winckel, Myriam and Cuenca Garcia, Magdalena and Labayen, Idoia and Gottrand, Frederic and Widhalm, Kurt and Leclercq, Catherine and Libuda, Lars and Manios, Yannis and et al.}, year={2014}, pages={881–893} }","mla":"Vyncke, Krishna, et al. “Dietary Lipid Intake Only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors.” <i>Lipids</i>, 2014, pp. 881–93, doi:<a href=\"https://doi.org/10.1007/s11745-014-3935-2\">10.1007/s11745-014-3935-2</a>.","short":"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."},"date_updated":"2022-01-06T06:57:32Z","date_created":"2021-11-01T20:19:35Z","author":[{"first_name":"Krishna","last_name":"Vyncke","full_name":"Vyncke, Krishna"},{"first_name":"Inge","full_name":"Huybrechts, Inge","last_name":"Huybrechts"},{"full_name":"Van Winckel, Myriam","last_name":"Van Winckel","first_name":"Myriam"},{"last_name":"Cuenca Garcia","full_name":"Cuenca Garcia, Magdalena","first_name":"Magdalena"},{"full_name":"Labayen, Idoia","last_name":"Labayen","first_name":"Idoia"},{"last_name":"Gottrand","full_name":"Gottrand, Frederic","first_name":"Frederic"},{"last_name":"Widhalm","full_name":"Widhalm, Kurt","first_name":"Kurt"},{"last_name":"Leclercq","full_name":"Leclercq, Catherine","first_name":"Catherine"},{"last_name":"Libuda","orcid":"0000-0003-1603-3133","id":"88682","full_name":"Libuda, Lars","first_name":"Lars"},{"last_name":"Manios","full_name":"Manios, Yannis","first_name":"Yannis"},{"first_name":"Michael","last_name":"Sjostrom","full_name":"Sjostrom, Michael"},{"last_name":"Molnar","full_name":"Molnar, Denes","first_name":"Denes"},{"last_name":"Moreno","full_name":"Moreno, Luis A.","first_name":"Luis A."},{"last_name":"Gonzalez-Gross","full_name":"Gonzalez-Gross, Marcela","first_name":"Marcela"},{"last_name":"Spinneker","full_name":"Spinneker, André","first_name":"André"},{"last_name":"Perez de Heredia","full_name":"Perez de Heredia, Fatima","first_name":"Fatima"},{"first_name":"Maria","full_name":"Plada, Maria","last_name":"Plada"},{"full_name":"De Henauw, Stefaan","last_name":"De Henauw","first_name":"Stefaan"}],"title":"Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors","doi":"10.1007/s11745-014-3935-2","publication":"Lipids","type":"journal_article","status":"public","_id":"27044","department":[{"_id":"35"},{"_id":"22"},{"_id":"395"}],"user_id":"49428","language":[{"iso":"eng"}]},{"year":"2014","page":"2049-2059","citation":{"ieee":"S. Bel-Serrat <i>et al.</i>, “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,” <i>British Journal of Nutrition</i>, pp. 2049–2059, 2014, doi: <a href=\"https://doi.org/10.1017/s0007114514003183\">10.1017/s0007114514003183</a>.","chicago":"Bel-Serrat, Silvia, Theodora Mouratidou, Inge Huybrechts, Idoia Labayen, Magdalena Cuenca-García, Gonzalo Palacios, Christina Breidenassel, 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.” <i>British Journal of Nutrition</i>, 2014, 2049–59. <a href=\"https://doi.org/10.1017/s0007114514003183\">https://doi.org/10.1017/s0007114514003183</a>.","ama":"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. <i>British Journal of Nutrition</i>. Published online 2014:2049-2059. doi:<a href=\"https://doi.org/10.1017/s0007114514003183\">10.1017/s0007114514003183</a>","apa":"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., &#38; 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. <i>British Journal of Nutrition</i>, 2049–2059. <a href=\"https://doi.org/10.1017/s0007114514003183\">https://doi.org/10.1017/s0007114514003183</a>","bibtex":"@article{Bel-Serrat_Mouratidou_Huybrechts_Labayen_Cuenca-García_Palacios_Breidenassel_Molnár_Roccaldo_Widhalm_et al._2014, title={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}, DOI={<a href=\"https://doi.org/10.1017/s0007114514003183\">10.1017/s0007114514003183</a>}, journal={British Journal of Nutrition}, author={Bel-Serrat, Silvia and Mouratidou, Theodora and Huybrechts, Inge and Labayen, Idoia and Cuenca-García, Magdalena and Palacios, Gonzalo and Breidenassel, Christina and Molnár, Dénes and Roccaldo, Romana and Widhalm, Kurt and et al.}, year={2014}, pages={2049–2059} }","mla":"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.” <i>British Journal of Nutrition</i>, 2014, pp. 2049–59, doi:<a href=\"https://doi.org/10.1017/s0007114514003183\">10.1017/s0007114514003183</a>.","short":"S. Bel-Serrat, T. Mouratidou, I. Huybrechts, I. Labayen, M. Cuenca-García, G. Palacios, C. Breidenassel, D. Molnár, R. Roccaldo, K. Widhalm, F. Gottrand, A. Kafatos, Y. Manios, K. Vyncke, M. Sjöström, L. Libuda, S. Gómez-Martínez, L.A. Moreno, British Journal of Nutrition (2014) 2049–2059."},"publication_identifier":{"issn":["0007-1145","1475-2662"]},"publication_status":"published","title":"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","doi":"10.1017/s0007114514003183","date_updated":"2022-01-06T06:57:33Z","date_created":"2021-11-02T20:18:54Z","author":[{"first_name":"Silvia","last_name":"Bel-Serrat","full_name":"Bel-Serrat, Silvia"},{"last_name":"Mouratidou","full_name":"Mouratidou, Theodora","first_name":"Theodora"},{"first_name":"Inge","full_name":"Huybrechts, Inge","last_name":"Huybrechts"},{"last_name":"Labayen","full_name":"Labayen, Idoia","first_name":"Idoia"},{"first_name":"Magdalena","full_name":"Cuenca-García, Magdalena","last_name":"Cuenca-García"},{"last_name":"Palacios","full_name":"Palacios, Gonzalo","first_name":"Gonzalo"},{"full_name":"Breidenassel, Christina","last_name":"Breidenassel","first_name":"Christina"},{"first_name":"Dénes","full_name":"Molnár, Dénes","last_name":"Molnár"},{"full_name":"Roccaldo, Romana","last_name":"Roccaldo","first_name":"Romana"},{"last_name":"Widhalm","full_name":"Widhalm, Kurt","first_name":"Kurt"},{"last_name":"Gottrand","full_name":"Gottrand, Frederic","first_name":"Frederic"},{"last_name":"Kafatos","full_name":"Kafatos, Anthony","first_name":"Anthony"},{"first_name":"Yannis","full_name":"Manios, Yannis","last_name":"Manios"},{"last_name":"Vyncke","full_name":"Vyncke, Krishna","first_name":"Krishna"},{"last_name":"Sjöström","full_name":"Sjöström, Michael","first_name":"Michael"},{"last_name":"Libuda","orcid":"0000-0003-1603-3133","full_name":"Libuda, Lars","id":"88682","first_name":"Lars"},{"first_name":"Sonia","last_name":"Gómez-Martínez","full_name":"Gómez-Martínez, Sonia"},{"first_name":"Luis A.","last_name":"Moreno","full_name":"Moreno, Luis A."}],"abstract":[{"lang":"eng","text":"<jats:p>The present study aimed to investigate the relationships between macronutrient intake and serum lipid profile in adolescents from eight European cities participating in the HELENA (Healthy Lifestyle in Europe by Nutrition in Adolescence) cross-sectional study (2006–7), and to assess the role of body fat-related variables in these associations. Weight, height, waist circumference, skinfold thicknesses, total cholesterol, HDL-cholesterol (HDL-C), LDL-cholesterol, TAG, apoB and apoA1 were measured in 454 adolescents (44 % boys) aged 12·5–17·5 years. Macronutrient intake (g/4180 kJ per d (1000 kcal per d)) was assessed using two non-consecutive 24 h dietary recalls. Associations were evaluated by multi-level analysis and adjusted for sex, age, maternal education, centre, sum of four skinfolds, moderate-to-vigorous physical activity, sedentary behaviours and diet quality index for adolescents. Carbohydrate intake was inversely associated with HDL-C (β = − 0·189, <jats:italic>P</jats:italic>&lt; 0·001). An inverse association was found between fat intake and TAG (β = − 0·319, <jats:italic>P</jats:italic>&lt; 0·001). Associations between macronutrient intake and serum lipids varied according to adiposity levels, i.e. an inverse association between carbohydrate intake and HDL-C was only observed in those adolescents with a higher waist:height ratio. As serum lipids and excess body fat are the major markers of CVD, these findings should be considered when developing strategies to prevent the risk of CVD among adolescents.</jats:p>"}],"status":"public","publication":"British Journal of Nutrition","type":"journal_article","language":[{"iso":"eng"}],"_id":"27059","department":[{"_id":"35"},{"_id":"22"},{"_id":"395"}],"user_id":"49428"},{"publication":"Appetite","type":"journal_article","status":"public","department":[{"_id":"35"},{"_id":"22"},{"_id":"395"}],"user_id":"49428","_id":"27060","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0195-6663"]},"publication_status":"published","page":"113-119","citation":{"ama":"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. <i>Appetite</i>. Published online 2014:113-119. doi:<a href=\"https://doi.org/10.1016/j.appet.2014.01.074\">10.1016/j.appet.2014.01.074</a>","chicago":"Mesch, Christina M., Madlen Stimming, Kristina Foterek, Annett Hilbig, Ute Alexy, Mathilde Kersting, and Lars Libuda. “Food Variety in Commercial and Homemade Complementary Meals for Infants in Germany. Market Survey and Dietary Practice.” <i>Appetite</i>, 2014, 113–19. <a href=\"https://doi.org/10.1016/j.appet.2014.01.074\">https://doi.org/10.1016/j.appet.2014.01.074</a>.","ieee":"C. M. Mesch <i>et al.</i>, “Food variety in commercial and homemade complementary meals for infants in Germany. Market survey and dietary practice,” <i>Appetite</i>, pp. 113–119, 2014, doi: <a href=\"https://doi.org/10.1016/j.appet.2014.01.074\">10.1016/j.appet.2014.01.074</a>.","apa":"Mesch, C. M., Stimming, M., Foterek, K., Hilbig, A., Alexy, U., Kersting, M., &#38; Libuda, L. (2014). Food variety in commercial and homemade complementary meals for infants in Germany. Market survey and dietary practice. <i>Appetite</i>, 113–119. <a href=\"https://doi.org/10.1016/j.appet.2014.01.074\">https://doi.org/10.1016/j.appet.2014.01.074</a>","bibtex":"@article{Mesch_Stimming_Foterek_Hilbig_Alexy_Kersting_Libuda_2014, title={Food variety in commercial and homemade complementary meals for infants in Germany. Market survey and dietary practice}, DOI={<a href=\"https://doi.org/10.1016/j.appet.2014.01.074\">10.1016/j.appet.2014.01.074</a>}, journal={Appetite}, author={Mesch, Christina M. and Stimming, Madlen and Foterek, Kristina and Hilbig, Annett and Alexy, Ute and Kersting, Mathilde and Libuda, Lars}, year={2014}, pages={113–119} }","mla":"Mesch, Christina M., et al. “Food Variety in Commercial and Homemade Complementary Meals for Infants in Germany. Market Survey and Dietary Practice.” <i>Appetite</i>, 2014, pp. 113–19, doi:<a href=\"https://doi.org/10.1016/j.appet.2014.01.074\">10.1016/j.appet.2014.01.074</a>.","short":"C.M. Mesch, M. Stimming, K. Foterek, A. Hilbig, U. Alexy, M. Kersting, L. Libuda, Appetite (2014) 113–119."},"year":"2014","date_created":"2021-11-02T20:21:10Z","author":[{"last_name":"Mesch","full_name":"Mesch, Christina M.","first_name":"Christina M."},{"first_name":"Madlen","full_name":"Stimming, Madlen","last_name":"Stimming"},{"first_name":"Kristina","full_name":"Foterek, Kristina","last_name":"Foterek"},{"first_name":"Annett","full_name":"Hilbig, Annett","last_name":"Hilbig"},{"full_name":"Alexy, Ute","last_name":"Alexy","first_name":"Ute"},{"first_name":"Mathilde","full_name":"Kersting, Mathilde","last_name":"Kersting"},{"full_name":"Libuda, Lars","id":"88682","last_name":"Libuda","orcid":"0000-0003-1603-3133","first_name":"Lars"}],"date_updated":"2022-01-06T06:57:33Z","doi":"10.1016/j.appet.2014.01.074","title":"Food variety in commercial and homemade complementary meals for infants in Germany. Market survey and dietary practice"},{"title":"Behavioral Mechanisms Prompted by Badges: The Goal-Gradient Hypothesis","conference":{"location":"Auckland, Neuseeland","name":"International Conference on Information Systems (ICIS)"},"date_updated":"2022-01-06T06:57:33Z","date_created":"2018-05-08T14:36:10Z","author":[{"full_name":"Mutter, Tobias","last_name":"Mutter","first_name":"Tobias"},{"last_name":"Kundisch","id":"21117","full_name":"Kundisch, Dennis","first_name":"Dennis"}],"year":"2014","citation":{"apa":"Mutter, T., &#38; Kundisch, D. (2014). Behavioral Mechanisms Prompted by Badges: The Goal-Gradient Hypothesis. In <i>Proceedings of the International Conference on Information Systems (ICIS)</i>. Auckland, Neuseeland.","short":"T. Mutter, D. Kundisch, in: Proceedings of the International Conference on Information Systems (ICIS), 2014.","bibtex":"@inproceedings{Mutter_Kundisch_2014, title={Behavioral Mechanisms Prompted by Badges: The Goal-Gradient Hypothesis}, booktitle={Proceedings of the International Conference on Information Systems (ICIS)}, author={Mutter, Tobias and Kundisch, Dennis}, year={2014} }","mla":"Mutter, Tobias, and Dennis Kundisch. “Behavioral Mechanisms Prompted by Badges: The Goal-Gradient Hypothesis.” <i>Proceedings of the International Conference on Information Systems (ICIS)</i>, 2014.","ama":"Mutter T, Kundisch D. Behavioral Mechanisms Prompted by Badges: The Goal-Gradient Hypothesis. In: <i>Proceedings of the International Conference on Information Systems (ICIS)</i>. ; 2014.","ieee":"T. Mutter and D. Kundisch, “Behavioral Mechanisms Prompted by Badges: The Goal-Gradient Hypothesis,” in <i>Proceedings of the International Conference on Information Systems (ICIS)</i>, Auckland, Neuseeland, 2014.","chicago":"Mutter, Tobias, and Dennis Kundisch. “Behavioral Mechanisms Prompted by Badges: The Goal-Gradient Hypothesis.” In <i>Proceedings of the International Conference on Information Systems (ICIS)</i>, 2014."},"publication_status":"published","language":[{"iso":"eng"}],"_id":"2707","user_id":"16205","department":[{"_id":"276"}],"status":"public","type":"conference","publication":"Proceedings of the International Conference on Information Systems (ICIS)"},{"date_updated":"2022-01-06T06:57:33Z","date_created":"2018-05-08T14:59:11Z","author":[{"first_name":"Philipp","full_name":"Herrmann, Philipp","last_name":"Herrmann"}],"title":"The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience","conference":{"location":"Auckland, Neuseeland","name":"Workshop on Information Systems & Economics (WISE)"},"year":"2014","citation":{"bibtex":"@inproceedings{Herrmann_2014, title={The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience}, author={Herrmann, Philipp}, year={2014} }","short":"P. Herrmann, in: 2014.","mla":"Herrmann, Philipp. <i>The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience</i>. 2014.","apa":"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 &#38; Economics (WISE), Auckland, Neuseeland.","ama":"Herrmann P. The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience. In: ; 2014.","chicago":"Herrmann, Philipp. “The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience,” 2014.","ieee":"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 &#38; Economics (WISE), Auckland, Neuseeland, 2014."},"_id":"2708","department":[{"_id":"276"}],"user_id":"16205","language":[{"iso":"eng"}],"type":"conference","status":"public"},{"abstract":[{"lang":"eng","text":"This paper studies welfare consequences of consumer-side market transparency with endogenous entry of firms. Different from most studies, we consider the unique symmetric entry equilibrium, which is in mixed strategies. We identify two effects of market transparency on welfare: a competition effect and a novel market-structure effect. We show, surprisingly, that for almost all demand functions the negative market-structure effect eventually dominates the positive competition effect as the market becomes increasingly transparent. Consumer-side market transparency can therefore be socially excessive even without collusion. The only exception among commonly used demand functions is the set of constant demand functions. "}],"publication":"Journal of Institutional and Theoretical Economics JITE","title":"Too Much of a Good Thing? Welfare Consequences of Market Transparency","publisher":"Mohr Siebeck","date_created":"2018-05-08T17:37:21Z","year":"2014","issue":"2","article_type":"original","_id":"2709","user_id":"37339","department":[{"_id":"280"},{"_id":"475"}],"status":"public","type":"journal_article","doi":"10.1628/093245614x13895979380392","date_updated":"2022-01-06T06:57:33Z","author":[{"full_name":"Gu, Yiquan","last_name":"Gu","first_name":"Yiquan"},{"id":"37339","full_name":"Hehenkamp, Burkhard","last_name":"Hehenkamp","first_name":"Burkhard"}],"volume":170,"citation":{"ama":"Gu Y, Hehenkamp B. Too Much of a Good Thing? Welfare Consequences of Market Transparency. <i>Journal of Institutional and Theoretical Economics JITE</i>. 2014;170(2):225-248. doi:<a href=\"https://doi.org/10.1628/093245614x13895979380392\">10.1628/093245614x13895979380392</a>","chicago":"Gu, Yiquan, and Burkhard Hehenkamp. “Too Much of a Good Thing? Welfare Consequences of Market Transparency.” <i>Journal of Institutional and Theoretical Economics JITE</i> 170, no. 2 (2014): 225–48. <a href=\"https://doi.org/10.1628/093245614x13895979380392\">https://doi.org/10.1628/093245614x13895979380392</a>.","ieee":"Y. Gu and B. Hehenkamp, “Too Much of a Good Thing? Welfare Consequences of Market Transparency,” <i>Journal of Institutional and Theoretical Economics JITE</i>, vol. 170, no. 2, pp. 225–248, 2014.","mla":"Gu, Yiquan, and Burkhard Hehenkamp. “Too Much of a Good Thing? Welfare Consequences of Market Transparency.” <i>Journal of Institutional and Theoretical Economics JITE</i>, vol. 170, no. 2, Mohr Siebeck, 2014, pp. 225–48, doi:<a href=\"https://doi.org/10.1628/093245614x13895979380392\">10.1628/093245614x13895979380392</a>.","bibtex":"@article{Gu_Hehenkamp_2014, title={Too Much of a Good Thing? Welfare Consequences of Market Transparency}, volume={170}, DOI={<a href=\"https://doi.org/10.1628/093245614x13895979380392\">10.1628/093245614x13895979380392</a>}, number={2}, journal={Journal of Institutional and Theoretical Economics JITE}, publisher={Mohr Siebeck}, author={Gu, Yiquan and Hehenkamp, Burkhard}, year={2014}, pages={225–248} }","short":"Y. Gu, B. Hehenkamp, Journal of Institutional and Theoretical Economics JITE 170 (2014) 225–248.","apa":"Gu, Y., &#38; Hehenkamp, B. (2014). Too Much of a Good Thing? Welfare Consequences of Market Transparency. <i>Journal of Institutional and Theoretical Economics JITE</i>, <i>170</i>(2), 225–248. <a href=\"https://doi.org/10.1628/093245614x13895979380392\">https://doi.org/10.1628/093245614x13895979380392</a>"},"intvolume":"       170","page":"225-248","publication_status":"published","publication_identifier":{"issn":["0932-4569"]}},{"citation":{"ama":"Herrmann P, Rahman M. The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience. In: <i>Workshop on Information Systems &#38; Economics (WISE)</i>. ; 2014.","ieee":"P. Herrmann and M. Rahman, “The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience,” in <i>Workshop on Information Systems &#38; Economics (WISE)</i>, Auckland, Neuseeland, 2014.","chicago":"Herrmann, Philipp, and Mohammad Rahman. “The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience.” In <i>Workshop on Information Systems &#38; Economics (WISE)</i>, 2014.","bibtex":"@inproceedings{Herrmann_Rahman_2014, title={The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience}, booktitle={Workshop on Information Systems &#38; Economics (WISE)}, author={Herrmann, Philipp and Rahman, Mohammad}, year={2014} }","mla":"Herrmann, Philipp, and Mohammad Rahman. “The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience.” <i>Workshop on Information Systems &#38; Economics (WISE)</i>, 2014.","short":"P. Herrmann, M. Rahman, in: Workshop on Information Systems &#38; Economics (WISE), 2014.","apa":"Herrmann, P., &#38; Rahman, M. (2014). The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience. In <i>Workshop on Information Systems &#38; Economics (WISE)</i>. Auckland, Neuseeland."},"year":"2014","conference":{"name":"Workshop on Information Systems & Economics (WISE)","location":"Auckland, Neuseeland"},"title":"The Hunt for Quality in a Market: Exploring the Relationship between Local Market Structure and Digitized Customer Experience","author":[{"first_name":"Philipp","full_name":"Herrmann, Philipp","last_name":"Herrmann"},{"last_name":"Rahman","full_name":"Rahman, Mohammad","first_name":"Mohammad"}],"date_created":"2018-05-09T08:49:33Z","date_updated":"2022-01-06T06:57:35Z","status":"public","type":"conference_abstract","publication":"Workshop on Information Systems & Economics (WISE)","language":[{"iso":"eng"}],"user_id":"16205","department":[{"_id":"276"}],"_id":"2713"},{"year":"2014","citation":{"ama":"John T. Modeling Languages for Business Models as Tools for Innovation: Towards a Theoretical Foundation. In: <i>Proceedings of the Americas’ Conference on Information Systems (AMCIS)</i>. ; 2014.","chicago":"John, Thomas. “Modeling Languages for Business Models as Tools for Innovation: Towards a Theoretical Foundation.” In <i>Proceedings of the Americas’ Conference on Information Systems (AMCIS)</i>, 2014.","ieee":"T. John, “Modeling Languages for Business Models as Tools for Innovation: Towards a Theoretical Foundation,” in <i>Proceedings of the Americas’ Conference on Information Systems (AMCIS)</i>, Savannah, USA, 2014.","short":"T. John, in: Proceedings of the Americas’ Conference on Information Systems (AMCIS), 2014.","bibtex":"@inproceedings{John_2014, title={Modeling Languages for Business Models as Tools for Innovation: Towards a Theoretical Foundation}, booktitle={Proceedings of the Americas’ Conference on Information Systems (AMCIS)}, author={John, Thomas}, year={2014} }","mla":"John, Thomas. “Modeling Languages for Business Models as Tools for Innovation: Towards a Theoretical Foundation.” <i>Proceedings of the Americas’ Conference on Information Systems (AMCIS)</i>, 2014.","apa":"John, T. (2014). Modeling Languages for Business Models as Tools for Innovation: Towards a Theoretical Foundation. In <i>Proceedings of the Americas’ Conference on Information Systems (AMCIS)</i>. Savannah, USA."},"title":"Modeling Languages for Business Models as Tools for Innovation: Towards a Theoretical Foundation","conference":{"location":"Savannah, USA","name":"Americas' Conference on Information Systems (AMCIS)"},"date_updated":"2022-01-06T06:57:35Z","author":[{"first_name":"Thomas","last_name":"John","full_name":"John, Thomas"}],"date_created":"2018-05-09T08:53:06Z","status":"public","type":"conference","publication":"Proceedings of the Americas' Conference on Information Systems (AMCIS)","language":[{"iso":"eng"}],"_id":"2714","user_id":"16205","department":[{"_id":"276"}]},{"publication_status":"published","citation":{"ama":"Görzen T, Kundisch D, Ottensmann C, Haubrock A. Research on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet. In: <i>Proceedings of the European Electric Vehicle Congress (EEVC)</i>. ; 2014.","ieee":"T. Görzen, D. Kundisch, C. Ottensmann, and A. Haubrock, “Research on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet,” in <i>Proceedings of the European Electric Vehicle Congress (EEVC)</i>, Brussels, Belgium, 2014.","chicago":"Görzen, Thomas, Dennis Kundisch, C. Ottensmann, and A. Haubrock. “Research on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet.” In <i>Proceedings of the European Electric Vehicle Congress (EEVC)</i>, 2014.","short":"T. Görzen, D. Kundisch, C. Ottensmann, A. Haubrock, in: Proceedings of the European Electric Vehicle Congress (EEVC), 2014.","bibtex":"@inproceedings{Görzen_Kundisch_Ottensmann_Haubrock_2014, title={Research on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet}, booktitle={Proceedings of the European Electric Vehicle Congress (EEVC)}, author={Görzen, Thomas and Kundisch, Dennis and Ottensmann, C. and Haubrock, A.}, year={2014} }","mla":"Görzen, Thomas, et al. “Research on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet.” <i>Proceedings of the European Electric Vehicle Congress (EEVC)</i>, 2014.","apa":"Görzen, T., Kundisch, D., Ottensmann, C., &#38; Haubrock, A. (2014). Research on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet. In <i>Proceedings of the European Electric Vehicle Congress (EEVC)</i>. Brussels, Belgium."},"year":"2014","date_created":"2018-05-09T08:57:04Z","author":[{"first_name":"Thomas","id":"47700","full_name":"Görzen, Thomas","last_name":"Görzen"},{"last_name":"Kundisch","id":"21117","full_name":"Kundisch, Dennis","first_name":"Dennis"},{"first_name":"C.","last_name":"Ottensmann","full_name":"Ottensmann, C."},{"first_name":"A.","last_name":"Haubrock","full_name":"Haubrock, A."}],"date_updated":"2022-01-06T06:57:35Z","conference":{"name":"European Electric Vehicle Congress (EEVC)","location":"Brussels, Belgium"},"title":"Research on Electric Mobility in Germany: Monitoring a Commercial Battery Electric Vehicle Fleet","type":"conference","publication":"Proceedings of the European Electric Vehicle Congress (EEVC)","status":"public","user_id":"16205","department":[{"_id":"276"}],"_id":"2715","language":[{"iso":"eng"}]},{"publication_status":"published","year":"2014","citation":{"mla":"Keil, Reinhard, et al. <i>Twenty Years of Learning with the World Wide Web</i>. Edited by Stephan Trahasch et al., 2014, pp. 51–60.","bibtex":"@article{Keil_Selke_Winkelnkemper_2014, series={Lecture Notes in Informatics (LNI)}, title={Twenty years of learning with the World Wide Web}, author={Keil, Reinhard and Selke, Harald and Winkelnkemper, Felix}, editor={Trahasch, Stephan and  Pl {\\ \"o} tzner , Rolf  and Schneider, Gerhard and Gayer, Claudia  and Sassiat, Daniel and W {\\ \"o} hrle, Nicole}, year={2014}, pages={51–60}, collection={Lecture Notes in Informatics (LNI)} }","short":"R. Keil, H. Selke, F. Winkelnkemper, (2014) 51–60.","apa":"Keil, R., Selke, H., &#38; Winkelnkemper, F. (2014). <i>Twenty years of learning with the World Wide Web</i> (S. Trahasch, R.  Pl {\\ \"o} tzner , G. Schneider, C. Gayer, D. Sassiat, &#38; N. W {\\ \"o} hrle, Eds.; pp. 51–60).","ama":"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.","chicago":"Keil, Reinhard, Harald Selke, and Felix Winkelnkemper. “Twenty Years of Learning with the World Wide Web.” Edited by Stephan Trahasch, Rolf   Pl {\\ \"o} tzner , Gerhard Schneider, Claudia  Gayer, Daniel Sassiat, and Nicole W {\\ \"o} hrle. Lecture Notes in Informatics (LNI), 2014.","ieee":"R. Keil, H. Selke, and F. Winkelnkemper, “Twenty years of learning with the World Wide Web.” pp. 51–60, 2014."},"page":"51–60","date_updated":"2022-01-06T06:57:35Z","author":[{"first_name":"Reinhard","last_name":"Keil","full_name":"Keil, Reinhard"},{"first_name":"Harald","last_name":"Selke","id":"497","full_name":"Selke, Harald"},{"first_name":"Felix","last_name":"Winkelnkemper","full_name":"Winkelnkemper, Felix","id":"3117"}],"date_created":"2021-11-05T23:07:46Z","title":"Twenty years of learning with the World Wide Web","type":"conference","editor":[{"full_name":"Trahasch, Stephan","last_name":"Trahasch","first_name":"Stephan"},{"last_name":" Pl {\\ \"o} tzner ","full_name":" Pl {\\ \"o} tzner , Rolf ","first_name":"Rolf "},{"last_name":"Schneider","full_name":"Schneider, Gerhard","first_name":"Gerhard"},{"first_name":"Claudia ","last_name":"Gayer","full_name":"Gayer, Claudia "},{"full_name":"Sassiat, Daniel","last_name":"Sassiat","first_name":"Daniel"},{"first_name":"Nicole","last_name":"W {\\ \"o} hrle","full_name":"W {\\ \"o} hrle, Nicole"}],"status":"public","_id":"27166","user_id":"71124","series_title":"Lecture Notes in Informatics (LNI)","department":[{"_id":"71"}],"language":[{"iso":"eng"}]}]