{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:32:41Z","timestamp":1725489161459},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540002253"},{"type":"electronic","value":"9783540362067"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36206-1_29","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T03:23:08Z","timestamp":1187234588000},"page":"324-335","source":"Crossref","is-referenced-by-count":0,"title":["Formal Languages and Algorithms for Similarity Based Retrieval from Sequence Databases"],"prefix":"10.1007","author":[{"given":"A. Prasad","family":"Sistla","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,12,16]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"Agarwal R., Faloutsis C, Swaini A: Efficient Similarity Search in Sequence Databases, In FODO Conference, Evanston, Illinois, Oct. 1993.","DOI":"10.1007\/3-540-57301-1_5"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"J. Chomicki, History-less Checking of Dynamic Integrity Constraints, IEEE International Conference on Data Engineering, Phoenix, Arizona, February 1992.","DOI":"10.1109\/ICDE.1992.213153"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Dayal U., Active Database Management Systems, Proc. of 3rd Intnl. Conf. on Data and Knowledge bases\u2013Improving usability and Responsiveness, Jerusalem, June 1988.","DOI":"10.1016\/B978-1-4832-1313-2.50019-6"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Durbin R., et al.: Biological Sequence Analysis, Cambridge University Press, 1998.","DOI":"10.1017\/CBO9780511790492"},{"key":"29_CR5","unstructured":"E. A. Emerson, A. P. Sistla: Triple Exponential Decision Procedure for the Logic CTL*, Workshop on Logics of Programs, Carnegie-Mellon University, Pittsburgh, Pennsylvania, June 1983."},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Faloutsos F., Ranganathan M., Manolopoulos: Fast Subsequence Matching in Time-Series Databases, Proc. of the 1994 ACM SIGMOD Intnl. Conf. on Management of Data, Minneapolis, MN, May 1994.","DOI":"10.1145\/191839.191925"},{"key":"29_CR7","unstructured":"Gehani N., Jagadish H., Shmueli O.: Composite Event Specification in Active Databases: Models and Implementation, Proc. 18th Intnl. Conference on Very Large Databases, Aug. 1992."},{"key":"29_CR8","unstructured":"Garofalakis, M. N., Rastogi R., Shim K.: SPIRIT: Sequential Pattern Mining with Regular Expression Constraints, Proc, of the 25th Intnl Conf. on Very Large Databases, Edinburgh, Scotlanad,UK, 1999."},{"key":"29_CR9","unstructured":"Tao Hu, A. Prasad Sistla: Similarity based Retrieval from Sequence Databases using Automata as Specifications, Technical report, Dept of Electrical Engg and Computer Sciejce, 2000."},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"H. Lewis and C. Papadimitriou: Elements of the Theory of Computation, Prentice-Hall, 1998.","DOI":"10.1145\/300307.1040360"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems\u03c7Specification, Springer-Verlag 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"29_CR12","doi-asserted-by":"crossref","unstructured":"A. P. Sistla, T. Hu, V. Chowdhry Similarity based Retrieval from Sequence Databases Using Automata as Queries 11th ACM Intnl Conference on Information and Knowledge Management, Virginia, Nov 2002.","DOI":"10.1145\/584792.584833"},{"issue":"3","key":"29_CR13","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1109\/69.390251","volume":"7","author":"A. P. Sistla","year":"1995","unstructured":"A. P. Sistla and O. Wolfson, Temporal Triggers in Active Databases, IEEE Transactions on Knowledge and Data Engineering, Vol 7, No 3, June 1995, pp 471\u2013486.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"Sistla A. P., Yu C, Venkatasubramanian R.: Similarity based Retrieval of Videos, 13th International Conference on Data Engineering, April, 1997, Birmingham, U.K.","DOI":"10.1109\/ICDE.1997.581751"},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"M. Vardi, P. Wolper, A. P. Sistla, Reasoning about Infinite Computations, IEEE FOCS 1983.","DOI":"10.1109\/SFCS.1983.51"},{"key":"29_CR16","doi-asserted-by":"crossref","unstructured":"Wu S., Manber U.,: Fast Text Searching: Allowing Errors, CACM Oct. 1992, pp 83\u201391.","DOI":"10.1145\/135239.135244"}],"container-title":["Lecture Notes in Computer Science","FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36206-1_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T18:33:03Z","timestamp":1587839583000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36206-1_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540002253","9783540362067"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-36206-1_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}