[{"type":"journal_article","citation":{"ieee":"A. Eggert, M. Kleinaltenkamp, and V. Kashyap, “Mapping Value in Business Markets: An Integrative Framework,” Industrial Marketing Management, vol. 79, pp. 13--20, 2019.","short":"A. Eggert, M. Kleinaltenkamp, V. Kashyap, Industrial Marketing Management 79 (2019) 13--20.","bibtex":"@article{Eggert_Kleinaltenkamp_Kashyap_2019, title={Mapping Value in Business Markets: An Integrative Framework}, volume={79}, journal={Industrial Marketing Management}, author={Eggert, Andreas and Kleinaltenkamp, Michael and Kashyap, Vishal}, year={2019}, pages={13--20} }","mla":"Eggert, Andreas, et al. “Mapping Value in Business Markets: An Integrative Framework.” Industrial Marketing Management, vol. 79, 2019, pp. 13--20.","chicago":"Eggert, Andreas, Michael Kleinaltenkamp, and Vishal Kashyap. “Mapping Value in Business Markets: An Integrative Framework.” Industrial Marketing Management 79 (2019): 13--20.","ama":"Eggert A, Kleinaltenkamp M, Kashyap V. Mapping Value in Business Markets: An Integrative Framework. Industrial Marketing Management. 2019;79:13--20.","apa":"Eggert, A., Kleinaltenkamp, M., & Kashyap, V. (2019). Mapping Value in Business Markets: An Integrative Framework. Industrial Marketing Management, 79, 13--20."},"year":"2019","page":"13--20","language":[{"iso":"eng"}],"_id":"13454","intvolume":" 79","date_updated":"2022-01-06T06:51:36Z","volume":79,"status":"public","date_created":"2019-09-30T07:22:24Z","author":[{"first_name":"Andreas","full_name":"Eggert, Andreas","last_name":"Eggert"},{"last_name":"Kleinaltenkamp","full_name":"Kleinaltenkamp, Michael","first_name":"Michael"},{"first_name":"Vishal","full_name":"Kashyap, Vishal","last_name":"Kashyap"}],"department":[{"_id":"180"}],"publication":"Industrial Marketing Management","title":"Mapping Value in Business Markets: An Integrative Framework","user_id":"57352"},{"author":[{"last_name":"Garnefeld","full_name":"Garnefeld, Ina","first_name":"Ina"},{"first_name":"Andreas","full_name":"Eggert, Andreas","last_name":"Eggert"},{"last_name":"Husemann-Kopetzky","full_name":"Husemann-Kopetzky, Markus","first_name":"Markus"},{"last_name":"Boehm","full_name":"Boehm, Eva","first_name":"Eva"}],"department":[{"_id":"180"}],"publication":"Journal of the Academy of Marketing Science","status":"public","date_created":"2019-09-30T07:27:46Z","volume":47,"user_id":"57352","title":"Exploring the link between payment schemes and customer fraud: a mental accounting perspective","language":[{"iso":"eng"}],"type":"journal_article","citation":{"ieee":"I. Garnefeld, A. Eggert, M. Husemann-Kopetzky, and E. Boehm, “Exploring the link between payment schemes and customer fraud: a mental accounting perspective,” Journal of the Academy of Marketing Science, vol. 47, no. 4, pp. 595--616, 2019.","short":"I. Garnefeld, A. Eggert, M. Husemann-Kopetzky, E. Boehm, Journal of the Academy of Marketing Science 47 (2019) 595--616.","bibtex":"@article{Garnefeld_Eggert_Husemann-Kopetzky_Boehm_2019, title={Exploring the link between payment schemes and customer fraud: a mental accounting perspective}, volume={47}, number={4}, journal={Journal of the Academy of Marketing Science}, author={Garnefeld, Ina and Eggert, Andreas and Husemann-Kopetzky, Markus and Boehm, Eva}, year={2019}, pages={595--616} }","mla":"Garnefeld, Ina, et al. “Exploring the Link between Payment Schemes and Customer Fraud: A Mental Accounting Perspective.” Journal of the Academy of Marketing Science, vol. 47, no. 4, 2019, pp. 595--616.","chicago":"Garnefeld, Ina, Andreas Eggert, Markus Husemann-Kopetzky, and Eva Boehm. “Exploring the Link between Payment Schemes and Customer Fraud: A Mental Accounting Perspective.” Journal of the Academy of Marketing Science 47, no. 4 (2019): 595--616.","apa":"Garnefeld, I., Eggert, A., Husemann-Kopetzky, M., & Boehm, E. (2019). Exploring the link between payment schemes and customer fraud: a mental accounting perspective. Journal of the Academy of Marketing Science, 47(4), 595--616.","ama":"Garnefeld I, Eggert A, Husemann-Kopetzky M, Boehm E. Exploring the link between payment schemes and customer fraud: a mental accounting perspective. Journal of the Academy of Marketing Science. 2019;47(4):595--616."},"year":"2019","page":"595--616","intvolume":" 47","_id":"13455","date_updated":"2022-01-06T06:51:36Z","issue":"4"},{"date_updated":"2022-01-06T06:51:36Z","_id":"13456","language":[{"iso":"eng"}],"type":"conference","citation":{"bibtex":"@article{Eggert_Boehm_Akalan_Gebauer_2019, series={9th BMM-EMAC Biennial International Conference on Business Market Management}, title={Service Growth by Acquisition – An Event Study}, author={Eggert, Andreas and Boehm, Eva and Akalan, Rodi and Gebauer, Heiko}, year={2019}, collection={9th BMM-EMAC Biennial International Conference on Business Market Management} }","mla":"Eggert, Andreas, et al. Service Growth by Acquisition – An Event Study. 2019.","chicago":"Eggert, Andreas, Eva Boehm, Rodi Akalan, and Heiko Gebauer. “Service Growth by Acquisition – An Event Study.” 9th BMM-EMAC Biennial International Conference on Business Market Management, 2019.","apa":"Eggert, A., Boehm, E., Akalan, R., & Gebauer, H. (2019). Service Growth by Acquisition – An Event Study.","ama":"Eggert A, Boehm E, Akalan R, Gebauer H. Service Growth by Acquisition – An Event Study. 2019.","ieee":"A. Eggert, E. Boehm, R. Akalan, and H. Gebauer, “Service Growth by Acquisition – An Event Study.” 2019.","short":"A. Eggert, E. Boehm, R. Akalan, H. Gebauer, (2019)."},"year":"2019","series_title":"9th BMM-EMAC Biennial International Conference on Business Market Management","user_id":"57352","title":"Service Growth by Acquisition – An Event Study","status":"public","date_created":"2019-09-30T07:35:33Z","author":[{"full_name":"Eggert, Andreas","first_name":"Andreas","last_name":"Eggert"},{"last_name":"Boehm","full_name":"Boehm, Eva","first_name":"Eva"},{"first_name":"Rodi","full_name":"Akalan, Rodi","last_name":"Akalan"},{"first_name":"Heiko","full_name":"Gebauer, Heiko","last_name":"Gebauer"}],"department":[{"_id":"19"},{"_id":"180"}]},{"language":[{"iso":"eng"}],"type":"journal_article","year":"2019","citation":{"ieee":"A. Eggert, L. Steinhoff, and C. Witte, “Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships,” Journal of Marketing, 2019.","short":"A. Eggert, L. Steinhoff, C. Witte, Journal of Marketing (2019).","bibtex":"@article{Eggert_Steinhoff_Witte_2019, title={Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships}, journal={Journal of Marketing}, author={Eggert, Andreas and Steinhoff, Lena and Witte, Carina}, year={2019} }","mla":"Eggert, Andreas, et al. “Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships.” Journal of Marketing, 2019.","apa":"Eggert, A., Steinhoff, L., & Witte, C. (2019). Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships. Journal of Marketing.","ama":"Eggert A, Steinhoff L, Witte C. Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships. Journal of Marketing. 2019.","chicago":"Eggert, Andreas, Lena Steinhoff, and Carina Witte. “Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships.” Journal of Marketing, 2019."},"date_updated":"2022-01-06T06:51:36Z","_id":"13457","author":[{"last_name":"Eggert","full_name":"Eggert, Andreas","first_name":"Andreas"},{"full_name":"Steinhoff, Lena","first_name":"Lena","last_name":"Steinhoff"},{"last_name":"Witte","first_name":"Carina","full_name":"Witte, Carina"}],"publication":"Journal of Marketing","department":[{"_id":"180"}],"status":"public","date_created":"2019-09-30T07:42:15Z","user_id":"57352","title":"Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships"},{"page":"67","citation":{"short":"W. Sextro, M. Brökelmann, Intelligente Herstellung Zuverlässiger Kupferbondverbindungen, Springer Verlag, 2019.","ieee":"W. Sextro and M. Brökelmann, Intelligente Herstellung zuverlässiger Kupferbondverbindungen, vol. VIII. Springer Verlag, 2019.","apa":"Sextro, W., & Brökelmann, M. (2019). Intelligente Herstellung zuverlässiger Kupferbondverbindungen (Vol. VIII). Springer Verlag. https://doi.org/10.1007/978-3-662-55146-2","ama":"Sextro W, Brökelmann M. Intelligente Herstellung Zuverlässiger Kupferbondverbindungen. Vol VIII. Springer Verlag; 2019. doi:10.1007/978-3-662-55146-2","chicago":"Sextro, Walter, and Michael Brökelmann. Intelligente Herstellung Zuverlässiger Kupferbondverbindungen. Vol. VIII. Springer Verlag, 2019. https://doi.org/10.1007/978-3-662-55146-2.","mla":"Sextro, Walter, and Michael Brökelmann. Intelligente Herstellung Zuverlässiger Kupferbondverbindungen. Vol. VIII, Springer Verlag, 2019, doi:10.1007/978-3-662-55146-2.","bibtex":"@book{Sextro_Brökelmann_2019, title={Intelligente Herstellung zuverlässiger Kupferbondverbindungen}, volume={VIII}, DOI={10.1007/978-3-662-55146-2}, publisher={Springer Verlag}, author={Sextro, Walter and Brökelmann, Michael}, year={2019} }"},"year":"2019","type":"book","language":[{"iso":"eng"}],"_id":"10002","date_updated":"2022-01-06T06:50:22Z","doi":"10.1007/978-3-662-55146-2","department":[{"_id":"151"}],"keyword":["Abschlussbericht zum Spitzenclusterprojekt InCuB"],"author":[{"id":"21220","last_name":"Sextro","full_name":"Sextro, Walter","first_name":"Walter"},{"full_name":"Brökelmann, Michael","first_name":"Michael","last_name":"Brökelmann"}],"publisher":"Springer Verlag","volume":"VIII","date_created":"2019-05-27T10:31:35Z","status":"public","abstract":[{"text":"Dieses Buch beschreibt basierend auf dem gleichnamigen Innovationsprojekt im Spitzencluster it’s OWL die Entwicklung intelligenter Verfahren und Systeme, um auch unter variablen Produktionsbedingungen eine zuverlässige Massenfertigung von Kupferbondverbindungen sicherzustellen.Dabei wird der gesamte Prozess der Ultraschall-Verbindungsbildung modelliert. Dies beinhaltet u. a. ein Reibmodell mit gekoppeltem Anbindungsmodell, den Ultraschall-Erweichungseffekt und den Verschleiß des Bondwerkzeugs. Zudem wird das Konzept einer selbstoptimierenden Bondmaschine vorgestellt, welche Prozessparameter in Abhängigkeit von Störgrößen wie Verschleiß anpasst.Das Ultraschallbonden mit Aluminiumdraht ist ein etabliertes Fertigungsverfahren zur Kontaktierung von Leistungshalbleitern. Zukünftige Leistungshalbleiterchips erfordern jedoch einen Technologiewechsel zu Kupferdraht. Die Prozessparameter unterscheiden sich dabei deutlich von den bekannten Aluminiumprozessen, ihre Wechselwirkungen sind weitestgehend unbekannt.","lang":"ger"}],"title":"Intelligente Herstellung zuverlässiger Kupferbondverbindungen","user_id":"55222"},{"citation":{"short":"M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019) 1.","ieee":"M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” Formal Asp. Comput., vol. 31, no. 1, p. 1, 2019.","apa":"Fränzle, M., Kapur, D., Wehrheim, H., & Zhan, N. (2019). Editorial. Formal Asp. Comput., 31(1), 1. https://doi.org/10.1007/s00165-018-00477-6","ama":"Fränzle M, Kapur D, Wehrheim H, Zhan N. Editorial. Formal Asp Comput. 2019;31(1):1. doi:10.1007/s00165-018-00477-6","chicago":"Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.” Formal Asp. Comput. 31, no. 1 (2019): 1. https://doi.org/10.1007/s00165-018-00477-6.","bibtex":"@article{Fränzle_Kapur_Wehrheim_Zhan_2019, title={Editorial}, volume={31}, DOI={10.1007/s00165-018-00477-6}, number={1}, journal={Formal Asp. Comput.}, author={Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun}, year={2019}, pages={1} }","mla":"Fränzle, Martin, et al. “Editorial.” Formal Asp. Comput., vol. 31, no. 1, 2019, p. 1, doi:10.1007/s00165-018-00477-6."},"year":"2019","type":"journal_article","page":"1","language":[{"iso":"eng"}],"doi":"10.1007/s00165-018-00477-6","issue":"1","intvolume":" 31","_id":"10011","date_updated":"2022-01-06T06:50:22Z","volume":31,"status":"public","date_created":"2019-05-28T06:32:57Z","author":[{"full_name":"Fränzle, Martin","first_name":"Martin","last_name":"Fränzle"},{"last_name":"Kapur","first_name":"Deepak","full_name":"Kapur, Deepak"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"},{"last_name":"Zhan","full_name":"Zhan, Naijun","first_name":"Naijun"}],"publication":"Formal Asp. Comput.","department":[{"_id":"77"}],"title":"Editorial","user_id":"29719"},{"language":[{"iso":"ger"}],"date_updated":"2022-01-06T06:50:27Z","department":[{"_id":"49"}],"editor":[{"full_name":"Gesellschaft für Akustik e.V., Deutsche","first_name":"Deutsche","last_name":"Gesellschaft für Akustik e.V."}],"publication_status":"published","place":"Rostock","title":"Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN","year":"2019","citation":{"ieee":"S. Johannesmann, D. Springer, C. Thiel, and B. Henning, “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN,” in Fortschritte der Akustik - DAGA 2019, Rostock, 2019, vol. 45, pp. 1055–1058.","short":"S. Johannesmann, D. Springer, C. Thiel, B. Henning, in: D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019, Deutsche Gesellschaft für Akustik, Rostock, 2019, pp. 1055–1058.","bibtex":"@inproceedings{Johannesmann_Springer_Thiel_Henning_2019, place={Rostock}, title={Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN}, volume={45}, booktitle={Fortschritte der Akustik - DAGA 2019}, publisher={Deutsche Gesellschaft für Akustik}, author={Johannesmann, Sarah and Springer, Dimitri and Thiel, Christian and Henning, Bernd}, editor={Gesellschaft für Akustik e.V., DeutscheEditor}, year={2019}, pages={1055–1058} }","mla":"Johannesmann, Sarah, et al. “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN.” Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V., vol. 45, Deutsche Gesellschaft für Akustik, 2019, pp. 1055–58.","apa":"Johannesmann, S., Springer, D., Thiel, C., & Henning, B. (2019). Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN. In D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019 (Vol. 45, pp. 1055–1058). Rostock: Deutsche Gesellschaft für Akustik.","ama":"Johannesmann S, Springer D, Thiel C, Henning B. Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN. In: Gesellschaft für Akustik e.V. D, ed. Fortschritte der Akustik - DAGA 2019. Vol 45. Rostock: Deutsche Gesellschaft für Akustik; 2019:1055-1058.","chicago":"Johannesmann, Sarah, Dimitri Springer, Christian Thiel, and Bernd Henning. “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN.” In Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V., 45:1055–58. Rostock: Deutsche Gesellschaft für Akustik, 2019."},"type":"conference","page":"1055-1058","intvolume":" 45","_id":"10042","conference":{"start_date":"2019-03-19","name":"45. Jahrestagung der Akustik","location":"Rostock","end_date":"2019-03-21"},"publisher":"Deutsche Gesellschaft für Akustik","author":[{"first_name":"Sarah","full_name":"Johannesmann, Sarah","last_name":"Johannesmann","id":"29190"},{"full_name":"Springer, Dimitri","first_name":"Dimitri","last_name":"Springer"},{"last_name":"Thiel","first_name":"Christian","full_name":"Thiel, Christian"},{"last_name":"Henning","id":"213","first_name":"Bernd","full_name":"Henning, Bernd"}],"publication":"Fortschritte der Akustik - DAGA 2019","status":"public","date_created":"2019-05-31T08:28:20Z","volume":45,"user_id":"29190"},{"year":"2019","citation":{"short":"T. Gries, The American Economist (2019).","ieee":"T. Gries, “A New Theory of Demand-Restricted Growth: The Basic Idea,” The American Economist, 2019.","apa":"Gries, T. (2019). A New Theory of Demand-Restricted Growth: The Basic Idea. The American Economist. https://doi.org/10.1177/0569434519846477","ama":"Gries T. A New Theory of Demand-Restricted Growth: The Basic Idea. The American Economist. 2019. doi:10.1177/0569434519846477","chicago":"Gries, Thomas. “A New Theory of Demand-Restricted Growth: The Basic Idea.” The American Economist, 2019. https://doi.org/10.1177/0569434519846477.","mla":"Gries, Thomas. “A New Theory of Demand-Restricted Growth: The Basic Idea.” The American Economist, 056943451984647, 2019, doi:10.1177/0569434519846477.","bibtex":"@article{Gries_2019, title={A New Theory of Demand-Restricted Growth: The Basic Idea}, DOI={10.1177/0569434519846477}, number={056943451984647}, journal={The American Economist}, author={Gries, Thomas}, year={2019} }"},"type":"journal_article","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:50:28Z","_id":"10090","article_number":"056943451984647","doi":"10.1177/0569434519846477","author":[{"id":"186","last_name":"Gries","full_name":"Gries, Thomas","first_name":"Thomas"}],"department":[{"_id":"19"},{"_id":"200"},{"_id":"475"},{"_id":"202"}],"publication":"The American Economist","publication_status":"published","publication_identifier":{"issn":["0569-4345","2328-1235"]},"status":"public","date_created":"2019-06-03T07:46:47Z","title":"A New Theory of Demand-Restricted Growth: The Basic Idea","user_id":"186"},{"department":[{"_id":"77"}],"editor":[{"first_name":"Julia","full_name":"M. Badger, Julia","last_name":"M. Badger"},{"first_name":"Kristin","full_name":"Yvonne Rozier, Kristin","last_name":"Yvonne Rozier"}],"project":[{"_id":"78","name":"Validation of Software Transactional Memory"}],"title":"Data Independence for Software Transactional Memory","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:50:28Z","doi":"10.1007/978-3-030-20652-9\\_18","publication":"{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings","publisher":"Springer","author":[{"last_name":"König","id":"22358","first_name":"Jürgen","full_name":"König, Jürgen"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"volume":11460,"date_created":"2019-06-03T07:51:26Z","status":"public","user_id":"22358","page":"263-279","citation":{"bibtex":"@inproceedings{König_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={Data Independence for Software Transactional Memory}, volume={11460}, DOI={10.1007/978-3-030-20652-9\\_18}, 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} }","mla":"König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, vol. 11460, Springer, 2019, pp. 263–79, doi:10.1007/978-3-030-20652-9\\_18.","chicago":"König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.” In {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, 11460:263–79. Lecture Notes in Computer Science. Springer, 2019. https://doi.org/10.1007/978-3-030-20652-9\\_18.","apa":"König, J., & Wehrheim, H. (2019). Data Independence for Software Transactional Memory. In J. M. Badger & K. Yvonne Rozier (Eds.), {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Vol. 11460, pp. 263–279). Springer. https://doi.org/10.1007/978-3-030-20652-9\\_18","ama":"König J, Wehrheim H. Data Independence for Software Transactional Memory. In: M. Badger J, Yvonne Rozier K, eds. {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings. Vol 11460. Lecture Notes in Computer Science. Springer; 2019:263-279. doi:10.1007/978-3-030-20652-9\\_18","ieee":"J. König and H. Wehrheim, “Data Independence for Software Transactional Memory,” in {NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, 2019, vol. 11460, pp. 263–279.","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."},"year":"2019","type":"conference","_id":"10091","intvolume":" 11460"},{"_id":"10092","date_updated":"2022-01-06T06:50:28Z","doi":"10.1145/3293883.3295702","language":[{"iso":"eng"}],"page":"355-365","citation":{"ieee":"S. Doherty, B. Dongol, H. Wehrheim, and J. Derrick, “Verifying C11 programs operationally,” in Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, 2019, pp. 355–365.","short":"S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: J. K. Hollingsworth, I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, {ACM}, 2019, pp. 355–365.","mla":"Doherty, Simon, et al. “Verifying C11 Programs Operationally.” Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, edited by Jeffrey K. Hollingsworth and Idit Keidar, {ACM}, 2019, pp. 355–65, doi:10.1145/3293883.3295702.","bibtex":"@inproceedings{Doherty_Dongol_Wehrheim_Derrick_2019, title={Verifying C11 programs operationally}, DOI={10.1145/3293883.3295702}, booktitle={Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019}, publisher={{ACM}}, author={Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}, editor={K. Hollingsworth, Jeffrey and Keidar, IditEditors}, year={2019}, pages={355–365} }","ama":"Doherty S, Dongol B, Wehrheim H, Derrick J. Verifying C11 programs operationally. In: K. Hollingsworth J, Keidar I, eds. Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019. {ACM}; 2019:355-365. doi:10.1145/3293883.3295702","apa":"Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2019). Verifying C11 programs operationally. In J. K. Hollingsworth & I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019 (pp. 355–365). {ACM}. https://doi.org/10.1145/3293883.3295702","chicago":"Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Verifying C11 Programs Operationally.” In Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, edited by Jeffrey K. Hollingsworth and Idit Keidar, 355–65. {ACM}, 2019. https://doi.org/10.1145/3293883.3295702."},"type":"conference","year":"2019","user_id":"29719","title":"Verifying C11 programs operationally","department":[{"_id":"77"}],"publication":"Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019","publisher":"{ACM}","author":[{"last_name":"Doherty","full_name":"Doherty, Simon","first_name":"Simon"},{"first_name":"Brijesh","full_name":"Dongol, Brijesh","last_name":"Dongol"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"},{"first_name":"John","full_name":"Derrick, John","last_name":"Derrick"}],"project":[{"_id":"78","name":"Validation of Software Transactional Memory"}],"date_created":"2019-06-03T07:59:36Z","status":"public","editor":[{"last_name":"K. Hollingsworth","first_name":"Jeffrey","full_name":"K. Hollingsworth, Jeffrey"},{"last_name":"Keidar","full_name":"Keidar, Idit","first_name":"Idit"}]}]