{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:10:37Z","timestamp":1771024237175,"version":"3.50.1"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030389185","type":"print"},{"value":"9783030389192","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-38919-2_47","type":"book-chapter","created":{"date-parts":[[2020,1,16]],"date-time":"2020-01-16T17:03:18Z","timestamp":1579194198000},"page":"576-586","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["On Synchronizing Tree Automata and Their Work\u2013Optimal Parallel Run, Usable for Parallel Tree Pattern Matching"],"prefix":"10.1007","author":[{"given":"\u0160t\u011bp\u00e1n","family":"Plach\u00fd","sequence":"first","affiliation":[]},{"given":"Jan","family":"Janou\u0161ek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,1,17]]},"reference":[{"key":"47_CR1","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/978-3-662-07675-0_10","volume-title":"Handbook of Formal Languages","author":"M-P B\u00e9al","year":"1997","unstructured":"B\u00e9al, M.-P., Perrin, D.: Symbolic dynamics and finite automata. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, pp. 463\u2013506. Springer, Heidelberg (1997). \nhttps:\/\/doi.org\/10.1007\/978-3-662-07675-0_10"},{"key":"47_CR2","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0020-0190(92)90078-A","volume":"41","author":"CC-Y Chen","year":"1992","unstructured":"Chen, C.C.-Y., Das, S.: Breadth-first traversal of trees and integer sorting in parallel. Inf. Process. Lett. 41, 39\u201349 (1992)","journal-title":"Inf. Process. Lett."},{"key":"47_CR3","unstructured":"Cleophas, L.G.W.A.: Tree algorithms: two taxonomies and a toolkit. Ph.D. thesis, Department of Mathematics and Computer Science (2008)"},{"key":"47_CR4","unstructured":"Comon, H., et al.: Tree automata techniques and applications (2007). \nhttp:\/\/www.grappa.univ-lille3.fr\/tata\n\n. Accessed 12 Oct 2007"},{"key":"47_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59136-5","volume-title":"Handbook of Formal Languages","year":"1997","unstructured":"G\u00e9cseg, F., Steinby, M.: Tree languages. In: Handbook of Formal Languages, vol. 3, pp. 1\u201368. Springer, New York (1997). \nhttps:\/\/doi.org\/10.1007\/978-3-642-59136-5"},{"issue":"1","key":"47_CR6","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/322290.322295","volume":"29","author":"CM Hoffmann","year":"1982","unstructured":"Hoffmann, C.M., O\u2019Donnell, M.J.: Pattern matching in trees. J. ACM 29(1), 68\u201395 (1982)","journal-title":"J. ACM"},{"key":"47_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-02979-0_9","volume-title":"Implementation and Application of Automata","author":"J Holub","year":"2009","unstructured":"Holub, J., \u0160tekr, S.: On parallel implementations of deterministic finite automata. In: Maneth, S. (ed.) CIAA 2009. LNCS, vol. 5642, pp. 54\u201364. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-02979-0_9"},{"key":"47_CR8","volume-title":"An Introduction to Parallel Algorithms","author":"JF JaJa","year":"1992","unstructured":"JaJa, J.F.: An Introduction to Parallel Algorithms. Addison Wesley Longman Publishing Co., Inc., Redwood City (1992)"},{"key":"47_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-45127-7_16","volume-title":"Rewriting Techniques and Applications","author":"M Lohrey","year":"2001","unstructured":"Lohrey, M.: On the parallel complexity of tree automata. In: Middeldorp, A. (ed.) RTA 2001. LNCS, vol. 2051, pp. 201\u2013215. Springer, Heidelberg (2001). \nhttps:\/\/doi.org\/10.1007\/3-540-45127-7_16"},{"issue":"9","key":"47_CR10","doi-asserted-by":"publisher","first-page":"995","DOI":"10.1109\/71.308536","volume":"5","author":"S.K. Prasad","year":"1994","unstructured":"Prasad, S.K., Das, S.K., Chen, C.C.-Y.: Efficient EREW PRAM algorithms for parentheses-matching. IEEE Trans. Parallel Distrib. Syst. 5(9), 995\u20131008 (1994)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"issue":"4","key":"47_CR11","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1016\/S0747-7171(08)80023-5","volume":"9","author":"R Ramesh","year":"1990","unstructured":"Ramesh, R., Ramakrishnan, I.V.: Parallel tree pattern matching. J. Symb. Comput. 9(4), 485\u2013501 (1990)","journal-title":"J. Symb. Comput."},{"issue":"5","key":"47_CR12","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1002\/scj.4690240503","volume":"24","author":"K Tarora","year":"1993","unstructured":"Tarora, K., Hirata, T., Inagaki, Y.: A parallel algorithm for tree pattern matching. Syst. Comput. Japan 24(5), 30\u201339 (1993)","journal-title":"Syst. Comput. Japan"},{"issue":"3","key":"47_CR13","first-page":"208","volume":"14","author":"J \u010cern\u00fd","year":"1964","unstructured":"\u010cern\u00fd, J.: Pozn\u00e1mka k homog\u00e9nnym experimentom s kone\u010dn\u00fdmi automatmi. Matematicko-fyzik\u00e1lny \u010dasopis 14(3), 208\u2013216 (1964)","journal-title":"Matematicko-fyzik\u00e1lny \u010dasopis"},{"key":"47_CR14","unstructured":"Rosenauerov\u00e1, B., \u010cern\u00fd, J., Pirick\u00e1, A.: On directable automata. Kybernetika 7(4), 289\u2013298 (1971)"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2020: Theory and Practice of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-38919-2_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,16]],"date-time":"2020-01-16T17:15:28Z","timestamp":1579194928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-38919-2_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030389185","9783030389192"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-38919-2_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"17 January 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SOFSEM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Current Trends in Theory and Practice of Informatics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 January 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 January 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"46","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sofsem2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/cyprusconferences.org\/sofsem2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"125","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"40","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"32% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.9","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.8","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}