{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:31:10Z","timestamp":1725564670878},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152962"},{"type":"electronic","value":"9783642152979"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15297-9_14","type":"book-chapter","created":{"date-parts":[[2010,9,6]],"date-time":"2010-09-06T08:11:13Z","timestamp":1283760673000},"page":"168-182","source":"Crossref","is-referenced-by-count":3,"title":["Unambiguity in Timed Regular Languages: Automata and Logics"],"prefix":"10.1007","author":[{"given":"Paritosh K.","family":"Pandya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simoni S.","family":"Shah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A Theory of Timed Automata. Theo. Comp. Sc.\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theo. Comp. Sc."},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Real-Time: Theory in Practice","author":"R. Alur","year":"1992","unstructured":"Alur, R., Henzinger, T.A.: Logics and Models of Real Time: A Survey. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 74\u2013106. Springer, Heidelberg (1992)"},{"issue":"1","key":"14_CR3","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/227595.227602","volume":"43","author":"R. Alur","year":"1996","unstructured":"Alur, R., Feder, T., Henzinger, T.A.: The Benefits of Relaxing Punctuality. J. ACM\u00a043(1), 116\u2013146 (1996)","journal-title":"J. ACM"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.: Back to the Future: Towards a Theory of Timed Regular Languages. In: FOCS 1992, pp. 177\u2013186 (1992)","DOI":"10.1109\/SFCS.1992.267774"},{"key":"14_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1844-9","volume-title":"Automata and Computability","author":"D. Kozen","year":"1997","unstructured":"Kozen, D.: Automata and Computability. Springer, Heidelberg (1997)"},{"issue":"3","key":"14_CR6","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1142\/S0129054108005802","volume":"19","author":"V. Diekert","year":"2008","unstructured":"Diekert, V., Gastin, P., Kufleitner, M.: A survey on small fragments of first-order logic over finite words. Int. J. Found. Comp. Sci.\u00a019(3), 513\u2013548 (2008)","journal-title":"Int. J. Found. Comp. Sci."},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1006\/inco.2001.2953","volume":"179","author":"K. Etessami","year":"2002","unstructured":"Etessami, K., Vardi, M.Y., Wilke, T.: First-order logic with two variables and unary temporal logic. Inf. Comput.\u00a0179, 279\u2013295 (2002)","journal-title":"Inf. Comput."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Lodaya, K., Pandya, P.K., Shah, S.S.: Marking the chops: an unambiguous temporal logic. In: Ausiello, G., Karhum\u00e4ki, J., Mauri, G., Ong, L. (eds.) Proc. 5th IFIP TCS, Milano. IFIP Series, vol.\u00a0273, pp. 461\u2013476 (2008)","DOI":"10.1007\/978-0-387-09680-3_31"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Lodaya, K., Pandya, P.K., Shah, S.S.: Around dot-depth two. In: Yu, S. (ed.) Proc. 14th DLT, London, Canada. LNCS (2010)","DOI":"10.1007\/978-3-642-14455-4_28"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Ouaknine, J., Worrell, J.: On the Decidability of Metric Temporal Logic over finite words. LMCS\u00a03(1) (2007)","DOI":"10.2168\/LMCS-3(1:8)2007"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF02194921","volume":"13","author":"M.-P. Sch\u00fctzenberger","year":"1976","unstructured":"Sch\u00fctzenberger, M.-P.: Sur le produit de concat\u00e9nation non ambigu. Semigroup Forum\u00a013, 47\u201375 (1976)","journal-title":"Semigroup Forum"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/3-540-46011-X_20","volume-title":"Developments in Language Theory","author":"T. Schwentick","year":"2002","unstructured":"Schwentick, T., Th\u00e9rien, D., Vollmer, H.: Partially-ordered two-way automata: a new characterization of DA. In: Kuich, W., Rozenberg, G., Salomaa, A. (eds.) DLT 2001. LNCS, vol.\u00a02295, pp. 239\u2013250. Springer, Heidelberg (2002)"},{"key":"14_CR13","unstructured":"Shah, S.S., Pandya, P.K.: An automaton normal form for UITL, Technical Report STCS-TR-SP-2009\/1. Computer Science Group, TIFR (2009)"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Th\u00e9rien, D., Wilke, T.: Over words, two variables are as powerful as one quantifier alternation: $FO^2=\\Sigma_2 \\cap \\Pi_2$ . In: Proc.\u00a0STOC, Dallas, pp. 41\u201347 (1998)","DOI":"10.1145\/276698.276749"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15297-9_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:49:52Z","timestamp":1619786992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15297-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152962","9783642152979"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15297-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}