{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T15:48:30Z","timestamp":1730216910448,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/edoc.2018.00026","type":"proceedings-article","created":{"date-parts":[[2018,11,16]],"date-time":"2018-11-16T02:22:27Z","timestamp":1542334947000},"page":"135-144","source":"Crossref","is-referenced-by-count":2,"title":["Fast Conformance Analysis Based on Activity Log Abstraction"],"prefix":"10.1109","author":[{"given":"Prabhakar M.","family":"Dixit","sequence":"first","affiliation":[]},{"given":"H.M.W.","family":"Verbeek","sequence":"additional","affiliation":[]},{"given":"Wil M.P.","family":"van der Aalst","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Event-Based Real-Time Decomposed Conformance Analysis","first-page":"345","year":"2014","author":"vanden broucke","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1380572.1380578"},{"journal-title":"Repairing Alignments Striking the Right Nerve","first-page":"266","year":"2016","author":"v\u00e1zquez-barreiros","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10619-013-7127-5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxx040"},{"journal-title":"Decomposed Replay Using Hiding and Reduction as Abstraction","first-page":"166","year":"2017","author":"verbeek","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2014.04.003"},{"journal-title":"Model and event log reductions to boost the computation of alignments","year":"2016","author":"taymouri","key":"ref17"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-3-319-93931-5_12","article-title":"Fast incremental conformance analysis for interactive process discovery","author":"dixit","year":"2018","journal-title":"Business Information Systems"},{"journal-title":"Software & Systems Modeling","article-title":"Scalable process discovery and conformance checking","year":"2016","author":"leemans","key":"ref19"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1109\/EDOC.2011.12","article-title":"Conformance checking using cost-based fitness analysis","author":"adriansyah","year":"2011","journal-title":"Enterprise Distributed Object Computing Conference (EDOC) 2011 15th IEEE International"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2007.07.001"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39086-4_15"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/978-3-642-20511-8_11","article-title":"Towards robust conformance checking","volume":"66","author":"adriansyah","year":"2011","journal-title":"Business Process Management Workshops"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/978-3-642-32885-5_6","article-title":"Aligning event logs and declarative process models for conformance checking","author":"de leoni","year":"2012","journal-title":"Business Process Management"},{"journal-title":"The Alignment of Formal Structured and Unstructured Process Descriptions","first-page":"3","year":"2017","author":"carmona","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843014400012"},{"journal-title":"A Recursive Paradigm for Aligning Observed Behavior of Large Structured Process Models","first-page":"197","year":"2016","author":"taymouri","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/RCIS.2018.8406657"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref24","first-page":"211","article-title":"A fresh look at precision in process conformance","author":"mu\u00f1oz-gama","year":"2010","journal-title":"Business Process Management"},{"volume":"40","journal-title":"Free Choice Petri Nets","year":"2005","author":"desel","key":"ref23"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1007\/978-3-540-68746-7_24","article-title":"Process discovery using integer linear programming","author":"van der werf","year":"2008","journal-title":"Proc Int Conf Application and Theory of Petri Nets"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/978-3-319-06257-0_6","article-title":"Discovering block-structured process models from event logs containing infrequent behaviour","author":"leemans","year":"2014","journal-title":"Business Process Management Workshops"}],"event":{"name":"2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC)","start":{"date-parts":[[2018,10,16]]},"location":"Stockholm","end":{"date-parts":[[2018,10,19]]}},"container-title":["2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8534958\/8536131\/08536157.pdf?arnumber=8536157","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T13:32:38Z","timestamp":1643290358000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8536157\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/edoc.2018.00026","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}