{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T16:10:08Z","timestamp":1746375008588,"version":"3.40.4"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319108810"},{"type":"electronic","value":"9783319108827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10882-7_20","type":"book-chapter","created":{"date-parts":[[2014,9,11]],"date-time":"2014-09-11T06:54:19Z","timestamp":1410418459000},"page":"333-350","source":"Crossref","is-referenced-by-count":0,"title":["On Unary Fragments of MTL and TPTL over Timed Words"],"prefix":"10.1007","author":[{"given":"Khushraj","family":"Madnani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shankara Narayanan","family":"Krishna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paritosh K.","family":"Pandya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A.: Logics and Models of Real Time: A Survey. In: Proceedings of REX Workshop, pp. 74\u2013106 (1991)","DOI":"10.1007\/BFb0031988"},{"issue":"1","key":"20_CR2","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":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-85778-5_1","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J. Ouaknine","year":"2008","unstructured":"Ouaknine, J., Worrell, J.B.: Some Recent Results in Metric Temporal Logic. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol.\u00a05215, pp. 1\u201313. Springer, Heidelberg (2008)"},{"key":"20_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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: Sarukkai, S., Sen, S. (eds.) FSTTCS 2005. LNCS, vol.\u00a03821, pp. 432\u2013443. Springer, Heidelberg (2005)"},{"key":"20_CR5","unstructured":"D\u2019Souza, D., Prabhakar, P.: On the expressiveness of MTL in the pointwise and continuous semantics. Technical Report IISc, India (2005)"},{"key":"20_CR6","unstructured":"D\u2019Souza, D., Raj Mohan, M., Prabhakar, P.: Eliminating past operators in Metric Temporal Logic. In: Perspectives in Concurrency, pp. 86\u2013106 (2008)"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Demri, S., Lazic, R.: LTL with freeze quantifier and register automata. In: LICS 2006, pp. 17\u201326 (2006)","DOI":"10.1109\/LICS.2006.31"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Etessami, K., Wilke, T.: An Until Hierarchy for Temporal Logic. In: Proceedings of LICS 1996, pp. 108\u2013117 (1996)","DOI":"10.1109\/LICS.1996.561310"},{"key":"20_CR9","unstructured":"Henzinger, T.A.: The Temporal Specification and Verification of Real-time Systems. Ph.D Thesis, Stanford University (1991)"},{"issue":"1","key":"20_CR10","first-page":"1","volume":"62","author":"Y. Hirshfeld","year":"2004","unstructured":"Hirshfeld, Y., Rabinovich, A.: Logics for Real Time: Decidability and Complexity. Fundam. Inform.\u00a062(1), 1\u201328 (2004)","journal-title":"Fundam. Inform."},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/978-3-642-24310-3_16","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"D.R. Kini","year":"2011","unstructured":"Kini, D.R., Krishna, S.N., Pandya, P.K.: On Construction of Safety Signal Automata for MITL[U I , S I ] using Temporal Projections. In: Fahrenberg, U., Tripakis, S. (eds.) FORMATS 2011. LNCS, vol.\u00a06919, pp. 225\u2013239. Springer, Heidelberg (2011)"},{"issue":"4","key":"20_CR12","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"},{"key":"20_CR13","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":"20_CR14","volume-title":"Finite and infinite machines","author":"M. Minsky","year":"1967","unstructured":"Minsky, M.: Finite and infinite machines. Prentice Hall, New Jersey (1967)"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Ouaknine, J., Worrell, J.: On the Decidability of Metric Temporal Logic. In: Proceedings of LICS 2005, pp. 188\u2013197 (2005)","DOI":"10.1109\/LICS.2005.33"},{"key":"20_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/11690634_15","volume-title":"Foundations of Software Science and Computation Structures","author":"J. Ouaknine","year":"2006","unstructured":"Ouaknine, J., Worrell, J.B.: On Metric Temporal Logic and Faulty Turing Machines. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006. LNCS, vol.\u00a03921, pp. 217\u2013230. Springer, Heidelberg (2006)"},{"key":"20_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-23217-6_5","volume-title":"CONCUR 2011 \u2013 Concurrency Theory","author":"P.K. Pandya","year":"2011","unstructured":"Pandya, P.K., Shah, S.: On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing. In: Katoen, J.-P., K\u00f6nig, B. (eds.) CONCUR 2011. LNCS, vol.\u00a06901, pp. 60\u201375. Springer, Heidelberg (2011)"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-33386-6_8","volume-title":"Automated Technology for Verification and Analysis","author":"P.K. Pandya","year":"2012","unstructured":"Pandya, P.K., Shah, S.: The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints. In: Chakraborty, S., Mukund, M. (eds.) ATVA 2012. LNCS, vol.\u00a07561, pp. 77\u201391. Springer, Heidelberg (2012)"},{"key":"20_CR19","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)"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Chambart, P., Schnobelen, P.: The ordinal recursive complexity of lossy channel systems. In: Proceedings of LICS, pp. 205\u2013216 (2008)","DOI":"10.1109\/LICS.2008.47"},{"issue":"5","key":"20_CR21","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/S0020-0190(01)00337-4","volume":"83","author":"P.. Schnobelen","year":"2002","unstructured":"Schnobelen, P.: Verifying lossy channel systems has nonprimitive recursive complexity. Info. Proc. Lett.\u00a083(5), 251\u2013261 (2002)","journal-title":"Info. Proc. Lett."},{"key":"20_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0289-9","volume-title":"Finite Automata, Formal Logic and Circuit Complexity","author":"H. Straubing","year":"1994","unstructured":"Straubing, H.: Finite Automata, Formal Logic and Circuit Complexity. Birkhauser, Boston (1994)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10882-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T15:44:36Z","timestamp":1746373476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10882-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319108810","9783319108827"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10882-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}