{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:03Z","timestamp":1750220763390,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,21]],"date-time":"2020-06-21T00:00:00Z","timestamp":1592697600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,21]]},"DOI":"10.1145\/3401335.3401355","type":"proceedings-article","created":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T19:15:56Z","timestamp":1596222956000},"page":"181-184","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Automated Sustainability Compliance Checking Using Process Mining and Formal Logic"],"prefix":"10.1145","author":[{"given":"Clemens","family":"Schreiber","sequence":"first","affiliation":[{"name":"AIFB, Karlsruhe Institute of Technology, Karlsruhe, Baden-W\u00fcrttemberg, Germany"}]}],"member":"320","published-online":{"date-parts":[[2020,7,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Graeme Auld Christina Balboa Steven Bernstein and Benjamin Cashore 2009. The emergence of non-state market-driven (NSDM) global environmental governance: a cross-sectoral assessment. Governance for the environment: New perspectives.  Graeme Auld Christina Balboa Steven Bernstein and Benjamin Cashore 2009. The emergence of non-state market-driven (NSDM) global environmental governance: a cross-sectoral assessment. Governance for the environment: New perspectives.","DOI":"10.1017\/CBO9780511627170.009"},{"volume-title":"International conference on business process management, 262--278","author":"Ramezani Elham","key":"e_1_3_2_1_2_1"},{"volume-title":"2015 IEEE\/ACM 37th IEEE International Conference on Software Engineering, 467--476","author":"Becker Christoph","key":"e_1_3_2_1_3_1"},{"volume-title":"International Conference on Business Process Management, 98--113","author":"Jan Martijn E.","key":"e_1_3_2_1_4_1"},{"volume-title":"International Conference on Service-Oriented Computing, 27--38","year":"1939","author":"Elgammal Amal","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","unstructured":"Riyanarto Sarno Rahadian D. Dewandono Tohari Ahmad Mohammad F. Naufal and Fernandes Sinaga 2015. Hybrid Association Rule Learning and Process Mining for Fraud Detection. IAENG International Journal of Computer Science 42(2).  Riyanarto Sarno Rahadian D. Dewandono Tohari Ahmad Mohammad F. Naufal and Fernandes Sinaga 2015. Hybrid Association Rule Learning and Process Mining for Fraud Detection. IAENG International Journal of Computer Science 42(2)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5465\/amr.2012.0218"},{"volume-title":"International Conference on Business Process Management, 403--415","year":"2016","author":"Larsch Selim","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2578903.2579144"},{"volume-title":"International Conference on Business Process Management, 428--439","year":"2016","author":"L\u00fcbbecke Patrick","key":"e_1_3_2_1_10_1"},{"volume-title":"Dongen, 2005. Process mining and verification of properties: An approach based on temporal logic. In OTM Confederated International Conferences\" On the Move to Meaningful Internet Systems\", 130--147","author":"Will M.","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85758-7_24"},{"volume-title":"International Conference on Business Process Management, 459--464","author":"Ramezani Elham","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsis.2010.09.006"}],"event":{"name":"ICT4S2020: 7th International Conference on ICT for Sustainability","sponsor":["Univ of the West of England University of the West of England","The University of Bristol The University of Bristol"],"location":"Bristol United Kingdom","acronym":"ICT4S2020"},"container-title":["Proceedings of the 7th International Conference on ICT for Sustainability"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3401335.3401355","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3401335.3401355","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:05Z","timestamp":1750200065000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3401335.3401355"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,21]]},"references-count":14,"alternative-id":["10.1145\/3401335.3401355","10.1145\/3401335"],"URL":"https:\/\/doi.org\/10.1145\/3401335.3401355","relation":{},"subject":[],"published":{"date-parts":[[2020,6,21]]},"assertion":[{"value":"2020-07-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}