[{"language":[{"iso":"eng"}],"_id":"28938","user_id":"50923","author":[{"first_name":"Mario","last_name":"Vennemann","full_name":"Vennemann, Mario"},{"id":"40387","first_name":"Birgit","last_name":"Eickelmann","full_name":"Eickelmann, Birgit"}],"year":"2014","title":"Can we predict usage out of possession? – A home digital resources (HDR) scale to describe students’ digital learning resources in primary schools","status":"public","date_updated":"2022-01-06T06:58:41Z","place":"Philadelphia, PA","date_created":"2021-12-15T10:24:08Z","department":[{"_id":"462"}],"type":"conference","citation":{"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.","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.","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} }","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>.","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.","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.","short":"M. Vennemann, B. Eickelmann, in: Proceedings of the American Educational Research Association Annual Meeting (AERA), Philadelphia, PA, 2014."},"publication":"Proceedings of the American Educational Research Association annual meeting (AERA)"},{"author":[{"full_name":"Lai, Kwok-Wing","first_name":"Kwok-Wing","last_name":"Lai"},{"id":"40387","first_name":"Birgit","last_name":"Eickelmann","full_name":"Eickelmann, Birgit"},{"first_name":"Petra","last_name":"Fisser","full_name":"Fisser, Petra"},{"last_name":"Khaddage","first_name":"Ferial","full_name":"Khaddage, Ferial"},{"full_name":"Knezek, Gerald","first_name":"Gerald","last_name":"Knezek"},{"full_name":"Webb, Mary","last_name":"Webb","first_name":"Mary"},{"last_name":"Davis","first_name":"Niki","full_name":"Davis, Niki"},{"full_name":"Erstad, Ola","first_name":"Ola","last_name":"Erstad"},{"full_name":"Gibson, David C.","last_name":"Gibson","first_name":"David C."}],"year":"2014","status":"public","title":"Tackling Educational Challenges in a Digitally Networked World: Strategies developed from the EDUsummIT 2013","date_updated":"2022-01-06T06:58:41Z","_id":"28939","language":[{"iso":"eng"}],"user_id":"50923","citation":{"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.","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.","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>.","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} }","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.","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."},"publication":"Proceedings of KeyCIT Conference 2014","date_created":"2021-12-15T10:26:49Z","department":[{"_id":"462"}],"type":"conference"},{"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} }","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.","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.","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.","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.","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."},"type":"research_data","department":[{"_id":"462"}],"date_created":"2021-12-15T17:19:00Z","date_updated":"2022-01-06T06:58:43Z","year":"2014","title":"Kinder- und Jugendarbeit in Dortmund. Studie zur Situation freiwillig Mitarbeitender in der Dortmunder Kinder- und Jugendarbeit","status":"public","author":[{"id":"48921","full_name":"Drossel, Kerstin","last_name":"Drossel","first_name":"Kerstin"},{"full_name":"Bos, Wilfried","first_name":"Wilfried","last_name":"Bos"},{"first_name":"Laura","last_name":"Zieger","full_name":"Zieger, Laura"}],"user_id":"50923","_id":"28993","publisher":"Jugendring Dortmund"},{"user_id":"25078","ddc":["000"],"_id":"2900","date_updated":"2022-01-06T06:58:44Z","has_accepted_license":"1","title":"A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures","year":"2014","status":"public","author":[{"id":"13291","full_name":"Brauer, Sascha","first_name":"Sascha","last_name":"Brauer"}],"type":"mastersthesis","department":[{"_id":"64"}],"file":[{"creator":"feidens","date_created":"2018-05-25T09:45:33Z","date_updated":"2018-05-25T09:45:33Z","relation":"main_file","access_level":"closed","file_size":971935,"file_name":"2014_Brauer_AProbabilisticExpectationMaximizationAlgorithmForMultivariateLaplacianMixtures.pdf","content_type":"application/pdf","success":1,"file_id":"2901"}],"date_created":"2018-05-25T09:45:38Z","file_date_updated":"2018-05-25T09:45:33Z","citation":{"apa":"Brauer, S. (2014). <i>A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures</i>.","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.","short":"S. Brauer, A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures, 2014.","mla":"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.","bibtex":"@book{Brauer_2014, title={A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures}, author={Brauer, Sascha}, year={2014} }"},"supervisor":[{"full_name":"Blömer, Johannes","last_name":"Blömer","first_name":"Johannes","id":"23"}]},{"citation":{"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} }","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>","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>.","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>.","short":"M.R. Ackermann, J. Blömer, D. Kuntze, C. Sohler, Algorithmica 69 (2014).","ieee":"M. R. Ackermann, J. Blömer, D. Kuntze, and C. Sohler, “Analysis of Agglomerative Clustering,” <i>Algorithmica</i>, vol. 69, 2014.","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>"},"publication":"Algorithmica","department":[{"_id":"64"}],"type":"journal_article","date_created":"2018-06-05T07:28:52Z","intvolume":"        69","date_updated":"2022-01-06T06:58:49Z","publication_status":"published","publication_identifier":{"eissn":["0178-4617"]},"author":[{"full_name":"Ackermann, Marcel Rudolf","first_name":"Marcel Rudolf","last_name":"Ackermann"},{"last_name":"Blömer","first_name":"Johannes","full_name":"Blömer, Johannes","id":"23"},{"full_name":"Kuntze, Daniel","last_name":"Kuntze","first_name":"Daniel"},{"full_name":"Sohler, Christian","first_name":"Christian","last_name":"Sohler"}],"year":"2014","title":"Analysis of Agglomerative Clustering","status":"public","volume":69,"doi":"10.1007/s00453-012-9717-4","user_id":"25078","_id":"2976","publisher":"Springer US"},{"publication":"2014 22nd International Conference on Pattern Recognition","citation":{"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} }","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>","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.","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.","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>."},"type":"conference","department":[{"_id":"64"}],"date_created":"2018-06-05T07:29:15Z","publication_status":"published","date_updated":"2022-01-06T06:58:49Z","title":"A Theoretical and Experimental Comparison of the EM and SEM Algorithm","year":"2014","status":"public","author":[{"last_name":"Blömer","first_name":"Johannes","full_name":"Blömer, Johannes","id":"23"},{"full_name":"Bujna, Kathrin","last_name":"Bujna","first_name":"Kathrin"},{"full_name":"Kuntze, Daniel","last_name":"Kuntze","first_name":"Daniel"}],"publication_identifier":{"isbn":["9781479952090"]},"user_id":"25078","doi":"10.1109/icpr.2014.253","publisher":"IEEE","_id":"2977"},{"date_created":"2018-06-07T09:21:18Z","department":[{"_id":"558"}],"type":"journal_article","citation":{"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>.","short":"T. Jager, Datenschutz Und Datensicherheit (2014) 445--451.","ieee":"T. Jager, “Die Zukunft der Kryptographie,” <i>Datenschutz und Datensicherheit</i>, no. 7, pp. 445--451, 2014.","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>","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} }","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>","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>."},"issue":"7","publication":"Datenschutz und Datensicherheit","extern":"1","_id":"3127","page":"445--451","doi":"10.1007/s11623-014-0204-8","user_id":"38235","author":[{"last_name":"Jager","first_name":"Tibor","full_name":"Jager, Tibor","id":"64669"}],"title":"Die Zukunft der Kryptographie","year":"2014","status":"public","date_updated":"2022-01-06T06:58:57Z"},{"department":[{"_id":"558"}],"type":"conference","date_created":"2018-06-07T09:21:46Z","extern":"1","citation":{"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>.","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} }","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>","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.","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>","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>.","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."},"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","user_id":"38235","doi":"10.1007/978-3-662-45611-8_27","_id":"3128","page":"512--531","date_updated":"2022-01-06T06:58:57Z","author":[{"full_name":"Fleischhacker, Nils","first_name":"Nils","last_name":"Fleischhacker"},{"full_name":"Jager, Tibor","first_name":"Tibor","last_name":"Jager","id":"64669"},{"last_name":"Schröder","first_name":"Dominique","full_name":"Schröder, Dominique"}],"year":"2014","status":"public","title":"On Tight Security Proofs for Schnorr Signatures"},{"department":[{"_id":"77"}],"type":"journal_article","date_created":"2018-06-13T07:55:10Z","citation":{"short":"S. Schneider, H. Treharne, H. Wehrheim, Formal Asp. Comput. (2014) 251--280.","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>.","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.","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>","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>."},"publication":"Formal Asp. Comput.","issue":"2","user_id":"29719","doi":"10.1007/s00165-012-0265-0","_id":"3167","page":"251--280","date_updated":"2022-01-06T06:59:01Z","author":[{"last_name":"Schneider","first_name":"Steve","full_name":"Schneider, Steve"},{"first_name":"Helen","last_name":"Treharne","full_name":"Treharne, Helen"},{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"}],"title":"The behavioural semantics of Event-B refinement","year":"2014","status":"public"},{"publication":"Sci. Comput. Program.","citation":{"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} }","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>","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>.","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>.","short":"B. Tofan, O. Travkin, G. Schellhorn, H. Wehrheim, Sci. Comput. Program. (2014) 297--314.","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>"},"date_created":"2018-06-13T07:56:12Z","type":"journal_article","department":[{"_id":"77"}],"title":"Two approaches for proving linearizability of multiset","status":"public","year":"2014","author":[{"last_name":"Tofan","first_name":"Bogdan","full_name":"Tofan, Bogdan"},{"last_name":"Travkin","first_name":"Oleg","full_name":"Travkin, Oleg"},{"full_name":"Schellhorn, Gerhard","first_name":"Gerhard","last_name":"Schellhorn"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"date_updated":"2022-01-06T06:59:01Z","page":"297--314","_id":"3168","doi":"10.1016/j.scico.2014.04.001","user_id":"29719"},{"user_id":"29719","doi":"10.1145/2629496","_id":"3169","page":"31:1--31:37","date_updated":"2022-01-06T06:59:01Z","author":[{"last_name":"Schellhorn","first_name":"Gerhard","full_name":"Schellhorn, Gerhard"},{"full_name":"Derrick, John","last_name":"Derrick","first_name":"John"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"status":"public","year":"2014","title":"A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures","department":[{"_id":"77"}],"type":"journal_article","date_created":"2018-06-13T07:57:31Z","citation":{"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.","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>","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>.","short":"G. Schellhorn, J. Derrick, H. Wehrheim, {ACM} Trans. Comput. Log. (2014) 31:1--31:37.","mla":"Schellhorn, Gerhard, et al. “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.” <i>{ACM} Trans. Comput. Log.</i>, no. 4, 2014, pp. 31:1--31:37, doi:<a href=\"https://doi.org/10.1145/2629496\">10.1145/2629496</a>.","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} }","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>"},"publication":"{ACM} Trans. Comput. Log.","issue":"4"},{"publication":"{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings","citation":{"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>.","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>","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.","bibtex":"@inproceedings{Derrick_Dongol_Schellhorn_Tofan_Travkin_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Quiescent Consistency: Defining and Verifying Relaxed Linearizability}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-06410-9_15\">10.1007/978-3-319-06410-9_15</a>}, booktitle={{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings}, author={Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Tofan, Bogdan and Travkin, Oleg and Wehrheim, Heike}, editor={B. Jones, Cliff and Pihlajasaari, Pekka and Sun, JunEditors}, year={2014}, pages={200--214}, collection={Lecture Notes in Computer Science} }","mla":"Derrick, John, et al. “Quiescent Consistency: Defining and Verifying Relaxed Linearizability.” <i>{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings</i>, edited by Cliff B. Jones et al., 2014, pp. 200--214, doi:<a href=\"https://doi.org/10.1007/978-3-319-06410-9_15\">10.1007/978-3-319-06410-9_15</a>.","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>","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."},"date_created":"2018-06-13T07:58:40Z","type":"conference","department":[{"_id":"77"}],"status":"public","title":"Quiescent Consistency: Defining and Verifying Relaxed Linearizability","year":"2014","author":[{"full_name":"Derrick, John","last_name":"Derrick","first_name":"John"},{"first_name":"Brijesh","last_name":"Dongol","full_name":"Dongol, Brijesh"},{"full_name":"Schellhorn, Gerhard","last_name":"Schellhorn","first_name":"Gerhard"},{"full_name":"Tofan, Bogdan","last_name":"Tofan","first_name":"Bogdan"},{"last_name":"Travkin","first_name":"Oleg","full_name":"Travkin, Oleg"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"date_updated":"2022-01-06T06:59:02Z","page":"200--214","_id":"3170","series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-319-06410-9_15","user_id":"29719","editor":[{"full_name":"B. Jones, Cliff","first_name":"Cliff","last_name":"B. Jones"},{"full_name":"Pihlajasaari, Pekka","first_name":"Pekka","last_name":"Pihlajasaari"},{"full_name":"Sun, Jun","first_name":"Jun","last_name":"Sun"}]},{"type":"conference","department":[{"_id":"77"}],"date_created":"2018-06-13T07:59:46Z","publication":"Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings","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>.","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>","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.","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>","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>.","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} }"},"doi":"10.1007/978-3-319-13338-6_11","user_id":"29719","editor":[{"full_name":"Yahav, Eran","first_name":"Eran","last_name":"Yahav"}],"page":"132--147","series_title":"Lecture Notes in Computer Science","_id":"3171","date_updated":"2022-01-06T06:59:02Z","title":"Handling {TSO} in Mechanized Linearizability Proofs","status":"public","year":"2014","author":[{"last_name":"Travkin","first_name":"Oleg","full_name":"Travkin, Oleg"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}]},{"page":"203--218","_id":"3172","series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-319-11737-9_14","user_id":"29719","editor":[{"full_name":"Merz, Stephan","last_name":"Merz","first_name":"Stephan"},{"first_name":"Jun","last_name":"Pang","full_name":"Pang, Jun"}],"year":"2014","title":"Timed Automata Verification via {IC3} with Zones","status":"public","author":[{"full_name":"Isenberg, Tobias","first_name":"Tobias","last_name":"Isenberg"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"date_updated":"2022-01-06T06:59:02Z","date_created":"2018-06-13T08:01:04Z","type":"conference","department":[{"_id":"77"}],"publication":"Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings","citation":{"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>.","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>","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} }","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>","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.","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>."}},{"author":[{"last_name":"A. Schneider","first_name":"Steve","full_name":"A. Schneider, Steve"},{"last_name":"Treharne","first_name":"Helen","full_name":"Treharne, Helen"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"},{"last_name":"M. Williams","first_name":"David","full_name":"M. Williams, David"}],"title":"Managing {LTL} Properties in Event-B Refinement","year":"2014","status":"public","date_updated":"2022-01-06T06:59:02Z","series_title":"Lecture Notes in Computer Science","_id":"3173","page":"221--237","editor":[{"full_name":"Albert, Elvira","last_name":"Albert","first_name":"Elvira"},{"last_name":"Sekerinski","first_name":"Emil","full_name":"Sekerinski, Emil"}],"user_id":"29719","doi":"10.1007/978-3-319-10181-1_14","citation":{"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>","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>.","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>.","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>","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.","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} }"},"publication":"Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings","date_created":"2018-06-13T08:04:33Z","department":[{"_id":"77"}],"type":"conference"},{"author":[{"full_name":"Schneider, Steve","first_name":"Steve","last_name":"Schneider"},{"last_name":"Treharne","first_name":"Helen","full_name":"Treharne, Helen"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"},{"last_name":"M. Williams","first_name":"David","full_name":"M. Williams, David"}],"status":"public","year":"2014","title":"Managing {LTL} properties in Event-B refinement","date_updated":"2022-01-06T06:59:02Z","_id":"3174","user_id":"29719","citation":{"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} }","ama":"Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} properties in Event-B refinement. <i>CoRR</i>. 2014.","mla":"Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” <i>CoRR</i>, 2014.","chicago":"Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing {LTL} Properties in Event-B Refinement.” <i>CoRR</i>, 2014.","short":"S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (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>."},"publication":"CoRR","date_created":"2018-06-13T08:05:39Z","department":[{"_id":"77"}],"type":"journal_article"},{"user_id":"29719","_id":"3175","date_updated":"2022-01-06T06:59:02Z","author":[{"first_name":"Tobias","last_name":"Isenberg","full_name":"Isenberg, Tobias"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"year":"2014","status":"public","title":"Proof-Carrying Hardware via {IC3}","department":[{"_id":"77"}],"type":"journal_article","date_created":"2018-06-13T08:07:24Z","citation":{"mla":"Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via {IC3}.” <i>CoRR</i>, 2014.","bibtex":"@article{Isenberg_Wehrheim_2014, title={Proof-Carrying Hardware via {IC3}}, journal={CoRR}, author={Isenberg, Tobias and Wehrheim, Heike}, year={2014} }","ama":"Isenberg T, Wehrheim H. Proof-Carrying Hardware via {IC3}. <i>CoRR</i>. 2014.","ieee":"T. Isenberg and H. Wehrheim, “Proof-Carrying Hardware via {IC3},” <i>CoRR</i>, 2014.","apa":"Isenberg, T., &#38; Wehrheim, H. (2014). Proof-Carrying Hardware via {IC3}. <i>CoRR</i>.","short":"T. Isenberg, H. Wehrheim, CoRR (2014).","chicago":"Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via {IC3}.” <i>CoRR</i>, 2014."},"publication":"CoRR"},{"type":"journal_article","department":[{"_id":"35"},{"_id":"22"},{"_id":"395"}],"date_created":"2021-11-01T20:14:14Z","publication":"European Journal of Nutrition","citation":{"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} }","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>","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>.","short":"M. Stimming, C.M. Mesch, M. Kersting, L. Libuda, European Journal of Nutrition (2014) 1069–1080.","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>.","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>"},"doi":"10.1007/s00394-014-0784-y","user_id":"49428","page":"1069-1080","_id":"27041","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:57:32Z","publication_status":"published","title":"Fish and rapeseed oil consumption in infants and mothers: dietary habits and determinants in a nationwide sample in Germany","status":"public","year":"2014","publication_identifier":{"issn":["1436-6207","1436-6215"]},"author":[{"first_name":"Madlen","last_name":"Stimming","full_name":"Stimming, Madlen"},{"full_name":"Mesch, Christina M.","last_name":"Mesch","first_name":"Christina M."},{"last_name":"Kersting","first_name":"Mathilde","full_name":"Kersting, Mathilde"},{"id":"88682","orcid":"0000-0003-1603-3133","last_name":"Libuda","first_name":"Lars","full_name":"Libuda, Lars"}]},{"_id":"27042","language":[{"iso":"eng"}],"page":"10153-10161","user_id":"49428","doi":"10.1021/jf502469b","author":[{"full_name":"Stimming, Madlen","last_name":"Stimming","first_name":"Madlen"},{"full_name":"Mesch, Christina M.","last_name":"Mesch","first_name":"Christina M."},{"first_name":"Mathilde","last_name":"Kersting","full_name":"Kersting, Mathilde"},{"first_name":"Hermann","last_name":"Kalhoff","full_name":"Kalhoff, Hermann"},{"full_name":"Demmelmair, Hans","last_name":"Demmelmair","first_name":"Hans"},{"full_name":"Koletzko, Berthold","last_name":"Koletzko","first_name":"Berthold"},{"full_name":"Schmidt, Anne","last_name":"Schmidt","first_name":"Anne"},{"full_name":"Böhm, Volker","first_name":"Volker","last_name":"Böhm"},{"full_name":"Libuda, Lars","first_name":"Lars","last_name":"Libuda","orcid":"0000-0003-1603-3133","id":"88682"}],"publication_identifier":{"issn":["0021-8561","1520-5118"]},"title":"Vitamin E Content and Estimated Need in German Infant and Follow-On Formulas With and Without Long-Chain Polyunsaturated Fatty Acids (LC-PUFA) Enrichment","status":"public","year":"2014","publication_status":"published","date_updated":"2022-01-06T06:57:32Z","date_created":"2021-11-01T20:16:04Z","department":[{"_id":"35"},{"_id":"22"},{"_id":"395"}],"type":"journal_article","citation":{"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.","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>.","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>","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} }","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>","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>."},"publication":"Journal of Agricultural and Food Chemistry"},{"publication":"Lipids","citation":{"bibtex":"@article{Vyncke_Huybrechts_Van Winckel_Cuenca Garcia_Labayen_Gottrand_Widhalm_Leclercq_Libuda_Manios_et al._2014, title={Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors}, DOI={<a href=\"https://doi.org/10.1007/s11745-014-3935-2\">10.1007/s11745-014-3935-2</a>}, journal={Lipids}, author={Vyncke, Krishna and Huybrechts, Inge and Van Winckel, Myriam and Cuenca Garcia, Magdalena and Labayen, Idoia and Gottrand, Frederic and Widhalm, Kurt and Leclercq, Catherine and Libuda, Lars and Manios, Yannis and et al.}, year={2014}, pages={881–893} }","chicago":"Vyncke, Krishna, Inge Huybrechts, Myriam Van Winckel, Magdalena Cuenca Garcia, Idoia Labayen, Frederic Gottrand, Kurt Widhalm, et al. “Dietary Lipid Intake Only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors.” <i>Lipids</i>, 2014, 881–93. <a href=\"https://doi.org/10.1007/s11745-014-3935-2\">https://doi.org/10.1007/s11745-014-3935-2</a>.","short":"K. Vyncke, I. Huybrechts, M. Van Winckel, M. Cuenca Garcia, I. Labayen, F. Gottrand, K. Widhalm, C. Leclercq, L. Libuda, Y. Manios, M. Sjostrom, D. Molnar, L.A. Moreno, M. Gonzalez-Gross, A. Spinneker, F. Perez de Heredia, M. Plada, S. De Henauw, Lipids (2014) 881–893.","ama":"Vyncke K, Huybrechts I, Van Winckel M, et al. Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors. <i>Lipids</i>. Published online 2014:881-893. doi:<a href=\"https://doi.org/10.1007/s11745-014-3935-2\">10.1007/s11745-014-3935-2</a>","ieee":"K. Vyncke <i>et al.</i>, “Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors,” <i>Lipids</i>, pp. 881–893, 2014, doi: <a href=\"https://doi.org/10.1007/s11745-014-3935-2\">10.1007/s11745-014-3935-2</a>.","mla":"Vyncke, Krishna, et al. “Dietary Lipid Intake Only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors.” <i>Lipids</i>, 2014, pp. 881–93, doi:<a href=\"https://doi.org/10.1007/s11745-014-3935-2\">10.1007/s11745-014-3935-2</a>.","apa":"Vyncke, K., Huybrechts, I., Van Winckel, M., Cuenca Garcia, M., Labayen, I., Gottrand, F., Widhalm, K., Leclercq, C., Libuda, L., Manios, Y., Sjostrom, M., Molnar, D., Moreno, L. A., Gonzalez-Gross, M., Spinneker, A., Perez de Heredia, F., Plada, M., &#38; De Henauw, S. (2014). Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors. <i>Lipids</i>, 881–893. <a href=\"https://doi.org/10.1007/s11745-014-3935-2\">https://doi.org/10.1007/s11745-014-3935-2</a>"},"date_created":"2021-11-01T20:19:35Z","type":"journal_article","department":[{"_id":"35"},{"_id":"22"},{"_id":"395"}],"status":"public","title":"Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors","year":"2014","author":[{"last_name":"Vyncke","first_name":"Krishna","full_name":"Vyncke, Krishna"},{"full_name":"Huybrechts, Inge","first_name":"Inge","last_name":"Huybrechts"},{"last_name":"Van Winckel","first_name":"Myriam","full_name":"Van Winckel, Myriam"},{"last_name":"Cuenca Garcia","first_name":"Magdalena","full_name":"Cuenca Garcia, Magdalena"},{"full_name":"Labayen, Idoia","first_name":"Idoia","last_name":"Labayen"},{"last_name":"Gottrand","first_name":"Frederic","full_name":"Gottrand, Frederic"},{"full_name":"Widhalm, Kurt","last_name":"Widhalm","first_name":"Kurt"},{"full_name":"Leclercq, Catherine","last_name":"Leclercq","first_name":"Catherine"},{"full_name":"Libuda, Lars","last_name":"Libuda","orcid":"0000-0003-1603-3133","first_name":"Lars","id":"88682"},{"first_name":"Yannis","last_name":"Manios","full_name":"Manios, Yannis"},{"full_name":"Sjostrom, Michael","first_name":"Michael","last_name":"Sjostrom"},{"first_name":"Denes","last_name":"Molnar","full_name":"Molnar, Denes"},{"full_name":"Moreno, Luis A.","first_name":"Luis A.","last_name":"Moreno"},{"full_name":"Gonzalez-Gross, Marcela","last_name":"Gonzalez-Gross","first_name":"Marcela"},{"full_name":"Spinneker, André","first_name":"André","last_name":"Spinneker"},{"full_name":"Perez de Heredia, Fatima","first_name":"Fatima","last_name":"Perez de Heredia"},{"first_name":"Maria","last_name":"Plada","full_name":"Plada, Maria"},{"full_name":"De Henauw, Stefaan","first_name":"Stefaan","last_name":"De Henauw"}],"publication_identifier":{"issn":["0024-4201","1558-9307"]},"date_updated":"2022-01-06T06:57:32Z","publication_status":"published","page":"881-893","language":[{"iso":"eng"}],"_id":"27044","doi":"10.1007/s11745-014-3935-2","user_id":"49428"}]