{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,10]],"date-time":"2026-11-10T22:27:13Z","timestamp":1794349633791,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540754534","type":"print"},{"value":"9783540754541","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75454-1_13","type":"book-chapter","created":{"date-parts":[[2007,9,17]],"date-time":"2007-09-17T21:47:54Z","timestamp":1190065674000},"page":"163-178","source":"Crossref","is-referenced-by-count":12,"title":["On the Expressiveness of MTL Variants over Dense Time"],"prefix":"10.1007","author":[{"given":"Carlo Alberto","family":"Furia","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matteo","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"13_CR1","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. Journal of the ACM\u00a043(1), 116\u2013146 (1996)","journal-title":"Journal of the ACM"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A.: Back to the future. In: Proceedings of FOCS 1992, pp. 177\u2013186 (1992)","DOI":"10.1109\/SFCS.1992.267774"},{"key":"13_CR3","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. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) Real-Time: Theory in Practice. LNCS, vol.\u00a0600, pp. 74\u2013106. Springer, Heidelberg (1992)"},{"issue":"1","key":"13_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1006\/inco.1993.1025","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Henzinger, T.A.: Real-time logics: Complexity and expressiveness. Information and Computation\u00a0104(1), 35\u201377 (1993)","journal-title":"Information and Computation"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/11590156_35","volume-title":"FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science","author":"P. Bouyer","year":"2005","unstructured":"Bouyer, P., Chevalier, F., Markey, N.: On the expressiveness of TPTL and MTL. In: Ramanujam, R., Sen, S. (eds.) FSTTCS 2005. LNCS, vol.\u00a03821, pp. 432\u2013443. Springer, Heidelberg (2005)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Bouyer, P., Markey, N., Ouaknine, J., Worrell, J.: The cost of punctuality. In: Proceedings of LICS 2007 (2007)","DOI":"10.1109\/LICS.2007.49"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/3-540-44622-2_17","volume-title":"Computer Science Logic","author":"H. Comon","year":"2000","unstructured":"Comon, H., Cortier, V.: Flatness is not a weakness. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol.\u00a01862, pp. 262\u2013276. Springer, Heidelberg (2000)"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1093\/jigpal\/7.1.55","volume":"7","author":"D. Dams","year":"1999","unstructured":"Dams, D.: Flat fragments of CTL and CTL*: Separating the expressive and distinguishing powers. Logic Journal of the IGPL\u00a07(1), 55\u201378 (1999)","journal-title":"Logic Journal of the IGPL"},{"issue":"1","key":"13_CR9","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1006\/inco.2001.3094","volume":"174","author":"S. Demri","year":"2002","unstructured":"Demri, S., Schnoebelen, P.: The complexity of propositional linear temporal logics in simple cases. Information and Computation\u00a0174(1), 84\u2013103 (2002)","journal-title":"Information and Computation"},{"key":"13_CR10","unstructured":"D\u2019Souza, D., Mohan, R.M., Prabhakar, P.: Flattening metric temporal logic. Manuscript (2007)"},{"issue":"1","key":"13_CR11","first-page":"1","volume":"9","author":"D. D\u2019Souza","year":"2007","unstructured":"D\u2019Souza, D., Prabhakar, P.: On the expressiveness of MTL in the pointwise and continuous semantics. Formal Methods Letters\u00a09(1), 1\u20134 (2007)","journal-title":"Formal Methods Letters"},{"key":"13_CR12","first-page":"996","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 996\u20131072. Elsevier, Amsterdam (1990)"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1109\/LICS.1996.561310","volume-title":"Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996)","author":"K. Etessami","year":"1996","unstructured":"Etessami, K., Wilke, T.: An until hierarchy for temporal logic. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 1996), pp. 108\u2013117. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"13_CR14","unstructured":"Furia, C.A.: Scaling Up the Formal Analysis of Real-Time Systems. PhD thesis, Dipartimento di Elettonica e Informazione, Politecnico di Milano (May 2007)"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/11867340_16","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"C.A. Furia","year":"2006","unstructured":"Furia, C.A., Rossi, M.: Integrating discrete- and continuous-time metric temporal logics through sampling. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol.\u00a04202, pp. 215\u2013229. Springer, Heidelberg (2006)"},{"key":"13_CR16","unstructured":"Furia, C.A., Rossi, M.: No need to be strict. Bulletin of the EATCS (to appear, 2007)"},{"key":"13_CR17","unstructured":"Furia, C.A., Rossi, M.: On the expressiveness of MTL variants over dense time. Technical Report 2007.41, DEI, Politecnico di Milano (May 2007)"},{"key":"13_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0013976","volume-title":"Temporal Logic","author":"D.M. Gabbay","year":"1994","unstructured":"Gabbay, D.M., Hodkinson, I., Reynolds, M.: Temporal Logic, vol.\u00a01. Oxford University Press, Oxford (1994)"},{"issue":"3","key":"13_CR19","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1145\/383876.383877","volume":"10","author":"A. Gargantini","year":"2001","unstructured":"Gargantini, A., Morzenti, A.: Automated deductive requirement analysis of critical systems. ACM TOSEM\u00a010(3), 255\u2013307 (2001)","journal-title":"ACM TOSEM"},{"issue":"1","key":"13_CR20","first-page":"1","volume":"62","author":"Y. Hirshfeld","year":"2004","unstructured":"Hirshfeld, Y., Rabinovich, A.: Logics for real time. Fundamenta Informaticae\u00a062(1), 1\u201328 (2004)","journal-title":"Fundamenta Informaticae"},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/11753728_23","volume-title":"Computer Science \u2013 Theory and Applications","author":"Y. Hirshfeld","year":"2006","unstructured":"Hirshfeld, Y., Rabinovich, A.: Expressiveness of metric modalities for continuous time. In: Grigoriev, D., Harrison, J., Hirsch, E.A. (eds.) CSR 2006. LNCS, vol.\u00a03967, pp. 211\u2013220. Springer, Heidelberg (2006)"},{"issue":"2","key":"13_CR22","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1016\/S0890-5401(03)00163-9","volume":"187","author":"Y. Hirshfeld","year":"2003","unstructured":"Hirshfeld, Y., Rabinovich, A.M.: Future temporal logic needs infinitely many modalities. Information and Computation\u00a0187(2), 196\u2013208 (2003)","journal-title":"Information and Computation"},{"issue":"4","key":"13_CR23","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Systems\u00a02(4), 255\u2013299 (1990)","journal-title":"Real-Time Systems"},{"issue":"7\/8","key":"13_CR24","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/s00236-005-0164-4","volume":"41","author":"A. Ku\u010dera","year":"2005","unstructured":"Ku\u010dera, A., Strej\u010dek, J.: The stuttering principle revisited. Acta Informatica\u00a041(7\/8), 415\u2013434 (2005)","journal-title":"Acta Informatica"},{"key":"13_CR25","first-page":"383","volume-title":"Proceedings of LICS 2002","author":"F. Laroussinie","year":"2002","unstructured":"Laroussinie, F., Markey, N., Schnoebelen, P.: Temporal logic with forgettable past. In: Proceedings of LICS 2002, pp. 383\u2013392. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/11603009_2","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"O. Maler","year":"2005","unstructured":"Maler, O., Nickovic, D., Pnueli, A.: Real time temporal logic: Past, present, future. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol.\u00a03829, pp. 2\u201316. Springer, Heidelberg (2005)"},{"key":"13_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/11867340_20","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"O. Maler","year":"2006","unstructured":"Maler, O., Nickovic, D., Pnueli, A.: From MITL to timed automata. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol.\u00a04202, pp. 274\u2013289. Springer, Heidelberg (2006)"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Ouaknine, J., Worrell, J.: On the decidability and complexity of metric temporal logic over finite words. Logical Methods in Computer Science, 3(1) (2007)","DOI":"10.2168\/LMCS-3(1:8)2007"},{"key":"13_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/11867340_23","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"P. Prabhakar","year":"2006","unstructured":"Prabhakar, P., D\u2019Souza, D.: On the expressiveness of MTL with past operators. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol.\u00a04202, pp. 322\u2013336. Springer, Heidelberg (2006)"},{"issue":"1\u20133","key":"13_CR30","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/S0304-3975(02)00331-6","volume":"300","author":"A.M. Rabinovich","year":"2003","unstructured":"Rabinovich, A.M.: Automata over continuous time. Theoretical Computer Science\u00a0300(1\u20133), 331\u2013363 (2003)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"13_CR31","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/S0022-0000(03)00005-9","volume":"66","author":"M. Reynolds","year":"2003","unstructured":"Reynolds, M.: The complexity of the temporal logic with until over general linear time. Journal of Computer and System Sciences\u00a066(2), 393\u2013426 (2003)","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"13_CR32","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/s00224-003-1109-3","volume":"37","author":"D. Th\u00e9rien","year":"2004","unstructured":"Th\u00e9rien, D., Wilke, T.: Nesting until and since in linear temporal logic. Theory of Computing Systems\u00a037(1), 111\u2013131 (2004)","journal-title":"Theory of Computing Systems"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75454-1_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T20:16:53Z","timestamp":1737404213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75454-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540754534","9783540754541"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75454-1_13","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-540-75454-1","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}