[{"department":[{"_id":"64"}],"type":"conference","date_created":"2018-06-05T07:47:21Z","citation":{"short":"M.R. Ackermann, J. Blömer, C. Scholz, (2011).","ama":"Ackermann MR, Blömer J, Scholz C. Hardness and Non-Approximability of Bregman Clustering Problems. 2011.","chicago":"Ackermann, Marcel R, Johannes Blömer, and Christoph Scholz. “Hardness and Non-Approximability of Bregman Clustering Problems.” Electronic Colloquium on Computational Complexity (ECCC), 2011.","bibtex":"@article{Ackermann_Blömer_Scholz_2011, series={Electronic Colloquium on Computational Complexity (ECCC)}, title={Hardness and Non-Approximability of Bregman Clustering Problems.}, author={Ackermann, Marcel R and Blömer, Johannes and Scholz, Christoph}, year={2011}, collection={Electronic Colloquium on Computational Complexity (ECCC)} }","apa":"Ackermann, M. R., Blömer, J., &#38; Scholz, C. (2011). Hardness and Non-Approximability of Bregman Clustering Problems.","mla":"Ackermann, Marcel R., et al. <i>Hardness and Non-Approximability of Bregman Clustering Problems.</i> 2011.","ieee":"M. R. Ackermann, J. Blömer, and C. Scholz, “Hardness and Non-Approximability of Bregman Clustering Problems.” 2011."},"user_id":"25078","series_title":"Electronic Colloquium on Computational Complexity (ECCC)","_id":"2985","publication_status":"published","date_updated":"2022-01-06T06:58:50Z","author":[{"first_name":"Marcel R","last_name":"Ackermann","full_name":"Ackermann, Marcel R"},{"id":"23","full_name":"Blömer, Johannes","last_name":"Blömer","first_name":"Johannes"},{"first_name":"Christoph","last_name":"Scholz","full_name":"Scholz, Christoph"}],"status":"public","year":"2011","title":"Hardness and Non-Approximability of Bregman Clustering Problems."},{"doi":"10.1007/978-3-642-15328-0_17","user_id":"25078","page":"159-168","publisher":"Springer Berlin Heidelberg","_id":"2986","date_updated":"2022-01-06T06:58:50Z","publication_status":"published","title":"How to Share a Secret","status":"public","year":"2011","publication_identifier":{"isbn":["9783642153273","9783642153280"]},"author":[{"id":"23","first_name":"Johannes","last_name":"Blömer","full_name":"Blömer, Johannes"}],"type":"book_chapter","department":[{"_id":"64"}],"place":"Berlin, Heidelberg","date_created":"2018-06-05T07:48:25Z","publication":"Algorithms Unplugged","citation":{"chicago":"Blömer, Johannes. “How to Share a Secret.” In <i>Algorithms Unplugged</i>, 159–68. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. <a href=\"https://doi.org/10.1007/978-3-642-15328-0_17\">https://doi.org/10.1007/978-3-642-15328-0_17</a>.","short":"J. Blömer, in: Algorithms Unplugged, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 159–168.","ieee":"J. Blömer, “How to Share a Secret,” in <i>Algorithms Unplugged</i>, Berlin, Heidelberg: Springer Berlin Heidelberg, 2011, pp. 159–168.","apa":"Blömer, J. (2011). How to Share a Secret. In <i>Algorithms Unplugged</i> (pp. 159–168). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/978-3-642-15328-0_17\">https://doi.org/10.1007/978-3-642-15328-0_17</a>","bibtex":"@inbook{Blömer_2011, place={Berlin, Heidelberg}, title={How to Share a Secret}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-15328-0_17\">10.1007/978-3-642-15328-0_17</a>}, booktitle={Algorithms Unplugged}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes}, year={2011}, pages={159–168} }","ama":"Blömer J. How to Share a Secret. In: <i>Algorithms Unplugged</i>. Berlin, Heidelberg: Springer Berlin Heidelberg; 2011:159-168. doi:<a href=\"https://doi.org/10.1007/978-3-642-15328-0_17\">10.1007/978-3-642-15328-0_17</a>","mla":"Blömer, Johannes. “How to Share a Secret.” <i>Algorithms Unplugged</i>, Springer Berlin Heidelberg, 2011, pp. 159–68, doi:<a href=\"https://doi.org/10.1007/978-3-642-15328-0_17\">10.1007/978-3-642-15328-0_17</a>."}},{"doi":"10.1177/0042098010375317","user_id":"186","volume":48,"page":"1457-1475","language":[{"iso":"eng"}],"_id":"3052","date_updated":"2022-01-06T06:58:54Z","intvolume":"        48","year":"2011","status":"public","title":"Income Determination and Income Discrimination in Shenzhen","author":[{"id":"186","full_name":"Gries, Thomas","last_name":"Gries","first_name":"Thomas"},{"last_name":"Gravemeyer","first_name":"Stefan","full_name":"Gravemeyer, Stefan"},{"full_name":"Xue, Jinjun","first_name":"Jinjun","last_name":"Xue"}],"type":"journal_article","department":[{"_id":"19"},{"_id":"200"},{"_id":"475"},{"_id":"202"}],"date_created":"2018-06-05T11:54:07Z","issue":"7","publication":"Urban Studies","citation":{"short":"T. Gries, S. Gravemeyer, J. Xue, Urban Studies 48 (2011) 1457–1475.","chicago":"Gries, Thomas, Stefan Gravemeyer, and Jinjun Xue. “Income Determination and Income Discrimination in Shenzhen.” <i>Urban Studies</i> 48, no. 7 (2011): 1457–75. <a href=\"https://doi.org/10.1177/0042098010375317\">https://doi.org/10.1177/0042098010375317</a>.","ieee":"T. Gries, S. Gravemeyer, and J. Xue, “Income Determination and Income Discrimination in Shenzhen,” <i>Urban Studies</i>, vol. 48, no. 7, pp. 1457–1475, 2011.","apa":"Gries, T., Gravemeyer, S., &#38; Xue, J. (2011). Income Determination and Income Discrimination in Shenzhen. <i>Urban Studies</i>, <i>48</i>(7), 1457–1475. <a href=\"https://doi.org/10.1177/0042098010375317\">https://doi.org/10.1177/0042098010375317</a>","bibtex":"@article{Gries_Gravemeyer_Xue_2011, title={Income Determination and Income Discrimination in Shenzhen}, volume={48}, DOI={<a href=\"https://doi.org/10.1177/0042098010375317\">10.1177/0042098010375317</a>}, number={7}, journal={Urban Studies}, author={Gries, Thomas and Gravemeyer, Stefan and Xue, Jinjun}, year={2011}, pages={1457–1475} }","ama":"Gries T, Gravemeyer S, Xue J. Income Determination and Income Discrimination in Shenzhen. <i>Urban Studies</i>. 2011;48(7):1457-1475. doi:<a href=\"https://doi.org/10.1177/0042098010375317\">10.1177/0042098010375317</a>","mla":"Gries, Thomas, et al. “Income Determination and Income Discrimination in Shenzhen.” <i>Urban Studies</i>, vol. 48, no. 7, 2011, pp. 1457–75, doi:<a href=\"https://doi.org/10.1177/0042098010375317\">10.1177/0042098010375317</a>."}},{"title":"Financial Deepening, Trade Openness and Economic Growth in Latin America and the Caribbean","year":"2011","status":"public","author":[{"full_name":"Gries, Thomas","first_name":"Thomas","last_name":"Gries","id":"186"},{"last_name":"Kraft","first_name":"Manfred","full_name":"Kraft, Manfred"},{"full_name":"Meierrieks, Daniel","last_name":"Meierrieks","first_name":"Daniel"}],"date_updated":"2022-01-06T06:58:54Z","intvolume":"        43","page":"4729 - 4739","_id":"3053","language":[{"iso":"eng"}],"user_id":"186","doi":"10.1080/00036846.2010.498352","volume":43,"issue":"30","publication":"Applied Economics","citation":{"bibtex":"@article{Gries_Kraft_Meierrieks_2011, title={Financial Deepening, Trade Openness and Economic Growth in Latin America and the Caribbean}, volume={43}, DOI={<a href=\"https://doi.org/10.1080/00036846.2010.498352\">10.1080/00036846.2010.498352</a>}, number={30}, journal={Applied Economics}, author={Gries, Thomas and Kraft, Manfred and Meierrieks, Daniel}, year={2011}, pages={4729–4739} }","ama":"Gries T, Kraft M, Meierrieks D. Financial Deepening, Trade Openness and Economic Growth in Latin America and the Caribbean. <i>Applied Economics</i>. 2011;43(30):4729-4739. doi:<a href=\"https://doi.org/10.1080/00036846.2010.498352\">10.1080/00036846.2010.498352</a>","mla":"Gries, Thomas, et al. “Financial Deepening, Trade Openness and Economic Growth in Latin America and the Caribbean.” <i>Applied Economics</i>, vol. 43, no. 30, 2011, pp. 4729–39, doi:<a href=\"https://doi.org/10.1080/00036846.2010.498352\">10.1080/00036846.2010.498352</a>.","chicago":"Gries, Thomas, Manfred Kraft, and Daniel Meierrieks. “Financial Deepening, Trade Openness and Economic Growth in Latin America and the Caribbean.” <i>Applied Economics</i> 43, no. 30 (2011): 4729–39. <a href=\"https://doi.org/10.1080/00036846.2010.498352\">https://doi.org/10.1080/00036846.2010.498352</a>.","short":"T. Gries, M. Kraft, D. Meierrieks, Applied Economics 43 (2011) 4729–4739.","ieee":"T. Gries, M. Kraft, and D. Meierrieks, “Financial Deepening, Trade Openness and Economic Growth in Latin America and the Caribbean,” <i>Applied Economics</i>, vol. 43, no. 30, pp. 4729–4739, 2011.","apa":"Gries, T., Kraft, M., &#38; Meierrieks, D. (2011). Financial Deepening, Trade Openness and Economic Growth in Latin America and the Caribbean. <i>Applied Economics</i>, <i>43</i>(30), 4729–4739. <a href=\"https://doi.org/10.1080/00036846.2010.498352\">https://doi.org/10.1080/00036846.2010.498352</a>"},"date_created":"2018-06-05T11:57:33Z","type":"journal_article","department":[{"_id":"19"},{"_id":"200"},{"_id":"475"},{"_id":"202"}]},{"intvolume":"        22","date_updated":"2022-01-06T06:58:54Z","author":[{"id":"186","first_name":"Thomas","last_name":"Gries","full_name":"Gries, Thomas"},{"first_name":"Tim","last_name":"Krieger","full_name":"Krieger, Tim"},{"last_name":"Meierrieks","first_name":"Daniel","full_name":"Meierrieks, Daniel"}],"title":"Causal Linkages Between Domestic Terrorism and Economic Growth","status":"public","year":"2011","volume":22,"user_id":"186","doi":"10.1080/10242694.2010.532943","language":[{"iso":"eng"}],"_id":"3054","page":"493 - 508","citation":{"mla":"Gries, Thomas, et al. “Causal Linkages Between Domestic Terrorism and Economic Growth.” <i>Defence and Peace Economics</i>, vol. 22, no. 5, 2011, pp. 493–508, doi:<a href=\"https://doi.org/10.1080/10242694.2010.532943\">10.1080/10242694.2010.532943</a>.","bibtex":"@article{Gries_Krieger_Meierrieks_2011, title={Causal Linkages Between Domestic Terrorism and Economic Growth}, volume={22}, DOI={<a href=\"https://doi.org/10.1080/10242694.2010.532943\">10.1080/10242694.2010.532943</a>}, number={5}, journal={Defence and Peace Economics}, author={Gries, Thomas and Krieger, Tim and Meierrieks, Daniel}, year={2011}, pages={493–508} }","ama":"Gries T, Krieger T, Meierrieks D. Causal Linkages Between Domestic Terrorism and Economic Growth. <i>Defence and Peace Economics</i>. 2011;22(5):493-508. doi:<a href=\"https://doi.org/10.1080/10242694.2010.532943\">10.1080/10242694.2010.532943</a>","ieee":"T. Gries, T. Krieger, and D. Meierrieks, “Causal Linkages Between Domestic Terrorism and Economic Growth,” <i>Defence and Peace Economics</i>, vol. 22, no. 5, pp. 493–508, 2011.","apa":"Gries, T., Krieger, T., &#38; Meierrieks, D. (2011). Causal Linkages Between Domestic Terrorism and Economic Growth. <i>Defence and Peace Economics</i>, <i>22</i>(5), 493–508. <a href=\"https://doi.org/10.1080/10242694.2010.532943\">https://doi.org/10.1080/10242694.2010.532943</a>","short":"T. Gries, T. Krieger, D. Meierrieks, Defence and Peace Economics 22 (2011) 493–508.","chicago":"Gries, Thomas, Tim Krieger, and Daniel Meierrieks. “Causal Linkages Between Domestic Terrorism and Economic Growth.” <i>Defence and Peace Economics</i> 22, no. 5 (2011): 493–508. <a href=\"https://doi.org/10.1080/10242694.2010.532943\">https://doi.org/10.1080/10242694.2010.532943</a>."},"publication":"Defence and Peace Economics","issue":"5","department":[{"_id":"19"},{"_id":"200"},{"_id":"475"},{"_id":"202"}],"type":"journal_article","date_created":"2018-06-05T12:00:14Z"},{"user_id":"186","doi":"10.1007/s00168-009-0344-1","volume":46,"page":"707-732","_id":"3058","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:58:54Z","intvolume":"        46","year":"2011","status":"public","title":"Interregional Migration, Self-selection and the Returns to Education in Brazil","author":[{"last_name":"Gries","first_name":"Thomas","full_name":"Gries, Thomas","id":"186"},{"full_name":"Kraft, Manfred","last_name":"Kraft","first_name":"Manfred"},{"full_name":"Piek, Christina","first_name":"Christina","last_name":"Piek"}],"type":"journal_article","department":[{"_id":"19"},{"_id":"200"},{"_id":"475"},{"_id":"202"}],"date_created":"2018-06-05T12:11:44Z","publication":"The Annals of Regional Science","issue":"3","citation":{"ama":"Gries T, Kraft M, Piek C. Interregional Migration, Self-selection and the Returns to Education in Brazil. <i>The Annals of Regional Science</i>. 2011;46(3):707-732. doi:<a href=\"https://doi.org/10.1007/s00168-009-0344-1\">10.1007/s00168-009-0344-1</a>","bibtex":"@article{Gries_Kraft_Piek_2011, title={Interregional Migration, Self-selection and the Returns to Education in Brazil}, volume={46}, DOI={<a href=\"https://doi.org/10.1007/s00168-009-0344-1\">10.1007/s00168-009-0344-1</a>}, number={3}, journal={The Annals of Regional Science}, author={Gries, Thomas and Kraft, Manfred and Piek, Christina}, year={2011}, pages={707–732} }","mla":"Gries, Thomas, et al. “Interregional Migration, Self-Selection and the Returns to Education in Brazil.” <i>The Annals of Regional Science</i>, vol. 46, no. 3, 2011, pp. 707–32, doi:<a href=\"https://doi.org/10.1007/s00168-009-0344-1\">10.1007/s00168-009-0344-1</a>.","chicago":"Gries, Thomas, Manfred Kraft, and Christina Piek. “Interregional Migration, Self-Selection and the Returns to Education in Brazil.” <i>The Annals of Regional Science</i> 46, no. 3 (2011): 707–32. <a href=\"https://doi.org/10.1007/s00168-009-0344-1\">https://doi.org/10.1007/s00168-009-0344-1</a>.","short":"T. Gries, M. Kraft, C. Piek, The Annals of Regional Science 46 (2011) 707–732.","apa":"Gries, T., Kraft, M., &#38; Piek, C. (2011). Interregional Migration, Self-selection and the Returns to Education in Brazil. <i>The Annals of Regional Science</i>, <i>46</i>(3), 707–732. <a href=\"https://doi.org/10.1007/s00168-009-0344-1\">https://doi.org/10.1007/s00168-009-0344-1</a>","ieee":"T. Gries, M. Kraft, and C. Piek, “Interregional Migration, Self-selection and the Returns to Education in Brazil,” <i>The Annals of Regional Science</i>, vol. 46, no. 3, pp. 707–732, 2011."}},{"date_created":"2018-06-07T09:27:58Z","type":"conference","department":[{"_id":"558"}],"publication":"Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings","citation":{"mla":"Hofheinz, Dennis, et al. “Short Signatures from Weaker Assumptions.” <i>Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings</i>, 2011, pp. 647--666, doi:<a href=\"https://doi.org/10.1007/978-3-642-25385-0_35\">10.1007/978-3-642-25385-0_35</a>.","ama":"Hofheinz D, Jager T, Kiltz E. Short Signatures from Weaker Assumptions. In: <i>Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings</i>. ; 2011:647--666. doi:<a href=\"https://doi.org/10.1007/978-3-642-25385-0_35\">10.1007/978-3-642-25385-0_35</a>","bibtex":"@inproceedings{Hofheinz_Jager_Kiltz_2011, title={Short Signatures from Weaker Assumptions}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-25385-0_35\">10.1007/978-3-642-25385-0_35</a>}, booktitle={Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings}, author={Hofheinz, Dennis and Jager, Tibor and Kiltz, Eike}, year={2011}, pages={647--666} }","apa":"Hofheinz, D., Jager, T., &#38; Kiltz, E. (2011). Short Signatures from Weaker Assumptions. In <i>Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings</i> (pp. 647--666). <a href=\"https://doi.org/10.1007/978-3-642-25385-0_35\">https://doi.org/10.1007/978-3-642-25385-0_35</a>","ieee":"D. Hofheinz, T. Jager, and E. Kiltz, “Short Signatures from Weaker Assumptions,” in <i>Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings</i>, 2011, pp. 647--666.","chicago":"Hofheinz, Dennis, Tibor Jager, and Eike Kiltz. “Short Signatures from Weaker Assumptions.” In <i>Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings</i>, 647--666, 2011. <a href=\"https://doi.org/10.1007/978-3-642-25385-0_35\">https://doi.org/10.1007/978-3-642-25385-0_35</a>.","short":"D. Hofheinz, T. Jager, E. Kiltz, in: Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings, 2011, pp. 647--666."},"extern":"1","page":"647--666","_id":"3137","user_id":"38235","doi":"10.1007/978-3-642-25385-0_35","title":"Short Signatures from Weaker Assumptions","status":"public","year":"2011","author":[{"first_name":"Dennis","last_name":"Hofheinz","full_name":"Hofheinz, Dennis"},{"last_name":"Jager","first_name":"Tibor","full_name":"Jager, Tibor","id":"64669"},{"full_name":"Kiltz, Eike","last_name":"Kiltz","first_name":"Eike"}],"date_updated":"2022-01-06T06:58:58Z"},{"publication":"Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011","citation":{"chicago":"Jager, Tibor, and Juraj Somorovsky. “How to Break XML Encryption.” In <i>Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011</i>, 413--422, 2011. <a href=\"https://doi.org/10.1145/2046707.2046756\">https://doi.org/10.1145/2046707.2046756</a>.","ama":"Jager T, Somorovsky J. How to break XML encryption. In: <i>Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011</i>. ; 2011:413--422. doi:<a href=\"https://doi.org/10.1145/2046707.2046756\">10.1145/2046707.2046756</a>","short":"T. Jager, J. Somorovsky, in: Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, 2011, pp. 413--422.","bibtex":"@inproceedings{Jager_Somorovsky_2011, title={How to break XML encryption}, DOI={<a href=\"https://doi.org/10.1145/2046707.2046756\">10.1145/2046707.2046756</a>}, booktitle={Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011}, author={Jager, Tibor and Somorovsky, Juraj}, year={2011}, pages={413--422} }","mla":"Jager, Tibor, and Juraj Somorovsky. “How to Break XML Encryption.” <i>Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011</i>, 2011, pp. 413--422, doi:<a href=\"https://doi.org/10.1145/2046707.2046756\">10.1145/2046707.2046756</a>.","apa":"Jager, T., &#38; Somorovsky, J. (2011). How to break XML encryption. In <i>Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011</i> (pp. 413--422). <a href=\"https://doi.org/10.1145/2046707.2046756\">https://doi.org/10.1145/2046707.2046756</a>","ieee":"T. Jager and J. Somorovsky, “How to break XML encryption,” in <i>Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011</i>, 2011, pp. 413--422."},"extern":"1","date_created":"2018-06-07T09:28:23Z","type":"conference","department":[{"_id":"558"}],"status":"public","year":"2011","title":"How to break XML encryption","author":[{"full_name":"Jager, Tibor","last_name":"Jager","first_name":"Tibor","id":"64669"},{"full_name":"Somorovsky, Juraj","first_name":"Juraj","last_name":"Somorovsky"}],"date_updated":"2022-01-06T06:58:58Z","page":"413--422","_id":"3138","doi":"10.1145/2046707.2046756","user_id":"38235"},{"citation":{"mla":"Schneider, Steve, et al. “Bounded Retransmission in Event-B{\\(\\parallel\\)}CSP: A Case Study.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2011, pp. 69--80, doi:<a href=\"https://doi.org/10.1016/j.entcs.2011.11.019\">10.1016/j.entcs.2011.11.019</a>.","ama":"Schneider S, Treharne H, Wehrheim H. Bounded Retransmission in Event-B{\\(\\parallel\\)}CSP: a Case Study. <i>Electr Notes Theor Comput Sci</i>. 2011:69--80. doi:<a href=\"https://doi.org/10.1016/j.entcs.2011.11.019\">10.1016/j.entcs.2011.11.019</a>","bibtex":"@article{Schneider_Treharne_Wehrheim_2011, title={Bounded Retransmission in Event-B{\\(\\parallel\\)}CSP: a Case Study}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2011.11.019\">10.1016/j.entcs.2011.11.019</a>}, journal={Electr. Notes Theor. Comput. Sci.}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, year={2011}, pages={69--80} }","apa":"Schneider, S., Treharne, H., &#38; Wehrheim, H. (2011). Bounded Retransmission in Event-B{\\(\\parallel\\)}CSP: a Case Study. <i>Electr. Notes Theor. Comput. Sci.</i>, 69--80. <a href=\"https://doi.org/10.1016/j.entcs.2011.11.019\">https://doi.org/10.1016/j.entcs.2011.11.019</a>","ieee":"S. Schneider, H. Treharne, and H. Wehrheim, “Bounded Retransmission in Event-B{\\(\\parallel\\)}CSP: a Case Study,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 69--80, 2011.","chicago":"Schneider, Steve, Helen Treharne, and Heike Wehrheim. “Bounded Retransmission in Event-B{\\(\\parallel\\)}CSP: A Case Study.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2011, 69--80. <a href=\"https://doi.org/10.1016/j.entcs.2011.11.019\">https://doi.org/10.1016/j.entcs.2011.11.019</a>.","short":"S. Schneider, H. Treharne, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2011) 69--80."},"publication":"Electr. Notes Theor. Comput. Sci.","department":[{"_id":"77"}],"type":"journal_article","date_created":"2018-06-13T08:20:47Z","date_updated":"2022-01-06T06:59:03Z","author":[{"first_name":"Steve","last_name":"Schneider","full_name":"Schneider, Steve"},{"full_name":"Treharne, Helen","first_name":"Helen","last_name":"Treharne"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"}],"year":"2011","status":"public","title":"Bounded Retransmission in Event-B{\\(\\parallel\\)}CSP: a Case Study","user_id":"29719","doi":"10.1016/j.entcs.2011.11.019","_id":"3183","page":"69--80"},{"doi":"10.1145/1889997.1890001","user_id":"29719","_id":"3184","page":"4:1--4:43","date_updated":"2022-01-06T06:59:03Z","author":[{"last_name":"Derrick","first_name":"John","full_name":"Derrick, John"},{"last_name":"Schellhorn","first_name":"Gerhard","full_name":"Schellhorn, Gerhard"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"title":"Mechanically verified proof obligations for linearizability","status":"public","year":"2011","department":[{"_id":"77"}],"type":"journal_article","date_created":"2018-06-13T08:22:02Z","citation":{"short":"J. Derrick, G. Schellhorn, H. Wehrheim, {ACM} Trans. Program. Lang. Syst. (2011) 4:1--4:43.","chicago":"Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanically Verified Proof Obligations for Linearizability.” <i>{ACM} Trans. Program. Lang. Syst.</i>, no. 1 (2011): 4:1--4:43. <a href=\"https://doi.org/10.1145/1889997.1890001\">https://doi.org/10.1145/1889997.1890001</a>.","apa":"Derrick, J., Schellhorn, G., &#38; Wehrheim, H. (2011). Mechanically verified proof obligations for linearizability. <i>{ACM} Trans. Program. Lang. Syst.</i>, (1), 4:1--4:43. <a href=\"https://doi.org/10.1145/1889997.1890001\">https://doi.org/10.1145/1889997.1890001</a>","ieee":"J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanically verified proof obligations for linearizability,” <i>{ACM} Trans. Program. Lang. Syst.</i>, no. 1, pp. 4:1--4:43, 2011.","ama":"Derrick J, Schellhorn G, Wehrheim H. Mechanically verified proof obligations for linearizability. <i>{ACM} Trans Program Lang Syst</i>. 2011;(1):4:1--4:43. doi:<a href=\"https://doi.org/10.1145/1889997.1890001\">10.1145/1889997.1890001</a>","bibtex":"@article{Derrick_Schellhorn_Wehrheim_2011, title={Mechanically verified proof obligations for linearizability}, DOI={<a href=\"https://doi.org/10.1145/1889997.1890001\">10.1145/1889997.1890001</a>}, number={1}, journal={{ACM} Trans. Program. Lang. Syst.}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, year={2011}, pages={4:1--4:43} }","mla":"Derrick, John, et al. “Mechanically Verified Proof Obligations for Linearizability.” <i>{ACM} Trans. Program. Lang. Syst.</i>, no. 1, 2011, pp. 4:1--4:43, doi:<a href=\"https://doi.org/10.1145/1889997.1890001\">10.1145/1889997.1890001</a>."},"issue":"1","publication":"{ACM} Trans. Program. Lang. Syst."},{"date_updated":"2022-01-06T06:59:03Z","author":[{"full_name":"Ruhroth, Thomas","first_name":"Thomas","last_name":"Ruhroth"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"},{"last_name":"Ziegert","first_name":"Steffen","full_name":"Ziegert, Steffen"}],"year":"2011","status":"public","title":"ReL: {A} Generic Refactoring Language for Specification and Execution","doi":"10.1109/SEAA.2011.22","user_id":"29719","_id":"3185","page":"83--90","citation":{"ieee":"T. Ruhroth, H. Wehrheim, and S. Ziegert, “ReL: {A} Generic Refactoring Language for Specification and Execution,” in <i>37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011</i>, 2011, pp. 83--90.","apa":"Ruhroth, T., Wehrheim, H., &#38; Ziegert, S. (2011). ReL: {A} Generic Refactoring Language for Specification and Execution. In <i>37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011</i> (pp. 83--90). <a href=\"https://doi.org/10.1109/SEAA.2011.22\">https://doi.org/10.1109/SEAA.2011.22</a>","chicago":"Ruhroth, Thomas, Heike Wehrheim, and Steffen Ziegert. “ReL: {A} Generic Refactoring Language for Specification and Execution.” In <i>37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011</i>, 83--90, 2011. <a href=\"https://doi.org/10.1109/SEAA.2011.22\">https://doi.org/10.1109/SEAA.2011.22</a>.","short":"T. Ruhroth, H. Wehrheim, S. Ziegert, in: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90.","mla":"Ruhroth, Thomas, et al. “ReL: {A} Generic Refactoring Language for Specification and Execution.” <i>37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011</i>, 2011, pp. 83--90, doi:<a href=\"https://doi.org/10.1109/SEAA.2011.22\">10.1109/SEAA.2011.22</a>.","bibtex":"@inproceedings{Ruhroth_Wehrheim_Ziegert_2011, title={ReL: {A} Generic Refactoring Language for Specification and Execution}, DOI={<a href=\"https://doi.org/10.1109/SEAA.2011.22\">10.1109/SEAA.2011.22</a>}, booktitle={37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011}, author={Ruhroth, Thomas and Wehrheim, Heike and Ziegert, Steffen}, year={2011}, pages={83--90} }","ama":"Ruhroth T, Wehrheim H, Ziegert S. ReL: {A} Generic Refactoring Language for Specification and Execution. In: <i>37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011</i>. ; 2011:83--90. doi:<a href=\"https://doi.org/10.1109/SEAA.2011.22\">10.1109/SEAA.2011.22</a>"},"publication":"37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011","department":[{"_id":"77"}],"type":"conference","date_created":"2018-06-13T08:23:28Z"},{"department":[{"_id":"77"}],"type":"conference","date_created":"2018-06-13T08:25:07Z","citation":{"apa":"Derrick, J., Schellhorn, G., &#38; Wehrheim, H. (2011). Verifying Linearisability with Potential Linearisation Points. In M. J. Butler &#38; W. Schulte (Eds.), <i>{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings</i> (pp. 323--337). <a href=\"https://doi.org/10.1007/978-3-642-21437-0_25\">https://doi.org/10.1007/978-3-642-21437-0_25</a>","mla":"Derrick, John, et al. “Verifying Linearisability with Potential Linearisation Points.” <i>{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings</i>, edited by Michael J. Butler and Wolfram Schulte, 2011, pp. 323--337, doi:<a href=\"https://doi.org/10.1007/978-3-642-21437-0_25\">10.1007/978-3-642-21437-0_25</a>.","ieee":"J. Derrick, G. Schellhorn, and H. Wehrheim, “Verifying Linearisability with Potential Linearisation Points,” in <i>{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings</i>, 2011, pp. 323--337.","ama":"Derrick J, Schellhorn G, Wehrheim H. Verifying Linearisability with Potential Linearisation Points. In: J. Butler M, Schulte W, eds. <i>{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings</i>. Lecture Notes in Computer Science. ; 2011:323--337. doi:<a href=\"https://doi.org/10.1007/978-3-642-21437-0_25\">10.1007/978-3-642-21437-0_25</a>","short":"J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.","chicago":"Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Linearisability with Potential Linearisation Points.” In <i>{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings</i>, edited by Michael J. Butler and Wolfram Schulte, 323--337. Lecture Notes in Computer Science, 2011. <a href=\"https://doi.org/10.1007/978-3-642-21437-0_25\">https://doi.org/10.1007/978-3-642-21437-0_25</a>.","bibtex":"@inproceedings{Derrick_Schellhorn_Wehrheim_2011, series={Lecture Notes in Computer Science}, title={Verifying Linearisability with Potential Linearisation Points}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-21437-0_25\">10.1007/978-3-642-21437-0_25</a>}, booktitle={{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={J. Butler, Michael and Schulte, WolframEditors}, year={2011}, pages={323--337}, collection={Lecture Notes in Computer Science} }"},"publication":"{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings","editor":[{"first_name":"Michael","last_name":"J. Butler","full_name":"J. Butler, Michael"},{"first_name":"Wolfram","last_name":"Schulte","full_name":"Schulte, Wolfram"}],"doi":"10.1007/978-3-642-21437-0_25","user_id":"29719","series_title":"Lecture Notes in Computer Science","_id":"3186","page":"323--337","date_updated":"2022-01-06T06:59:03Z","author":[{"last_name":"Derrick","first_name":"John","full_name":"Derrick, John"},{"full_name":"Schellhorn, Gerhard","last_name":"Schellhorn","first_name":"Gerhard"},{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"status":"public","year":"2011","title":"Verifying Linearisability with Potential Linearisation Points"},{"date_created":"2018-06-13T08:32:12Z","type":"conference","department":[{"_id":"77"}],"publication":"Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers","citation":{"bibtex":"@inproceedings{Steenken_Wehrheim_Wonisch_2011, series={Lecture Notes in Computer Science}, title={Sound and Complete Abstract Graph Transformation}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-25032-3_7\">10.1007/978-3-642-25032-3_7</a>}, booktitle={Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers}, author={Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}, editor={da Silva Sim{\\~{a}}o, Adenilso and Morgan, CarrollEditors}, year={2011}, pages={92--107}, collection={Lecture Notes in Computer Science} }","ama":"Steenken D, Wehrheim H, Wonisch D. Sound and Complete Abstract Graph Transformation. In: da Silva Sim{\\~{a}}o A, Morgan C, eds. <i>Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers</i>. Lecture Notes in Computer Science. ; 2011:92--107. doi:<a href=\"https://doi.org/10.1007/978-3-642-25032-3_7\">10.1007/978-3-642-25032-3_7</a>","mla":"Steenken, Dominik, et al. “Sound and Complete Abstract Graph Transformation.” <i>Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers</i>, edited by Adenilso da Silva Sim{\\~{a}}o and Carroll Morgan, 2011, pp. 92--107, doi:<a href=\"https://doi.org/10.1007/978-3-642-25032-3_7\">10.1007/978-3-642-25032-3_7</a>.","short":"D. Steenken, H. Wehrheim, D. Wonisch, in: A. da Silva Sim{\\~{a}}o, C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92--107.","chicago":"Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Sound and Complete Abstract Graph Transformation.” In <i>Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers</i>, edited by Adenilso da Silva Sim{\\~{a}}o and Carroll Morgan, 92--107. Lecture Notes in Computer Science, 2011. <a href=\"https://doi.org/10.1007/978-3-642-25032-3_7\">https://doi.org/10.1007/978-3-642-25032-3_7</a>.","ieee":"D. Steenken, H. Wehrheim, and D. Wonisch, “Sound and Complete Abstract Graph Transformation,” in <i>Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers</i>, 2011, pp. 92--107.","apa":"Steenken, D., Wehrheim, H., &#38; Wonisch, D. (2011). Sound and Complete Abstract Graph Transformation. In A. da Silva Sim{\\~{a}}o &#38; C. Morgan (Eds.), <i>Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers</i> (pp. 92--107). <a href=\"https://doi.org/10.1007/978-3-642-25032-3_7\">https://doi.org/10.1007/978-3-642-25032-3_7</a>"},"page":"92--107","_id":"3187","series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-642-25032-3_7","user_id":"29719","editor":[{"last_name":"da Silva Sim{\\~{a}}o","first_name":"Adenilso","full_name":"da Silva Sim{\\~{a}}o, Adenilso"},{"full_name":"Morgan, Carroll","first_name":"Carroll","last_name":"Morgan"}],"year":"2011","status":"public","title":"Sound and Complete Abstract Graph Transformation","author":[{"full_name":"Steenken, Dominik","first_name":"Dominik","last_name":"Steenken"},{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"},{"first_name":"Daniel","last_name":"Wonisch","full_name":"Wonisch, Daniel"}],"date_updated":"2022-01-06T06:59:03Z"},{"publication":"Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.","citation":{"ama":"Schneider S, Treharne H, Wehrheim H. A {CSP} Account of Event-B Refinement. In: Derrick J, A. Boiten E, Reeves S, eds. <i>Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.</i> {EPTCS}. ; 2011:139--154. doi:<a href=\"https://doi.org/10.4204/EPTCS.55.9\">10.4204/EPTCS.55.9</a>","bibtex":"@inproceedings{Schneider_Treharne_Wehrheim_2011, series={{EPTCS}}, title={A {CSP} Account of Event-B Refinement}, DOI={<a href=\"https://doi.org/10.4204/EPTCS.55.9\">10.4204/EPTCS.55.9</a>}, booktitle={Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, editor={Derrick, John and A. Boiten, Eerke and Reeves, SteveEditors}, year={2011}, pages={139--154}, collection={{EPTCS}} }","mla":"Schneider, Steve, et al. “A {CSP} Account of Event-B Refinement.” <i>Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.</i>, edited by John Derrick et al., 2011, pp. 139--154, doi:<a href=\"https://doi.org/10.4204/EPTCS.55.9\">10.4204/EPTCS.55.9</a>.","short":"S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.","chicago":"Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Account of Event-B Refinement.” In <i>Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.</i>, edited by John Derrick, Eerke A. Boiten, and Steve Reeves, 139--154. {EPTCS}, 2011. <a href=\"https://doi.org/10.4204/EPTCS.55.9\">https://doi.org/10.4204/EPTCS.55.9</a>.","apa":"Schneider, S., Treharne, H., &#38; Wehrheim, H. (2011). A {CSP} Account of Event-B Refinement. In J. Derrick, E. A. Boiten, &#38; S. Reeves (Eds.), <i>Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.</i> (pp. 139--154). <a href=\"https://doi.org/10.4204/EPTCS.55.9\">https://doi.org/10.4204/EPTCS.55.9</a>","ieee":"S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Account of Event-B Refinement,” in <i>Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.</i>, 2011, pp. 139--154."},"date_created":"2018-06-13T08:43:19Z","type":"conference","department":[{"_id":"77"}],"title":"A {CSP} Account of Event-B Refinement","year":"2011","status":"public","author":[{"full_name":"Schneider, Steve","last_name":"Schneider","first_name":"Steve"},{"last_name":"Treharne","first_name":"Helen","full_name":"Treharne, Helen"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_updated":"2022-01-06T06:59:03Z","page":"139--154","series_title":"{EPTCS}","_id":"3188","user_id":"29719","doi":"10.4204/EPTCS.55.9","editor":[{"full_name":"Derrick, John","last_name":"Derrick","first_name":"John"},{"first_name":"Eerke","last_name":"A. Boiten","full_name":"A. Boiten, Eerke"},{"full_name":"Reeves, Steve","first_name":"Steve","last_name":"Reeves"}]},{"date_updated":"2022-01-06T06:57:31Z","author":[{"full_name":"Sondermann-Wölke, Christoph","last_name":"Sondermann-Wölke","first_name":"Christoph"},{"id":"21220","full_name":"Sextro, Walter","last_name":"Sextro","first_name":"Walter"},{"first_name":"Peter","last_name":"Reinold","full_name":"Reinold, Peter"},{"id":"552","first_name":"Ansgar","last_name":"Trächtler","full_name":"Trächtler, Ansgar"}],"status":"public","title":"Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs","year":"2011","user_id":"21240","language":[{"iso":"eng"}],"_id":"26981","citation":{"bibtex":"@inproceedings{Sondermann-Wölke_Sextro_Reinold_Trächtler_2011, title={Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs}, booktitle={Technische Zuverlässigkeit –TTZ}, author={Sondermann-Wölke, Christoph and Sextro, Walter and Reinold, Peter and Trächtler, Ansgar}, year={2011} }","ama":"Sondermann-Wölke C, Sextro W, Reinold P, Trächtler A. Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs. In: <i>Technische Zuverlässigkeit –TTZ</i>. ; 2011.","mla":"Sondermann-Wölke, Christoph, et al. “Zuverlässigkeitsorientierte Mehrzieloptimierung Zur Aktorrekonfiguration Eines X-by-Wire-Fahrzeugs.” <i>Technische Zuverlässigkeit –TTZ</i>, 2011.","short":"C. Sondermann-Wölke, W. Sextro, P. Reinold, A. Trächtler, in: Technische Zuverlässigkeit –TTZ, 2011.","chicago":"Sondermann-Wölke, Christoph, Walter Sextro, Peter Reinold, and Ansgar Trächtler. “Zuverlässigkeitsorientierte Mehrzieloptimierung Zur Aktorrekonfiguration Eines X-by-Wire-Fahrzeugs.” In <i>Technische Zuverlässigkeit –TTZ</i>, 2011.","ieee":"C. Sondermann-Wölke, W. Sextro, P. Reinold, and A. Trächtler, “Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs,” 2011.","apa":"Sondermann-Wölke, C., Sextro, W., Reinold, P., &#38; Trächtler, A. (2011). Zuverlässigkeitsorientierte Mehrzieloptimierung zur Aktorrekonfiguration eines X-by-wire-Fahrzeugs. <i>Technische Zuverlässigkeit –TTZ</i>."},"publication":"Technische Zuverlässigkeit –TTZ","department":[{"_id":"675"}],"type":"conference","date_created":"2021-10-27T11:04:55Z"},{"publisher":"Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293","_id":"26982","language":[{"iso":"eng"}],"user_id":"21240","volume":"Band 293","title":"Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)","year":"2011","status":"public","author":[{"full_name":"Krol, Rafal","last_name":"Krol","first_name":"Rafal"}],"date_updated":"2022-01-06T06:57:31Z","date_created":"2021-10-27T11:07:17Z","type":"dissertation","department":[{"_id":"675"}],"citation":{"chicago":"Krol, Rafal. <i>Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM)</i>. Vol. Band 293. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293, 2011.","short":"R. Krol, Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM), Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293, 2011.","ieee":"R. Krol, <i>Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)</i>, vol. Band 293. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293, 2011.","apa":"Krol, R. (2011). <i>Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM): Vol. Band 293</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293.","bibtex":"@book{Krol_2011, title={Eine Reduktionsmethode zur Ableitung elektromechanischer Ersatzmodelle für piezoelektrische Wandler unter Verwendung der Finite-Elemente- Methode (FEM)}, volume={Band 293}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293}, author={Krol, Rafal}, year={2011} }","ama":"Krol R. <i>Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM)</i>. Vol Band 293. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293; 2011.","mla":"Krol, Rafal. <i>Eine Reduktionsmethode Zur Ableitung Elektromechanischer Ersatzmodelle Für Piezoelektrische Wandler Unter Verwendung Der Finite-Elemente- Methode (FEM)</i>. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 293, 2011."}},{"citation":{"bibtex":"@article{Diethelm_Remer_Jilani_Kunz_Buyken_2011, title={Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood}, DOI={<a href=\"https://doi.org/10.1016/j.clnu.2011.05.004\">10.1016/j.clnu.2011.05.004</a>}, journal={Clinical Nutrition}, author={Diethelm, Katharina and Remer, Thomas and Jilani, Hannah and Kunz, Clemens and Buyken, Anette}, year={2011}, pages={640–646} }","ama":"Diethelm K, Remer T, Jilani H, Kunz C, Buyken A. Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood. <i>Clinical Nutrition</i>. Published online 2011:640-646. doi:<a href=\"https://doi.org/10.1016/j.clnu.2011.05.004\">10.1016/j.clnu.2011.05.004</a>","mla":"Diethelm, Katharina, et al. “Associations between the Macronutrient Composition of the Evening Meal and Average Daily Sleep Duration in Early Childhood.” <i>Clinical Nutrition</i>, 2011, pp. 640–46, doi:<a href=\"https://doi.org/10.1016/j.clnu.2011.05.004\">10.1016/j.clnu.2011.05.004</a>.","short":"K. Diethelm, T. Remer, H. Jilani, C. Kunz, A. Buyken, Clinical Nutrition (2011) 640–646.","chicago":"Diethelm, Katharina, Thomas Remer, Hannah Jilani, Clemens Kunz, and Anette Buyken. “Associations between the Macronutrient Composition of the Evening Meal and Average Daily Sleep Duration in Early Childhood.” <i>Clinical Nutrition</i>, 2011, 640–46. <a href=\"https://doi.org/10.1016/j.clnu.2011.05.004\">https://doi.org/10.1016/j.clnu.2011.05.004</a>.","ieee":"K. Diethelm, T. Remer, H. Jilani, C. Kunz, and A. Buyken, “Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood,” <i>Clinical Nutrition</i>, pp. 640–646, 2011, doi: <a href=\"https://doi.org/10.1016/j.clnu.2011.05.004\">10.1016/j.clnu.2011.05.004</a>.","apa":"Diethelm, K., Remer, T., Jilani, H., Kunz, C., &#38; Buyken, A. (2011). Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood. <i>Clinical Nutrition</i>, 640–646. <a href=\"https://doi.org/10.1016/j.clnu.2011.05.004\">https://doi.org/10.1016/j.clnu.2011.05.004</a>"},"publication":"Clinical Nutrition","department":[{"_id":"17"},{"_id":"22"},{"_id":"571"}],"type":"journal_article","date_created":"2021-10-29T13:52:19Z","date_updated":"2022-01-06T06:57:32Z","publication_status":"published","author":[{"full_name":"Diethelm, Katharina","last_name":"Diethelm","first_name":"Katharina"},{"last_name":"Remer","first_name":"Thomas","full_name":"Remer, Thomas"},{"full_name":"Jilani, Hannah","last_name":"Jilani","first_name":"Hannah"},{"full_name":"Kunz, Clemens","last_name":"Kunz","first_name":"Clemens"},{"full_name":"Buyken, Anette","last_name":"Buyken","first_name":"Anette","id":"65985"}],"publication_identifier":{"issn":["0261-5614"]},"year":"2011","status":"public","title":"Associations between the macronutrient composition of the evening meal and average daily sleep duration in early childhood","doi":"10.1016/j.clnu.2011.05.004","user_id":"61597","_id":"27010","language":[{"iso":"eng"}],"page":"640-646"},{"citation":{"mla":"Chun Yu Louie, Jimmy, et al. “Dietary Glycaemic Index and Glycaemic Load among Australian Children and Adolescents.” <i>British Journal of Nutrition</i>, 2011, pp. 1273–82, doi:<a href=\"https://doi.org/10.1017/s0007114511001577\">10.1017/s0007114511001577</a>.","bibtex":"@article{Chun Yu Louie_Buyken_Heyer_Flood_2011, title={Dietary glycaemic index and glycaemic load among Australian children and adolescents}, DOI={<a href=\"https://doi.org/10.1017/s0007114511001577\">10.1017/s0007114511001577</a>}, journal={British Journal of Nutrition}, author={Chun Yu Louie, Jimmy and Buyken, Anette and Heyer, Kristina and Flood, Victoria M.}, year={2011}, pages={1273–1282} }","ama":"Chun Yu Louie J, Buyken A, Heyer K, Flood VM. Dietary glycaemic index and glycaemic load among Australian children and adolescents. <i>British Journal of Nutrition</i>. Published online 2011:1273-1282. doi:<a href=\"https://doi.org/10.1017/s0007114511001577\">10.1017/s0007114511001577</a>","ieee":"J. Chun Yu Louie, A. Buyken, K. Heyer, and V. M. Flood, “Dietary glycaemic index and glycaemic load among Australian children and adolescents,” <i>British Journal of Nutrition</i>, pp. 1273–1282, 2011, doi: <a href=\"https://doi.org/10.1017/s0007114511001577\">10.1017/s0007114511001577</a>.","apa":"Chun Yu Louie, J., Buyken, A., Heyer, K., &#38; Flood, V. M. (2011). Dietary glycaemic index and glycaemic load among Australian children and adolescents. <i>British Journal of Nutrition</i>, 1273–1282. <a href=\"https://doi.org/10.1017/s0007114511001577\">https://doi.org/10.1017/s0007114511001577</a>","short":"J. Chun Yu Louie, A. Buyken, K. Heyer, V.M. Flood, British Journal of Nutrition (2011) 1273–1282.","chicago":"Chun Yu Louie, Jimmy, Anette Buyken, Kristina Heyer, and Victoria M. Flood. “Dietary Glycaemic Index and Glycaemic Load among Australian Children and Adolescents.” <i>British Journal of Nutrition</i>, 2011, 1273–82. <a href=\"https://doi.org/10.1017/s0007114511001577\">https://doi.org/10.1017/s0007114511001577</a>."},"publication":"British Journal of Nutrition","abstract":[{"lang":"eng","text":"<jats:p>There are no published data regarding the overall dietary glycaemic index (GI) and glycaemic load (GL) of Australian children and adolescents. We therefore aim to describe the dietary GI and GL of participants of the 2007 Australian National Children's Nutrition and Physical Activity Survey (2007ANCNPAS), and to identify the main foods contributing to their GL. Children, aged 2–16 years, who provided two 24 h recalls in the 2007ANCNPAS were included. A final dataset of 4184 participants was analysed. GI of each food item was assigned using a previously published method. GL was calculated, and food groups contributing to the GL were described by age group and sex. The weighted mean dietary GI and GL of the participants were 54 (<jats:sc>sd</jats:sc> 5) and 136 (<jats:sc>sd</jats:sc> 44), respectively. Among the nutrients examined, Ca had the highest inverse relationship with GI (<jats:italic>P</jats:italic> &lt; 0·001), while percentage energy from starch was most positively associated with GI. The association between fibre density and GI was modest, and percentage energy from sugar had an inverse relationship with GI. Daily dietary GL contributed by energy-dense and/or nutrient-poor (EDNP) items in subjects aged 14–16 years was more than doubled that of subjects aged 2–3 years. To conclude, Australian children and adolescents were having a high-GI dietary pattern characterised by high-starchy food intake and low Ca intake. A significant proportion of their dietary GL was from EDNP foods. Efforts to reduce dietary GI and GL in children and adolescents should focus on energy-dense starchy foods.</jats:p>"}],"date_created":"2021-10-29T13:54:48Z","department":[{"_id":"17"},{"_id":"22"},{"_id":"571"}],"type":"journal_article","author":[{"last_name":"Chun Yu Louie","first_name":"Jimmy","full_name":"Chun Yu Louie, Jimmy"},{"id":"65985","full_name":"Buyken, Anette","last_name":"Buyken","first_name":"Anette"},{"first_name":"Kristina","last_name":"Heyer","full_name":"Heyer, Kristina"},{"last_name":"Flood","first_name":"Victoria M.","full_name":"Flood, Victoria M."}],"publication_identifier":{"issn":["0007-1145","1475-2662"]},"year":"2011","title":"Dietary glycaemic index and glycaemic load among Australian children and adolescents","status":"public","date_updated":"2022-01-06T06:57:32Z","publication_status":"published","_id":"27011","language":[{"iso":"eng"}],"page":"1273-1282","doi":"10.1017/s0007114511001577","user_id":"61597"},{"publication":"Public Health Nutrition","citation":{"bibtex":"@article{Libuda_Kersting_Alexy_2011, title={Consumption of dietary salt measured by urinary sodium excretion and its association with body weight status in healthy children and adolescents}, DOI={<a href=\"https://doi.org/10.1017/s1368980011002138\">10.1017/s1368980011002138</a>}, journal={Public Health Nutrition}, author={Libuda, Lars and Kersting, Mathilde and Alexy, Ute}, year={2011}, pages={433–441} }","ama":"Libuda L, Kersting M, Alexy U. Consumption of dietary salt measured by urinary sodium excretion and its association with body weight status in healthy children and adolescents. <i>Public Health Nutrition</i>. Published online 2011:433-441. doi:<a href=\"https://doi.org/10.1017/s1368980011002138\">10.1017/s1368980011002138</a>","mla":"Libuda, Lars, et al. “Consumption of Dietary Salt Measured by Urinary Sodium Excretion and Its Association with Body Weight Status in Healthy Children and Adolescents.” <i>Public Health Nutrition</i>, 2011, pp. 433–41, doi:<a href=\"https://doi.org/10.1017/s1368980011002138\">10.1017/s1368980011002138</a>.","chicago":"Libuda, Lars, Mathilde Kersting, and Ute Alexy. “Consumption of Dietary Salt Measured by Urinary Sodium Excretion and Its Association with Body Weight Status in Healthy Children and Adolescents.” <i>Public Health Nutrition</i>, 2011, 433–41. <a href=\"https://doi.org/10.1017/s1368980011002138\">https://doi.org/10.1017/s1368980011002138</a>.","short":"L. Libuda, M. Kersting, U. Alexy, Public Health Nutrition (2011) 433–441.","ieee":"L. Libuda, M. Kersting, and U. Alexy, “Consumption of dietary salt measured by urinary sodium excretion and its association with body weight status in healthy children and adolescents,” <i>Public Health Nutrition</i>, pp. 433–441, 2011, doi: <a href=\"https://doi.org/10.1017/s1368980011002138\">10.1017/s1368980011002138</a>.","apa":"Libuda, L., Kersting, M., &#38; Alexy, U. (2011). Consumption of dietary salt measured by urinary sodium excretion and its association with body weight status in healthy children and adolescents. <i>Public Health Nutrition</i>, 433–441. <a href=\"https://doi.org/10.1017/s1368980011002138\">https://doi.org/10.1017/s1368980011002138</a>"},"abstract":[{"lang":"eng","text":"<jats:title>Abstract</jats:title><jats:sec id=\"S1368980011002138_abs1\" sec-type=\"general\"><jats:title>Objective</jats:title><jats:p>Highly processed foods such as convenience foods usually have a high salt content and therefore might indirectly act as adipogenic due to an increasing consumption of sugar-containing beverages (SCB). We examined the association between dietary salt and body weight status.</jats:p></jats:sec><jats:sec id=\"S1368980011002138_abs2\" sec-type=\"general\"><jats:title>Design</jats:title><jats:p>We used data on urinary Na excretion as an indicator of dietary salt and BMI standard deviation score (BMI-SDS) and percentage body fat (%BF) of children and adolescents participating in the DONALD (Dortmund Nutritional and Anthropometric Longitudinally Designed) Study.</jats:p></jats:sec><jats:sec id=\"S1368980011002138_abs3\" sec-type=\"general\"><jats:title>Setting</jats:title><jats:p>Dortmund, Germany.</jats:p></jats:sec><jats:sec id=\"S1368980011002138_abs4\" sec-type=\"subjects\"><jats:title>Subjects</jats:title><jats:p>Children and adolescents (<jats:italic>n</jats:italic> 364) who had at least two 24 h urine samples and two dietary records in the observational period between 2003 and 2009 were considered in our data analysis.</jats:p></jats:sec><jats:sec id=\"S1368980011002138_abs5\" sec-type=\"results\"><jats:title>Results</jats:title><jats:p>Repeated-measures regression models revealed that urinary Na was positively associated with BMI-SDS (+0·202 SDS/g Na excretion at baseline; <jats:italic>P</jats:italic> &lt; 0·001) and %BF (+1·303 %BF/g Na excretion at baseline; <jats:italic>P</jats:italic> &lt; 0·01) at baseline in boys and girls. These associations remained significant after adjustment for SCB consumption and total energy intake. Furthermore, there was a positive trend between baseline Na excretion and the individual change in %BF in the study period (+0·364 increase in %BF/g Na excretion at baseline), which was confirmed after inclusion of SCB consumption or total energy intake. There was no significant association between the change in Na excretion and the concurrent change of either BMI-SDS or %BF in any model.</jats:p></jats:sec><jats:sec id=\"S1368980011002138_abs6\" sec-type=\"conclusion\"><jats:title>Conclusions</jats:title><jats:p>Our results suggest that a high intake of processed salty foods could have a negative impact on body weight status in children and adolescents independently from their consumption of SCB.</jats:p></jats:sec>"}],"date_created":"2021-11-02T20:35:36Z","type":"journal_article","department":[{"_id":"35"},{"_id":"22"},{"_id":"395"}],"title":"Consumption of dietary salt measured by urinary sodium excretion and its association with body weight status in healthy children and adolescents","year":"2011","status":"public","author":[{"id":"88682","first_name":"Lars","orcid":"0000-0003-1603-3133","last_name":"Libuda","full_name":"Libuda, Lars"},{"full_name":"Kersting, Mathilde","first_name":"Mathilde","last_name":"Kersting"},{"first_name":"Ute","last_name":"Alexy","full_name":"Alexy, Ute"}],"publication_identifier":{"issn":["1368-9800","1475-2727"]},"publication_status":"published","date_updated":"2022-01-06T06:57:33Z","page":"433-441","_id":"27068","language":[{"iso":"eng"}],"user_id":"49428","doi":"10.1017/s1368980011002138"},{"date_updated":"2022-01-06T06:57:33Z","publication_status":"published","publication_identifier":{"issn":["0261-5614"]},"author":[{"full_name":"Alexy, Ute","last_name":"Alexy","first_name":"Ute"},{"last_name":"Cheng","first_name":"Guo","full_name":"Cheng, Guo"},{"id":"88682","full_name":"Libuda, Lars","first_name":"Lars","orcid":"0000-0003-1603-3133","last_name":"Libuda"},{"last_name":"Hilbig","first_name":"Annett","full_name":"Hilbig, Annett"},{"first_name":"Mathilde","last_name":"Kersting","full_name":"Kersting, Mathilde"}],"title":"24h-Sodium excretion and hydration status in children and adolescents - Results of the DONALD Study","year":"2011","status":"public","doi":"10.1016/j.clnu.2011.08.014","user_id":"49428","language":[{"iso":"eng"}],"_id":"27069","page":"78-84","citation":{"mla":"Alexy, Ute, et al. “24h-Sodium Excretion and Hydration Status in Children and Adolescents - Results of the DONALD Study.” <i>Clinical Nutrition</i>, 2011, pp. 78–84, doi:<a href=\"https://doi.org/10.1016/j.clnu.2011.08.014\">10.1016/j.clnu.2011.08.014</a>.","ama":"Alexy U, Cheng G, Libuda L, Hilbig A, Kersting M. 24h-Sodium excretion and hydration status in children and adolescents - Results of the DONALD Study. <i>Clinical Nutrition</i>. Published online 2011:78-84. doi:<a href=\"https://doi.org/10.1016/j.clnu.2011.08.014\">10.1016/j.clnu.2011.08.014</a>","bibtex":"@article{Alexy_Cheng_Libuda_Hilbig_Kersting_2011, title={24h-Sodium excretion and hydration status in children and adolescents - Results of the DONALD Study}, DOI={<a href=\"https://doi.org/10.1016/j.clnu.2011.08.014\">10.1016/j.clnu.2011.08.014</a>}, journal={Clinical Nutrition}, author={Alexy, Ute and Cheng, Guo and Libuda, Lars and Hilbig, Annett and Kersting, Mathilde}, year={2011}, pages={78–84} }","apa":"Alexy, U., Cheng, G., Libuda, L., Hilbig, A., &#38; Kersting, M. (2011). 24h-Sodium excretion and hydration status in children and adolescents - Results of the DONALD Study. <i>Clinical Nutrition</i>, 78–84. <a href=\"https://doi.org/10.1016/j.clnu.2011.08.014\">https://doi.org/10.1016/j.clnu.2011.08.014</a>","ieee":"U. Alexy, G. Cheng, L. Libuda, A. Hilbig, and M. Kersting, “24h-Sodium excretion and hydration status in children and adolescents - Results of the DONALD Study,” <i>Clinical Nutrition</i>, pp. 78–84, 2011, doi: <a href=\"https://doi.org/10.1016/j.clnu.2011.08.014\">10.1016/j.clnu.2011.08.014</a>.","chicago":"Alexy, Ute, Guo Cheng, Lars Libuda, Annett Hilbig, and Mathilde Kersting. “24h-Sodium Excretion and Hydration Status in Children and Adolescents - Results of the DONALD Study.” <i>Clinical Nutrition</i>, 2011, 78–84. <a href=\"https://doi.org/10.1016/j.clnu.2011.08.014\">https://doi.org/10.1016/j.clnu.2011.08.014</a>.","short":"U. Alexy, G. Cheng, L. Libuda, A. Hilbig, M. Kersting, Clinical Nutrition (2011) 78–84."},"publication":"Clinical Nutrition","department":[{"_id":"35"},{"_id":"22"},{"_id":"395"}],"type":"journal_article","date_created":"2021-11-02T20:37:23Z"}]