[{"project":[{"_id":"78","name":"Validation of Software Transactional Memory"}],"citation":{"ieee":"J. König and H. Wehrheim, “Data Independence for Software Transactional Memory,” in <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings</i>, 2019, vol. 11460, pp. 263–279.","apa":"König, J., &#38; Wehrheim, H. (2019). Data Independence for Software Transactional Memory. In J. M. Badger &#38; K. Yvonne Rozier (Eds.), <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings</i> (Vol. 11460, pp. 263–279). Springer. <a href=\"https://doi.org/10.1007/978-3-030-20652-9\\_18\">https://doi.org/10.1007/978-3-030-20652-9\\_18</a>","short":"J. König, H. Wehrheim, in: J. M. Badger, K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, Springer, 2019, pp. 263–279.","chicago":"König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” In <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings</i>, edited by Julia M. Badger and Kristin Yvonne Rozier, 11460:263–79. Lecture Notes in Computer Science. Springer, 2019. <a href=\"https://doi.org/10.1007/978-3-030-20652-9\\_18\">https://doi.org/10.1007/978-3-030-20652-9\\_18</a>.","mla":"König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings</i>, edited by Julia M. Badger and Kristin Yvonne Rozier, vol. 11460, Springer, 2019, pp. 263–79, doi:<a href=\"https://doi.org/10.1007/978-3-030-20652-9\\_18\">10.1007/978-3-030-20652-9\\_18</a>.","bibtex":"@inproceedings{König_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={Data Independence for Software Transactional Memory}, volume={11460}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-20652-9\\_18\">10.1007/978-3-030-20652-9\\_18</a>}, booktitle={{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings}, publisher={Springer}, author={König, Jürgen and Wehrheim, Heike}, editor={M. Badger, Julia and Yvonne Rozier, KristinEditors}, year={2019}, pages={263–279}, collection={Lecture Notes in Computer Science} }","ama":"König J, Wehrheim H. Data Independence for Software Transactional Memory. In: M. Badger J, Yvonne Rozier K, eds. <i>{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings</i>. Vol 11460. Lecture Notes in Computer Science. Springer; 2019:263-279. doi:<a href=\"https://doi.org/10.1007/978-3-030-20652-9\\_18\">10.1007/978-3-030-20652-9\\_18</a>"},"status":"public","volume":11460,"editor":[{"first_name":"Julia","last_name":"M. Badger","full_name":"M. Badger, Julia"},{"last_name":"Yvonne Rozier","first_name":"Kristin","full_name":"Yvonne Rozier, Kristin"}],"user_id":"22358","_id":"10091","publisher":"Springer","page":"263-279","publication":"{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings","department":[{"_id":"77"}],"type":"conference","date_created":"2019-06-03T07:51:26Z","intvolume":"     11460","date_updated":"2022-01-06T06:50:28Z","author":[{"id":"22358","last_name":"König","first_name":"Jürgen","full_name":"König, Jürgen"},{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"title":"Data Independence for Software Transactional Memory","year":"2019","doi":"10.1007/978-3-030-20652-9\\_18","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science"},{"user_id":"29719","doi":"10.1007/978-3-319-92970-5_7","page":"105-120","_id":"3536","publisher":"Springer International Publishing","publication_status":"published","date_updated":"2022-01-06T06:59:22Z","year":"2018","status":"public","title":"FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity","author":[{"full_name":"Schellhorn, Gerhard","first_name":"Gerhard","last_name":"Schellhorn"},{"full_name":"Wedel, Monika","last_name":"Wedel","first_name":"Monika"},{"last_name":"Travkin","first_name":"Oleg","full_name":"Travkin, Oleg"},{"id":"22358","last_name":"König","first_name":"Jürgen","full_name":"König, Jürgen"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783319929699","9783319929705"]},"type":"book_chapter","department":[{"_id":"77"}],"date_created":"2018-07-11T06:19:58Z","place":"Cham","project":[{"_id":"78","name":"Validation of Software Transactional Memory"}],"publication":"Software Engineering and Formal Methods","citation":{"mla":"Schellhorn, Gerhard, et al. “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity.” <i>Software Engineering and Formal Methods</i>, Springer International Publishing, 2018, pp. 105–20, doi:<a href=\"https://doi.org/10.1007/978-3-319-92970-5_7\">10.1007/978-3-319-92970-5_7</a>.","bibtex":"@inbook{Schellhorn_Wedel_Travkin_König_Wehrheim_2018, place={Cham}, title={FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-92970-5_7\">10.1007/978-3-319-92970-5_7</a>}, booktitle={Software Engineering and Formal Methods}, publisher={Springer International Publishing}, author={Schellhorn, Gerhard and Wedel, Monika and Travkin, Oleg and König, Jürgen and Wehrheim, Heike}, year={2018}, pages={105–120} }","ama":"Schellhorn G, Wedel M, Travkin O, König J, Wehrheim H. FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity. In: <i>Software Engineering and Formal Methods</i>. Cham: Springer International Publishing; 2018:105-120. doi:<a href=\"https://doi.org/10.1007/978-3-319-92970-5_7\">10.1007/978-3-319-92970-5_7</a>","ieee":"G. Schellhorn, M. Wedel, O. Travkin, J. König, and H. Wehrheim, “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity,” in <i>Software Engineering and Formal Methods</i>, Cham: Springer International Publishing, 2018, pp. 105–120.","apa":"Schellhorn, G., Wedel, M., Travkin, O., König, J., &#38; Wehrheim, H. (2018). FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity. In <i>Software Engineering and Formal Methods</i> (pp. 105–120). Cham: Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-319-92970-5_7\">https://doi.org/10.1007/978-3-319-92970-5_7</a>","chicago":"Schellhorn, Gerhard, Monika Wedel, Oleg Travkin, Jürgen König, and Heike Wehrheim. “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity.” In <i>Software Engineering and Formal Methods</i>, 105–20. Cham: Springer International Publishing, 2018. <a href=\"https://doi.org/10.1007/978-3-319-92970-5_7\">https://doi.org/10.1007/978-3-319-92970-5_7</a>.","short":"G. Schellhorn, M. Wedel, O. Travkin, J. König, H. Wehrheim, in: Software Engineering and Formal Methods, Springer International Publishing, Cham, 2018, pp. 105–120."}},{"_id":"3551","page":"1356-1379","volume":36,"user_id":"477","ddc":["000"],"status":"public","has_accepted_license":"1","citation":{"apa":"König, J., Mäcker, A., Meyer auf der Heide, F., &#38; Riechers, S. (2018). Scheduling with interjob communication on parallel processors. <i>Journal of Combinatorial Optimization</i>, <i>36</i>(4), 1356–1379. <a href=\"https://doi.org/10.1007/s10878-018-0325-3\">https://doi.org/10.1007/s10878-018-0325-3</a>","ieee":"J. König, A. Mäcker, F. Meyer auf der Heide, and S. Riechers, “Scheduling with interjob communication on parallel processors,” <i>Journal of Combinatorial Optimization</i>, vol. 36, no. 4, pp. 1356–1379, 2018.","chicago":"König, Jürgen, Alexander Mäcker, Friedhelm Meyer auf der Heide, and Sören Riechers. “Scheduling with Interjob Communication on Parallel Processors.” <i>Journal of Combinatorial Optimization</i> 36, no. 4 (2018): 1356–79. <a href=\"https://doi.org/10.1007/s10878-018-0325-3\">https://doi.org/10.1007/s10878-018-0325-3</a>.","short":"J. König, A. Mäcker, F. Meyer auf der Heide, S. Riechers, Journal of Combinatorial Optimization 36 (2018) 1356–1379.","mla":"König, Jürgen, et al. “Scheduling with Interjob Communication on Parallel Processors.” <i>Journal of Combinatorial Optimization</i>, vol. 36, no. 4, 2018, pp. 1356–79, doi:<a href=\"https://doi.org/10.1007/s10878-018-0325-3\">10.1007/s10878-018-0325-3</a>.","ama":"König J, Mäcker A, Meyer auf der Heide F, Riechers S. Scheduling with interjob communication on parallel processors. <i>Journal of Combinatorial Optimization</i>. 2018;36(4):1356-1379. doi:<a href=\"https://doi.org/10.1007/s10878-018-0325-3\">10.1007/s10878-018-0325-3</a>","bibtex":"@article{König_Mäcker_Meyer auf der Heide_Riechers_2018, title={Scheduling with interjob communication on parallel processors}, volume={36}, DOI={<a href=\"https://doi.org/10.1007/s10878-018-0325-3\">10.1007/s10878-018-0325-3</a>}, number={4}, journal={Journal of Combinatorial Optimization}, author={König, Jürgen and Mäcker, Alexander and Meyer auf der Heide, Friedhelm and Riechers, Sören}, year={2018}, pages={1356–1379} }"},"file_date_updated":"2018-11-02T15:20:24Z","project":[{"_id":"16","name":"SFB 901 - Subproject C4"},{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area C","_id":"4"}],"language":[{"iso":"eng"}],"doi":"10.1007/s10878-018-0325-3","author":[{"first_name":"Jürgen","last_name":"König","full_name":"König, Jürgen","id":"22358"},{"last_name":"Mäcker","first_name":"Alexander","full_name":"Mäcker, Alexander","id":"13536"},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","first_name":"Friedhelm","last_name":"Meyer auf der Heide"},{"full_name":"Riechers, Sören","last_name":"Riechers","first_name":"Sören"}],"title":"Scheduling with interjob communication on parallel processors","year":"2018","intvolume":"        36","date_updated":"2022-01-06T06:59:24Z","date_created":"2018-07-13T09:57:48Z","file":[{"date_created":"2018-11-02T15:20:24Z","creator":"ups","file_id":"5299","content_type":"application/pdf","success":1,"file_name":"SchedulingWithInterjobCommunic.pdf","file_size":745708,"access_level":"closed","relation":"main_file","date_updated":"2018-11-02T15:20:24Z"}],"department":[{"_id":"63"}],"type":"journal_article","issue":"4","publication":"Journal of Combinatorial Optimization"}]