{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T01:48:42Z","timestamp":1725760122420},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319039152"},{"type":"electronic","value":"9783319039169"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03916-9_5","type":"book-chapter","created":{"date-parts":[[2013,11,29]],"date-time":"2013-11-29T02:45:03Z","timestamp":1385693103000},"page":"53-67","source":"Crossref","is-referenced-by-count":3,"title":["Discovering Probabilistic Structures of Healthcare Processes"],"prefix":"10.1007","author":[{"given":"Arjen","family":"Hommersom","sequence":"first","affiliation":[]},{"given":"Sicco","family":"Verwer","sequence":"additional","affiliation":[]},{"given":"Peter J. F.","family":"Lucas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"5_CR1","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/j.artmed.2005.10.006","volume":"63","author":"A. Teije ten","year":"2006","unstructured":"ten Teije, A., Marcos, M., Balser, M., van Croonenborgd, J., Duellic, C., van Harmelena, F., Lucas, P., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A.: Improving medical protocols by formal methods. Artificial Intelligence in Medicine\u00a063(3), 193\u2013209 (2006)","journal-title":"Artificial Intelligence in Medicine"},{"issue":"6","key":"5_CR2","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1109\/TKDE.2007.190611","volume":"19","author":"A. Hommersom","year":"2007","unstructured":"Hommersom, A., Groot, P., Lucas, P., Balser, M., Schmitt, J.: Verification of medical guidelines using background knowledge in task networks. IEEE Transactions on Knowledge and Data Engineering\u00a019(6), 832\u2013846 (2007)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"1","key":"5_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artmed.2009.09.003","volume":"48","author":"A. Bottrighi","year":"2010","unstructured":"Bottrighi, A., Giordano, L., Molino, G., Montani, S., Terenziani, P., Torchio, M.: Adopting model checking techniques for clinical guidelines verification. Artificial Intelligence in Medicine\u00a048(1), 1\u201319 (2010)","journal-title":"Artificial Intelligence in Medicine"},{"key":"5_CR4","unstructured":"Quaglini, S.: Compliance with clinical practice guidelines. In: Teije, A.T., Miksch, S., Lucas, P. (eds.) Computer-Based Medical Guidelines and Protocols: A Primer and Current Trends. Studies in Health Technology and Informatics, vol.\u00a0139, pp. 160\u2013179. IOS Press (2008)"},{"volume-title":"Clinical Practice Guidelines: Directions for a New Program","year":"1990","key":"5_CR5","unstructured":"Field, M., Lohr, K. (eds.): Clinical Practice Guidelines: Directions for a New Program. National Academy Press, Institute of Medicine, Washington, D.C (1990)"},{"volume-title":"Computer-based Clinical Guidelines and Protocols: a Primer and Current Trends","year":"2008","key":"5_CR6","unstructured":"ten Teije, A., Miksch, S., Lucas, P. (eds.): Computer-based Clinical Guidelines and Protocols: a Primer and Current Trends. IOS Press, Amsterdam (2008)"},{"key":"5_CR7","unstructured":"Fox, J., Das, S.: Safe and Sound: Artificial Intelligence in Hazardous Applications. AAAI Press (2000)"},{"key":"5_CR8","unstructured":"Peleg, M., Boxwala, A., Ogunyemi, O., Zeng, P., Tu, S., Lacson, R., Begnstam, E., Ash, N.: GLIF3: The evolution of a guideline representation format. In: Proc. AMIA Annual Symposium, pp. 645\u2013649 (2000)"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0169-2607(97)00034-5","volume":"54","author":"J. Fox","year":"1997","unstructured":"Fox, J., Johns, N., Rahmanzadeh, A., Thomson, R.: PROforma: a general technology for clinical decision support systems. Computer Methods and Programs in Biomedicine\u00a054, 59\u201367 (1997)","journal-title":"Computer Methods and Programs in Biomedicine"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0933-3657(98)00015-3","volume":"14","author":"Y. Shahar","year":"1998","unstructured":"Shahar, Y., Miksch, S., Johnson, P.: The Asgaard project: A task-specific framework for the application and critiquing of time-orientied clinical guidelines. Artificial Intelligence in Medicine\u00a014, 29\u201351 (1998)","journal-title":"Artificial Intelligence in Medicine"},{"key":"5_CR11","unstructured":"Tu, S., Musen, M.: From guideline modeling to guideline execution: Defining guideline based decision-support services. In: Proceedings of American Medical Informatics Association Symposium, Los Angeles, CA, pp. 863\u2013867 (1999)"},{"issue":"6","key":"5_CR12","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1109\/TKDE.2007.190611","volume":"19","author":"A. Hommersom","year":"2007","unstructured":"Hommersom, A., Groot, P., Lucas, P., Balser, M., Schmitt, J.: Verification of medical guidelines using background knowledge in task networks. IEEE Transactions on Knowledge and Data Engineering\u00a019(6), 832\u2013846 (2007)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"5_CR13","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"J. Pearl","year":"1988","unstructured":"Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Francisco (1988)"},{"issue":"3","key":"5_CR14","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0933-3657(92)90029-O","volume":"4","author":"S. Andreassen","year":"1992","unstructured":"Andreassen, S.: Planning of therapy and tests in causal probabilistic networks. Artificial Intelligence in Medicine\u00a04(3), 227\u2013241 (1992)","journal-title":"Artificial Intelligence in Medicine"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/j.artmed.2003.11.001","volume":"30","author":"P. Lucas","year":"2004","unstructured":"Lucas, P., van der Gaag, L., Abu-Hanna, A.: Bayesian networks in biomedicine and health-care. Artificial Intelligence in Medicine\u00a030, 201\u2013214 (2004)","journal-title":"Artificial Intelligence in Medicine"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Dagum, P., Galper, A., Horvitz, E.: Dynamic network models for forecasting. In: Proceedings of UAI 1992, pp. 41\u201348 (1992)","DOI":"10.1016\/B978-1-4832-8287-9.50010-4"},{"key":"5_CR17","unstructured":"Neapolitan, R.: Learning Bayesian Networks. Pearson (2004)"},{"key":"5_CR18","first-page":"220","volume-title":"LNM","author":"R. Robinson","year":"1977","unstructured":"Robinson, R.: Counting unlabeled acyclic graphs. In: LNM, vol.\u00a0622, pp. 220\u2013227. Springer, NY (1977)"},{"key":"5_CR19","unstructured":"Gillespie, S.B., Perlman, M.D.: Enumerating Markov Equivalence Classes of Acyclic Digraph Models. In: UAI 2001 (2001)"},{"key":"5_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/BFb0053999","volume-title":"Adaptive Processing of Sequences and Data Structures","author":"Z. Ghahramani","year":"1998","unstructured":"Ghahramani, Z.: Learning dynamic bayesian networks. In: Giles, C.L., Gori, M. (eds.) IIASS-EMFCSC-School 1997. LNCS (LNAI), vol.\u00a01387, pp. 168\u2013197. Springer, Heidelberg (1998)"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/287000.287001","volume":"7","author":"J.E. Cook","year":"1998","unstructured":"Cook, J.E., Wolf, A.L.: Discovering models of software processes from event-based data. ACM Trans. Softw. Eng. Methodol.\u00a07, 215\u2013249 (1998)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines - a survey. Proceedings of the IEEE\u00a084, 1090\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 141\u2013150. ACM (2009)","DOI":"10.1145\/1595696.1595719"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1007\/978-3-642-16558-0_54","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"F. Aarts","year":"2010","unstructured":"Aarts, F., Schmaltz, J., Vaandrager, F.: Inference and abstraction of the biometric passport. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part I. LNCS, vol.\u00a06415, pp. 673\u2013686. Springer, Heidelberg (2010)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Walkinshaw, N., Bogdanov, K., Holcombe, M., Salahuddin, S.: Reverse engineering state machines by interactive grammar inference. In: Proceedings of the 14th Working Conference on Reverse Engineering, pp. 209\u2013218. IEEE (2007)","DOI":"10.1109\/WCRE.2007.45"},{"key":"5_CR26","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139194655","volume-title":"Grammatical Inference: Learning Automata and Grammars","author":"C. Higuera de la","year":"2010","unstructured":"de la Higuera, C.: Grammatical Inference: Learning Automata and Grammars. Cambridge University Press, New York (2010)"},{"key":"5_CR27","unstructured":"Sudkamp, T.A.: Languages and Machines: an introduction to the theory of computer science, 3rd edn. Addison-Wesley (2006)"},{"key":"5_CR28","doi-asserted-by":"publisher","first-page":"1349","DOI":"10.1016\/j.patcog.2004.03.020","volume":"38","author":"P. Dupont","year":"2005","unstructured":"Dupont, P., Denis, F., Esposito, Y.: Links between probabilistic automata and hidden Markov models: probability distributions, learning models and induction algorithms. Pattern Recognition\u00a038, 1349\u20131371 (2005)","journal-title":"Pattern Recognition"},{"key":"5_CR29","unstructured":"Boutilier, C., Dearden, R., Goldszmidt, M.: Exploiting structure in policy construction. In: IJCAI. AAAI (1995)"},{"key":"5_CR30","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0004-3702(95)00014-3","volume":"82","author":"D. Geiger","year":"1996","unstructured":"Geiger, D., Heckerman, D.: Knowledge representation and inference in similarity networks and Bayesian multinets. Artificial Intelligence\u00a082, 45\u201374 (1996)","journal-title":"Artificial Intelligence"},{"key":"5_CR31","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-73599-1_10","volume-title":"Artificial Intelligence in Medicine","author":"S. Visscher","year":"2007","unstructured":"Visscher, S., Lucas, P.J.F., Flesch, I., Schurink, K.: Using temporal context-specific independence information in the exploratory analysis of disease processes. In: Bellazzi, R., Abu-Hanna, A., Hunter, J. (eds.) AIME 2007. LNCS (LNAI), vol.\u00a04594, pp. 87\u201396. Springer, Heidelberg (2007)"},{"issue":"12","key":"5_CR32","doi-asserted-by":"publisher","first-page":"909","DOI":"10.1001\/archinternmed.2012.2145","volume":"172","author":"J. Gutierrez","year":"2012","unstructured":"Gutierrez, J., Ramirez, G., Rundek, T., Sacco, R.L.: Statin therapy in the prevention of recurrent cardiovascular events: a sex-based meta-analysis. Arch. Intern. Med.\u00a0172(12), 909\u2013919 (2012)","journal-title":"Arch. Intern. Med."},{"key":"5_CR33","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1109\/ICDM.2010.53","volume-title":"Proceedings of the 2010 IEEE International Conference on Data Mining, ICDM 2010","author":"W. Duivesteijn","year":"2010","unstructured":"Duivesteijn, W., Knobbe, A., Feelders, A., van Leeuwen, M.: Subgroup discovery meets bayesian networks \u2013 an exceptional model mining approach. In: Proceedings of the 2010 IEEE International Conference on Data Mining, ICDM 2010, pp. 158\u2013167. IEEE Computer Society, Washington, DC (2010)"},{"issue":"12","key":"5_CR34","doi-asserted-by":"crossref","first-page":"10709","DOI":"10.1016\/j.eswa.2012.02.196","volume":"39","author":"J.A. Bohada","year":"2012","unstructured":"Bohada, J.A., Ria\u00f1o, D., L\u00f3pez-Vallverd\u00fa, J.A.: Automatic generation of clinical algorithms within the state-decision-action model. Expert Systems with Applications\u00a039(12), 10709\u201310721 (2012)","journal-title":"Expert Systems with Applications"},{"issue":"14","key":"5_CR35","doi-asserted-by":"crossref","first-page":"11782","DOI":"10.1016\/j.eswa.2012.04.073","volume":"39","author":"J.A. L\u00f3pez-Vallverd\u00fa","year":"2012","unstructured":"L\u00f3pez-Vallverd\u00fa, J.A., Ria\u00f1o, D., Bohada, J.A.: Improving medical decision trees by combining relevant health-care criteria. Expert Systems with Applications\u00a039(14), 11782\u201311791 (2012)","journal-title":"Expert Systems with Applications"},{"issue":"9","key":"5_CR36","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W. Aalst Van der","year":"2004","unstructured":"Van der Aalst, W., Weijters, T., Maruster, L.: Workflow mining: Discovering process models from event logs. IEEE Transactions on Knowledge and Data Engineering\u00a016(9), 1128\u20131142 (2004)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"5_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-36438-9_10","volume-title":"Process Support and Knowledge Representation in Health Care","author":"R.S. Mans","year":"2013","unstructured":"Mans, R.S., van der Aalst, W.M.P., Vanwersch, R.J.B., Moleman, A.J.: Process mining in healthcare data challenges when answering frequently posed questions. In: Lenz, R., Miksch, S., Peleg, M., Reichert, M., Ria\u00f1o, D., ten Teije, A. (eds.) ProHealth 2012 and KR4HC 2012. LNCS, vol.\u00a07738, pp. 140\u2013153. Springer, Heidelberg (2013)"},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"Kaymak, U., Mans, R., van de Steeg, T., Dierks, M.: On process mining in health care. In: SMC, pp. 1859\u20131864 (2012)","DOI":"10.1109\/ICSMC.2012.6378009"}],"container-title":["Lecture Notes in Computer Science","Process Support and Knowledge Representation in Health Care"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03916-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T19:25:43Z","timestamp":1558725943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03916-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319039152","9783319039169"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03916-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}