[{"date_updated":"2022-01-06T06:58:41Z","_id":"28937","year":"2014","type":"conference","language":[{"iso":"eng"}],"status":"public","publication":"Proceedings of the American Educational Research Association annual meeting (AERA)","date_created":"2021-12-15T10:22:25Z","department":[{"_id":"462"}],"citation":{"apa":"Eickelmann, B., Vennemann, M., Gerick, J., &#38; Lorenz, R. (2014). Computer and internet in primary mathematics and science education and its relationship with student achievement– International findings from TIMSS 2011. <i>Proceedings of the American Educational Research Association Annual Meeting (AERA)</i>.","ama":"Eickelmann B, Vennemann M, Gerick J, Lorenz R. Computer and internet in primary mathematics and science education and its relationship with student achievement– International findings from TIMSS 2011. In: <i>Proceedings of the American Educational Research Association Annual Meeting (AERA)</i>. ; 2014.","chicago":"Eickelmann, Birgit, Mario Vennemann, Julia Gerick, and Ramona Lorenz. “Computer and Internet in Primary Mathematics and Science Education and Its Relationship with Student Achievement– International Findings from TIMSS 2011.” In <i>Proceedings of the American Educational Research Association Annual Meeting (AERA)</i>. Philadelphia, PA, 2014.","ieee":"B. Eickelmann, M. Vennemann, J. Gerick, and R. Lorenz, “Computer and internet in primary mathematics and science education and its relationship with student achievement– International findings from TIMSS 2011,” 2014.","mla":"Eickelmann, Birgit, et al. “Computer and Internet in Primary Mathematics and Science Education and Its Relationship with Student Achievement– International Findings from TIMSS 2011.” <i>Proceedings of the American Educational Research Association Annual Meeting (AERA)</i>, 2014.","bibtex":"@inproceedings{Eickelmann_Vennemann_Gerick_Lorenz_2014, place={Philadelphia, PA}, title={Computer and internet in primary mathematics and science education and its relationship with student achievement– International findings from TIMSS 2011}, booktitle={Proceedings of the American Educational Research Association annual meeting (AERA)}, author={Eickelmann, Birgit and Vennemann, Mario and Gerick, Julia and Lorenz, Ramona}, year={2014} }","short":"B. Eickelmann, M. Vennemann, J. Gerick, R. Lorenz, in: Proceedings of the American Educational Research Association Annual Meeting (AERA), Philadelphia, PA, 2014."},"user_id":"50923","place":"Philadelphia, PA","title":"Computer and internet in primary mathematics and science education and its relationship with student achievement– International findings from TIMSS 2011","author":[{"first_name":"Birgit","full_name":"Eickelmann, Birgit","last_name":"Eickelmann","id":"40387"},{"last_name":"Vennemann","full_name":"Vennemann, Mario","first_name":"Mario"},{"last_name":"Gerick","first_name":"Julia","full_name":"Gerick, Julia"},{"last_name":"Lorenz","first_name":"Ramona","full_name":"Lorenz, Ramona"}],"extern":"1"},{"date_updated":"2022-01-06T06:58:41Z","_id":"28938","status":"public","type":"conference","year":"2014","language":[{"iso":"eng"}],"publication":"Proceedings of the American Educational Research Association annual meeting (AERA)","date_created":"2021-12-15T10:24:08Z","department":[{"_id":"462"}],"user_id":"50923","citation":{"ama":"Vennemann M, Eickelmann B. Can we predict usage out of possession? – A home digital resources (HDR) scale to describe students’ digital learning resources in primary schools. In: <i>Proceedings of the American Educational Research Association Annual Meeting (AERA)</i>. ; 2014.","apa":"Vennemann, M., &#38; Eickelmann, B. (2014). Can we predict usage out of possession? – A home digital resources (HDR) scale to describe students’ digital learning resources in primary schools. <i>Proceedings of the American Educational Research Association Annual Meeting (AERA)</i>.","chicago":"Vennemann, Mario, and Birgit Eickelmann. “Can We Predict Usage out of Possession? – A Home Digital Resources (HDR) Scale to Describe Students’ Digital Learning Resources in Primary Schools.” In <i>Proceedings of the American Educational Research Association Annual Meeting (AERA)</i>. Philadelphia, PA, 2014.","ieee":"M. Vennemann and B. Eickelmann, “Can we predict usage out of possession? – A home digital resources (HDR) scale to describe students’ digital learning resources in primary schools,” 2014.","mla":"Vennemann, Mario, and Birgit Eickelmann. “Can We Predict Usage out of Possession? – A Home Digital Resources (HDR) Scale to Describe Students’ Digital Learning Resources in Primary Schools.” <i>Proceedings of the American Educational Research Association Annual Meeting (AERA)</i>, 2014.","bibtex":"@inproceedings{Vennemann_Eickelmann_2014, place={Philadelphia, PA}, title={Can we predict usage out of possession? – A home digital resources (HDR) scale to describe students’ digital learning resources in primary schools}, booktitle={Proceedings of the American Educational Research Association annual meeting (AERA)}, author={Vennemann, Mario and Eickelmann, Birgit}, year={2014} }","short":"M. Vennemann, B. Eickelmann, in: Proceedings of the American Educational Research Association Annual Meeting (AERA), Philadelphia, PA, 2014."},"place":"Philadelphia, PA","author":[{"last_name":"Vennemann","first_name":"Mario","full_name":"Vennemann, Mario"},{"id":"40387","last_name":"Eickelmann","first_name":"Birgit","full_name":"Eickelmann, Birgit"}],"title":"Can we predict usage out of possession? – A home digital resources (HDR) scale to describe students’ digital learning resources in primary schools"},{"_id":"28939","date_updated":"2022-01-06T06:58:41Z","date_created":"2021-12-15T10:26:49Z","publication":"Proceedings of KeyCIT Conference 2014","status":"public","language":[{"iso":"eng"}],"type":"conference","year":"2014","user_id":"50923","citation":{"chicago":"Lai, Kwok-Wing, Birgit Eickelmann, Petra Fisser, Ferial Khaddage, Gerald Knezek, Mary Webb, Niki Davis, Ola Erstad, and David C. Gibson. “Tackling Educational Challenges in a Digitally Networked World: Strategies Developed from the EDUsummIT 2013.” In <i>Proceedings of KeyCIT Conference 2014</i>, 2014.","ieee":"K.-W. Lai <i>et al.</i>, “Tackling Educational Challenges in a Digitally Networked World: Strategies developed from the EDUsummIT 2013,” 2014.","ama":"Lai K-W, Eickelmann B, Fisser P, et al. Tackling Educational Challenges in a Digitally Networked World: Strategies developed from the EDUsummIT 2013. In: <i>Proceedings of KeyCIT Conference 2014</i>. ; 2014.","apa":"Lai, K.-W., Eickelmann, B., Fisser, P., Khaddage, F., Knezek, G., Webb, M., Davis, N., Erstad, O., &#38; Gibson, D. C. (2014). Tackling Educational Challenges in a Digitally Networked World: Strategies developed from the EDUsummIT 2013. <i>Proceedings of KeyCIT Conference 2014</i>.","short":"K.-W. Lai, B. Eickelmann, P. Fisser, F. Khaddage, G. Knezek, M. Webb, N. Davis, O. Erstad, D.C. Gibson, in: Proceedings of KeyCIT Conference 2014, 2014.","mla":"Lai, Kwok-Wing, et al. “Tackling Educational Challenges in a Digitally Networked World: Strategies Developed from the EDUsummIT 2013.” <i>Proceedings of KeyCIT Conference 2014</i>, 2014.","bibtex":"@inproceedings{Lai_Eickelmann_Fisser_Khaddage_Knezek_Webb_Davis_Erstad_Gibson_2014, title={Tackling Educational Challenges in a Digitally Networked World: Strategies developed from the EDUsummIT 2013}, booktitle={Proceedings of KeyCIT Conference 2014}, author={Lai, Kwok-Wing and Eickelmann, Birgit and Fisser, Petra and Khaddage, Ferial and Knezek, Gerald and Webb, Mary and Davis, Niki and Erstad, Ola and Gibson, David C.}, year={2014} }"},"department":[{"_id":"462"}],"author":[{"last_name":"Lai","full_name":"Lai, Kwok-Wing","first_name":"Kwok-Wing"},{"last_name":"Eickelmann","id":"40387","full_name":"Eickelmann, Birgit","first_name":"Birgit"},{"full_name":"Fisser, Petra","first_name":"Petra","last_name":"Fisser"},{"last_name":"Khaddage","full_name":"Khaddage, Ferial","first_name":"Ferial"},{"last_name":"Knezek","full_name":"Knezek, Gerald","first_name":"Gerald"},{"full_name":"Webb, Mary","first_name":"Mary","last_name":"Webb"},{"full_name":"Davis, Niki","first_name":"Niki","last_name":"Davis"},{"full_name":"Erstad, Ola","first_name":"Ola","last_name":"Erstad"},{"last_name":"Gibson","first_name":"David C.","full_name":"Gibson, David C."}],"title":"Tackling Educational Challenges in a Digitally Networked World: Strategies developed from the EDUsummIT 2013"},{"date_created":"2021-12-15T17:19:00Z","publisher":"Jugendring Dortmund","year":"2014","type":"research_data","status":"public","_id":"28993","date_updated":"2022-01-06T06:58:43Z","title":"Kinder- und Jugendarbeit in Dortmund. Studie zur Situation freiwillig Mitarbeitender in der Dortmunder Kinder- und Jugendarbeit","author":[{"first_name":"Kerstin","full_name":"Drossel, Kerstin","id":"48921","last_name":"Drossel"},{"full_name":"Bos, Wilfried","first_name":"Wilfried","last_name":"Bos"},{"first_name":"Laura","full_name":"Zieger, Laura","last_name":"Zieger"}],"citation":{"bibtex":"@book{Drossel_Bos_Zieger_2014, title={Kinder- und Jugendarbeit in Dortmund. Studie zur Situation freiwillig Mitarbeitender in der Dortmunder Kinder- und Jugendarbeit}, publisher={Jugendring Dortmund}, author={Drossel, Kerstin and Bos, Wilfried and Zieger, Laura}, year={2014} }","mla":"Drossel, Kerstin, et al. <i>Kinder- Und Jugendarbeit in Dortmund. Studie Zur Situation Freiwillig Mitarbeitender in Der Dortmunder Kinder- Und Jugendarbeit</i>. Jugendring Dortmund, 2014.","short":"K. Drossel, W. Bos, L. Zieger, Kinder- Und Jugendarbeit in Dortmund. Studie Zur Situation Freiwillig Mitarbeitender in Der Dortmunder Kinder- Und Jugendarbeit, Jugendring Dortmund, 2014.","apa":"Drossel, K., Bos, W., &#38; Zieger, L. (2014). <i>Kinder- und Jugendarbeit in Dortmund. Studie zur Situation freiwillig Mitarbeitender in der Dortmunder Kinder- und Jugendarbeit</i>. Jugendring Dortmund.","ama":"Drossel K, Bos W, Zieger L. <i>Kinder- Und Jugendarbeit in Dortmund. Studie Zur Situation Freiwillig Mitarbeitender in Der Dortmunder Kinder- Und Jugendarbeit</i>. Jugendring Dortmund; 2014.","ieee":"K. Drossel, W. Bos, and L. Zieger, <i>Kinder- und Jugendarbeit in Dortmund. Studie zur Situation freiwillig Mitarbeitender in der Dortmunder Kinder- und Jugendarbeit</i>. Jugendring Dortmund, 2014.","chicago":"Drossel, Kerstin, Wilfried Bos, and Laura Zieger. <i>Kinder- Und Jugendarbeit in Dortmund. Studie Zur Situation Freiwillig Mitarbeitender in Der Dortmunder Kinder- Und Jugendarbeit</i>. Jugendring Dortmund, 2014."},"user_id":"50923","department":[{"_id":"462"}]},{"date_updated":"2022-01-06T06:58:44Z","file_date_updated":"2018-05-25T09:45:33Z","_id":"2900","status":"public","type":"mastersthesis","year":"2014","date_created":"2018-05-25T09:45:38Z","ddc":["000"],"department":[{"_id":"64"}],"user_id":"25078","citation":{"short":"S. Brauer, A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures, 2014.","bibtex":"@book{Brauer_2014, title={A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures}, author={Brauer, Sascha}, year={2014} }","mla":"Brauer, Sascha. <i>A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures</i>. 2014.","ieee":"S. Brauer, <i>A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures</i>. 2014.","chicago":"Brauer, Sascha. <i>A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures</i>, 2014.","ama":"Brauer S. <i>A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures</i>.; 2014.","apa":"Brauer, S. (2014). <i>A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures</i>."},"has_accepted_license":"1","supervisor":[{"full_name":"Blömer, Johannes","first_name":"Johannes","last_name":"Blömer","id":"23"}],"file":[{"file_name":"2014_Brauer_AProbabilisticExpectationMaximizationAlgorithmForMultivariateLaplacianMixtures.pdf","file_size":971935,"creator":"feidens","date_created":"2018-05-25T09:45:33Z","file_id":"2901","access_level":"closed","content_type":"application/pdf","relation":"main_file","date_updated":"2018-05-25T09:45:33Z","success":1}],"author":[{"last_name":"Brauer","id":"13291","full_name":"Brauer, Sascha","first_name":"Sascha"}],"title":"A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures"},{"intvolume":"        69","doi":"10.1007/s00453-012-9717-4","author":[{"full_name":"Ackermann, Marcel Rudolf","first_name":"Marcel Rudolf","last_name":"Ackermann"},{"full_name":"Blömer, Johannes","first_name":"Johannes","last_name":"Blömer","id":"23"},{"first_name":"Daniel","full_name":"Kuntze, Daniel","last_name":"Kuntze"},{"last_name":"Sohler","first_name":"Christian","full_name":"Sohler, Christian"}],"title":"Analysis of Agglomerative Clustering","department":[{"_id":"64"}],"publication_status":"published","user_id":"25078","citation":{"short":"M.R. Ackermann, J. Blömer, D. Kuntze, C. Sohler, Algorithmica 69 (2014).","mla":"Ackermann, Marcel Rudolf, et al. “Analysis of Agglomerative Clustering.” <i>Algorithmica</i>, vol. 69, Springer US, 2014, doi:<a href=\"https://doi.org/10.1007/s00453-012-9717-4\">10.1007/s00453-012-9717-4</a>.","bibtex":"@article{Ackermann_Blömer_Kuntze_Sohler_2014, title={Analysis of Agglomerative Clustering}, volume={69}, DOI={<a href=\"https://doi.org/10.1007/s00453-012-9717-4\">10.1007/s00453-012-9717-4</a>}, journal={Algorithmica}, publisher={Springer US}, author={Ackermann, Marcel Rudolf and Blömer, Johannes and Kuntze, Daniel and Sohler, Christian}, year={2014} }","chicago":"Ackermann, Marcel Rudolf, Johannes Blömer, Daniel Kuntze, and Christian Sohler. “Analysis of Agglomerative Clustering.” <i>Algorithmica</i> 69 (2014). <a href=\"https://doi.org/10.1007/s00453-012-9717-4\">https://doi.org/10.1007/s00453-012-9717-4</a>.","ieee":"M. R. Ackermann, J. Blömer, D. Kuntze, and C. Sohler, “Analysis of Agglomerative Clustering,” <i>Algorithmica</i>, vol. 69, 2014.","ama":"Ackermann MR, Blömer J, Kuntze D, Sohler C. Analysis of Agglomerative Clustering. <i>Algorithmica</i>. 2014;69. doi:<a href=\"https://doi.org/10.1007/s00453-012-9717-4\">10.1007/s00453-012-9717-4</a>","apa":"Ackermann, M. R., Blömer, J., Kuntze, D., &#38; Sohler, C. (2014). Analysis of Agglomerative Clustering. <i>Algorithmica</i>, <i>69</i>. <a href=\"https://doi.org/10.1007/s00453-012-9717-4\">https://doi.org/10.1007/s00453-012-9717-4</a>"},"status":"public","year":"2014","type":"journal_article","publication_identifier":{"eissn":["0178-4617"]},"publisher":"Springer US","date_created":"2018-06-05T07:28:52Z","publication":"Algorithmica","date_updated":"2022-01-06T06:58:49Z","volume":69,"_id":"2976"},{"doi":"10.1109/icpr.2014.253","title":"A Theoretical and Experimental Comparison of the EM and SEM Algorithm","author":[{"first_name":"Johannes","full_name":"Blömer, Johannes","last_name":"Blömer","id":"23"},{"first_name":"Kathrin","full_name":"Bujna, Kathrin","last_name":"Bujna"},{"first_name":"Daniel","full_name":"Kuntze, Daniel","last_name":"Kuntze"}],"department":[{"_id":"64"}],"citation":{"chicago":"Blömer, Johannes, Kathrin Bujna, and Daniel Kuntze. “A Theoretical and Experimental Comparison of the EM and SEM Algorithm.” In <i>2014 22nd International Conference on Pattern Recognition</i>. IEEE, 2014. <a href=\"https://doi.org/10.1109/icpr.2014.253\">https://doi.org/10.1109/icpr.2014.253</a>.","ieee":"J. Blömer, K. Bujna, and D. Kuntze, “A Theoretical and Experimental Comparison of the EM and SEM Algorithm,” in <i>2014 22nd International Conference on Pattern Recognition</i>, 2014.","ama":"Blömer J, Bujna K, Kuntze D. A Theoretical and Experimental Comparison of the EM and SEM Algorithm. In: <i>2014 22nd International Conference on Pattern Recognition</i>. IEEE; 2014. doi:<a href=\"https://doi.org/10.1109/icpr.2014.253\">10.1109/icpr.2014.253</a>","apa":"Blömer, J., Bujna, K., &#38; Kuntze, D. (2014). A Theoretical and Experimental Comparison of the EM and SEM Algorithm. In <i>2014 22nd International Conference on Pattern Recognition</i>. IEEE. <a href=\"https://doi.org/10.1109/icpr.2014.253\">https://doi.org/10.1109/icpr.2014.253</a>","short":"J. Blömer, K. Bujna, D. Kuntze, in: 2014 22nd International Conference on Pattern Recognition, IEEE, 2014.","mla":"Blömer, Johannes, et al. “A Theoretical and Experimental Comparison of the EM and SEM Algorithm.” <i>2014 22nd International Conference on Pattern Recognition</i>, IEEE, 2014, doi:<a href=\"https://doi.org/10.1109/icpr.2014.253\">10.1109/icpr.2014.253</a>.","bibtex":"@inproceedings{Blömer_Bujna_Kuntze_2014, title={A Theoretical and Experimental Comparison of the EM and SEM Algorithm}, DOI={<a href=\"https://doi.org/10.1109/icpr.2014.253\">10.1109/icpr.2014.253</a>}, booktitle={2014 22nd International Conference on Pattern Recognition}, publisher={IEEE}, author={Blömer, Johannes and Bujna, Kathrin and Kuntze, Daniel}, year={2014} }"},"publication_status":"published","user_id":"25078","type":"conference","year":"2014","publication_identifier":{"isbn":["9781479952090"]},"status":"public","date_created":"2018-06-05T07:29:15Z","publication":"2014 22nd International Conference on Pattern Recognition","publisher":"IEEE","date_updated":"2022-01-06T06:58:49Z","_id":"2977"},{"date_updated":"2022-01-06T06:58:57Z","issue":"7","page":"445--451","_id":"3127","type":"journal_article","year":"2014","status":"public","publication":"Datenschutz und Datensicherheit","date_created":"2018-06-07T09:21:18Z","department":[{"_id":"558"}],"citation":{"ieee":"T. Jager, “Die Zukunft der Kryptographie,” <i>Datenschutz und Datensicherheit</i>, no. 7, pp. 445--451, 2014.","chicago":"Jager, Tibor. “Die Zukunft Der Kryptographie.” <i>Datenschutz Und Datensicherheit</i>, no. 7 (2014): 445--451. <a href=\"https://doi.org/10.1007/s11623-014-0204-8\">https://doi.org/10.1007/s11623-014-0204-8</a>.","apa":"Jager, T. (2014). Die Zukunft der Kryptographie. <i>Datenschutz Und Datensicherheit</i>, (7), 445--451. <a href=\"https://doi.org/10.1007/s11623-014-0204-8\">https://doi.org/10.1007/s11623-014-0204-8</a>","ama":"Jager T. Die Zukunft der Kryptographie. <i>Datenschutz und Datensicherheit</i>. 2014;(7):445--451. doi:<a href=\"https://doi.org/10.1007/s11623-014-0204-8\">10.1007/s11623-014-0204-8</a>","short":"T. Jager, Datenschutz Und Datensicherheit (2014) 445--451.","bibtex":"@article{Jager_2014, title={Die Zukunft der Kryptographie}, DOI={<a href=\"https://doi.org/10.1007/s11623-014-0204-8\">10.1007/s11623-014-0204-8</a>}, number={7}, journal={Datenschutz und Datensicherheit}, author={Jager, Tibor}, year={2014}, pages={445--451} }","mla":"Jager, Tibor. “Die Zukunft Der Kryptographie.” <i>Datenschutz Und Datensicherheit</i>, no. 7, 2014, pp. 445--451, doi:<a href=\"https://doi.org/10.1007/s11623-014-0204-8\">10.1007/s11623-014-0204-8</a>."},"user_id":"38235","doi":"10.1007/s11623-014-0204-8","title":"Die Zukunft der Kryptographie","author":[{"id":"64669","last_name":"Jager","first_name":"Tibor","full_name":"Jager, Tibor"}],"extern":"1"},{"page":"512--531","_id":"3128","date_updated":"2022-01-06T06:58:57Z","publication":"Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I","date_created":"2018-06-07T09:21:46Z","status":"public","type":"conference","year":"2014","user_id":"38235","citation":{"short":"N. Fleischhacker, T. Jager, D. Schröder, in: Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I, 2014, pp. 512--531.","bibtex":"@inproceedings{Fleischhacker_Jager_Schröder_2014, title={On Tight Security Proofs for Schnorr Signatures}, DOI={<a href=\"https://doi.org/10.1007/978-3-662-45611-8_27\">10.1007/978-3-662-45611-8_27</a>}, booktitle={Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I}, author={Fleischhacker, Nils and Jager, Tibor and Schröder, Dominique}, year={2014}, pages={512--531} }","mla":"Fleischhacker, Nils, et al. “On Tight Security Proofs for Schnorr Signatures.” <i>Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I</i>, 2014, pp. 512--531, doi:<a href=\"https://doi.org/10.1007/978-3-662-45611-8_27\">10.1007/978-3-662-45611-8_27</a>.","ieee":"N. Fleischhacker, T. Jager, and D. Schröder, “On Tight Security Proofs for Schnorr Signatures,” in <i>Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I</i>, 2014, pp. 512--531.","chicago":"Fleischhacker, Nils, Tibor Jager, and Dominique Schröder. “On Tight Security Proofs for Schnorr Signatures.” In <i>Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I</i>, 512--531, 2014. <a href=\"https://doi.org/10.1007/978-3-662-45611-8_27\">https://doi.org/10.1007/978-3-662-45611-8_27</a>.","apa":"Fleischhacker, N., Jager, T., &#38; Schröder, D. (2014). On Tight Security Proofs for Schnorr Signatures. In <i>Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I</i> (pp. 512--531). <a href=\"https://doi.org/10.1007/978-3-662-45611-8_27\">https://doi.org/10.1007/978-3-662-45611-8_27</a>","ama":"Fleischhacker N, Jager T, Schröder D. On Tight Security Proofs for Schnorr Signatures. In: <i>Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I</i>. ; 2014:512--531. doi:<a href=\"https://doi.org/10.1007/978-3-662-45611-8_27\">10.1007/978-3-662-45611-8_27</a>"},"department":[{"_id":"558"}],"author":[{"full_name":"Fleischhacker, Nils","first_name":"Nils","last_name":"Fleischhacker"},{"id":"64669","last_name":"Jager","full_name":"Jager, Tibor","first_name":"Tibor"},{"full_name":"Schröder, Dominique","first_name":"Dominique","last_name":"Schröder"}],"extern":"1","title":"On Tight Security Proofs for Schnorr Signatures","doi":"10.1007/978-3-662-45611-8_27"},{"user_id":"29719","citation":{"bibtex":"@article{Schneider_Treharne_Wehrheim_2014, title={The behavioural semantics of Event-B refinement}, DOI={<a href=\"https://doi.org/10.1007/s00165-012-0265-0\">10.1007/s00165-012-0265-0</a>}, number={2}, journal={Formal Asp. Comput.}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, year={2014}, pages={251--280} }","mla":"Schneider, Steve, et al. “The Behavioural Semantics of Event-B Refinement.” <i>Formal Asp. Comput.</i>, no. 2, 2014, pp. 251--280, doi:<a href=\"https://doi.org/10.1007/s00165-012-0265-0\">10.1007/s00165-012-0265-0</a>.","short":"S. Schneider, H. Treharne, H. Wehrheim, Formal Asp. Comput. (2014) 251--280.","ama":"Schneider S, Treharne H, Wehrheim H. The behavioural semantics of Event-B refinement. <i>Formal Asp Comput</i>. 2014;(2):251--280. doi:<a href=\"https://doi.org/10.1007/s00165-012-0265-0\">10.1007/s00165-012-0265-0</a>","apa":"Schneider, S., Treharne, H., &#38; Wehrheim, H. (2014). The behavioural semantics of Event-B refinement. <i>Formal Asp. Comput.</i>, (2), 251--280. <a href=\"https://doi.org/10.1007/s00165-012-0265-0\">https://doi.org/10.1007/s00165-012-0265-0</a>","ieee":"S. Schneider, H. Treharne, and H. Wehrheim, “The behavioural semantics of Event-B refinement,” <i>Formal Asp. Comput.</i>, no. 2, pp. 251--280, 2014.","chicago":"Schneider, Steve, Helen Treharne, and Heike Wehrheim. “The Behavioural Semantics of Event-B Refinement.” <i>Formal Asp. Comput.</i>, no. 2 (2014): 251--280. <a href=\"https://doi.org/10.1007/s00165-012-0265-0\">https://doi.org/10.1007/s00165-012-0265-0</a>."},"department":[{"_id":"77"}],"author":[{"last_name":"Schneider","full_name":"Schneider, Steve","first_name":"Steve"},{"last_name":"Treharne","full_name":"Treharne, Helen","first_name":"Helen"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"title":"The behavioural semantics of Event-B refinement","doi":"10.1007/s00165-012-0265-0","page":"251--280","_id":"3167","issue":"2","date_updated":"2022-01-06T06:59:01Z","date_created":"2018-06-13T07:55:10Z","publication":"Formal Asp. Comput.","status":"public","year":"2014","type":"journal_article"},{"title":"Two approaches for proving linearizability of multiset","author":[{"last_name":"Tofan","full_name":"Tofan, Bogdan","first_name":"Bogdan"},{"full_name":"Travkin, Oleg","first_name":"Oleg","last_name":"Travkin"},{"last_name":"Schellhorn","first_name":"Gerhard","full_name":"Schellhorn, Gerhard"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"doi":"10.1016/j.scico.2014.04.001","citation":{"short":"B. Tofan, O. Travkin, G. Schellhorn, H. Wehrheim, Sci. Comput. Program. (2014) 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>.","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} }","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.","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>","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>"},"user_id":"29719","department":[{"_id":"77"}],"date_created":"2018-06-13T07:56:12Z","publication":"Sci. Comput. Program.","year":"2014","type":"journal_article","status":"public","_id":"3168","page":"297--314","date_updated":"2022-01-06T06:59:01Z"},{"year":"2014","type":"journal_article","status":"public","date_created":"2018-06-13T07:57:31Z","publication":"{ACM} Trans. Comput. Log.","issue":"4","date_updated":"2022-01-06T06:59:01Z","_id":"3169","page":"31:1--31:37","doi":"10.1145/2629496","title":"A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures","author":[{"first_name":"Gerhard","full_name":"Schellhorn, Gerhard","last_name":"Schellhorn"},{"full_name":"Derrick, John","first_name":"John","last_name":"Derrick"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"department":[{"_id":"77"}],"citation":{"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>.","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.","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>","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."},"user_id":"29719"},{"department":[{"_id":"77"}],"user_id":"29719","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>","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>","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>.","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.","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>.","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} }","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."},"series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-319-06410-9_15","editor":[{"last_name":"B. Jones","full_name":"B. Jones, Cliff","first_name":"Cliff"},{"full_name":"Pihlajasaari, Pekka","first_name":"Pekka","last_name":"Pihlajasaari"},{"full_name":"Sun, Jun","first_name":"Jun","last_name":"Sun"}],"author":[{"last_name":"Derrick","full_name":"Derrick, John","first_name":"John"},{"last_name":"Dongol","first_name":"Brijesh","full_name":"Dongol, Brijesh"},{"last_name":"Schellhorn","full_name":"Schellhorn, Gerhard","first_name":"Gerhard"},{"full_name":"Tofan, Bogdan","first_name":"Bogdan","last_name":"Tofan"},{"full_name":"Travkin, Oleg","first_name":"Oleg","last_name":"Travkin"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"title":"Quiescent Consistency: Defining and Verifying Relaxed Linearizability","date_updated":"2022-01-06T06:59:02Z","page":"200--214","_id":"3170","status":"public","year":"2014","type":"conference","date_created":"2018-06-13T07:58:40Z","publication":"{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings"},{"doi":"10.1007/978-3-319-13338-6_11","title":"Handling {TSO} in Mechanized Linearizability Proofs","editor":[{"last_name":"Yahav","full_name":"Yahav, Eran","first_name":"Eran"}],"author":[{"first_name":"Oleg","full_name":"Travkin, Oleg","last_name":"Travkin"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","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.","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>","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>","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>.","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."},"user_id":"29719","type":"conference","year":"2014","status":"public","publication":"Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings","date_created":"2018-06-13T07:59:46Z","date_updated":"2022-01-06T06:59:02Z","_id":"3171","page":"132--147"},{"department":[{"_id":"77"}],"citation":{"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>","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>.","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.","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."},"series_title":"Lecture Notes in Computer Science","user_id":"29719","doi":"10.1007/978-3-319-11737-9_14","title":"Timed Automata Verification via {IC3} with Zones","author":[{"last_name":"Isenberg","full_name":"Isenberg, Tobias","first_name":"Tobias"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"editor":[{"first_name":"Stephan","full_name":"Merz, Stephan","last_name":"Merz"},{"last_name":"Pang","full_name":"Pang, Jun","first_name":"Jun"}],"date_updated":"2022-01-06T06:59:02Z","page":"203--218","_id":"3172","year":"2014","type":"conference","status":"public","date_created":"2018-06-13T08:01:04Z","publication":"Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings"},{"status":"public","year":"2014","type":"conference","publication":"Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings","date_created":"2018-06-13T08:04:33Z","date_updated":"2022-01-06T06:59:02Z","_id":"3173","page":"221--237","doi":"10.1007/978-3-319-10181-1_14","author":[{"full_name":"A. Schneider, Steve","first_name":"Steve","last_name":"A. Schneider"},{"full_name":"Treharne, Helen","first_name":"Helen","last_name":"Treharne"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"},{"last_name":"M. Williams","first_name":"David","full_name":"M. Williams, David"}],"editor":[{"last_name":"Albert","first_name":"Elvira","full_name":"Albert, Elvira"},{"full_name":"Sekerinski, Emil","first_name":"Emil","last_name":"Sekerinski"}],"title":"Managing {LTL} Properties in Event-B Refinement","department":[{"_id":"77"}],"user_id":"29719","series_title":"Lecture Notes in Computer Science","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>."}},{"citation":{"short":"S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).","mla":"Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” <i>CoRR</i>, 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} }","chicago":"Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing {LTL} Properties in Event-B Refinement.” <i>CoRR</i>, 2014.","ieee":"S. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “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>.","ama":"Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} properties in Event-B refinement. <i>CoRR</i>. 2014."},"user_id":"29719","department":[{"_id":"77"}],"title":"Managing {LTL} properties in Event-B refinement","author":[{"full_name":"Schneider, Steve","first_name":"Steve","last_name":"Schneider"},{"full_name":"Treharne, Helen","first_name":"Helen","last_name":"Treharne"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"},{"first_name":"David","full_name":"M. Williams, David","last_name":"M. Williams"}],"_id":"3174","date_updated":"2022-01-06T06:59:02Z","date_created":"2018-06-13T08:05:39Z","publication":"CoRR","year":"2014","type":"journal_article","status":"public"},{"_id":"3175","date_updated":"2022-01-06T06:59:02Z","publication":"CoRR","date_created":"2018-06-13T08:07:24Z","status":"public","year":"2014","type":"journal_article","user_id":"29719","citation":{"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>.","ieee":"T. Isenberg and H. Wehrheim, “Proof-Carrying Hardware via {IC3},” <i>CoRR</i>, 2014.","chicago":"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} }","mla":"Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via {IC3}.” <i>CoRR</i>, 2014.","short":"T. Isenberg, H. Wehrheim, CoRR (2014)."},"department":[{"_id":"77"}],"author":[{"full_name":"Isenberg, Tobias","first_name":"Tobias","last_name":"Isenberg"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"title":"Proof-Carrying Hardware via {IC3}"},{"page":"1069-1080","_id":"27041","date_updated":"2022-01-06T06:57:32Z","date_created":"2021-11-01T20:14:14Z","publication":"European Journal of Nutrition","status":"public","language":[{"iso":"eng"}],"publication_identifier":{"issn":["1436-6207","1436-6215"]},"type":"journal_article","year":"2014","publication_status":"published","user_id":"49428","citation":{"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} }","short":"M. Stimming, C.M. Mesch, M. Kersting, L. Libuda, European Journal of Nutrition (2014) 1069–1080.","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>","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>","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>.","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>."},"department":[{"_id":"35"},{"_id":"22"},{"_id":"395"}],"author":[{"last_name":"Stimming","first_name":"Madlen","full_name":"Stimming, Madlen"},{"first_name":"Christina M.","full_name":"Mesch, Christina M.","last_name":"Mesch"},{"first_name":"Mathilde","full_name":"Kersting, Mathilde","last_name":"Kersting"},{"orcid":"0000-0003-1603-3133","id":"88682","last_name":"Libuda","first_name":"Lars","full_name":"Libuda, 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"},{"citation":{"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>.","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.","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>","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>.","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>."},"publication_status":"published","user_id":"49428","department":[{"_id":"35"},{"_id":"22"},{"_id":"395"}],"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","author":[{"last_name":"Stimming","first_name":"Madlen","full_name":"Stimming, Madlen"},{"last_name":"Mesch","full_name":"Mesch, Christina M.","first_name":"Christina M."},{"last_name":"Kersting","full_name":"Kersting, Mathilde","first_name":"Mathilde"},{"last_name":"Kalhoff","full_name":"Kalhoff, Hermann","first_name":"Hermann"},{"last_name":"Demmelmair","first_name":"Hans","full_name":"Demmelmair, Hans"},{"first_name":"Berthold","full_name":"Koletzko, Berthold","last_name":"Koletzko"},{"last_name":"Schmidt","full_name":"Schmidt, Anne","first_name":"Anne"},{"last_name":"Böhm","full_name":"Böhm, Volker","first_name":"Volker"},{"last_name":"Libuda","id":"88682","first_name":"Lars","full_name":"Libuda, Lars","orcid":"0000-0003-1603-3133"}],"doi":"10.1021/jf502469b","_id":"27042","page":"10153-10161","date_updated":"2022-01-06T06:57:32Z","date_created":"2021-11-01T20:16:04Z","publication":"Journal of Agricultural and Food Chemistry","language":[{"iso":"eng"}],"type":"journal_article","year":"2014","publication_identifier":{"issn":["0021-8561","1520-5118"]},"status":"public"}]