[{"extern":"1","publication":"Datenschutz und Datensicherheit","issue":"7","citation":{"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>","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.","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>.","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>"},"type":"journal_article","department":[{"_id":"558"}],"date_created":"2018-06-07T09:21:18Z","date_updated":"2022-01-06T06:58:57Z","status":"public","title":"Die Zukunft der Kryptographie","year":"2014","author":[{"first_name":"Tibor","last_name":"Jager","full_name":"Jager, Tibor","id":"64669"}],"user_id":"38235","doi":"10.1007/s11623-014-0204-8","page":"445--451","_id":"3127"},{"date_created":"2018-06-07T09:21:46Z","department":[{"_id":"558"}],"type":"conference","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>.","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>","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} }","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>","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.","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.","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>."},"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","extern":"1","_id":"3128","page":"512--531","user_id":"38235","doi":"10.1007/978-3-662-45611-8_27","author":[{"full_name":"Fleischhacker, Nils","last_name":"Fleischhacker","first_name":"Nils"},{"id":"64669","full_name":"Jager, Tibor","last_name":"Jager","first_name":"Tibor"},{"full_name":"Schröder, Dominique","first_name":"Dominique","last_name":"Schröder"}],"title":"On Tight Security Proofs for Schnorr Signatures","status":"public","year":"2014","date_updated":"2022-01-06T06:58:57Z"},{"date_created":"2018-06-13T07:55:10Z","department":[{"_id":"77"}],"type":"journal_article","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} }","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>","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>.","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>.","short":"S. Schneider, H. Treharne, H. Wehrheim, Formal Asp. Comput. (2014) 251--280.","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.","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>"},"issue":"2","publication":"Formal Asp. Comput.","_id":"3167","page":"251--280","doi":"10.1007/s00165-012-0265-0","user_id":"29719","author":[{"full_name":"Schneider, Steve","last_name":"Schneider","first_name":"Steve"},{"last_name":"Treharne","first_name":"Helen","full_name":"Treharne, Helen"},{"id":"573","full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim"}],"status":"public","title":"The behavioural semantics of Event-B refinement","year":"2014","date_updated":"2022-01-06T06:59:01Z"},{"citation":{"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>","short":"B. Tofan, O. Travkin, G. Schellhorn, H. Wehrheim, Sci. Comput. Program. (2014) 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>.","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} }","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>"},"publication":"Sci. Comput. Program.","department":[{"_id":"77"}],"type":"journal_article","date_created":"2018-06-13T07:56:12Z","date_updated":"2022-01-06T06:59:01Z","author":[{"full_name":"Tofan, Bogdan","first_name":"Bogdan","last_name":"Tofan"},{"full_name":"Travkin, Oleg","last_name":"Travkin","first_name":"Oleg"},{"last_name":"Schellhorn","first_name":"Gerhard","full_name":"Schellhorn, Gerhard"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"title":"Two approaches for proving linearizability of multiset","status":"public","year":"2014","user_id":"29719","doi":"10.1016/j.scico.2014.04.001","_id":"3168","page":"297--314"},{"doi":"10.1145/2629496","user_id":"29719","_id":"3169","page":"31:1--31:37","date_updated":"2022-01-06T06:59:01Z","author":[{"first_name":"Gerhard","last_name":"Schellhorn","full_name":"Schellhorn, Gerhard"},{"first_name":"John","last_name":"Derrick","full_name":"Derrick, John"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"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":{"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>","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} }","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>.","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.","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>","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."},"issue":"4","publication":"{ACM} Trans. Comput. Log."},{"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} }","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>","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>.","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"}],"title":"Quiescent Consistency: Defining and Verifying Relaxed Linearizability","year":"2014","status":"public","author":[{"first_name":"John","last_name":"Derrick","full_name":"Derrick, John"},{"full_name":"Dongol, Brijesh","last_name":"Dongol","first_name":"Brijesh"},{"last_name":"Schellhorn","first_name":"Gerhard","full_name":"Schellhorn, Gerhard"},{"full_name":"Tofan, Bogdan","last_name":"Tofan","first_name":"Bogdan"},{"last_name":"Travkin","first_name":"Oleg","full_name":"Travkin, Oleg"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"date_updated":"2022-01-06T06:59:02Z","page":"200--214","series_title":"Lecture Notes in Computer Science","_id":"3170","user_id":"29719","doi":"10.1007/978-3-319-06410-9_15","editor":[{"first_name":"Cliff","last_name":"B. Jones","full_name":"B. Jones, Cliff"},{"full_name":"Pihlajasaari, Pekka","last_name":"Pihlajasaari","first_name":"Pekka"},{"full_name":"Sun, Jun","last_name":"Sun","first_name":"Jun"}]},{"citation":{"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>","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.","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} }","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."},"publication":"Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings","department":[{"_id":"77"}],"type":"conference","date_created":"2018-06-13T07:59:46Z","date_updated":"2022-01-06T06:59:02Z","author":[{"last_name":"Travkin","first_name":"Oleg","full_name":"Travkin, Oleg"},{"full_name":"Wehrheim, Heike","first_name":"Heike","last_name":"Wehrheim","id":"573"}],"title":"Handling {TSO} in Mechanized Linearizability Proofs","year":"2014","status":"public","editor":[{"full_name":"Yahav, Eran","last_name":"Yahav","first_name":"Eran"}],"user_id":"29719","doi":"10.1007/978-3-319-13338-6_11","series_title":"Lecture Notes in Computer Science","_id":"3171","page":"132--147"},{"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":{"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.","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>.","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} }","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>","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>.","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."},"page":"203--218","series_title":"Lecture Notes in Computer Science","_id":"3172","doi":"10.1007/978-3-319-11737-9_14","user_id":"29719","editor":[{"full_name":"Merz, Stephan","last_name":"Merz","first_name":"Stephan"},{"full_name":"Pang, Jun","first_name":"Jun","last_name":"Pang"}],"year":"2014","title":"Timed Automata Verification via {IC3} with Zones","status":"public","author":[{"first_name":"Tobias","last_name":"Isenberg","full_name":"Isenberg, Tobias"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"date_updated":"2022-01-06T06:59:02Z"},{"publication":"Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings","citation":{"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>.","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.","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>","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} }","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."},"type":"conference","department":[{"_id":"77"}],"date_created":"2018-06-13T08:04:33Z","date_updated":"2022-01-06T06:59:02Z","title":"Managing {LTL} Properties in Event-B Refinement","year":"2014","status":"public","author":[{"first_name":"Steve","last_name":"A. Schneider","full_name":"A. Schneider, Steve"},{"first_name":"Helen","last_name":"Treharne","full_name":"Treharne, Helen"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"},{"first_name":"David","last_name":"M. Williams","full_name":"M. Williams, David"}],"user_id":"29719","doi":"10.1007/978-3-319-10181-1_14","editor":[{"last_name":"Albert","first_name":"Elvira","full_name":"Albert, Elvira"},{"full_name":"Sekerinski, Emil","first_name":"Emil","last_name":"Sekerinski"}],"page":"221--237","series_title":"Lecture Notes in Computer Science","_id":"3173"},{"date_updated":"2022-01-06T06:59:02Z","author":[{"full_name":"Schneider, Steve","first_name":"Steve","last_name":"Schneider"},{"full_name":"Treharne, Helen","first_name":"Helen","last_name":"Treharne"},{"id":"573","first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"},{"full_name":"M. Williams, David","last_name":"M. Williams","first_name":"David"}],"year":"2014","status":"public","title":"Managing {LTL} properties in Event-B refinement","user_id":"29719","_id":"3174","citation":{"mla":"Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” <i>CoRR</i>, 2014.","ama":"Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} properties in Event-B refinement. <i>CoRR</i>. 2014.","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} }","apa":"Schneider, S., Treharne, H., Wehrheim, H., &#38; M. Williams, D. (2014). Managing {LTL} properties in Event-B refinement. <i>CoRR</i>.","ieee":"S. Schneider, H. Treharne, H. Wehrheim, and D. 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).","chicago":"Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing {LTL} Properties in Event-B Refinement.” <i>CoRR</i>, 2014."},"publication":"CoRR","department":[{"_id":"77"}],"type":"journal_article","date_created":"2018-06-13T08:05:39Z"},{"citation":{"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.","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."},"publication":"CoRR","date_created":"2018-06-13T08:07:24Z","department":[{"_id":"77"}],"type":"journal_article","author":[{"last_name":"Isenberg","first_name":"Tobias","full_name":"Isenberg, Tobias"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"year":"2014","status":"public","title":"Proof-Carrying Hardware via {IC3}","date_updated":"2022-01-06T06:59:02Z","_id":"3175","user_id":"29719"},{"citation":{"mla":"Keil, Reinhard, et al. <i>Twenty Years of Learning with the World Wide Web</i>. Edited by Stephan Trahasch et al., 2014, pp. 51–60.","bibtex":"@article{Keil_Selke_Winkelnkemper_2014, series={Lecture Notes in Informatics (LNI)}, title={Twenty years of learning with the World Wide Web}, author={Keil, Reinhard and Selke, Harald and Winkelnkemper, Felix}, editor={Trahasch, Stephan and  Pl {\\ \"o} tzner , Rolf  and Schneider, Gerhard and Gayer, Claudia  and Sassiat, Daniel and W {\\ \"o} hrle, Nicole}, year={2014}, pages={51–60}, collection={Lecture Notes in Informatics (LNI)} }","ama":"Keil R, Selke H, Winkelnkemper F. Twenty years of learning with the World Wide Web. Trahasch S,  Pl {\\ \"o} tzner  R, Schneider G, Gayer C, Sassiat D, W {\\ \"o} hrle N, eds. Published online 2014:51–60.","ieee":"R. Keil, H. Selke, and F. Winkelnkemper, “Twenty years of learning with the World Wide Web.” pp. 51–60, 2014.","apa":"Keil, R., Selke, H., &#38; Winkelnkemper, F. (2014). <i>Twenty years of learning with the World Wide Web</i> (S. Trahasch, R.  Pl {\\ \"o} tzner , G. Schneider, C. Gayer, D. Sassiat, &#38; N. W {\\ \"o} hrle, Eds.; pp. 51–60).","chicago":"Keil, Reinhard, Harald Selke, and Felix Winkelnkemper. “Twenty Years of Learning with the World Wide Web.” Edited by Stephan Trahasch, Rolf   Pl {\\ \"o} tzner , Gerhard Schneider, Claudia  Gayer, Daniel Sassiat, and Nicole W {\\ \"o} hrle. Lecture Notes in Informatics (LNI), 2014.","short":"R. Keil, H. Selke, F. Winkelnkemper, (2014) 51–60."},"type":"conference","department":[{"_id":"71"}],"date_created":"2021-11-05T23:07:46Z","publication_status":"published","date_updated":"2022-01-06T06:57:35Z","status":"public","year":"2014","title":"Twenty years of learning with the World Wide Web","author":[{"last_name":"Keil","first_name":"Reinhard","full_name":"Keil, Reinhard"},{"last_name":"Selke","first_name":"Harald","full_name":"Selke, Harald","id":"497"},{"id":"3117","last_name":"Winkelnkemper","first_name":"Felix","full_name":"Winkelnkemper, Felix"}],"user_id":"71124","editor":[{"full_name":"Trahasch, Stephan","first_name":"Stephan","last_name":"Trahasch"},{"last_name":" Pl {\\ \"o} tzner ","first_name":"Rolf ","full_name":" Pl {\\ \"o} tzner , Rolf "},{"full_name":"Schneider, Gerhard","last_name":"Schneider","first_name":"Gerhard"},{"full_name":"Gayer, Claudia ","first_name":"Claudia ","last_name":"Gayer"},{"last_name":"Sassiat","first_name":"Daniel","full_name":"Sassiat, Daniel"},{"full_name":"W {\\ \"o} hrle, Nicole","first_name":"Nicole","last_name":"W {\\ \"o} hrle"}],"page":"51–60","language":[{"iso":"eng"}],"_id":"27166","series_title":"Lecture Notes in Informatics (LNI)"},{"date_created":"2021-11-05T23:12:49Z","type":"conference","department":[{"_id":"71"}],"citation":{"ama":"Winkelnkemper F, Keil R. Zwischen Design und Flexibilit{\\\"a}t - Zur Ergonomie des Flat Design. In: Butz A,  Schlichter J, eds. Vol 2014. Oldenbourg Verlag; 2014:255-264.","bibtex":"@inproceedings{Winkelnkemper_Keil_2014, title={Zwischen Design und Flexibilit{\\\"a}t - Zur Ergonomie des Flat Design}, volume={2014}, publisher={Oldenbourg Verlag}, author={Winkelnkemper, Felix and Keil, Reinhard}, editor={Butz, Andreas and  Schlichter, Johann}, year={2014}, pages={255–264} }","mla":"Winkelnkemper, Felix, and Reinhard Keil. <i>Zwischen Design Und Flexibilit{\\\"a}t - Zur Ergonomie Des Flat Design</i>. Edited by Andreas Butz and Johann  Schlichter, vol. 2014, Oldenbourg Verlag, 2014, pp. 255–64.","chicago":"Winkelnkemper, Felix, and Reinhard Keil. “Zwischen Design Und Flexibilit{\\\"a}t - Zur Ergonomie Des Flat Design.” edited by Andreas Butz and Johann  Schlichter, 2014:255–64. Oldenbourg Verlag, 2014.","short":"F. Winkelnkemper, R. Keil, in: A. Butz, J.  Schlichter (Eds.), Oldenbourg Verlag, 2014, pp. 255–264.","apa":"Winkelnkemper, F., &#38; Keil, R. (2014). <i>Zwischen Design und Flexibilit{\\\"a}t - Zur Ergonomie des Flat Design</i> (A. Butz &#38; J.  Schlichter, Eds.; Vol. 2014, pp. 255–264). Oldenbourg Verlag.","ieee":"F. Winkelnkemper and R. Keil, “Zwischen Design und Flexibilit{\\\"a}t - Zur Ergonomie des Flat Design,” 2014, vol. 2014, pp. 255–264."},"page":"255-264","_id":"27167","language":[{"iso":"eng"}],"publisher":"Oldenbourg Verlag","user_id":"71124","editor":[{"full_name":"Butz, Andreas","last_name":"Butz","first_name":"Andreas"},{"full_name":" Schlichter, Johann","last_name":" Schlichter","first_name":"Johann"}],"volume":2014,"title":"Zwischen Design und Flexibilit{\\\"a}t - Zur Ergonomie des Flat Design","year":"2014","status":"public","author":[{"id":"3117","full_name":"Winkelnkemper, Felix","first_name":"Felix","last_name":"Winkelnkemper"},{"full_name":"Keil, Reinhard","last_name":"Keil","first_name":"Reinhard"}],"date_updated":"2022-01-06T06:57:35Z","publication_status":"published","intvolume":"      2014"},{"date_updated":"2022-01-06T06:54:42Z","author":[{"last_name":"Brenner","first_name":"Christian","full_name":"Brenner, Christian"},{"last_name":"Greenyer","first_name":"Joel","full_name":"Greenyer, Joel"},{"id":"3875","full_name":"Holtmann, Jörg","first_name":"Jörg","orcid":"0000-0001-6141-4571","last_name":"Holtmann"},{"full_name":"Liebel, Grischa","first_name":"Grischa","last_name":"Liebel"},{"last_name":"Stieglbauer","first_name":"Gerald","full_name":"Stieglbauer, Gerald"},{"full_name":"Tichy, Matthias","first_name":"Matthias","last_name":"Tichy"}],"year":"2014","status":"public","title":"ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study","user_id":"5786","language":[{"iso":"eng"}],"_id":"20983","abstract":[{"text":"In many areas, such as automotive, healthcare, or production, we find software-intensive systems with complex real-time requirements. To efficiently ensure the quality of these systems, engineers require automated tools for the validation of the requirements throughout the development. This, however, requires that the requirements are specified in an analyzable way. We propose modeling the specification using Modal Sequence Diagrams (MSDs), which express what a system may, must, or must not do in certain situations. MSDs can be executed via the play-out algorithm to investigate the behavior emerging from the interplay of multiple scenarios; we can also test if traces of the final product satisfy all scenarios. In this paper, we present the first tool supporting the play-out of MSDs with real-time constraints. As a case study, we modeled the requirements on gear shifts in an upcoming standard on vehicle testing and use our tool to validate externally generated gear shift sequences.","lang":"eng"}],"citation":{"ieee":"C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, and M. Tichy, “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study,” 2014.","apa":"Brenner, C., Greenyer, J., Holtmann, J., Liebel, G., Stieglbauer, G., &#38; Tichy, M. (2014). ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>.","short":"C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, M. Tichy, in: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 2014.","chicago":"Brenner, Christian, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, and Matthias Tichy. “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.” In <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>, 2014.","mla":"Brenner, Christian, et al. “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.” <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>, 2014.","bibtex":"@inproceedings{Brenner_Greenyer_Holtmann_Liebel_Stieglbauer_Tichy_2014, title={ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study}, booktitle={Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)}, author={Brenner, Christian and Greenyer, Joel and Holtmann, Jörg and Liebel, Grischa and Stieglbauer, Gerald and Tichy, Matthias}, year={2014} }","ama":"Brenner C, Greenyer J, Holtmann J, Liebel G, Stieglbauer G, Tichy M. ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. In: <i>Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>. ; 2014."},"publication":"Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)","department":[{"_id":"76"},{"_id":"241"}],"type":"conference","date_created":"2021-01-13T13:36:09Z"},{"department":[{"_id":"63"},{"_id":"541"}],"type":"conference","keyword":["competition","equilibrium","market","models","shared effort games","simulation"],"place":"Richland, SC","date_created":"2020-08-06T15:21:26Z","extern":"1","citation":{"ama":"Polevoy G, Trajanovski S, de Weerdt MM. Nash Equilibria in Shared Effort Games. In: <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems; 2014:861-868.","bibtex":"@inproceedings{Polevoy_Trajanovski_de Weerdt_2014, place={Richland, SC}, series={AAMAS ’14}, title={Nash Equilibria in Shared Effort Games}, booktitle={Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems}, publisher={International Foundation for Autonomous Agents and Multiagent Systems}, author={Polevoy, Gleb and Trajanovski, Stojan and de Weerdt, Mathijs M.}, year={2014}, pages={861–868}, collection={AAMAS ’14} }","mla":"Polevoy, Gleb, et al. “Nash Equilibria in Shared Effort Games.” <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>, International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp. 861–68.","short":"G. Polevoy, S. Trajanovski, M.M. de Weerdt, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 861–868.","chicago":"Polevoy, Gleb, Stojan Trajanovski, and Mathijs M. de Weerdt. “Nash Equilibria in Shared Effort Games.” In <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>, 861–68. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2014.","apa":"Polevoy, G., Trajanovski, S., &#38; de Weerdt, M. M. (2014). Nash Equilibria in Shared Effort Games. In <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems</i> (pp. 861–868). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.","ieee":"G. Polevoy, S. Trajanovski, and M. M. de Weerdt, “Nash Equilibria in Shared Effort Games,” in <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems</i>, 2014, pp. 861–868."},"publication":"Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems","user_id":"83983","series_title":"AAMAS '14","_id":"17659","language":[{"iso":"eng"}],"publisher":"International Foundation for Autonomous Agents and Multiagent Systems","page":"861-868","date_updated":"2022-01-06T06:53:16Z","publication_identifier":{"isbn":["978-1-4503-2738-1"]},"author":[{"last_name":"Polevoy","first_name":"Gleb","full_name":"Polevoy, Gleb","id":"83983"},{"full_name":"Trajanovski, Stojan","first_name":"Stojan","last_name":"Trajanovski"},{"last_name":"de Weerdt","first_name":"Mathijs M.","full_name":"de Weerdt, Mathijs M."}],"year":"2014","title":"Nash Equilibria in Shared Effort Games","status":"public"},{"_id":"17660","language":[{"iso":"eng"}],"publisher":"International Foundation for Autonomous Agents and Multiagent Systems","series_title":"AAMAS '14","page":"1741-1742","user_id":"83983","publication_identifier":{"isbn":["978-1-4503-2738-1"]},"author":[{"id":"83983","first_name":"Gleb","last_name":"Polevoy","full_name":"Polevoy, Gleb"},{"first_name":"Mathijs M.","last_name":"de Weerdt","full_name":"de Weerdt, Mathijs M."}],"status":"public","year":"2014","title":"Improving Human Interaction in Crowdsensing","date_updated":"2022-01-06T06:53:16Z","date_created":"2020-08-06T15:21:35Z","place":"Richland, SC","department":[{"_id":"63"},{"_id":"541"}],"keyword":["dynamics","emotion modeling","negotiation","network interaction","shared effort game"],"type":"conference","citation":{"bibtex":"@inproceedings{Polevoy_de Weerdt_2014, place={Richland, SC}, series={AAMAS ’14}, title={Improving Human Interaction in Crowdsensing}, booktitle={Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems}, publisher={International Foundation for Autonomous Agents and Multiagent Systems}, author={Polevoy, Gleb and de Weerdt, Mathijs M.}, year={2014}, pages={1741–1742}, collection={AAMAS ’14} }","ama":"Polevoy G, de Weerdt MM. Improving Human Interaction in Crowdsensing. In: <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems; 2014:1741-1742.","mla":"Polevoy, Gleb, and Mathijs M. de Weerdt. “Improving Human Interaction in Crowdsensing.” <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>, International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp. 1741–42.","chicago":"Polevoy, Gleb, and Mathijs M. de Weerdt. “Improving Human Interaction in Crowdsensing.” In <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>, 1741–42. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2014.","short":"G. Polevoy, M.M. de Weerdt, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 1741–1742.","ieee":"G. Polevoy and M. M. de Weerdt, “Improving Human Interaction in Crowdsensing,” in <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems</i>, 2014, pp. 1741–1742.","apa":"Polevoy, G., &#38; de Weerdt, M. M. (2014). Improving Human Interaction in Crowdsensing. In <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems</i> (pp. 1741–1742). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems."},"publication":"Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems","extern":"1"},{"extern":"1","publication":"Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems","citation":{"short":"T.C. King, Q. Liu, G. Polevoy, M. de Weerdt, V. Dignum, M.B. van Riemsdijk, M. Warnier, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 1651–1652.","chicago":"King, Thomas C., Qingzhi Liu, Gleb Polevoy, Mathijs de Weerdt, Virginia Dignum, M. Birna van Riemsdijk, and Martijn Warnier. “Request Driven Social Sensing.” In <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>, 1651–52. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2014.","ieee":"T. C. King <i>et al.</i>, “Request Driven Social Sensing,” in <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems</i>, 2014, pp. 1651–1652.","apa":"King, T. C., Liu, Q., Polevoy, G., de Weerdt, M., Dignum, V., van Riemsdijk, M. B., &#38; Warnier, M. (2014). Request Driven Social Sensing. In <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems</i> (pp. 1651–1652). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.","bibtex":"@inproceedings{King_Liu_Polevoy_de Weerdt_Dignum_van Riemsdijk_Warnier_2014, place={Richland, SC}, series={AAMAS ’14}, title={Request Driven Social Sensing}, booktitle={Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems}, publisher={International Foundation for Autonomous Agents and Multiagent Systems}, author={King, Thomas C. and Liu, Qingzhi and Polevoy, Gleb and de Weerdt, Mathijs and Dignum, Virginia and van Riemsdijk, M. Birna and Warnier, Martijn}, year={2014}, pages={1651–1652}, collection={AAMAS ’14} }","ama":"King TC, Liu Q, Polevoy G, et al. Request Driven Social Sensing. In: <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems; 2014:1651-1652.","mla":"King, Thomas C., et al. “Request Driven Social Sensing.” <i>Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems</i>, International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp. 1651–52."},"type":"conference","keyword":["crowd-sensing","crowdsourcing","data aggregation","game theory","norms","reciprocation","self interested agents","simulation"],"department":[{"_id":"63"},{"_id":"541"}],"place":"Richland, SC","date_created":"2020-08-06T15:21:45Z","date_updated":"2022-01-06T06:53:16Z","year":"2014","status":"public","title":"Request Driven Social Sensing","author":[{"full_name":"King, Thomas C.","first_name":"Thomas C.","last_name":"King"},{"last_name":"Liu","first_name":"Qingzhi","full_name":"Liu, Qingzhi"},{"full_name":"Polevoy, Gleb","last_name":"Polevoy","first_name":"Gleb","id":"83983"},{"last_name":"de Weerdt","first_name":"Mathijs","full_name":"de Weerdt, Mathijs"},{"first_name":"Virginia","last_name":"Dignum","full_name":"Dignum, Virginia"},{"full_name":"van Riemsdijk, M. Birna","first_name":"M. Birna","last_name":"van Riemsdijk"},{"full_name":"Warnier, Martijn","last_name":"Warnier","first_name":"Martijn"}],"publication_identifier":{"isbn":["978-1-4503-2738-1"]},"user_id":"83983","page":"1651-1652","publisher":"International Foundation for Autonomous Agents and Multiagent Systems","_id":"17661","series_title":"AAMAS '14","language":[{"iso":"eng"}]},{"citation":{"ieee":"G. Polevoy, R. Smorodinsky, and M. Tennenholtz, “Signaling Competition and Social Welfare,” <i>ACM Trans. Econ. Comput.</i>, vol. 2, no. 1, pp. 1:1-1:16, 2014.","apa":"Polevoy, G., Smorodinsky, R., &#38; Tennenholtz, M. (2014). Signaling Competition and Social Welfare. <i>ACM Trans. Econ. Comput.</i>, <i>2</i>(1), 1:1-1:16. <a href=\"https://doi.org/10.1145/2560766\">https://doi.org/10.1145/2560766</a>","chicago":"Polevoy, Gleb, Rann Smorodinsky, and Moshe Tennenholtz. “Signaling Competition and Social Welfare.” <i>ACM Trans. Econ. Comput.</i> 2, no. 1 (2014): 1:1-1:16. <a href=\"https://doi.org/10.1145/2560766\">https://doi.org/10.1145/2560766</a>.","short":"G. Polevoy, R. Smorodinsky, M. Tennenholtz, ACM Trans. Econ. Comput. 2 (2014) 1:1-1:16.","mla":"Polevoy, Gleb, et al. “Signaling Competition and Social Welfare.” <i>ACM Trans. Econ. Comput.</i>, vol. 2, no. 1, ACM, 2014, pp. 1:1-1:16, doi:<a href=\"https://doi.org/10.1145/2560766\">10.1145/2560766</a>.","bibtex":"@article{Polevoy_Smorodinsky_Tennenholtz_2014, title={Signaling Competition and Social Welfare}, volume={2}, DOI={<a href=\"https://doi.org/10.1145/2560766\">10.1145/2560766</a>}, number={1}, journal={ACM Trans. Econ. Comput.}, publisher={ACM}, author={Polevoy, Gleb and Smorodinsky, Rann and Tennenholtz, Moshe}, year={2014}, pages={1:1-1:16} }","ama":"Polevoy G, Smorodinsky R, Tennenholtz M. Signaling Competition and Social Welfare. <i>ACM Trans Econ Comput</i>. 2014;2(1):1:1-1:16. doi:<a href=\"https://doi.org/10.1145/2560766\">10.1145/2560766</a>"},"volume":2,"user_id":"83983","_id":"17662","publisher":"ACM","page":"1:1-1:16","status":"public","department":[{"_id":"63"},{"_id":"541"}],"type":"journal_article","keyword":["Competition","efficiency","equilibrium","market","social welfare"],"date_created":"2020-08-06T15:21:55Z","extern":"1","publication":"ACM Trans. Econ. Comput.","issue":"1","doi":"10.1145/2560766","language":[{"iso":"eng"}],"intvolume":"         2","date_updated":"2022-01-06T06:53:16Z","author":[{"id":"83983","full_name":"Polevoy, Gleb","first_name":"Gleb","last_name":"Polevoy"},{"full_name":"Smorodinsky, Rann","first_name":"Rann","last_name":"Smorodinsky"},{"first_name":"Moshe","last_name":"Tennenholtz","full_name":"Tennenholtz, Moshe"}],"publication_identifier":{"issn":["2167-8375"]},"title":"Signaling Competition and Social Welfare","year":"2014"},{"date_created":"2018-03-26T13:50:37Z","place":"Switzerland","department":[{"_id":"27"},{"_id":"78"}],"type":"conference","citation":{"bibtex":"@inproceedings{Graf_Schaefers_Platzner_2014, place={Switzerland}, series={Lecture Notes in Computer Science}, title={On Semeai Detection in Monte-Carlo Go}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-09165-5_2\">10.1007/978-3-319-09165-5_2</a>}, number={8427}, booktitle={Proc. Conf. on Computers and Games (CG)}, publisher={Springer}, author={Graf, Tobias and Schaefers, Lars and Platzner, Marco}, year={2014}, pages={14–25}, collection={Lecture Notes in Computer Science} }","ama":"Graf T, Schaefers L, Platzner M. On Semeai Detection in Monte-Carlo Go. In: <i>Proc. Conf. on Computers and Games (CG)</i>. Lecture Notes in Computer Science. Switzerland: Springer; 2014:14-25. doi:<a href=\"https://doi.org/10.1007/978-3-319-09165-5_2\">10.1007/978-3-319-09165-5_2</a>","mla":"Graf, Tobias, et al. “On Semeai Detection in Monte-Carlo Go.” <i>Proc. Conf. on Computers and Games (CG)</i>, no. 8427, Springer, 2014, pp. 14–25, doi:<a href=\"https://doi.org/10.1007/978-3-319-09165-5_2\">10.1007/978-3-319-09165-5_2</a>.","chicago":"Graf, Tobias, Lars Schaefers, and Marco Platzner. “On Semeai Detection in Monte-Carlo Go.” In <i>Proc. Conf. on Computers and Games (CG)</i>, 14–25. Lecture Notes in Computer Science. Switzerland: Springer, 2014. <a href=\"https://doi.org/10.1007/978-3-319-09165-5_2\">https://doi.org/10.1007/978-3-319-09165-5_2</a>.","short":"T. Graf, L. Schaefers, M. Platzner, in: Proc. Conf. on Computers and Games (CG), Springer, Switzerland, 2014, pp. 14–25.","ieee":"T. Graf, L. Schaefers, and M. Platzner, “On Semeai Detection in Monte-Carlo Go,” in <i>Proc. Conf. on Computers and Games (CG)</i>, 2014, no. 8427, pp. 14–25.","apa":"Graf, T., Schaefers, L., &#38; Platzner, M. (2014). On Semeai Detection in Monte-Carlo Go. In <i>Proc. Conf. on Computers and Games (CG)</i> (pp. 14–25). Switzerland: Springer. <a href=\"https://doi.org/10.1007/978-3-319-09165-5_2\">https://doi.org/10.1007/978-3-319-09165-5_2</a>"},"publication":"Proc. Conf. on Computers and Games (CG)","issue":"8427","series_title":"Lecture Notes in Computer Science","_id":"1782","publisher":"Springer","page":"14-25","user_id":"24135","doi":"10.1007/978-3-319-09165-5_2","author":[{"first_name":"Tobias","last_name":"Graf","full_name":"Graf, Tobias"},{"full_name":"Schaefers, Lars","last_name":"Schaefers","first_name":"Lars"},{"full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco","id":"398"}],"title":"On Semeai Detection in Monte-Carlo Go","year":"2014","status":"public","date_updated":"2022-01-06T06:53:20Z"},{"place":"Universität Paderborn","date_created":"2020-09-04T13:20:12Z","type":"dissertation","department":[{"_id":"63"}],"supervisor":[{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm"}],"citation":{"mla":"Petring, Ralf. <i>Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen in Echtzeit</i>. 2014.","ama":"Petring R. <i>Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen in Echtzeit</i>. Universität Paderborn; 2014.","bibtex":"@book{Petring_2014, place={Universität Paderborn}, title={Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit}, author={Petring, Ralf}, year={2014} }","apa":"Petring, R. (2014). <i>Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit</i>. Universität Paderborn.","ieee":"R. Petring, <i>Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit</i>. Universität Paderborn, 2014.","chicago":"Petring, Ralf. <i>Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen in Echtzeit</i>. Universität Paderborn, 2014.","short":"R. Petring, Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen in Echtzeit, Universität Paderborn, 2014."},"related_material":{"link":[{"url":"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12816","relation":"confirmation"}]},"language":[{"iso":"eng"}],"_id":"19039","user_id":"15415","title":"Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit","status":"public","year":"2014","author":[{"full_name":"Petring, Ralf","first_name":"Ralf","last_name":"Petring"}],"date_updated":"2022-01-06T06:53:57Z"}]