{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T11:09:00Z","timestamp":1769512140314,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662534007","type":"print"},{"value":"9783662534014","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-53401-4_8","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T15:34:52Z","timestamp":1472830492000},"page":"160-180","source":"Crossref","is-referenced-by-count":28,"title":["Self-tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data"],"prefix":"10.1007","author":[{"given":"Timo","family":"Sztyler","sequence":"first","affiliation":[]},{"given":"Josep","family":"Carmona","sequence":"additional","affiliation":[]},{"given":"Johanna","family":"V\u00f6lker","sequence":"additional","affiliation":[]},{"given":"Heiner","family":"Stuckenschmidt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,2]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Adriansyah, A., Sidorova, N., van Dongen, B.F:. Cost-based fitness in conformance checking. In: Application of Concurrency to System Design Conference (ACSD 2011), Kanazawa, Japan, June 2011","DOI":"10.1109\/ACSD.2011.19"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Agrawal, R., Srikant, R.: Mining sequential patterns. In: Proceedings of the Eleventh International Conference on Data Engineering, pp. 3\u201314. IEEE (1995)","DOI":"10.1109\/ICDE.1995.380415"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Aztiria, A., Izaguirre, A., Basagoiti, R., Augusto, J.C., Cook, D.J.: Automatic modeling of frequent user behaviours in intelligent environments. In: Sixth International Conference on Intelligent Environments (IE), pp. 7\u201312. IEEE (2010)","DOI":"10.1109\/IE.2010.9"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-24646-6_1","volume-title":"Pervasive Computing","author":"L Bao","year":"2004","unstructured":"Bao, L., Intille, S.S.: Activity recognition from user-annotated acceleration data. In: Ferscha, A., Mattern, F. (eds.) PERVASIVE 2004. LNCS, vol. 3001, pp. 1\u201317. Springer, Heidelberg (2004)"},{"issue":"6","key":"8_CR5","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1007\/s00779-010-0342-4","volume":"15","author":"L Barkhuus","year":"2011","unstructured":"Barkhuus, L., Polichar, V.E.: Empowerment through seamfulness: smartphones in everyday life. Pers. Ubiquit. Comput. 15(6), 629\u2013639 (2011)","journal-title":"Pers. Ubiquit. Comput."},{"issue":"10","key":"8_CR6","doi-asserted-by":"crossref","first-page":"1232","DOI":"10.1001\/jama.292.10.1232","volume":"292","author":"SN Blair","year":"2004","unstructured":"Blair, S.N., Church, T.S.: The fitness, obesity, and health equation: is physical activity the common denominator? JAMA 292(10), 1232\u20131234 (2004)","journal-title":"JAMA"},{"issue":"2","key":"8_CR7","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/j.is.2011.08.003","volume":"37","author":"RJC Bose","year":"2012","unstructured":"Bose, R.J.C., van der Aalst, W.M.P.: Process diagnostics using trace alignment: opportunities, issues, and challenges. Inf. Syst. 37(2), 117\u2013141 (2012)","journal-title":"Inf. Syst."},{"key":"8_CR8","unstructured":"Brown, N.: American heart association. http:\/\/www.heart.org . Accessed 29 Apr 2015"},{"issue":"1","key":"8_CR9","doi-asserted-by":"crossref","first-page":"1440001","DOI":"10.1142\/S0218843014400012","volume":"23","author":"CAMB Joos","year":"2014","unstructured":"Joos, C.A.M.B., van Dongen, B.F., van der Aalst, W.M.P.: Quality dimensions in process discovery: the importance of fitness, precision, generalization and simplicity. Int. J. Coop. Inf. Syst. 23(1), 1440001 (2014)","journal-title":"Int. J. Coop. Inf. Syst."},{"issue":"7","key":"8_CR10","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/MC.2012.328","volume":"46","author":"DJ Cook","year":"2013","unstructured":"Cook, D.J., Crandall, A.S., Thomas, B.L., Krishnan, N.C.: CASAS: a smart home in a box. Computer 46(7), 62\u201369 (2013)","journal-title":"Computer"},{"key":"8_CR11","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1016\/j.is.2013.12.005","volume":"47","author":"M Leoni de","year":"2015","unstructured":"de Leoni, M., Maggi, F.M., van der Aalst, W.M.P.: An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data. Inf. Syst. 47, 258\u2013277 (2015)","journal-title":"Inf. Syst."},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/978-3-642-40176-3_10","volume-title":"Business Process Management","author":"M Leoni de","year":"2013","unstructured":"de Leoni, M., van der Aalst, W.M.P.: Aligning event logs and process models for multi-perspective conformance checking: an approach based on integer linear programming. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 113\u2013129. Springer, Heidelberg (2013)"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1007\/978-3-642-21640-4_36","volume-title":"Advanced Information Systems Engineering","author":"F Friedrich","year":"2011","unstructured":"Friedrich, F., Mendling, J., Puhlmann, F.: Process model generation from natural language text. In: Mouratidis, H., Rolland, C. (eds.) CAiSE 2011. LNCS, vol. 6741, pp. 482\u2013496. Springer, Heidelberg (2011)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1007\/978-3-540-75183-0_24","volume-title":"Business Process Management","author":"CW G\u00fcnther","year":"2007","unstructured":"G\u00fcnther, C.W., van der Aalst, W.M.P.: Fuzzy mining \u2013 adaptive process simplification based on multi-perspective metrics. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 328\u2013343. Springer, Heidelberg (2007)"},{"issue":"3\u20134","key":"8_CR15","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petrinets, CPN tools for modelling, validation of concurrent systems. STTT 9(3\u20134), 213\u2013254 (2007)","journal-title":"STTT"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Jia, Y.: Diatetic and exercise therapy against diabetes mellitus. In: Second International Conference on Intelligent Networks and Intelligent Systems, ICINIS 2009, pp. 693\u2013696. IEEE (2009)","DOI":"10.1109\/ICINIS.2009.177"},{"issue":"1","key":"8_CR17","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/MPRV.2010.7","volume":"9","author":"E Kim","year":"2010","unstructured":"Kim, E., Helal, S., Cook, D.: Human activity recognition and pattern discovery. IEEE Pervasive Comput. 9(1), 48\u201353 (2010)","journal-title":"IEEE Pervasive Comput."},{"issue":"3","key":"8_CR18","doi-asserted-by":"crossref","first-page":"1192","DOI":"10.1109\/SURV.2012.110112.00192","volume":"15","author":"OD Lara","year":"2013","unstructured":"Lara, O.D., Labrador, M.A.: A survey on human activity recognition using wearable sensors. IEEE Commun. Surv. Tutorials 15(3), 1192\u20131209 (2013)","journal-title":"IEEE Commun. Surv. Tutorials"},{"issue":"5","key":"8_CR19","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1016\/j.pmcj.2011.06.004","volume":"8","author":"\u00d3D Lara","year":"2012","unstructured":"Lara, \u00d3.D., P\u00e9rez, A.J., Labrador, M.A., Posada, J.D.: Centinela: a human activity recognition system based on acceleration and vital sign data. Pervasive Mob. Comput. 8(5), 717\u2013729 (2012)","journal-title":"Pervasive Mob. Comput."},{"key":"8_CR20","unstructured":"Leotta, F.: Instrumenting and mining smart spaces. Ph.D. thesis, Universita di Roma - La Sapienza, March 2014"},{"key":"8_CR21","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/978-3-319-07821-2_12","volume-title":"Frequent Pattern Mining","author":"Z Li","year":"2014","unstructured":"Li, Z.: Spatiotemporal pattern mining: algorithms and applications. In: Aggarwal, C.C., Han, J. (eds.) Frequent Pattern Mining, pp. 283\u2013306. Springer, Cham (2014)"},{"key":"8_CR22","unstructured":"Liao, L.: Location-based activity recognition. Ph.D. thesis, University of Washington (2006)"},{"key":"8_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-16071-9","volume-title":"Process Mining in Healthcare: Evaluating and Exploiting Operational Healthcare Processes","author":"RS Mans","year":"2015","unstructured":"Mans, R.S., van der Aalst, W.M., Vanwersch, R.J.: Process Mining in Healthcare: Evaluating and Exploiting Operational Healthcare Processes. Springer, Heidelberg (2015)"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Giannotti, F., Nanni, M.: Efficient mining of temporally annotated sequences. In: Proceedings of the Sixth SIAM International Conference on Data Mining, vol. 124, pp. 348. SIAM (2006)","DOI":"10.1137\/1.9781611972764.31"},{"issue":"5","key":"8_CR25","doi-asserted-by":"crossref","first-page":"5460","DOI":"10.3390\/s130505460","volume":"13","author":"FJ Ord\u00f3nez","year":"2013","unstructured":"Ord\u00f3nez, F.J., de Toledo, P., Sanchis, A.: Activity recognition using hybrid generative, discriminative models on home environments using binary sensors. Sensors 13(5), 5460\u20135477 (2013)","journal-title":"Sensors"},{"key":"8_CR26","unstructured":"Pesic, M.: Systems, constraint-based workflow management : shifting control to users. Ph.D. thesis, Technische Universiteit Eindhoven (2008)"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Riboni, D., Bettini, C., Civitarese, G., Janjua, Z.H., Helaoui, R.: Fine-grained recognition of abnormal behaviors for early detection of mild cognitive impairment. In: IEEE International Conference on Pervasive Computing and Communications (PerCom), pp. 149\u2013154. IEEE (2015)","DOI":"10.1109\/PERCOM.2015.7146521"},{"issue":"1","key":"8_CR28","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"issue":"23","key":"8_CR29","doi-asserted-by":"crossref","first-page":"9307","DOI":"10.1016\/j.eswa.2015.08.004","volume":"42","author":"E Serral","year":"2015","unstructured":"Serral, E., De Smedt, J., Snoeck, M., Vanthienen, J.: Context-adaptive Petri Nets: Supporting adaptation for the execution context. Expert Syst. Appl. 42(23), 9307\u20139317 (2015)","journal-title":"Expert Syst. Appl."},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Sun, H., De Florio, V., Gui, N., Blondia, C.: Promises, challenges of ambient assisted living systems. In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, pp. 1201\u20131207. IEEE (2009)","DOI":"10.1109\/ITNG.2009.169"},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"Sztyler, T., Stuckenschmidt, H. On-body localization of wearable devices: an investigation of position-aware activity recognition. In: IEEE International Conference on Pervasive Computing and Communications (PerCom), pp. 1\u20139. IEEE (2016)","DOI":"10.1109\/PERCOM.2016.7456521"},{"key":"8_CR32","unstructured":"Sztyler, T., V\u00f6lker, J., Carmona, J., Meier, O., Stuckenschmidt, H.: Discovery of personal processes from labeled sensor data-an application of process mining to personalized health care. In: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, ATAED, pp. 31\u201346 (2015)"},{"key":"8_CR33","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19345-3","volume-title":"Process Mining - Discovery, Conformance and Enhancement of Business Processes","author":"WMP Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P.: Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer, Heidelberg (2011)"},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P, de Beer, H.T., van Dongen, B.F.: Process mining, verification of properties: an approach based on temporal logic. In: CoopIS, Cyprus, pp. 130\u2013147 (2005)","DOI":"10.1007\/11575771_11"},{"issue":"9","key":"8_CR35","doi-asserted-by":"crossref","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"WMP Aalst van der","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128\u20131142 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"8_CR36","unstructured":"Weijters, A.J.M.M., van der Aalst, W.M.P., de Medeiros, A.A.K.: Process mining with the heuristics miner-algorithm. Technical report WP 166, BETA Working Paper Series, Eindhoven University of Technology (2006)"},{"issue":"8","key":"8_CR37","doi-asserted-by":"crossref","first-page":"1082","DOI":"10.1109\/TKDE.2007.1042","volume":"20","author":"J Yin","year":"2008","unstructured":"Yin, J., Yang, Q., Pan, J.J.: Sensor-based abnormal human-activity detection. IEEE Trans. Knowl. Data Eng. 20(8), 1082\u20131090 (2008)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"3","key":"8_CR38","first-page":"29","volume":"6","author":"Y Zheng","year":"2015","unstructured":"Zheng, Y.: Trajectory data mining: an overview. ACM Trans. Intell. Syst. Technol. (TIST) 6(3), 29 (2015)","journal-title":"ACM Trans. Intell. Syst. Technol. (TIST)"},{"key":"8_CR39","unstructured":"Zhu, X., Zhu, G., vanden Broucke, S.K.L.M., Vanthienen, J., Baesens, B.: Towards location-aware process modeling and execution. In: Proceedings of the Workshop on Data and Artifact-Centric BPM (DAB 2014), Haifa (Israel), 7\u20131 September 2014"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency XI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-53401-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,19]],"date-time":"2023-08-19T23:04:38Z","timestamp":1692486278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-53401-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662534007","9783662534014"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-53401-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}