{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:50:44Z","timestamp":1725558644107},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202165"},{"type":"electronic","value":"9783540452089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45208-9_7","type":"book-chapter","created":{"date-parts":[[2010,6,28]],"date-time":"2010-06-28T04:49:20Z","timestamp":1277700560000},"page":"72-85","source":"Crossref","is-referenced-by-count":5,"title":["Towards Compact and Tractable Automaton-Based Representations of Time Granularities"],"prefix":"10.1007","author":[{"given":"Ugo","family":"Dal Lago","sequence":"first","affiliation":[]},{"given":"Angelo","family":"Montanari","sequence":"additional","affiliation":[]},{"given":"Gabriele","family":"Puppis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_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 (2000)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"554","DOI":"10.1007\/3-540-58027-1_27","volume-title":"Mathematical Foundations of Programming Semantics","author":"H. Calbrix","year":"1994","unstructured":"Calbrix, H., Nivat, M., Podelski, A.: Ultimately periodic words of rational \u03c9-languages. In: Main, M.G., Melton, A.C., Mislove, M.W., Schmidt, D., Brookes, S.D. (eds.) MFPS 1993. LNCS, vol.\u00a0802, pp. 554\u2013566. Springer, Heidelberg (1994)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1109\/TIME.2002.1027486","volume-title":"Proceedings of the 9th International Symposium on Temporal Representation and Reasoning","author":"C. Combi","year":"2002","unstructured":"Combi, C., Franceschet, M., Peron, A.: A logical approach to represent and reason about calendars. In: Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, pp. 134\u2013140. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"7_CR4","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":"7_CR5","unstructured":"Dal Lago, U., Montanari, A., Puppis, G.: Time granularities, calendar algebra, and automata. Technical Report 4, Dipartimento di Matematica e Informatica, Universit\u00e0 degli Studi di Udine, Italy (February 2003)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Dal Lago, U., Montanari, A., Puppis, G.: Towards compact and tractable automaton-based representations of time granularities. Technical Report 17, Dipartimento di Matematica e Informatica, Universit\u00e0 degli Studi di Udine, Italy (July 2003)","DOI":"10.1007\/978-3-540-45208-9_7"},{"issue":"4","key":"7_CR7","doi-asserted-by":"publisher","first-page":"568","DOI":"10.1109\/69.868908","volume":"12","author":"C.E. Dyreson","year":"2000","unstructured":"Dyreson, C.E., Evans, W.S., Lin, H., Snodgrass, R.T.: Efficiently supporting temporal granularities. IEEE Transactions on Knowledge and Data Engineering\u00a012(4), 568\u2013587 (2000)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1137\/0206024","volume":"6","author":"D.E. Knuth","year":"1977","unstructured":"Knuth, D.E., Morris, J.H., Pratt, V.R.: Fast pattern matching in strings. SIAM Journal on Computing\u00a06, 323\u2013350 (1977)","journal-title":"SIAM Journal on Computing"},{"key":"7_CR9","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":"7_CR10","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/978-3-642-59126-6_7","volume-title":"Handbook of Formal Languages","author":"W. Thomas","year":"1997","unstructured":"Thomas, W.: Languages, automata, and logic. In: Rozemberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol.\u00a03, pp. 389\u2013455. Springer, Heidelberg (1997)"},{"key":"7_CR11","first-page":"9","volume-title":"Proceedings of the 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.) Proceedings of the AAAI Workshop on Spatial and Temporal Granularities, pp. 9\u201316. AAAI Press, Menlo Park (2000)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45208-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T13:40:48Z","timestamp":1559223648000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45208-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202165","9783540452089"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45208-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}
