{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:34:35Z","timestamp":1742996075656,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319601335"},{"type":"electronic","value":"9783319601342"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-60134-2_9","type":"book-chapter","created":{"date-parts":[[2017,5,27]],"date-time":"2017-05-27T12:53:09Z","timestamp":1495889589000},"page":"101-112","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Stamina: Stabilisation Monoids in Automata Theory"],"prefix":"10.1007","author":[{"given":"Nathana\u00ebl","family":"Fijalkow","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hugo","family":"Gimbert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edon","family":"Kelmendi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denis","family":"Kuperberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,28]]},"reference":[{"key":"9_CR1","unstructured":"Colcombet, T., Kuperberg, D., L\u00f6ding, C., Vanden Boom, M.: Deciding the weak definability of B\u00fcchi definable tree languages. In: CSL, pp. 215\u2013230 (2013)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Colcombet, T., L\u00f6ding, C.: The nesting-depth of disjunctive \n$$\\rm \\mu $$\n-calculus for tree languages and the limitedness problem. In: CSL, pp. 416\u2013430 (2008)","DOI":"10.1007\/978-3-540-87531-4_30"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/978-3-540-70583-3_33","volume-title":"Automata, Languages and Programming","author":"T Colcombet","year":"2008","unstructured":"Colcombet, T., L\u00f6ding, C.: The non-deterministic Mostowski hierarchy and distance-parity automata. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008. LNCS, vol. 5126, pp. 398\u2013409. Springer, Heidelberg (2008). doi:10.1007\/978-3-540-70583-3_33"},{"issue":"3","key":"9_CR4","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/S0022-0000(70)80025-3","volume":"4","author":"RS Cohen","year":"1970","unstructured":"Cohen, R.S.: Star height of certain families of regular events. J. Comput. Syst. Sci. 4(3), 281\u2013297 (1970)","journal-title":"J. Comput. Syst. Sci."},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-3-642-02930-1_12","volume-title":"Automata, Languages and Programming","author":"T Colcombet","year":"2009","unstructured":"Colcombet, T.: The theory of stabilisation monoids and regular cost functions. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009. LNCS, vol. 5556, pp. 139\u2013150. Springer, Heidelberg (2009). doi:10.1007\/978-3-642-02930-1_12"},{"issue":"3","key":"9_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-9(3:3)2013","volume":"9","author":"T Colcombet","year":"2013","unstructured":"Colcombet, T.: Regular cost-functions Part I: logic and algebra over words. Logical Meth. Comput. Sci. 9(3), 1\u201347 (2013)","journal-title":"Logical Meth. Comput. Sci."},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1307\/mmj\/1028998975","volume":"10","author":"LC Eggan","year":"1963","unstructured":"Eggan, L.C.: Transition graphs and the star-height of regular events. Mich. Math. J. 10, 385\u2013397 (1963)","journal-title":"Mich. Math. J."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Fijalkow, N., Gimbert, H., Kelmendi, E., Oualhadj, Y.: Deciding the value 1 problem for probabilistic leaktight automata. Logical Meth. Comput. Sci. 11(1) (2015). http:\/\/www.lmcs-online.org\/ojs\/viewarticle.php?id=1588","DOI":"10.2168\/LMCS-11(2:12)2015"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Fijalkow, N., Gimbert, H., Oualhadj, Y.: Deciding the value 1 problem for probabilistic leaktight automata. In: LICS, pp. 295\u2013304 (2012)","DOI":"10.1109\/LICS.2012.40"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Fijalkow, N., Kuperberg, A.D.: Automata with counters, monoids and equivalence. In: ATVA, pp. 163\u2013167 (2014)","DOI":"10.1007\/978-3-319-11936-6_12"},{"issue":"2","key":"9_CR11","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1016\/0890-5401(88)90033-8","volume":"78","author":"K Hashiguchi","year":"1988","unstructured":"Hashiguchi, K.: Algorithms for determining relative star height and star height. Inf. Comput. 78(2), 124\u2013169 (1988)","journal-title":"Inf. Comput."},{"issue":"3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1051\/ita:2005027","volume":"39","author":"D Kirsten","year":"2005","unstructured":"Kirsten, D.: Distance desert automata and the star height problem. Theor. Inf. Appl. 39(3), 455\u2013509 (2005)","journal-title":"Theor. Inf. Appl."},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45995-2_12","volume-title":"LATIN 2002: Theoretical Informatics","author":"S Lombardy","year":"2002","unstructured":"Lombardy, S., Sakarovitch, J.: Star height of reversible languages and universal automata. In: Rajsbaum, S. (ed.) LATIN 2002. LNCS, vol. 2286, pp. 76\u201390. Springer, Heidelberg (2002). doi:10.1007\/3-540-45995-2_12"},{"issue":"3","key":"9_CR14","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1016\/S0019-9958(63)90290-0","volume":"6","author":"MO Rabin","year":"1963","unstructured":"Rabin, M.O.: Probabilistic automata. Inf. Control 6(3), 230\u2013245 (1963)","journal-title":"Inf. Control"},{"issue":"3\u20134","key":"9_CR15","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1051\/ita\/1994283-402771","volume":"28","author":"I Simon","year":"1994","unstructured":"Simon, I.: On semigroups of matrices over the tropical semiring. Theor. Inf. Appl. 28(3\u20134), 277\u2013294 (1994)","journal-title":"Theor. Inf. Appl."}],"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-319-60134-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T15:31:22Z","timestamp":1710343882000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-60134-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319601335","9783319601342"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-60134-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"28 May 2017","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":"Marne-la-Vall\u00e9e","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 June 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wia2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ciaa17.univ-mlv.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}