{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T22:48:10Z","timestamp":1762642090796,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1109\/rcis.2018.8406657","type":"proceedings-article","created":{"date-parts":[[2018,7,9]],"date-time":"2018-07-09T18:52:35Z","timestamp":1531162355000},"page":"1-12","source":"Crossref","is-referenced-by-count":15,"title":["ProDiGy : Human-in-the-loop process discovery"],"prefix":"10.1109","author":[{"given":"P. M.","family":"Dixit","sequence":"first","affiliation":[]},{"given":"J. C. A. M.","family":"Buijs","sequence":"additional","affiliation":[]},{"given":"W. M. P.","family":"van der Aalst","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-006-0061-7"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06257-0_6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/12.707587"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75183-0_27"},{"key":"ref14","first-page":"1","article-title":"Process mining with the heuristics miner-algorithm","volume":"166","author":"weijters","year":"2006","journal-title":"Technische Universiteit Eindhoven Tech Rep WP"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2012.6256458"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32885-5_19"},{"key":"ref17","first-page":"28","volume":"25","author":"polyvyanyy","year":"2016","journal-title":"Impact-driven process model repair &#x201D; ACM Transactions on Software Engineering and Methodology"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-69462-7_5"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2010.12.012"},{"key":"ref28","first-page":"72","article-title":"Analyzing the trajectories of patients with sepsis using process mining","author":"mannhardt","year":"2017","journal-title":"RADAR+EMISA 2017 CEUR-WS org"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/S0925-5273(03)00102-6","volume":"90","author":"aguilar-savn","year":"2004","journal-title":"Business process modelling Review and framework &#x201D; International Journal of Production Economics"},{"key":"ref27","article-title":"Sepsis cases - event log","author":"mannhardt","year":"2016","journal-title":"ser Dataset Eindhoven University of Technology"},{"key":"ref3","first-page":"119","volume":"3","author":"georgakopoulos","year":"1995","journal-title":"An Overview of Workflow Management from Process Modeling to Workflow Automation Infrastructure Distributed and Parallel Databases"},{"key":"ref6","first-page":"510","author":"born","year":"2009","journal-title":"Auto-completion for Executable Business Process Models"},{"key":"ref29","first-page":"107","volume":"15","author":"wagner","year":"2015","journal-title":"Analysis and classification of oncology activities on the way to workflow based single source documentation in clinical information systems &#x201D; BMC Medical Informatics and Decision Making"},{"key":"ref5","first-page":"483","volume":"70","author":"koschmider","year":"2011","journal-title":"Recommendation-based editor for business process modeling &#x201D; Data Knowl Eng"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","article-title":"Workflow mining: discovering process models from event logs","volume":"16","author":"van","year":"2004","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s11761-011-0099-2"},{"key":"ref2","first-page":"3","author":"hammer","year":"2010","journal-title":"What is Business Process Management?"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4"},{"key":"ref9","first-page":"368","author":"werf","year":"2008","journal-title":"Process Discovery Using Integer Linear Programming"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45005-1_23"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2710020"},{"key":"ref21","first-page":"76","author":"dixit","year":"2017","journal-title":"Using Domain Knowledge to Enhance Process Mining Results"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20511-8_11"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CIDM.2011.5949297"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/11494744_25"},{"key":"ref25","volume":"40","author":"desel","year":"2005","journal-title":"Free Choice Petri Nets"}],"event":{"name":"2018 12th International Conference on Research Challenges in Information Science (RCIS)","start":{"date-parts":[[2018,5,29]]},"location":"Nantes","end":{"date-parts":[[2018,5,31]]}},"container-title":["2018 12th International Conference on Research Challenges in Information Science (RCIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8401323\/8406639\/08406657.pdf?arnumber=8406657","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,31]],"date-time":"2018-07-31T03:53:22Z","timestamp":1533009202000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8406657\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/rcis.2018.8406657","relation":{},"subject":[],"published":{"date-parts":[[2018,5]]}}}