{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:59:02Z","timestamp":1725566342011},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540232421"},{"type":"electronic","value":"9783540302278"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30227-8_43","type":"book-chapter","created":{"date-parts":[[2010,9,18]],"date-time":"2010-09-18T21:34:52Z","timestamp":1284845692000},"page":"513-525","source":"Crossref","is-referenced-by-count":5,"title":["Time Granularities and Ultimately Periodic Automata"],"prefix":"10.1007","author":[{"given":"Davide","family":"Bresolin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Puppis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"43_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04228-1","volume-title":"Time Granularities in Databases, Data Mining, and Temporal Reasoning","author":"C. Bettini","year":"2000","unstructured":"Bettini, C., Jajodia, S., Wang, X.S.: Time Granularities in Databases, Data Mining, and Temporal Reasoning. Springer, Heidelberg (July 2000)"},{"key":"43_CR2","doi-asserted-by":"crossref","unstructured":"Bresolin, D., Montanari, A., Puppis, G.: Time granularities and ultimately periodic automata. Technical Report 24, Dipartimento di Matematica e Informatica, Universit\u00e0 di Udine, Italy (October 2003)","DOI":"10.1007\/978-3-540-30227-8_43"},{"key":"43_CR3","first-page":"529","volume":"12","author":"J.A. Brzozowski","year":"1962","unstructured":"Brzozowski, J.A.: Canonical regular expressions and minimal state graphs for definite events. Mathematical Theory of Automata\u00a012, 529\u2013561 (1962)","journal-title":"Mathematical Theory of Automata"},{"key":"43_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/3-540-45526-4_6","volume-title":"Automata Implementation","author":"C. Campeanu","year":"2001","unstructured":"Campeanu, C., Culik II, K., Salomaa, K., Yu, S.: State complexity of basic operations on finite languages. In: Boldt, O., J\u00fcrgensen, H. (eds.) WIA 1999. LNCS, vol.\u00a02214, pp. 60\u201370. Springer, Heidelberg (2001)"},{"issue":"1","key":"43_CR5","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1093\/logcom\/14.1.51","volume":"14","author":"C. Combi","year":"2004","unstructured":"Combi, C., Franceschet, M., Peron, A.: Representing and reasoning about temporal granularities. Journal of Logic and Computation\u00a014(1), 51\u201377 (2004)","journal-title":"Journal of Logic and Computation"},{"key":"43_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/3-540-47724-1_15","volume-title":"Advances in Spatial and Temporal Databases","author":"U. Lago Dal","year":"2001","unstructured":"Dal Lago, U., Montanari, A.: Calendars, time granularities, and automata. In: Jensen, C.S., Schneider, M., Seeger, B., Tsotras, V.J. (eds.) SSTD 2001. LNCS, vol.\u00a02121, pp. 279\u2013298. Springer, Heidelberg (2001)"},{"key":"43_CR7","unstructured":"Dal Lago, U., Montanari, A., Puppis, G.: Time granularities, calendar algebra, and automata. Technical Report 4, Dipartimento di Matematica e Informatica, Universit\u00e0 di Udine, Italy (February 2003)"},{"key":"43_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-45208-9_7","volume-title":"Theoretical Computer Science","author":"U. Lago Dal","year":"2003","unstructured":"Dal Lago, U., Montanari, A., Puppis, G.: Towards compact and tractable automaton-based representations of time granularity. In: Blundo, C., Laneve, C. (eds.) ICTCS 2003. LNCS, vol.\u00a02841, pp. 72\u201385. Springer, Heidelberg (2003)"},{"key":"43_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-24727-2_10","volume-title":"Foundations of Software Science and Computation Structures","author":"S. Demri","year":"2004","unstructured":"Demri, S.: LTL over integer periodicity constraints (extended abstract). In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 121\u2013135. Springer, Heidelberg (2004)"},{"key":"43_CR10","volume-title":"Handbook of Temporal Reasoning in Artificial Intelligence","author":"J. Euzenat","year":"2004","unstructured":"Euzenat, J., Montanari, A.: Time granularity. In: Fisher, M., Gabbay, D., Vila, L. (eds.) Handbook of Temporal Reasoning in Artificial Intelligence, Elsevier, Amsterdam (2004)"},{"issue":"6","key":"43_CR11","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1093\/comjnl\/45.6.683","volume":"45","author":"M. Franceschet","year":"2002","unstructured":"Franceschet, M., Montanari, A.: Time granularities in databases, data mining, and temporal reasoning, by Claudio Bettini, Sushil Jajodia, and Sean X. Wang (book review). The Computer Journal\u00a045(6), 683\u2013685 (2002)","journal-title":"The Computer Journal"},{"key":"43_CR12","first-page":"367","volume-title":"AAAI National Conference on Artificial Intelligence","author":"B. Leban","year":"1986","unstructured":"Leban, B., McDonald, D., Foster, D.: A representation for collections of temporal intervals. In: AAAI National Conference on Artificial Intelligence, vol.\u00a01, pp. 367\u2013371. AAAI Press, Menlo Park (1986)"},{"key":"43_CR13","unstructured":"Loma Linda University Medical Center. Pediatric heart transplantation protocol (2002)"},{"key":"43_CR14","unstructured":"Matz, O., Potthoff, A.: Computing small nondeterministic automata. In: Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems. BRICS Notes Series, pp. 74\u201388 (1995)"},{"key":"43_CR15","first-page":"161","volume-title":"International Conference on Information and Knowledge Management (CIKM)","author":"M. Niezette","year":"1992","unstructured":"Niezette, M., Stevenne, J.: An efficient symbolic representation of periodic time. In: International Conference on Information and Knowledge Management (CIKM), Baltimore, MD, pp. 161\u2013168. ACM Press, New York (1992)"},{"key":"43_CR16","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1015835418881","volume":"36","author":"P. Ning","year":"2002","unstructured":"Ning, P., Jajodia, S., Wang, X.S.: An algebraic representation of calendars. Annals of Mathematics and Artificial Intelligence\u00a036, 5\u201338 (2002)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"43_CR17","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0304-3975(85)90159-8","volume":"40","author":"R. Paige","year":"1985","unstructured":"Paige, R., Tarjan, R.E., Bonic, R.: A linear time solution to the single function coarsest partition problem. Theoretical Computer Science\u00a040, 67\u201384 (1985)","journal-title":"Theoretical Computer Science"},{"key":"43_CR18","first-page":"9","volume-title":"AAAI Workshop on Spatial and Temporal Granularities","author":"J. Wijsen","year":"2000","unstructured":"Wijsen, J.: A string-based model for infinite granularities. In: Bettini, C., Montanari, A. (eds.) AAAI Workshop on Spatial and Temporal Granularities, pp. 9\u201316. AAAI Press, Menlo Park (2000)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30227-8_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T23:58:11Z","timestamp":1619999891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30227-8_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540232421","9783540302278"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30227-8_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}