{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,10]],"date-time":"2024-01-10T06:02:10Z","timestamp":1704866530728},"reference-count":16,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T00:00:00Z","timestamp":1051747200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3742,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,5]]},"DOI":"10.1016\/s1571-0661(04)80518-8","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"16-33","source":"Crossref","is-referenced-by-count":2,"title":["Balanced timed regular expressions1 1Partially supported by the European community project IST-2001-35304 AMETIST"],"prefix":"10.1016","volume":"68","author":[{"given":"Eugene","family":"Asarin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u0103t\u0103lin","family":"Dima","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80518-8_NEWBIB1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80518-8_NEWBIB2","doi-asserted-by":"crossref","unstructured":"Annichini A., E. Asarin and A. Bouajjani, Symbolic techniques for parametric reasoning about counter and clock systems, in: Proceedings of CAV'00, LNCS 1855, 2000, pp. 419\u2013434.","DOI":"10.1007\/10722167_32"},{"key":"10.1016\/S1571-0661(04)80518-8_NEWBIB3","doi-asserted-by":"crossref","unstructured":"Asarin E., P. Caspi and O. Maler, A Kleene theorem for timed automata, in: Proceedings of LICS'97, 1997, pp. 160\u2013171.","DOI":"10.1109\/LICS.1997.614944"},{"key":"10.1016\/S1571-0661(04)80518-8_NEWBIB4","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1145\/506147.506151","article-title":"Timed regular expressions","volume":"49","author":"Asarin","year":"2002","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1571-0661(04)80518-8_NEWBIB5","doi-asserted-by":"crossref","unstructured":"Bouyer P. and A. Petit, Decomposition and composition of timed automata, in: Proceedings of ICALP'99, LNCS 1644, 1999, pp. 210\u2013219.","DOI":"10.1007\/3-540-48523-6_18"},{"key":"10.1016\/S1571-0661(04)80518-8_NEWBIB6","first-page":"167","article-title":"A Kleene\/B\u00fcchi-like theorem for clock languages","volume":"7","author":"Bouyer","year":"2002","journal-title":"Journal of Automata, Languages and Combinatorics"},{"key":"10.1016\/S1571-0661(04)80518-8_NEWBIB7","doi-asserted-by":"crossref","unstructured":"Bouyer P., A. Petit and D. Th\u00e9rien, An algebraic characterization of data and timed languages, in: Proceedings of CONCUR'2001, LNCS 2154, 2001, pp. 248\u2013261.","DOI":"10.1007\/3-540-44685-0_17"},{"key":"10.1016\/S1571-0661(04)80518-8_NEWBIB8","series-title":"\u201cRegular Algebra and Finite Machines,\u201d","author":"Conway","year":"1971"},{"key":"10.1016\/S1571-0661(04)80518-8_NEWBIB9","unstructured":"Daws C., \u201cM\u00e9thodes d'analyse de syst\u00e8mes temporis\u00e9s: de la th\u00e9orie \u00e0 la pratique,\u201d Ph.D. thesis, Institut National Polytechnique de Grenoble, France (1998)."},{"key":"10.1016\/S1571-0661(04)80518-8_NEWBIB10","doi-asserted-by":"crossref","unstructured":"Daws C. and S. Yovine, Reducing the number of clock variables of timed automata, in: Proceedings of RTSS'96 (1996).","DOI":"10.1109\/REAL.1996.563702"},{"key":"10.1016\/S1571-0661(04)80518-8_NEWBIB11","unstructured":"Dima C., \u201cAn algebraic theory of real-time formal languages,\u201d Ph.D. thesis, Universit\u00e9 Joseph Fourier, Grenoble, France (2001)."},{"key":"10.1016\/S1571-0661(04)80518-8_NEWBIB12","doi-asserted-by":"crossref","unstructured":"Dima C., Timed regular expressions with colored parentheses (2002), submitted.","DOI":"10.1007\/3-540-45066-1_11"},{"key":"10.1016\/S1571-0661(04)80518-8_NEWBIB13","doi-asserted-by":"crossref","unstructured":"Herrmann P., Renaming is necessary in timed regular expressions, in: Proceedings of FST&TCS'99, LNCS 1738, 1999, pp. 47\u201359.","DOI":"10.1007\/3-540-46691-6_4"},{"key":"10.1016\/S1571-0661(04)80518-8_NEWBIB14","series-title":"\u201cIntroduction to Automata Theory, Languages and Computation\u201d","author":"Hopcroft","year":"1992"},{"key":"10.1016\/S1571-0661(04)80518-8_NEWBIB15","unstructured":"Moy M., \u201cSp\u00e9cifications des comportements temporis\u00e9s,\u201d Master's thesis, Institut National Polytechnique de Grenoble (2002)."},{"key":"10.1016\/S1571-0661(04)80518-8_NEWBIB16","series-title":"\u201cRegular Languages\u201d","author":"Yu","year":"1997"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805188?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805188?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:11:35Z","timestamp":1585897895000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104805188"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,5]]},"references-count":16,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2003,5]]}},"alternative-id":["S1571066104805188"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80518-8","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,5]]}}}