{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T07:10:04Z","timestamp":1791097804322,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,11,24]],"date-time":"2008-11-24T00:00:00Z","timestamp":1227484800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,11,24]]},"DOI":"10.1145\/1497308.1497339","type":"proceedings-article","created":{"date-parts":[[2009,9,28]],"date-time":"2009-09-28T17:33:43Z","timestamp":1254159223000},"page":"147-153","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Validation of streaming XML documents with abstract state machines"],"prefix":"10.1145","author":[{"given":"Klaus Dieter","family":"Schewe","sequence":"first","affiliation":[{"name":"Information Science Research Centre, Palmerston North, New Zealand"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernhard","family":"Thalheim","sequence":"additional","affiliation":[{"name":"University of Kiel, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qing","family":"Wang","sequence":"additional","affiliation":[{"name":"Information Science Research Centre, Palmerston North, New Zealand"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2008,11,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007352.1007390"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-003-0012-7"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines","author":"B\u00f6rger E.","year":"2003","unstructured":"E. B\u00f6rger and R. St\u00e4rk . Abstract State Machines . Springer-Verlag , Berlin Heidelberg New York, 2003 . E. B\u00f6rger and R. St\u00e4rk. Abstract State Machines. Springer-Verlag, Berlin Heidelberg New York, 2003."},{"key":"e_1_3_2_1_4_1","volume-title":"Java and the Java Virtual Machine: Definition, Verification and Validation","author":"B\u00f6rger E.","year":"2001","unstructured":"E. B\u00f6rger , R. St\u00e4rk , and J. Schmid . Java and the Java Virtual Machine: Definition, Verification and Validation . Springer-Verlag , Berlin Heidelberg New York, 2001 . E. B\u00f6rger, R. St\u00e4rk, and J. Schmid. Java and the Java Virtual Machine: Definition, Verification and Validation. Springer-Verlag, Berlin Heidelberg New York, 2001."},{"key":"e_1_3_2_1_5_1","volume-title":"Essential XML: Beyond Markup","author":"Box D.","year":"2000","unstructured":"D. Box , A. Skonnard , and J. Lam . Essential XML: Beyond Markup . Addison Wesley , 2000 . D. Box, A. Skonnard, and J. Lam. Essential XML: Beyond Markup. Addison Wesley, 2000."},{"key":"e_1_3_2_1_6_1","volume-title":"Definitive XML Application Development","author":"Garshol L. M.","year":"2002","unstructured":"L. M. Garshol . Definitive XML Application Development . Prentice-Hall , 2002 . L. M. Garshol. Definitive XML Application Development. Prentice-Hall, 2002."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/775152.775182"},{"key":"e_1_3_2_1_8_1","volume-title":"DOM, JDOM, JAXP","author":"Harold E. R.","year":"2002","unstructured":"E. R. Harold . Processing XML with Java: A Guide to SAX , DOM, JDOM, JAXP , and TrAX. Addison Wesley , 2002 . E. R. Harold. Processing XML with Java: A Guide to SAX, DOM, JDOM, JAXP, and TrAX. Addison Wesley, 2002."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1242572.1242714"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/335168.335173"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/543613.543622"},{"key":"e_1_3_2_1_12_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/978-3-540-77684-0_16","volume-title":"Foundations of Information and Knowledge Systems -- Proc. 5th International Symposium, FoIKS","author":"Thomo A.","year":"2008","unstructured":"A. Thomo , S. Venkatesh , and Y. Y. Ye . Visibly pushdown transducers for approximate validation of streaming XML . In S. Hartmann and G. Kern-Isberner, editors, Foundations of Information and Knowledge Systems -- Proc. 5th International Symposium, FoIKS 2008 , volume 4932 of LNCS , pages 219 -- 238 . Springer-Verlag , 2008. A. Thomo, S. Venkatesh, and Y. Y. Ye. Visibly pushdown transducers for approximate validation of streaming XML. In S. Hartmann and G. Kern-Isberner, editors, Foundations of Information and Knowledge Systems -- Proc. 5th International Symposium, FoIKS 2008, volume 4932 of LNCS, pages 219--238. Springer-Verlag, 2008."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1201\/9780203507223.ch24"}],"event":{"name":"iiWAS08: 10th International Conference on Information Integration and Web-based Applications & Services","location":"Linz Austria","acronym":"iiWAS08","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"]},"container-title":["Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1497308.1497339","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1497308.1497339","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:40Z","timestamp":1750250740000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1497308.1497339"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,24]]},"references-count":13,"alternative-id":["10.1145\/1497308.1497339","10.1145\/1497308"],"URL":"https:\/\/doi.org\/10.1145\/1497308.1497339","relation":{},"subject":[],"published":{"date-parts":[[2008,11,24]]},"assertion":[{"value":"2008-11-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}