{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:40:01Z","timestamp":1729618801652,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1109\/time.2007.56","type":"proceedings-article","created":{"date-parts":[[2008,1,29]],"date-time":"2008-01-29T15:26:09Z","timestamp":1201620369000},"page":"82-93","source":"Crossref","is-referenced-by-count":4,"title":["On the Equivalence of Automaton-Based Representations of Time Granularities"],"prefix":"10.1109","author":[{"given":"Ugo Dal","family":"Lago","sequence":"first","affiliation":[]},{"given":"Angelo","family":"Montanari","sequence":"additional","affiliation":[]},{"given":"Gabriele","family":"Puppis","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"121","article-title":"LTL over integer periodicity constraints","volume":"2987","author":"demri","year":"2004","journal-title":"LNCS"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S1574-6526(05)80005-7","article-title":"Time granularity","author":"euzenat","year":"2005","journal-title":"Handbook of Temporal Reasoning in Artificial Intelligence"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.2140\/pjm.1966.16.285"},{"key":"ref13","first-page":"13","article-title":"A classification of symbolic transition systems","volume":"1770","author":"henzinger","year":"2000","journal-title":"LNCS"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1137\/0206024"},{"key":"ref15","first-page":"367","article-title":"A representation for collections of temporal intervals","volume":"1","author":"leban","year":"1986","journal-title":"Proceedings of the AAAI National Conference on Artificial Intelligence"},{"year":"1967","author":"minsky","article-title":"Computation: Finite and Infinite Machines","key":"ref16"},{"key":"ref17","first-page":"161","article-title":"An efficient symbolic representation of periodic time","author":"niezette","year":"1992","journal-title":"Proceedings of the International Conference on Information and Knowledge Management (CIKM)"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1023\/A:1015835418881"},{"key":"ref19","first-page":"301","article-title":"Automata on integers, recurrence distinguishability, and the equivalence and decidability of monadic theories","author":"perrin","year":"1986","journal-title":"Proceedings of the Symposium on Logic in Computer Science (LICS)"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/978-3-540-30227-8_43"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/978-3-662-04228-1"},{"key":"ref6","first-page":"262","article-title":"Flatness is not a weakness","volume":"1862","author":"comon","year":"2000","journal-title":"Proceedings of the 14th International Conference on Computer Science Logic (CSL)"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1093\/logcom\/14.1.51"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/978-3-540-45208-9_7"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/3-540-47724-1_15"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1016\/0304-3975(94)90010-8"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1287\/moor.25.3.427.12219"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.tcs.2006.12.014","article-title":"Compact and tractable automaton-based representations for time granu-larities","volume":"373","author":"dal","year":"2007","journal-title":"Theoretical Computer Science"},{"key":"ref20","first-page":"9","article-title":"A string-based model for infinite granularities","author":"wijsen","year":"2000","journal-title":"Proceedings of the AAAI Workshop on Spatial and Temporal Granularity"}],"event":{"name":"14th International Symposium on Temporal Representation and Reasoning (TIME'07)","start":{"date-parts":[[2007,6,28]]},"location":"Alicante, Spain","end":{"date-parts":[[2007,6,30]]}},"container-title":["14th International Symposium on Temporal Representation and Reasoning (TIME'07)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4438655\/4438656\/04438674.pdf?arnumber=4438674","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T23:32:42Z","timestamp":1497742362000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4438674\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/time.2007.56","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}
