Droste, Manfred; Grabolle, Gustav; Rahonis, George Weighted linear dynamic logic. (English) Zbl 07805942 Int. J. Found. Comput. Sci. 35, No. 1-2, 145-177 (2024). MSC: 68Qxx 03Bxx 03Dxx PDFBibTeX XMLCite \textit{M. Droste} et al., Int. J. Found. Comput. Sci. 35, No. 1--2, 145--177 (2024; Zbl 07805942) Full Text: DOI
Fülöp, Zoltán; Vogler, Heiko A comparison of sets of recognizable weighted tree languages over specific sets of bounded lattices. (English) Zbl 07805937 Int. J. Found. Comput. Sci. 35, No. 1-2, 51-76 (2024). MSC: 68Qxx 68-XX 03Bxx PDFBibTeX XMLCite \textit{Z. Fülöp} and \textit{H. Vogler}, Int. J. Found. Comput. Sci. 35, No. 1--2, 51--76 (2024; Zbl 07805937) Full Text: DOI
Paul, Erik Equivalence, unambiguity, and sequentiality of finitely ambiguous max-plus tree automata. (English) Zbl 07805936 Int. J. Found. Comput. Sci. 35, No. 1-2, 23-49 (2024). MSC: 68Qxx 68-XX 90Cxx PDFBibTeX XMLCite \textit{E. Paul}, Int. J. Found. Comput. Sci. 35, No. 1--2, 23--49 (2024; Zbl 07805936) Full Text: DOI
Bruse, Florian; Herwig, Maurice; Lange, Martin Weights of formal languages based on geometric series with an application to automatic grading. (English) Zbl 07784209 Theor. Comput. Sci. 983, Article ID 114295, 11 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Bruse} et al., Theor. Comput. Sci. 983, Article ID 114295, 11 p. (2024; Zbl 07784209) Full Text: DOI
Maletti, Andreas; Nasz, Teodora; Stier, Kevin; Ulbricht, Markus Ambiguity hierarchies for weighted tree automata. (English) Zbl 07770235 Int. J. Found. Comput. Sci. 34, No. 8, 903-921 (2023). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Maletti} et al., Int. J. Found. Comput. Sci. 34, No. 8, 903--921 (2023; Zbl 07770235) Full Text: DOI
Droste, Manfred; Fülöp, Zoltán; Kószó, Dávid Decidability boundaries for the finite-image property of weighted finite automata. (English) Zbl 07749892 Int. J. Found. Comput. Sci. 34, No. 6, 633-653 (2023). MSC: 68Qxx 20Mxx 20Fxx PDFBibTeX XMLCite \textit{M. Droste} et al., Int. J. Found. Comput. Sci. 34, No. 6, 633--653 (2023; Zbl 07749892) Full Text: DOI
Goldwurm, Massimiliano; Lin, Jianyi; Vignati, Marco Local limit laws for symbol statistics in bicomponent rational models. (English) Zbl 07723911 Theor. Comput. Sci. 970, Article ID 114051, 18 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Goldwurm} et al., Theor. Comput. Sci. 970, Article ID 114051, 18 p. (2023; Zbl 07723911) Full Text: DOI arXiv
Venkatesh, G. S.; Gray, W. Steven Formal power series approach to nonlinear systems with additive static feedback. (English) Zbl 1519.93083 Int. J. Control 96, No. 6, 1619-1637 (2023). MSC: 93B52 93B24 93C10 PDFBibTeX XMLCite \textit{G. S. Venkatesh} and \textit{W. S. Gray}, Int. J. Control 96, No. 6, 1619--1637 (2023; Zbl 1519.93083) Full Text: DOI arXiv
Bui, Van Chien; Duchamp, Gérard H. E.; Ngo, Quoc Hoan; Hoang Ngoc Minh, Vincel; Nguyen, Dinh Vu Towards a theory of domains for harmonic functions and its symbolic counterpart. (English) Zbl 07700016 Math. Comput. Sci. 17, No. 1, Paper No. 4, 20 p. (2023). MSC: 30G12 05Exx PDFBibTeX XMLCite \textit{V. C. Bui} et al., Math. Comput. Sci. 17, No. 1, Paper No. 4, 20 p. (2023; Zbl 07700016) Full Text: DOI arXiv
Fici, Gabriele; Puzynina, Svetlana Abelian combinatorics on words: a survey. (English) Zbl 07698737 Comput. Sci. Rev. 47, Article ID 100532, 21 p. (2023). MSC: 68-02 68-XX PDFBibTeX XMLCite \textit{G. Fici} and \textit{S. Puzynina}, Comput. Sci. Rev. 47, Article ID 100532, 21 p. (2023; Zbl 07698737) Full Text: DOI arXiv
Porat, Motke; Vinnikov, Victor Realizations of non-commutative rational functions around a matrix centre. II: The lost-abbey conditions. (English) Zbl 1521.16014 Integral Equations Oper. Theory 95, No. 1, Paper No. 1, 58 p. (2023). Reviewer: Wen-Fong Ke (Tainan) MSC: 16K40 47A56 93C35 16R50 46L54 90C22 PDFBibTeX XMLCite \textit{M. Porat} and \textit{V. Vinnikov}, Integral Equations Oper. Theory 95, No. 1, Paper No. 1, 58 p. (2023; Zbl 1521.16014) Full Text: DOI arXiv
Gil-Férez, José; Tsinakis, Constantine Recognizability in residuated lattices. (English) Zbl 07823892 Galatos, Nikolaos (ed.) et al., Hiroakira Ono on substructural logics. Cham: Springer. Outst. Contrib. Log. 23, 245-271 (2022). MSC: 03A05 03Bxx PDFBibTeX XMLCite \textit{J. Gil-Férez} and \textit{C. Tsinakis}, Outst. Contrib. Log. 23, 245--271 (2022; Zbl 07823892) Full Text: DOI
Lombardy, Sylvain; Sakarovitch, Jacques The net automaton of a rational expression. (English) Zbl 07719356 Castañeda, Armando (ed.) et al., Latin 2022: theoretical informatics. 15th Latin American symposium, Guanajuato, Mexico, November 7–11, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13568, 376-392 (2022). MSC: 68Qxx 68Rxx 68Wxx PDFBibTeX XMLCite \textit{S. Lombardy} and \textit{J. Sakarovitch}, Lect. Notes Comput. Sci. 13568, 376--392 (2022; Zbl 07719356) Full Text: DOI
Gray, W. Steven Entropy of generating series for nonlinear input-output systems and their interconnections. (English) Zbl 07612166 SIGMA, Symmetry Integrability Geom. Methods Appl. 18, Paper 082, 15 p. (2022). MSC: 68R15 94A17 93C10 16T30 PDFBibTeX XMLCite \textit{W. S. Gray}, SIGMA, Symmetry Integrability Geom. Methods Appl. 18, Paper 082, 15 p. (2022; Zbl 07612166) Full Text: DOI arXiv
Droste, Manfred; Fülöp, Zoltán; Kószó, Dávid; Vogler, Heiko Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. (English) Zbl 07524445 Theor. Comput. Sci. 919, 118-143 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Droste} et al., Theor. Comput. Sci. 919, 118--143 (2022; Zbl 07524445) Full Text: DOI arXiv
Droste, Manfred; Dück, Stefan; Mandrioli, Dino; Pradella, Matteo Weighted operator precedence languages. (English) Zbl 1483.68162 Inf. Comput. 282, Article ID 104658, 26 p. (2022). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{M. Droste} et al., Inf. Comput. 282, Article ID 104658, 26 p. (2022; Zbl 1483.68162) Full Text: DOI arXiv Link
Fülöp, Zoltán; Vogler, Heiko Principal abstract families of weighted tree languages. (English) Zbl 1526.68005 Inf. Comput. 282, Article ID 104657, 33 p. (2022). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{Z. Fülöp} and \textit{H. Vogler}, Inf. Comput. 282, Article ID 104657, 33 p. (2022; Zbl 1526.68005) Full Text: DOI
Almagor, Shaull; Boker, Udi; Kupferman, Orna What’s decidable about weighted automata? (English) Zbl 1526.68003 Inf. Comput. 282, Article ID 104651, 20 p. (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Almagor} et al., Inf. Comput. 282, Article ID 104651, 20 p. (2022; Zbl 1526.68003) Full Text: DOI Link
Grigoriev, Dima Entropy of tropical holonomic sequences. (English) Zbl 1467.14161 J. Symb. Comput. 108, 91-97 (2022). MSC: 14T15 05A15 11B37 68W30 PDFBibTeX XMLCite \textit{D. Grigoriev}, J. Symb. Comput. 108, 91--97 (2022; Zbl 1467.14161) Full Text: DOI arXiv
Kiefer, Stefan; Widdershoven, Cas Image-binary automata. (English) Zbl 07614751 Han, Yo-Sub (ed.) et al., Descriptional complexity of formal systems. 23rd IFIP WG 1.02 international conference, DCFS 2021, virtual event, September 5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13037, 176-187 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{S. Kiefer} and \textit{C. Widdershoven}, Lect. Notes Comput. Sci. 13037, 176--187 (2021; Zbl 07614751) Full Text: DOI arXiv
Stier, Kevin; Ulbricht, Markus Disambiguation of weighted tree automata. (English) Zbl 07614750 Han, Yo-Sub (ed.) et al., Descriptional complexity of formal systems. 23rd IFIP WG 1.02 international conference, DCFS 2021, virtual event, September 5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13037, 163-175 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{K. Stier} and \textit{M. Ulbricht}, Lect. Notes Comput. Sci. 13037, 163--175 (2021; Zbl 07614750) Full Text: DOI
Fülöp, Zoltán; Kószo, Dávid; Vogler, Heiko Crisp-determinization of weighted tree automata over strong bimonoids. (English) Zbl 1496.68208 Discrete Math. Theor. Comput. Sci. 23, No. 1, Paper No. 18, 44 p. (2021). MSC: 68Q70 20M35 PDFBibTeX XMLCite \textit{Z. Fülöp} et al., Discrete Math. Theor. Comput. Sci. 23, No. 1, Paper No. 18, 44 p. (2021; Zbl 1496.68208) Full Text: DOI arXiv Link
Lagarias, Jeffrey C. Conway’s work on iteration. (English) Zbl 1490.01056 Math. Intell. 43, No. 2, 3-9 (2021). MSC: 01A70 PDFBibTeX XMLCite \textit{J. C. Lagarias}, Math. Intell. 43, No. 2, 3--9 (2021; Zbl 1490.01056) Full Text: DOI
Maletti, Andreas; Nasz, Teodora; Stier, Kevin; Ulbricht, Markus Ambiguity hierarchies for weighted tree automata. (English) Zbl 07495111 Maneth, Sebastian (ed.), Implementation and application of automata. 25th international conference, CIAA 2021, virtual event, July 19–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12803, 140-151 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Maletti} et al., Lect. Notes Comput. Sci. 12803, 140--151 (2021; Zbl 07495111) Full Text: DOI
Ésik, Zoltán Equational theories for automata. (English) Zbl 1518.68216 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 729-764 (2021). Reviewer: Guillermo Morales Luna (Ciudad de México) MSC: 68Q70 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik}, in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 729--764 (2021; Zbl 1518.68216) Full Text: DOI
Droste, Manfred; Kuske, Dietrich Weighted automata. (English) Zbl 1508.68189 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 113-150 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Droste} and \textit{D. Kuske}, in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 113--150 (2021; Zbl 1508.68189) Full Text: DOI
Sakarovitch, Jacques Automata and rational expressions. (English) Zbl 1516.68048 Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 39-78 (2021). Reviewer: Roger Villemaire (Montréal) MSC: 68Q45 68Q70 PDFBibTeX XMLCite \textit{J. Sakarovitch}, in: Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 39--78 (2021; Zbl 1516.68048) Full Text: DOI arXiv
Porat, Motke; Vinnikov, Victor Realizations of non-commutative rational functions around a matrix centre. I: synthesis, minimal realizations and evaluation on stably finite algebras. (English) Zbl 1494.16017 J. Lond. Math. Soc., II. Ser. 104, No. 3, 1250-1299 (2021). Reviewer: Adam Chapman (Tel Hai) MSC: 16K40 47A56 93C35 16R50 46L54 90C22 PDFBibTeX XMLCite \textit{M. Porat} and \textit{V. Vinnikov}, J. Lond. Math. Soc., II. Ser. 104, No. 3, 1250--1299 (2021; Zbl 1494.16017) Full Text: DOI arXiv
Honkala, Juha Quasi-universal \(k\)-regular sequences. (English) Zbl 1523.11050 Theor. Comput. Sci. 891, 84-89 (2021). Reviewer: Roger Villemaire (Montréal) MSC: 11B85 68Q70 PDFBibTeX XMLCite \textit{J. Honkala}, Theor. Comput. Sci. 891, 84--89 (2021; Zbl 1523.11050) Full Text: DOI
Paul, Erik Finite sequentiality of unambiguous max-plus tree automata. (English) Zbl 1517.68211 Theory Comput. Syst. 65, No. 4, 736-776 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{E. Paul}, Theory Comput. Syst. 65, No. 4, 736--776 (2021; Zbl 1517.68211) Full Text: DOI
Gray, W. Steven; Ebrahimi-Fard, Kurusch Generating series for networks of Chen-Fliess series. (English) Zbl 1454.93090 Syst. Control Lett. 147, Article ID 104827, 9 p. (2021). MSC: 93B70 93C10 PDFBibTeX XMLCite \textit{W. S. Gray} and \textit{K. Ebrahimi-Fard}, Syst. Control Lett. 147, Article ID 104827, 9 p. (2021; Zbl 1454.93090) Full Text: DOI arXiv
Banderier, Cyril; Goldwurm, Massimiliano Number of prefixes in trace monoids: clique polynomials and dependency graphs. (English) Zbl 07633513 Anselmo, Marcella (ed.) et al., Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12098, 251-263 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{C. Banderier} and \textit{M. Goldwurm}, Lect. Notes Comput. Sci. 12098, 251--263 (2020; Zbl 07633513) Full Text: DOI
Engelfriet, Joost; Vogler, Heiko A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage. (English) Zbl 1477.68151 Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 3, 48 p. (2020). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{H. Vogler}, Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 3, 48 p. (2020; Zbl 1477.68151) Full Text: DOI arXiv Link
Gray, W. Steven; Venkatesh, G. S.; Duffaut Espinosa, Luis A. Nonlinear system identification for multivariable control via discrete-time Chen-Fliess series. (English) Zbl 1453.93061 Automatica 119, Article ID 109085, 8 p. (2020). Reviewer: Denis Sidorov (Irkutsk) MSC: 93B30 93C35 93C40 93C10 PDFBibTeX XMLCite \textit{W. S. Gray} et al., Automatica 119, Article ID 109085, 8 p. (2020; Zbl 1453.93061) Full Text: DOI
Grigoriev, Dima Tropical recurrent sequences. (English) Zbl 1441.14204 Adv. Appl. Math. 116, Article ID 102012, 15 p. (2020). MSC: 14T15 PDFBibTeX XMLCite \textit{D. Grigoriev}, Adv. Appl. Math. 116, Article ID 102012, 15 p. (2020; Zbl 1441.14204) Full Text: DOI arXiv
Droste, Manfred; Gastin, Paul Aperiodic weighted automata and weighted first-order logic. (English) Zbl 07561720 Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 76, 15 p. (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Droste} and \textit{P. Gastin}, LIPIcs -- Leibniz Int. Proc. Inform. 138, Article 76, 15 p. (2019; Zbl 07561720) Full Text: DOI arXiv
Paul, Erik Finite sequentiality of unambiguous max-plus tree automata. (English) Zbl 1517.68212 Niedermeier, Rolf (ed.) et al., 36th international symposium on theoretical aspects of computer science, STACS 2019, March 13–16, 2019, Berlin, Germany. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 126, Article 55, 17 p. (2019). MSC: 68Q45 PDFBibTeX XMLCite \textit{E. Paul}, LIPIcs -- Leibniz Int. Proc. Inform. 126, Article 55, 17 p. (2019; Zbl 1517.68212) Full Text: DOI
Hoang Ngoc Minh, Vincel On the solutions of the universal differential equation with three regular singularities (on solutions of \(KZ_3)\). (English) Zbl 1492.05164 Confluentes Math. 11, No. 2, 25-64 (2019). MSC: 05E16 11M32 16T05 20F10 33F10 44A20 16T30 PDFBibTeX XMLCite \textit{V. Hoang Ngoc Minh}, Confluentes Math. 11, No. 2, 25--64 (2019; Zbl 1492.05164) Full Text: DOI
Duchamp, G. H. E.; Hoang Ngoc Minh, V.; Hoan, Ngo Quoc Kleene stars of the plane, polylogarithms and symmetries. (English) Zbl 1436.68169 Theor. Comput. Sci. 800, 52-72 (2019). MSC: 68Q45 11G55 PDFBibTeX XMLCite \textit{G. H. E. Duchamp} et al., Theor. Comput. Sci. 800, 52--72 (2019; Zbl 1436.68169) Full Text: DOI arXiv
Giraudo, Samuele Colored operads, series on colored operads, and combinatorial generating systems. (English) Zbl 1412.68142 Discrete Math. 342, No. 6, 1624-1657 (2019). MSC: 68Q70 05E15 18D50 68Q42 PDFBibTeX XMLCite \textit{S. Giraudo}, Discrete Math. 342, No. 6, 1624--1657 (2019; Zbl 1412.68142) Full Text: DOI arXiv
Bilotta, S.; Pergola, E.; Pinzani, R.; Rinaldi, S. Recurrence relations, succession rules and the positivity problem. (English) Zbl 1425.05019 J. Comput. Syst. Sci. 104, 102-118 (2019). MSC: 05A99 68R15 PDFBibTeX XMLCite \textit{S. Bilotta} et al., J. Comput. Syst. Sci. 104, 102--118 (2019; Zbl 1425.05019) Full Text: DOI Link
Bailly, Raphaël; Rabusseau, Guillaume; Denis, François Recognizable series on graphs and hypergraphs. (English) Zbl 1423.68162 J. Comput. Syst. Sci. 104, 58-81 (2019). MSC: 68Q05 05C65 15A69 PDFBibTeX XMLCite \textit{R. Bailly} et al., J. Comput. Syst. Sci. 104, 58--81 (2019; Zbl 1423.68162) Full Text: DOI
Ibarra, Oscar H.; McQuillan, Ian; Ravikumar, Bala On counting functions and slenderness of languages. (English) Zbl 1484.68090 Theor. Comput. Sci. 777, 356-378 (2019). Reviewer: György Vaszil (Debrecen) MSC: 68Q45 68Q04 68Q42 PDFBibTeX XMLCite \textit{O. H. Ibarra} et al., Theor. Comput. Sci. 777, 356--378 (2019; Zbl 1484.68090) Full Text: DOI arXiv
Gray, W. Steven; Venkatesh, G. S. Relative degree of interconnected SISO nonlinear control systems. (English) Zbl 1408.93044 Syst. Control Lett. 124, 99-105 (2019). MSC: 93B15 93C10 93B52 PDFBibTeX XMLCite \textit{W. S. Gray} and \textit{G. S. Venkatesh}, Syst. Control Lett. 124, 99--105 (2019; Zbl 1408.93044) Full Text: DOI
Basold, Henning; Hansen, Helle Hvid; Pin, Jean-Éric; Rutten, Jan Newton series, coinductively: a comparative study of composition. (English) Zbl 1407.68317 Math. Struct. Comput. Sci. 29, No. 1, 38-66 (2019). MSC: 68Q70 PDFBibTeX XMLCite \textit{H. Basold} et al., Math. Struct. Comput. Sci. 29, No. 1, 38--66 (2019; Zbl 1407.68317) Full Text: DOI
König, Barbara; Küpper, Sebastian A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata. (English) Zbl 1398.68353 Soft Comput. 22, No. 4, 1103-1120 (2018). MSC: 68Q70 PDFBibTeX XMLCite \textit{B. König} and \textit{S. Küpper}, Soft Comput. 22, No. 4, 1103--1120 (2018; Zbl 1398.68353) Full Text: DOI
Bui, Van Chien; Duchamp, Gérard H. E.; Ngô, Quoc Huan; Minh, Vincel Hoang Ngoc; Tollu, Christophe (Pure) transcendence bases in \(\varphi\)-deformed shuffle bialgebras. (English) Zbl 1396.05119 Sémin. Lothar. Comb. 74(2015-2018), Article B74f, 22 p. (2018). MSC: 05E15 11M32 37F35 PDFBibTeX XMLCite \textit{V. C. Bui} et al., Sémin. Lothar. Comb. 74, Article B74f, 22 p. (2018; Zbl 1396.05119) Full Text: arXiv Link
Milius, Stefan Proper functors and fixed points for finite behaviour. (English) Zbl 1448.18008 Log. Methods Comput. Sci. 14, No. 3, Paper No. 22, 32 p. (2018). Reviewer: Ernst-Erich Doberkat (Dortmund) MSC: 18C20 68Q55 18C50 PDFBibTeX XMLCite \textit{S. Milius}, Log. Methods Comput. Sci. 14, No. 3, Paper No. 22, 32 p. (2018; Zbl 1448.18008) Full Text: DOI arXiv
Bhuniya, Anjan Kumar; Jana, Kanchan Representation of normal bands as semigroups of \(k\)-bi-ideals of a semiring. (English) Zbl 1420.16032 Algebra Univers. 79, No. 1, Paper No. 6, 9 p. (2018). MSC: 16Y60 PDFBibTeX XMLCite \textit{A. K. Bhuniya} and \textit{K. Jana}, Algebra Univers. 79, No. 1, Paper No. 6, 9 p. (2018; Zbl 1420.16032) Full Text: DOI
Balle, Borja; Mohri, Mehryar Generalization bounds for learning weighted automata. (English) Zbl 1388.68148 Theor. Comput. Sci. 716, 89-106 (2018). MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{B. Balle} and \textit{M. Mohri}, Theor. Comput. Sci. 716, 89--106 (2018; Zbl 1388.68148) Full Text: DOI arXiv
Zhuang, Yan A generalized Goulden-Jackson cluster method and lattice path enumeration. (English) Zbl 1376.05009 Discrete Math. 341, No. 2, 358-379 (2018). MSC: 05A15 05C30 05C38 PDFBibTeX XMLCite \textit{Y. Zhuang}, Discrete Math. 341, No. 2, 358--379 (2018; Zbl 1376.05009) Full Text: DOI arXiv
Paul, Erik The equivalence, unambiguity and sequentiality problems of finitely ambiguous max-plus tree automata are decidable. (English) Zbl 1441.68128 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 53, 13 p. (2017). MSC: 68Q45 PDFBibTeX XMLCite \textit{E. Paul}, LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 53, 13 p. (2017; Zbl 1441.68128) Full Text: DOI
Droste, Manfred; Dück, Stefan; Mandrioli, Dino; Pradella, Matteo Weighted operator precedence languages. (English) Zbl 1441.68121 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 31, 15 p. (2017). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{M. Droste} et al., LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 31, 15 p. (2017; Zbl 1441.68121) Full Text: DOI
Duchamp, G. H. E.; Minh, V. Hoang Ngoc; Ngo Quoc Hoan; Penson, K.; Simonnet, P. Mathematical renormalization in quantum electrodynamics via noncommutative generating series. (English) Zbl 1386.81144 Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). Springer Proceedings in Mathematics & Statistics 198, 59-100 (2017). MSC: 81V10 81T15 11G55 05A15 13P05 17B81 78A60 PDFBibTeX XMLCite \textit{G. H. E. Duchamp} et al., Springer Proc. Math. Stat. 198, 59--100 (2017; Zbl 1386.81144) Full Text: DOI arXiv
Calvo-Zaragoza, Jorge; Oncina, Jose; de la Higuera, Colin Computing the expected edit distance from a string to a probabilistic finite-state automaton. (English) Zbl 1380.68250 Int. J. Found. Comput. Sci. 28, No. 5, 603-621 (2017). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Calvo-Zaragoza} et al., Int. J. Found. Comput. Sci. 28, No. 5, 603--621 (2017; Zbl 1380.68250) Full Text: DOI
Le Hoang Mai; Nguyen Xuan Tuyen Some remarks on the Jacobson radical types of semirings and related problems. (English) Zbl 1373.16074 Vietnam J. Math. 45, No. 3, 493-506 (2017). MSC: 16Y60 16N99 PDFBibTeX XMLCite \textit{Le Hoang Mai} and \textit{Nguyen Xuan Tuyen}, Vietnam J. Math. 45, No. 3, 493--506 (2017; Zbl 1373.16074) Full Text: DOI
Gray, W. Steven; Duffaut Espinosa, Luis A.; Ebrahimi-Fard, Kurusch Discrete-time approximations of Fliess operators. (English) Zbl 1369.93245 Numer. Math. 137, No. 1, 35-62 (2017). MSC: 93C10 93C55 93C15 93B17 65L70 93B40 PDFBibTeX XMLCite \textit{W. S. Gray} et al., Numer. Math. 137, No. 1, 35--62 (2017; Zbl 1369.93245) Full Text: DOI arXiv
Horčík, Rostislav On square-increasing ordered monoids and idempotent semirings. (English) Zbl 1420.06024 Semigroup Forum 94, No. 2, 297-313 (2017). MSC: 06F05 03B25 16Y60 PDFBibTeX XMLCite \textit{R. Horčík}, Semigroup Forum 94, No. 2, 297--313 (2017; Zbl 1420.06024) Full Text: DOI
Gray, W. Steven; Ebrahimi-Fard, Kurusch SISO output affine feedback transformation group and its Faà di Bruno Hopf algebra. (English) Zbl 1361.93016 SIAM J. Control Optim. 55, No. 2, 885-912 (2017). MSC: 93B52 93B25 93C10 93B18 16T30 PDFBibTeX XMLCite \textit{W. S. Gray} and \textit{K. Ebrahimi-Fard}, SIAM J. Control Optim. 55, No. 2, 885--912 (2017; Zbl 1361.93016) Full Text: DOI arXiv
Ara, P.; Goodearl, K. R. The realization problem for some wild monoids and the Atiyah problem. (English) Zbl 1405.16013 Trans. Am. Math. Soc. 369, No. 8, 5665-5710 (2017). Reviewer: Jae Keol Park (Pusan) MSC: 16E50 16D70 20C07 16S34 16D40 PDFBibTeX XMLCite \textit{P. Ara} and \textit{K. R. Goodearl}, Trans. Am. Math. Soc. 369, No. 8, 5665--5710 (2017; Zbl 1405.16013) Full Text: DOI arXiv
Droste, Manfred; Dück, Stefan Weighted automata and logics for infinite nested words. (English) Zbl 1364.68249 Inf. Comput. 253, Part 3, 448-466 (2017). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{M. Droste} and \textit{S. Dück}, Inf. Comput. 253, Part 3, 448--466 (2017; Zbl 1364.68249) Full Text: DOI arXiv
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio The calculus of signal flow diagrams. I: Linear relations on streams. (English) Zbl 1355.68188 Inf. Comput. 252, 2-29 (2017). MSC: 68Q85 18D10 68Q42 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Inf. Comput. 252, 2--29 (2017; Zbl 1355.68188) Full Text: DOI
Li, Zhonghua; Qin, Chen Shuffle product formulas of multiple zeta values. (English) Zbl 1419.11107 J. Number Theory 171, 79-111 (2017). MSC: 11M32 PDFBibTeX XMLCite \textit{Z. Li} and \textit{C. Qin}, J. Number Theory 171, 79--111 (2017; Zbl 1419.11107) Full Text: DOI arXiv
Droste, Manfred; Rahonis, George Weighted linear dynamic logic. (English) Zbl 1478.03065 Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 149-163 (2016). MSC: 03B70 03D05 68Q45 PDFBibTeX XMLCite \textit{M. Droste} and \textit{G. Rahonis}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 149--163 (2016; Zbl 1478.03065) Full Text: arXiv Link
Droste, Manfred; Perevoshchikov, Vitaly Multi-weighted automata and MSO logic. (English) Zbl 1356.68130 Theory Comput. Syst. 59, No. 2, 231-261 (2016). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{M. Droste} and \textit{V. Perevoshchikov}, Theory Comput. Syst. 59, No. 2, 231--261 (2016; Zbl 1356.68130) Full Text: DOI arXiv
Calvo-Zaragoza, Jorge; de la Higuera, Colin; Oncina, Jose Computing the expected edit distance from a string to a PFA. (English) Zbl 1379.68219 Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40945-0/pbk; 978-3-319-40946-7/ebook). Lecture Notes in Computer Science 9705, 39-50 (2016). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Calvo-Zaragoza} et al., Lect. Notes Comput. Sci. 9705, 39--50 (2016; Zbl 1379.68219) Full Text: DOI Link
Paul, Erik On finite and polynomial ambiguity of weighted tree automata. (English) Zbl 1436.68186 Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9840, 368-379 (2016). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{E. Paul}, Lect. Notes Comput. Sci. 9840, 368--379 (2016; Zbl 1436.68186) Full Text: DOI
Dück, Stefan Weighted automata and logics on infinite graphs. (English) Zbl 1436.03214 Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9840, 151-163 (2016). MSC: 03D05 05C63 PDFBibTeX XMLCite \textit{S. Dück}, Lect. Notes Comput. Sci. 9840, 151--163 (2016; Zbl 1436.03214) Full Text: DOI
Rot, Jurriaan; Bonchi, Filippo; Bonsangue, Marcello; Pous, Damien; Rutten, Jan; Silva, Alexandra Enhanced coalgebraic bisimulation. (English) Zbl 1380.68300 Math. Struct. Comput. Sci. 27, No. 7, 1236-1264 (2017). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 68Q85 18B20 18C15 18C50 68Q55 68Q70 PDFBibTeX XMLCite \textit{J. Rot} et al., Math. Struct. Comput. Sci. 27, No. 7, 1236--1264 (2015; Zbl 1380.68300) Full Text: DOI
Balle, Borja; Mohri, Mehryar Learning weighted automata. (English) Zbl 1401.68144 Maletti, Andreas (ed.), Algebraic informatics. 6th international conference, CAI 2015, Stuttgart, Germany, September 1–4, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23020-7/pbk; 978-3-319-23021-4/ebook). Lecture Notes in Computer Science 9270, 1-21 (2015). MSC: 68Q45 68Q32 68Q70 PDFBibTeX XMLCite \textit{B. Balle} and \textit{M. Mohri}, Lect. Notes Comput. Sci. 9270, 1--21 (2015; Zbl 1401.68144) Full Text: DOI
Balle, Borja; Carreras, Xavier; Luque, Franco M.; Quattoni, Ariadna Spectral learning of weighted automata. A forward-backward perspective. (English) Zbl 1317.68088 Mach. Learn. 96, No. 1-2, 33-63 (2014). MSC: 68Q45 68Q32 PDFBibTeX XMLCite \textit{B. Balle} et al., Mach. Learn. 96, No. 1--2, 33--63 (2014; Zbl 1317.68088) Full Text: DOI
Gray, W. Steven; Duffaut Espinosa, Luis A.; Thitsa, Makhin Left inversion of analytic nonlinear SISO systems via formal power series methods. (English) Zbl 1297.93091 Automatica 50, No. 9, 2381-2388 (2014). MSC: 93C10 93B18 93B52 PDFBibTeX XMLCite \textit{W. S. Gray} et al., Automatica 50, No. 9, 2381--2388 (2014; Zbl 1297.93091) Full Text: DOI
Armstrong, Alasdair; Struth, Georg; Weber, Tjark Programming and automating mathematics in the Tarski-Kleene hierarchy. (English) Zbl 1434.68637 J. Log. Algebr. Methods Program. 83, No. 2, 87-102 (2014). MSC: 68V15 03G15 68V20 PDFBibTeX XMLCite \textit{A. Armstrong} et al., J. Log. Algebr. Methods Program. 83, No. 2, 87--102 (2014; Zbl 1434.68637) Full Text: DOI
Dumas, Philippe Asymptotic expansions for linear homogeneous divide-and-conquer recurrences: algebraic and analytic approaches collated. (English) Zbl 1360.11083 Theor. Comput. Sci. 548, 25-53 (2014). MSC: 11K16 68R15 94A55 PDFBibTeX XMLCite \textit{P. Dumas}, Theor. Comput. Sci. 548, 25--53 (2014; Zbl 1360.11083) Full Text: DOI
Droste, Manfred; Kuich, Werner Weighted finite automata over hemirings. (English) Zbl 1292.68103 Theor. Comput. Sci. 485, 38-48 (2013). MSC: 68Q45 68Q70 PDFBibTeX XMLCite \textit{M. Droste} and \textit{W. Kuich}, Theor. Comput. Sci. 485, 38--48 (2013; Zbl 1292.68103) Full Text: DOI
Hoang Ngoc Minh, V. On a conjecture by Pierre Cartier about a group of associators. (English) Zbl 1283.11122 Acta Math. Vietnam. 38, No. 3, 339-398 (2013). MSC: 11M32 05E15 12H05 17B01 33B15 37F25 PDFBibTeX XMLCite \textit{V. Hoang Ngoc Minh}, Acta Math. Vietnam. 38, No. 3, 339--398 (2013; Zbl 1283.11122) Full Text: DOI
Dumas, Philippe Joint spectral radius, dilation equations, and asymptotic behavior of radix-rational sequences. (English) Zbl 1368.11005 Linear Algebra Appl. 438, No. 5, 2107-2126 (2013). Reviewer: Jean-Paul Allouche (Paris) MSC: 11A63 41A60 PDFBibTeX XMLCite \textit{P. Dumas}, Linear Algebra Appl. 438, No. 5, 2107--2126 (2013; Zbl 1368.11005) Full Text: DOI
Kaliuzhnyi-Verbovetskyi, Dmitry S.; Vinnikov, Victor Noncommutative rational functions, their difference-differential calculus and realizations. (English) Zbl 1255.93073 Multidimensional Syst. Signal Process. 23, No. 1-2, 49-77 (2012). MSC: 93C35 93B25 PDFBibTeX XMLCite \textit{D. S. Kaliuzhnyi-Verbovetskyi} and \textit{V. Vinnikov}, Multidimensional Syst. Signal Process. 23, No. 1--2, 49--77 (2012; Zbl 1255.93073) Full Text: DOI arXiv
Droste, Manfred; Meinecke, Ingmar Weighted automata and weighted MSO logics for average and long-time behaviors. (English) Zbl 1279.68148 Inf. Comput. 220-221, 44-59 (2012). MSC: 68Q45 68Q70 PDFBibTeX XMLCite \textit{M. Droste} and \textit{I. Meinecke}, Inf. Comput. 220--221, 44--59 (2012; Zbl 1279.68148) Full Text: DOI
Honkala, Juha Marked D0L systems and the \(2n\)-conjecture. (English) Zbl 1242.68145 Theor. Comput. Sci. 432, 94-97 (2012). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Honkala}, Theor. Comput. Sci. 432, 94--97 (2012; Zbl 1242.68145) Full Text: DOI
Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra A coalgebraic perspective on linear weighted automata. (English) Zbl 1279.68235 Inf. Comput. 211, 77-105 (2012). MSC: 68Q70 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Inf. Comput. 211, 77--105 (2012; Zbl 1279.68235) Full Text: DOI
Droste, Manfred; Vogler, Heiko Weighted automata and multi-valued logics over arbitrary bounded lattices. (English) Zbl 1245.03060 Theor. Comput. Sci. 418, 14-36 (2012). Reviewer: Roger Villemaire (Montréal) MSC: 03D05 03B50 68Q70 PDFBibTeX XMLCite \textit{M. Droste} and \textit{H. Vogler}, Theor. Comput. Sci. 418, 14--36 (2012; Zbl 1245.03060) Full Text: DOI
Niqui, M.; Rutten, J. J. M. M. A proof of Moessner’s theorem by coinduction. (English) Zbl 1256.68120 High.-Order Symb. Comput. 24, No. 3, 191-206 (2011). MSC: 68Q65 03B35 68Q85 PDFBibTeX XMLCite \textit{M. Niqui} and \textit{J. J. M. M. Rutten}, High.-Order Symb. Comput. 24, No. 3, 191--206 (2011; Zbl 1256.68120) Full Text: DOI
Kornai, András Probabilistic grammars and languages. (English) Zbl 1259.03042 J. Logic Lang. Inf. 20, No. 3, 317-328 (2011). MSC: 03B65 68Q42 68Q45 68Q87 PDFBibTeX XMLCite \textit{A. Kornai}, J. Logic Lang. Inf. 20, No. 3, 317--328 (2011; Zbl 1259.03042) Full Text: DOI Link
Honkala, Juha A characterization of rational D0L power series. (English) Zbl 1234.68274 Acta Inf. 48, No. 1, 19-24 (2011). MSC: 68Q70 68Q45 PDFBibTeX XMLCite \textit{J. Honkala}, Acta Inf. 48, No. 1, 19--24 (2011; Zbl 1234.68274) Full Text: DOI
Bernabei, Maria Simonetta; Thaler, Horst A noncommutative enumeration problem. (English) Zbl 1236.05009 Int. J. Comb. 2011, Article ID 403140, 9 p. (2011). MSC: 05A15 PDFBibTeX XMLCite \textit{M. S. Bernabei} and \textit{H. Thaler}, Int. J. Comb. 2011, Article ID 403140, 9 p. (2011; Zbl 1236.05009) Full Text: DOI arXiv
Honkala, Juha The cyclicity problem for the images of \(q\)-rational series. (English) Zbl 1261.11027 RAIRO, Theor. Inform. Appl. 45, No. 4, 375-381 (2011). Reviewer: Mihai Prunescu (Freiburg i. Br.) MSC: 11B85 11U05 68Q45 PDFBibTeX XMLCite \textit{J. Honkala}, RAIRO, Theor. Inform. Appl. 45, No. 4, 375--381 (2011; Zbl 1261.11027) Full Text: DOI EuDML
Izhakian, Zur; Rhodes, John; Steinberg, Benjamin Representation theory of finite semigroups over semirings. (English) Zbl 1260.20084 J. Algebra 336, No. 1, 139-157 (2011). MSC: 20M30 16Y60 PDFBibTeX XMLCite \textit{Z. Izhakian} et al., J. Algebra 336, No. 1, 139--157 (2011; Zbl 1260.20084) Full Text: DOI arXiv
Fichtner, Ina; Mathissen, Christian Rational transformations and a Kleene theorem for power series over rational monoids. (English) Zbl 1350.68191 Kuich, Werner (ed.) et al., Algebraic foundations in computer science. Essays dedicated to Symeon Bozapalidis on the occasion of his retirement. Berlin: Springer (ISBN 978-3-642-24896-2/pbk). Lecture Notes in Computer Science 7020, 94-111 (2011). MSC: 68Q70 PDFBibTeX XMLCite \textit{I. Fichtner} and \textit{C. Mathissen}, Lect. Notes Comput. Sci. 7020, 94--111 (2011; Zbl 1350.68191) Full Text: DOI
Charlier, Émilie; Rampersad, Narad The growth function of \(S\)-recognizable sets. (English) Zbl 1222.68100 Theor. Comput. Sci. 412, No. 39, 5400-5408 (2011). MSC: 68Q45 68R15 PDFBibTeX XMLCite \textit{É. Charlier} and \textit{N. Rampersad}, Theor. Comput. Sci. 412, No. 39, 5400--5408 (2011; Zbl 1222.68100) Full Text: DOI arXiv
Deneufchâtel, Matthieu; Duchamp, Gérard H. E.; Hoang Ngoc Minh, Vincel; Solomon, Allan I. Independence of hyperlogarithms over function fields via algebraic combinatorics. (English) Zbl 1279.11069 Winkler, Franz (ed.), Algebraic informatics. 4th international conference, CAI 2011, Linz, Austria, June 21–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21492-9/pbk). Lecture Notes in Computer Science 6742, 127-139 (2011). MSC: 11G55 34M15 PDFBibTeX XMLCite \textit{M. Deneufchâtel} et al., Lect. Notes Comput. Sci. 6742, 127--139 (2011; Zbl 1279.11069) Full Text: DOI arXiv
Jančić, Zorana; Ignjatović, Jelena; Ćirić, Miroslav An improved algorithm for determinization of weighted and fuzzy automata. (English) Zbl 1216.68144 Inf. Sci. 181, No. 7, 1358-1368 (2011). MSC: 68Q45 PDFBibTeX XMLCite \textit{Z. Jančić} et al., Inf. Sci. 181, No. 7, 1358--1368 (2011; Zbl 1216.68144) Full Text: DOI
Blondel, Vincent; Gaubert, Stéphane; Portier, Natacha The set of realizations of a max-plus linear sequence is semi-polyhedral. (English) Zbl 1215.68108 J. Comput. Syst. Sci. 77, No. 4, 820-833 (2011). MSC: 68Q25 15A80 16Y60 PDFBibTeX XMLCite \textit{V. Blondel} et al., J. Comput. Syst. Sci. 77, No. 4, 820--833 (2011; Zbl 1215.68108) Full Text: DOI arXiv
Fichtner, Ina Weighted picture automata and weighted logics. (English) Zbl 1229.03035 Theory Comput. Syst. 48, No. 1, 48-78 (2011). Reviewer: Magnus Steinby (Turku) MSC: 03D05 68Q45 68Q70 PDFBibTeX XMLCite \textit{I. Fichtner}, Theory Comput. Syst. 48, No. 1, 48--78 (2011; Zbl 1229.03035) Full Text: DOI
Droste, Manfred; Vogler, Heiko Weighted logics for unranked tree automata. (English) Zbl 1226.03048 Theory Comput. Syst. 48, No. 1, 23-47 (2011). Reviewer: Magnus Steinby (Turku) MSC: 03D05 03B70 68P15 68Q45 68Q70 PDFBibTeX XMLCite \textit{M. Droste} and \textit{H. Vogler}, Theory Comput. Syst. 48, No. 1, 23--47 (2011; Zbl 1226.03048) Full Text: DOI
Droste, Manfred; Quaas, Karin A Kleene-Schützenberger theorem for weighted timed automata. (English) Zbl 1217.68128 Theor. Comput. Sci. 412, No. 12-14, 1140-1153 (2011). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Droste} and \textit{K. Quaas}, Theor. Comput. Sci. 412, No. 12--14, 1140--1153 (2011; Zbl 1217.68128) Full Text: DOI
Fülöp, Zoltán; Steinby, Magnus Varieties of recognizable tree series over fields. (English) Zbl 1220.68067 Theor. Comput. Sci. 412, No. 8-10, 736-752 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q45 PDFBibTeX XMLCite \textit{Z. Fülöp} and \textit{M. Steinby}, Theor. Comput. Sci. 412, No. 8--10, 736--752 (2011; Zbl 1220.68067) Full Text: DOI
Ésik, Zoltán; Maletti, Andreas Simulations of weighted tree automata. (English) Zbl 1297.68125 Domaratzki, Michael (ed.) et al., Implementation and application of automata. 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12–15, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18097-2/pbk). Lecture Notes in Computer Science 6482, 321-330 (2011). MSC: 68Q45 68Q70 PDFBibTeX XMLCite \textit{Z. Ésik} and \textit{A. Maletti}, Lect. Notes Comput. Sci. 6482, 321--330 (2011; Zbl 1297.68125) Full Text: DOI arXiv
Droste, Manfred; Meinecke, Ingmar Regular expressions on average and in the long run. (English) Zbl 1297.68123 Domaratzki, Michael (ed.) et al., Implementation and application of automata. 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12–15, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18097-2/pbk). Lecture Notes in Computer Science 6482, 211-221 (2011). MSC: 68Q45 68Q70 PDFBibTeX XMLCite \textit{M. Droste} and \textit{I. Meinecke}, Lect. Notes Comput. Sci. 6482, 211--221 (2011; Zbl 1297.68123) Full Text: DOI
Diekert, Volker; Kopecki, Steffen Complexity results and the growths of hairpin completions of regular languages (extended abstract). (English) Zbl 1297.68122 Domaratzki, Michael (ed.) et al., Implementation and application of automata. 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12–15, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18097-2/pbk). Lecture Notes in Computer Science 6482, 105-114 (2011). MSC: 68Q45 68Q17 68Q25 PDFBibTeX XMLCite \textit{V. Diekert} and \textit{S. Kopecki}, Lect. Notes Comput. Sci. 6482, 105--114 (2011; Zbl 1297.68122) Full Text: DOI