{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T21:23:01Z","timestamp":1757625781001,"version":"3.44.0"},"publisher-location":"Cham","reference-count":9,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032026019"},{"type":"electronic","value":"9783032026026"}],"license":[{"start":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:00:00Z","timestamp":1755907200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:00:00Z","timestamp":1755907200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-02602-6_2","type":"book-chapter","created":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T08:33:52Z","timestamp":1755851632000},"page":"15-26","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Toward the\u00a0Glushkovization of\u00a0Automata: The\u00a0Strong Stabilization"],"prefix":"10.1007","author":[{"given":"Samira","family":"Attou","sequence":"first","affiliation":[]},{"given":"Ludovic","family":"Mignot","sequence":"additional","affiliation":[]},{"given":"Cl\u00e9ment","family":"Miklarz","sequence":"additional","affiliation":[]},{"given":"Florent","family":"Nicart","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,23]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Arden, D.N.: Delayed-logic and finite-state machines. In: SWCT, pp. 133\u2013151. IEEE Computer Society (1961)","DOI":"10.1109\/FOCS.1961.13"},{"issue":"2","key":"2_CR2","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/PGEC.1963.263416","volume":"12","author":"JA Brzozowski","year":"1963","unstructured":"Brzozowski, J.A., McCluskey, E.J.: Signal flow graph techniques for sequential circuit state diagrams. IEEE Trans. Electron. Comput. 12(2), 67\u201376 (1963)","journal-title":"IEEE Trans. Electron. Comput."},{"issue":"6","key":"2_CR3","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/s00236-012-0167-x","volume":"49","author":"P Caron","year":"2012","unstructured":"Caron, P., Champarnaud, J., Mignot, L.: Multi-tilde-bar expressions and their automata. Acta Informatica 49(6), 413\u2013436 (2012)","journal-title":"Acta Informatica"},{"issue":"1\u20132","key":"2_CR4","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/S0304-3975(97)00296-X","volume":"233","author":"P Caron","year":"2000","unstructured":"Caron, P., Ziadi, D.: Characterization of Glushkov automata. Theor. Comput. Sci. 233(1\u20132), 75\u201390 (2000)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"2_CR5","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/S0022-0000(76)80034-7","volume":"12","author":"A Ehrenfeucht","year":"1976","unstructured":"Ehrenfeucht, A., Zeiger, H.P.: Complexity measures for regular expressions. J. Comput. Syst. Sci. 12(2), 134\u2013146 (1976)","journal-title":"J. Comput. Syst. Sci."},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1070\/RM1961v016n05ABEH004112","volume":"16","author":"VM Glushkov","year":"1961","unstructured":"Glushkov, V.M.: The abstract theory of automata. Russian Math. Surveys 16, 1\u201353 (1961)","journal-title":"Russian Math. Surveys"},{"issue":"1","key":"2_CR7","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1109\/TEC.1960.5221603","volume":"9","author":"R McNaughton","year":"1960","unstructured":"McNaughton, R., Yamada, H.: Regular expressions and state graphs for automata. IRE Trans. Electron. Comput. 9(1), 39\u201347 (1960)","journal-title":"IRE Trans. Electron. Comput."},{"key":"2_CR8","unstructured":"Mignot, L.: Application: strong stabilization. http:\/\/ludovicmignot.free.fr\/programmes\/glushkovization. Accessed 16 Apr 2025"},{"key":"2_CR9","unstructured":"Mignot, L.: An implementation of the strong stabilization: Glushkovization\u2013Haskell (2023). https:\/\/github.com\/LudovicMignot\/glushkovization--Haskell"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-02602-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T19:29:41Z","timestamp":1757446181000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-02602-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,23]]},"ISBN":["9783032026019","9783032026026"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-02602-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,23]]},"assertion":[{"value":"23 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CIAA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Implementation and Application of Automata","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Palermo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wia2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ciaa2025.unipa.it","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}