[{"_id":"13454","intvolume":" 79","date_updated":"2022-01-06T06:51:36Z","type":"journal_article","year":"2019","citation":{"mla":"Eggert, Andreas, et al. “Mapping Value in Business Markets: An Integrative Framework.” Industrial Marketing Management, vol. 79, 2019, pp. 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} }","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.","chicago":"Eggert, Andreas, Michael Kleinaltenkamp, and Vishal Kashyap. “Mapping Value in Business Markets: An Integrative Framework.” Industrial Marketing Management 79 (2019): 13--20.","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."},"page":"13--20","language":[{"iso":"eng"}],"title":"Mapping Value in Business Markets: An Integrative Framework","user_id":"57352","volume":79,"status":"public","date_created":"2019-09-30T07:22:24Z","author":[{"first_name":"Andreas","full_name":"Eggert, Andreas","last_name":"Eggert"},{"first_name":"Michael","full_name":"Kleinaltenkamp, Michael","last_name":"Kleinaltenkamp"},{"first_name":"Vishal","full_name":"Kashyap, Vishal","last_name":"Kashyap"}],"department":[{"_id":"180"}],"publication":"Industrial Marketing Management"},{"issue":"4","_id":"13455","intvolume":" 47","date_updated":"2022-01-06T06:51:36Z","page":"595--616","type":"journal_article","citation":{"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.","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.","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.","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} }","short":"I. Garnefeld, A. Eggert, M. Husemann-Kopetzky, E. Boehm, Journal of the Academy of Marketing Science 47 (2019) 595--616.","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."},"year":"2019","language":[{"iso":"eng"}],"title":"Exploring the link between payment schemes and customer fraud: a mental accounting perspective","user_id":"57352","volume":47,"date_created":"2019-09-30T07:27:46Z","status":"public","department":[{"_id":"180"}],"publication":"Journal of the Academy of Marketing Science","author":[{"last_name":"Garnefeld","first_name":"Ina","full_name":"Garnefeld, Ina"},{"last_name":"Eggert","first_name":"Andreas","full_name":"Eggert, Andreas"},{"last_name":"Husemann-Kopetzky","full_name":"Husemann-Kopetzky, Markus","first_name":"Markus"},{"last_name":"Boehm","full_name":"Boehm, Eva","first_name":"Eva"}]},{"date_updated":"2022-01-06T06:51:36Z","_id":"13456","series_title":"9th BMM-EMAC Biennial International Conference on Business Market Management","language":[{"iso":"eng"}],"type":"conference","citation":{"short":"A. Eggert, E. Boehm, R. Akalan, H. Gebauer, (2019).","ieee":"A. Eggert, E. Boehm, R. Akalan, and H. Gebauer, “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.","mla":"Eggert, Andreas, et al. Service Growth by Acquisition – An Event Study. 2019.","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} }"},"year":"2019","user_id":"57352","title":"Service Growth by Acquisition – An Event Study","department":[{"_id":"19"},{"_id":"180"}],"author":[{"last_name":"Eggert","full_name":"Eggert, Andreas","first_name":"Andreas"},{"last_name":"Boehm","first_name":"Eva","full_name":"Boehm, Eva"},{"full_name":"Akalan, Rodi","first_name":"Rodi","last_name":"Akalan"},{"first_name":"Heiko","full_name":"Gebauer, Heiko","last_name":"Gebauer"}],"date_created":"2019-09-30T07:35:33Z","status":"public"},{"title":"Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships","user_id":"57352","status":"public","date_created":"2019-09-30T07:42:15Z","author":[{"last_name":"Eggert","full_name":"Eggert, Andreas","first_name":"Andreas"},{"full_name":"Steinhoff, Lena","first_name":"Lena","last_name":"Steinhoff"},{"last_name":"Witte","full_name":"Witte, Carina","first_name":"Carina"}],"publication":"Journal of Marketing","department":[{"_id":"180"}],"_id":"13457","date_updated":"2022-01-06T06:51:36Z","citation":{"short":"A. Eggert, L. Steinhoff, C. Witte, Journal of Marketing (2019).","ieee":"A. Eggert, L. Steinhoff, and C. Witte, “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.","ama":"Eggert A, Steinhoff L, Witte C. 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.","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."},"year":"2019","type":"journal_article","language":[{"iso":"eng"}]},{"page":"67","citation":{"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.","ama":"Sextro W, Brökelmann M. Intelligente Herstellung Zuverlässiger Kupferbondverbindungen. Vol VIII. Springer Verlag; 2019. doi:10.1007/978-3-662-55146-2","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","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} }","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.","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."},"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":[{"first_name":"Walter","full_name":"Sextro, Walter","last_name":"Sextro","id":"21220"},{"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"},{"user_id":"29719","title":"Editorial","date_created":"2019-05-28T06:32:57Z","status":"public","volume":31,"publication":"Formal Asp. Comput.","department":[{"_id":"77"}],"author":[{"last_name":"Fränzle","first_name":"Martin","full_name":"Fränzle, Martin"},{"full_name":"Kapur, Deepak","first_name":"Deepak","last_name":"Kapur"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"},{"last_name":"Zhan","full_name":"Zhan, Naijun","first_name":"Naijun"}],"issue":"1","doi":"10.1007/s00165-018-00477-6","date_updated":"2022-01-06T06:50:22Z","_id":"10011","intvolume":" 31","language":[{"iso":"eng"}],"page":"1","type":"journal_article","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.","mla":"Fränzle, Martin, et al. “Editorial.” Formal Asp. Comput., vol. 31, no. 1, 2019, p. 1, doi: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} }"},"year":"2019"},{"citation":{"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.","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.","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.","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.","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.","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."},"type":"conference","year":"2019","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"},{"last_name":"Springer","first_name":"Dimitri","full_name":"Springer, Dimitri"},{"last_name":"Thiel","full_name":"Thiel, Christian","first_name":"Christian"},{"id":"213","last_name":"Henning","full_name":"Henning, Bernd","first_name":"Bernd"}],"publication":"Fortschritte der Akustik - DAGA 2019","status":"public","date_created":"2019-05-31T08:28:20Z","volume":45,"user_id":"29190","language":[{"iso":"ger"}],"date_updated":"2022-01-06T06:50:27Z","department":[{"_id":"49"}],"editor":[{"last_name":"Gesellschaft für Akustik e.V.","first_name":"Deutsche","full_name":"Gesellschaft für Akustik e.V., Deutsche"}],"publication_status":"published","place":"Rostock","title":"Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN"},{"title":"A New Theory of Demand-Restricted Growth: The Basic Idea","user_id":"186","publication":"The American Economist","department":[{"_id":"19"},{"_id":"200"},{"_id":"475"},{"_id":"202"}],"author":[{"id":"186","last_name":"Gries","full_name":"Gries, Thomas","first_name":"Thomas"}],"publication_status":"published","publication_identifier":{"issn":["0569-4345","2328-1235"]},"date_created":"2019-06-03T07:46:47Z","status":"public","date_updated":"2022-01-06T06:50:28Z","_id":"10090","doi":"10.1177/0569434519846477","article_number":"056943451984647","year":"2019","citation":{"ama":"Gries T. A New Theory of Demand-Restricted Growth: The Basic Idea. The American Economist. 2019. doi:10.1177/0569434519846477","apa":"Gries, T. (2019). A New Theory of Demand-Restricted Growth: The Basic Idea. The American Economist. https://doi.org/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} }","short":"T. Gries, The American Economist (2019).","ieee":"T. Gries, “A New Theory of Demand-Restricted Growth: The Basic Idea,” The American Economist, 2019."},"type":"journal_article","language":[{"iso":"eng"}]},{"user_id":"22358","publisher":"Springer","author":[{"first_name":"Jürgen","full_name":"König, Jürgen","last_name":"König","id":"22358"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"publication":"{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings","volume":11460,"status":"public","date_created":"2019-06-03T07:51:26Z","intvolume":" 11460","_id":"10091","year":"2019","type":"conference","citation":{"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.","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} }","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."},"page":"263-279","title":"Data Independence for Software Transactional Memory","department":[{"_id":"77"}],"editor":[{"last_name":"M. Badger","full_name":"M. Badger, Julia","first_name":"Julia"},{"full_name":"Yvonne Rozier, Kristin","first_name":"Kristin","last_name":"Yvonne Rozier"}],"project":[{"name":"Validation of Software Transactional Memory","_id":"78"}],"date_updated":"2022-01-06T06:50:28Z","doi":"10.1007/978-3-030-20652-9\\_18","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}]},{"project":[{"name":"Validation of Software Transactional Memory","_id":"78"}],"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"}],"publication":"Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019","department":[{"_id":"77"}],"publisher":"{ACM}","author":[{"first_name":"Simon","full_name":"Doherty, Simon","last_name":"Doherty"},{"full_name":"Dongol, Brijesh","first_name":"Brijesh","last_name":"Dongol"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"},{"last_name":"Derrick","full_name":"Derrick, John","first_name":"John"}],"user_id":"29719","title":"Verifying C11 programs operationally","language":[{"iso":"eng"}],"page":"355-365","citation":{"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.","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.","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.","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} }","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."},"year":"2019","type":"conference","doi":"10.1145/3293883.3295702","date_updated":"2022-01-06T06:50:28Z","_id":"10092"}]