{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:13:10Z","timestamp":1761487990908,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540775805"},{"type":"electronic","value":"9783540775812"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-77581-2_9","type":"book-chapter","created":{"date-parts":[[2008,2,7]],"date-time":"2008-02-07T06:39:30Z","timestamp":1202366370000},"page":"135-146","source":"Crossref","is-referenced-by-count":8,"title":["On Processing Temporal Observations in Monitoring of Discrete-Event Systems"],"prefix":"10.1007","author":[{"given":"Gianfranco","family":"Lamperti","sequence":"first","affiliation":[]},{"given":"Marina","family":"Zanella","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Roz\u00e9, L.: Supervision of telecommunication network: a diagnoser approach. In: DX 1997. Eighth International Workshop on Principles of Diagnosis, Mont St. Michel, F, pp. 103\u2013111 (1997)"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(98)00044-7","volume":"102","author":"V. Brusoni","year":"1998","unstructured":"Brusoni, V., Console, L., Terenziani, P., Dupr\u00e9, D.T.: A spectrum of definitions for temporal model-based diagnosis. Artificial Intelligence\u00a0102(1), 39\u201380 (1998)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9_CR3","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/S0957-4174(96)00078-4","volume":"12","author":"P. Baroni","year":"1997","unstructured":"Baroni, P., Canzi, U., Guida, G.: Fault diagnosis through history reconstruction: an application to power transmission networks. Expert Systems with Applications\u00a012(1), 37\u201352 (1997)","journal-title":"Expert Systems with Applications"},{"issue":"1","key":"9_CR4","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0004-3702(99)00019-3","volume":"110","author":"P. Baroni","year":"1999","unstructured":"Baroni, P., Lamperti, G., Pogliano, P., Zanella, M.: Diagnosis of large active systems. Artificial Intelligence\u00a0110(1), 135\u2013183 (1999)","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"9_CR5","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0004-3702(01)00161-8","volume":"135","author":"F. Wotawa","year":"2002","unstructured":"Wotawa, F.: On the relationship between model-based debugging and program slicing. Artificial Intelligence\u00a0135(1-2), 125\u2013143 (2002)","journal-title":"Artificial Intelligence"},{"key":"9_CR6","unstructured":"K\u00f6b, D., Wotawa, F.: Introducing alias information into model-based debugging. In: Carcassonne, F. (ed.) DX 2004. Fifteenth International Workshop on Principles of Diagnosis, pp. 93\u201398 (2004)"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/S0020-7373(05)80132-4","volume":"35","author":"I. Mozeti\u010d","year":"1991","unstructured":"Mozeti\u010d, I.: Hierarchical model-based diagnosis. International Journal of Man-Machine Studies\u00a035(3), 329\u2013362 (1991)","journal-title":"International Journal of Man-Machine Studies"},{"issue":"1-2","key":"9_CR8","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0004-3702(02)00123-6","volume":"137","author":"G. Lamperti","year":"2002","unstructured":"Lamperti, G., Zanella, M.: Diagnosis of discrete-event systems from uncertain temporal observations. Artificial Intelligence\u00a0137(1-2), 91\u2013163 (2002)","journal-title":"Artificial Intelligence"},{"key":"9_CR9","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J. Hopcroft","year":"2006","unstructured":"Hopcroft, J., Motwani, R., Ullman, J.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley, Reading, MA (2006)","edition":"3"},{"issue":"5","key":"9_CR10","doi-asserted-by":"publisher","first-page":"2222","DOI":"10.1109\/TSMCB.2004.835008","volume":"34","author":"G. Lamperti","year":"2004","unstructured":"Lamperti, G., Zanella, M.: A bridged diagnostic method for the monitoring of polymorphic discrete-event systems. IEEE Transactions on Systems, Man, and Cybernetics \u2013 Part B: Cybernetics\u00a034(5), 2222\u20132244 (2004)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics \u2013 Part B: Cybernetics"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Lamperti, G., Zanella, M.: Dynamic diagnosis of active systems with fragmented observations. In: Porto, P. (ed.) ICEIS 2004. Sixth International Conference on Enterprise Information Systems, pp. 249\u2013261 (2004)","DOI":"10.5220\/0002619202490261"},{"key":"9_CR12","series-title":"The Kluwer International Series in Engineering and Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0257-7","volume-title":"Diagnosis of Active Systems \u2013 Principles and Techniques","author":"G. Lamperti","year":"2003","unstructured":"Lamperti, G., Zanella, M.: Diagnosis of Active Systems \u2013 Principles and Techniques. The Kluwer International Series in Engineering and Computer Science, vol.\u00a0741. Kluwer Academic Publisher, Dordrecht, NL (2003)"},{"key":"9_CR13","first-page":"151","volume-title":"ECAI 2000. Fourteenth European Conference on Artificial Intelligence","author":"G. Lamperti","year":"2000","unstructured":"Lamperti, G., Zanella, M.: Uncertain temporal observations in diagnosis. In: Berlin, D. (ed.) ECAI 2000. Fourteenth European Conference on Artificial Intelligence, pp. 151\u2013155. IOS Press, Amsterdam, NL (2000)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77581-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,27]],"date-time":"2025-01-27T03:59:21Z","timestamp":1737950361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77581-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540775805","9783540775812"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77581-2_9","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2008]]}}}