Björklund, Henrik; Björklund, Johanna; Ericson, Petter Tree-based generation of restricted graph languages. (English) Zbl 07805944 Int. J. Found. Comput. Sci. 35, No. 1-2, 215-243 (2024). MSC: 68Q45 68Q32 68Q42 PDFBibTeX XMLCite \textit{H. Björklund} et al., Int. J. Found. Comput. Sci. 35, No. 1--2, 215--243 (2024; Zbl 07805944) Full Text: DOI
Maletti, Andreas Compositions of weighted extended tree transducers – the unambiguous case. (English) Zbl 07805940 Int. J. Found. Comput. Sci. 35, No. 1-2, 107-127 (2024). MSC: 68Qxx 68Txx 68-XX PDFBibTeX XMLCite \textit{A. Maletti}, Int. J. Found. Comput. Sci. 35, No. 1--2, 107--127 (2024; Zbl 07805940) Full Text: DOI
Maletti, Andreas; Nász, Andreea-Teodora Weighted tree automata with constraints. (English) Zbl 07802702 Theory Comput. Syst. 68, No. 1, 1-28 (2024). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Maletti} and \textit{A.-T. Nász}, Theory Comput. Syst. 68, No. 1, 1--28 (2024; Zbl 07802702) Full Text: DOI arXiv OA License
Maletti, Andreas; Nász, Andreea-Teodora Weighted bottom-up and top-down tree transformations are incomparable. (English) Zbl 07810936 Nagy, Benedek (ed.), Implementation and application of automata. 27th international conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14151, 218-229 (2023). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Maletti} and \textit{A.-T. Nász}, Lect. Notes Comput. Sci. 14151, 218--229 (2023; Zbl 07810936) Full Text: DOI
Feng, Fan; Maletti, Andreas Weighted two-way transducers. (English) Zbl 07798821 Inf. Comput. 295, Part B, Article ID 105094, 12 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Feng} and \textit{A. Maletti}, Inf. Comput. 295, Part B, Article ID 105094, 12 p. (2023; Zbl 07798821) 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
Blattmann, Malte; Maletti, Andreas Compositions with constant weighted extended tree transducers. (English) Zbl 07749889 Int. J. Found. Comput. Sci. 34, No. 6, 539-558 (2023). MSC: 68Qxx 68Txx 16Yxx PDFBibTeX XMLCite \textit{M. Blattmann} and \textit{A. Maletti}, Int. J. Found. Comput. Sci. 34, No. 6, 539--558 (2023; Zbl 07749889) Full Text: DOI
Maletti, Andreas; Schiffer, Lena Katharina Combinatory categorial grammars as generators of weighted forests. (English) Zbl 07742407 Inf. Comput. 294, Article ID 105075, 24 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{A. Maletti} and \textit{L. K. Schiffer}, Inf. Comput. 294, Article ID 105075, 24 p. (2023; Zbl 07742407) Full Text: DOI
Inoue, Yusuke; Hashimoto, Kenji; Seki, Hiroyuki An ambiguity hierarchy of weighted context-free grammars. (English) Zbl 07739132 Theor. Comput. Sci. 974, Article ID 114112, 12 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{Y. Inoue} et al., Theor. Comput. Sci. 974, Article ID 114112, 12 p. (2023; Zbl 07739132) Full Text: DOI
Kostolányi, Peter Polynomially ambiguous unary weighted automata over fields. (English) Zbl 07681310 Theory Comput. Syst. 67, No. 2, 291-309 (2023). MSC: 68Qxx 68-XX 68Nxx PDFBibTeX XMLCite \textit{P. Kostolányi}, Theory Comput. Syst. 67, No. 2, 291--309 (2023; Zbl 07681310) Full Text: DOI
Feng, Fan; Maletti, Andreas Weighted two-way transducers. (English) Zbl 07719134 Poulakis, Dimitrios (ed.) et al., Algebraic informatics. 9th international conference, CAI 2022, virtual event, October 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13706, 101-114 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Feng} and \textit{A. Maletti}, Lect. Notes Comput. Sci. 13706, 101--114 (2022; Zbl 07719134) Full Text: DOI
Salehi, Khayyam; Noroozi, Ali A.; Amir-Mohammadian, Sepehr; Mohagheghi, Mohammadsadegh An automated quantitative information flow analysis for concurrent programs. (English) Zbl 1522.68135 Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 43-63 (2022). MSC: 68N19 PDFBibTeX XMLCite \textit{K. Salehi} et al., Lect. Notes Comput. Sci. 13479, 43--63 (2022; Zbl 1522.68135) Full Text: DOI
Kószó, Dávid Weighted tree generating regular systems over strong bimonoids with reduction semantics. (English) Zbl 07644294 J. Autom. Lang. Comb. 27, No. 4, 271-307 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Kószó}, J. Autom. Lang. Comb. 27, No. 4, 271--307 (2022; Zbl 07644294) Full Text: Link
Kostolányi, Peter Finite ambiguity and finite sequentiality in weighted automata over fields. (English) Zbl 07615739 Kulikov, Alexander S. (ed.) et al., Computer science – theory and applications. 17th international computer science symposium in Russia, CSR 2022, virtual event, June 29 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13296, 209-223 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. Kostolányi}, Lect. Notes Comput. Sci. 13296, 209--223 (2022; Zbl 07615739) Full Text: DOI
Radi, Bader Abu; Kupferman, Orna Minimization and canonization of GFG transition-based automata. (English) Zbl 07577580 Log. Methods Comput. Sci. 18, No. 3, Paper No. 16, 33 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{B. A. Radi} and \textit{O. Kupferman}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 16, 33 p. (2022; Zbl 07577580) Full Text: arXiv Link
Inoue, Yusuke; Hashimoto, Kenji; Seki, Hiroyuki An ambiguity hierarchy of weighted context-free grammars. (English) Zbl 07572326 Caron, Pascal (ed.) et al., Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13266, 238-250 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{Y. Inoue} et al., Lect. Notes Comput. Sci. 13266, 238--250 (2022; Zbl 07572326) Full Text: DOI
Maletti, Andreas; Nász, Andreea-Teodora Weighted tree automata with constraints. (English) Zbl 07571012 Diekert, Volker (ed.) et al., Developments in language theory. 26th international conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13257, 226-238 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Maletti} and \textit{A.-T. Nász}, Lect. Notes Comput. Sci. 13257, 226--238 (2022; Zbl 07571012) Full Text: DOI
Chistikov, Dmitry; Kiefer, Stefan; Murawski, Andrzej S.; Purser, David The big-O problem. (English) Zbl 07566053 Log. Methods Comput. Sci. 18, No. 1, Paper No. 40, 50 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{D. Chistikov} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 40, 50 p. (2022; Zbl 07566053) Full Text: arXiv Link
Ghorani, Maryam; Moghari, Somaye Decidability of the minimization of fuzzy tree automata with membership values in complete lattices. (English) Zbl 07534936 J. Appl. Math. Comput. 68, No. 1, 461-478 (2022). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{M. Ghorani} and \textit{S. Moghari}, J. Appl. Math. Comput. 68, No. 1, 461--478 (2022; Zbl 07534936) Full Text: DOI
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
Ghorani, M. Characterization of tree automata based on quantum logic. (English) Zbl 1524.68171 Int. J. Theor. Phys. 61, No. 2, Paper No. 13, 24 p. (2022). MSC: 68Q45 03G12 81P68 PDFBibTeX XMLCite \textit{M. Ghorani}, Int. J. Theor. Phys. 61, No. 2, Paper No. 13, 24 p. (2022; Zbl 1524.68171) Full Text: DOI
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
Kuhlmann, Marco; Maletti, Andreas; Schiffer, Lena Katharina The tree-generative capacity of combinatory categorial grammars. (English) Zbl 1485.68130 J. Comput. Syst. Sci. 124, 214-233 (2022). Reviewer: Peter Kostolányi (Bratislava) MSC: 68Q42 03B65 68Q45 PDFBibTeX XMLCite \textit{M. Kuhlmann} et al., J. Comput. Syst. Sci. 124, 214--233 (2022; Zbl 1485.68130) Full Text: DOI
Blattmann, Malte; Maletti, Andreas Compositions of constant weighted extended tree transducers. (English) Zbl 07498716 Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 66-77 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Blattmann} and \textit{A. Maletti}, Lect. Notes Comput. Sci. 12811, 66--77 (2021; Zbl 07498716) 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
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
Ganty, Pierre; Gutiérrez, Elena; Valero, Pedro A congruence-based perspective on finite tree automata. (English) Zbl 1522.68268 Fundam. Inform. 184, No. 1, 1-47 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. Ganty} et al., Fundam. Inform. 184, No. 1, 1--47 (2021; Zbl 1522.68268) Full Text: DOI arXiv
Herrmann, Luisa Linear weighted tree automata with storage and inverse linear tree homomorphisms. (English) Zbl 1518.68175 Inf. Comput. 281, Article ID 104816, 23 p. (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{L. Herrmann}, Inf. Comput. 281, Article ID 104816, 23 p. (2021; Zbl 1518.68175) Full Text: DOI
Mörbitz, Richard; Vogler, Heiko Weighted parsing for grammar-based language models over multioperator monoids. (English) Zbl 1518.68159 Inf. Comput. 281, Article ID 104774, 48 p. (2021). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{R. Mörbitz} and \textit{H. Vogler}, Inf. Comput. 281, Article ID 104774, 48 p. (2021; Zbl 1518.68159) Full Text: DOI arXiv
Dörband, Frederic Kleene and Büchi theorems for weighted forest languages over M-monoids. (English) Zbl 1518.68166 Inf. Comput. 281, Article ID 104765, 21 p. (2021). MSC: 68Q45 68Q55 68Q70 PDFBibTeX XMLCite \textit{F. Dörband}, Inf. Comput. 281, Article ID 104765, 21 p. (2021; Zbl 1518.68166) Full Text: DOI
Wißmann, Thorsten; Deifel, Hans-Peter; Milius, Stefan; Schröder, Lutz From generic partition refinement to weighted tree automata minimization. (English) Zbl 1519.68126 Formal Asp. Comput. 33, No. 4-5, 695-727 (2021). MSC: 68Q45 60J20 68Q85 68Q87 68W40 PDFBibTeX XMLCite \textit{T. Wißmann} et al., Formal Asp. Comput. 33, No. 4--5, 695--727 (2021; Zbl 1519.68126) Full Text: DOI arXiv
Björklund, Johanna; Cleophas, Loek Aggregation-based minimization of finite state automata. (English) Zbl 1490.68125 Acta Inf. 58, No. 3, 177-194 (2021). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Björklund} and \textit{L. Cleophas}, Acta Inf. 58, No. 3, 177--194 (2021; Zbl 1490.68125) Full Text: DOI
Björklund, Johanna; Cohen, Shay B.; Drewes, Frank; Satta, Giorgio Bottom-up unranked tree-to-graph transducers for translation into semantic graphs. (English) Zbl 1504.68095 Theor. Comput. Sci. 870, 3-28 (2021). MSC: 68Q45 68T50 PDFBibTeX XMLCite \textit{J. Björklund} et al., Theor. Comput. Sci. 870, 3--28 (2021; Zbl 1504.68095) Full Text: DOI
Attou, Samira; Mignot, Ludovic; Ziadi, Djelloul The bottom-up position tree automaton and the father automaton. (English) Zbl 1458.68082 Int. J. Found. Comput. Sci. 31, No. 8, 1051-1068 (2020). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Attou} et al., Int. J. Found. Comput. Sci. 31, No. 8, 1051--1068 (2020; Zbl 1458.68082) Full Text: DOI
Yang, Chao; Li, Yongming Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures. (English) Zbl 1452.68111 Fuzzy Sets Syst. 391, 72-95 (2020). MSC: 68Q45 PDFBibTeX XMLCite \textit{C. Yang} and \textit{Y. Li}, Fuzzy Sets Syst. 391, 72--95 (2020; Zbl 1452.68111) Full Text: DOI
Wißmann, Thorsten; Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz Efficient and modular coalgebraic partition refinement. (English) Zbl 1442.68113 Log. Methods Comput. Sci. 16, No. 1, Paper No. 8, 63 p. (2020). MSC: 68Q65 60J22 68Q45 68Q85 68Q87 68W40 PDFBibTeX XMLCite \textit{T. Wißmann} et al., Log. Methods Comput. Sci. 16, No. 1, Paper No. 8, 63 p. (2020; Zbl 1442.68113) Full Text: arXiv
van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan; Sammartino, Matteo; Silva, Alexandra Tree automata as algebras: minimisation and determinisation. (English) Zbl 1516.68052 Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 6, 22 p. (2019). MSC: 68Q70 18B20 PDFBibTeX XMLCite \textit{G. van Heerdt} et al., LIPIcs -- Leibniz Int. Proc. Inform. 139, Article 6, 22 p. (2019; Zbl 1516.68052) Full Text: DOI arXiv
Abu, Radi Bader; Kupferman, Orna Minimizing GFG transition-based automata. (English) Zbl 1527.68120 Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 100, 16 p. (2019). MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{R. B. Abu} and \textit{O. Kupferman}, LIPIcs -- Leibniz Int. Proc. Inform. 132, Article 100, 16 p. (2019; Zbl 1527.68120) Full Text: DOI
Osterholzer, Johannes; Dietze, Toni; Herrmann, Luisa Linear context-free tree languages and inverse homomorphisms. (English) Zbl 1436.68185 Inf. Comput. 269, Article ID 104454, 25 p. (2019). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{J. Osterholzer} et al., Inf. Comput. 269, Article ID 104454, 25 p. (2019; Zbl 1436.68185) Full Text: DOI arXiv
Götze, Doreen; Fülöp, Zoltán; Droste, Manfred A Kleene theorem for weighted tree automata over tree valuation monoids. (English) Zbl 1439.68014 Inf. Comput. 269, Article ID 104445, 17 p. (2019). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Götze} et al., Inf. Comput. 269, Article ID 104445, 17 p. (2019; Zbl 1439.68014) Full Text: DOI
Fülöp, Zoltán; Vogler, Heiko Weighted iterated linear control. (English) Zbl 1423.68231 Acta Inf. 56, No. 5, 447-469 (2019). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{Z. Fülöp} and \textit{H. Vogler}, Acta Inf. 56, No. 5, 447--469 (2019; Zbl 1423.68231) Full Text: DOI
Yang, Chao; Li, Yongming Approximate bisimulation relations for fuzzy automata. (English) Zbl 1398.68331 Soft Comput. 22, No. 14, 4535-4547 (2018). MSC: 68Q45 PDFBibTeX XMLCite \textit{C. Yang} and \textit{Y. Li}, Soft Comput. 22, No. 14, 4535--4547 (2018; Zbl 1398.68331) Full Text: DOI
Milius, Stefan; Adámek, Jiří; Urbat, Henning On algebras with effectful iteration. (English) Zbl 1520.18003 Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 144-166 (2018). MSC: 18C20 68Q55 18C50 PDFBibTeX XMLCite \textit{S. Milius} et al., Lect. Notes Comput. Sci. 11202, 144--166 (2018; Zbl 1520.18003) Full Text: DOI HAL
Fülöp, Zoltán; Vogler, Heiko Characterizations of recognizable weighted tree languages by logic and bimorphisms. (English) Zbl 1398.68308 Soft Comput. 22, No. 4, 1035-1046 (2018). MSC: 68Q45 03D05 68Q70 PDFBibTeX XMLCite \textit{Z. Fülöp} and \textit{H. Vogler}, Soft Comput. 22, No. 4, 1035--1046 (2018; Zbl 1398.68308) Full Text: DOI
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
Maletti, Andreas Compositions of tree-to-tree statistical machine translation models. (English) Zbl 1403.68308 Int. J. Found. Comput. Sci. 29, No. 5, 877-892 (2018). MSC: 68T50 68Q42 68Q45 PDFBibTeX XMLCite \textit{A. Maletti}, Int. J. Found. Comput. Sci. 29, No. 5, 877--892 (2018; Zbl 1403.68308) Full Text: DOI
Guellouma, Younes; Cherroun, Hadda; Ziadi, Djelloul; Watson, Bruce W. From tree automata to string automata minimization. (English) Zbl 1400.68103 Theory Comput. Syst. 62, No. 5, 1203-1222 (2018). Reviewer: Magnus Steinby (Turku) MSC: 68Q45 68W05 PDFBibTeX XMLCite \textit{Y. Guellouma} et al., Theory Comput. Syst. 62, No. 5, 1203--1222 (2018; Zbl 1400.68103) Full Text: DOI
Filiot, Emmanuel; Maneth, Sebastian; Reynier, Pierre-Alain; Talbot, Jean-Marc Decision problems of tree transducers with origin. (English) Zbl 1396.68065 Inf. Comput. 261, Part 2, 311-335 (2018). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{E. Filiot} et al., Inf. Comput. 261, Part 2, 311--335 (2018; Zbl 1396.68065) Full Text: DOI HAL
Engelfriet, Joost; Maletti, Andreas; Maneth, Sebastian Multiple context-free tree grammars: lexicalization and characterization. (English) Zbl 1395.68163 Theor. Comput. Sci. 728, 29-99 (2018). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., Theor. Comput. Sci. 728, 29--99 (2018; Zbl 1395.68163) Full Text: DOI arXiv
Boissonnat, Jean-Daniel; Karthik, C. S.; Tavenas, Sébastien Building efficient and compact data structures for simplicial complexes. (English) Zbl 1372.68072 Algorithmica 79, No. 2, 530-567 (2017). MSC: 68P05 57Q05 68Q45 PDFBibTeX XMLCite \textit{J.-D. Boissonnat} et al., Algorithmica 79, No. 2, 530--567 (2017; Zbl 1372.68072) Full Text: DOI Link
Björklund, Henrik; Björklund, Johanna; Ericson, Petter On the regularity and learnability of ordered DAG languages. (English) Zbl 1489.68120 Carayol, Arnaud (ed.) et al., Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10329, 27-39 (2017). MSC: 68Q45 68Q32 68Q42 PDFBibTeX XMLCite \textit{H. Björklund} et al., Lect. Notes Comput. Sci. 10329, 27--39 (2017; Zbl 1489.68120) Full Text: DOI
Holzer, Markus; Jakobi, Sebastian More on minimizing finite automata with errors – nondeterministic machines. (English) Zbl 1371.68151 Int. J. Found. Comput. Sci. 28, No. 3, 229-245 (2017). MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{M. Holzer} and \textit{S. Jakobi}, Int. J. Found. Comput. Sci. 28, No. 3, 229--245 (2017; Zbl 1371.68151) Full Text: DOI
Gruber, Hermann; Holzer, Markus; Jakobi, Sebastian More on deterministic and nondeterministic finite cover automata. (English) Zbl 1371.68149 Theor. Comput. Sci. 679, 18-30 (2017). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. Gruber} et al., Theor. Comput. Sci. 679, 18--30 (2017; Zbl 1371.68149) Full Text: DOI
Björklund, Johanna; Cleophas, Loek Minimization of finite state automata through partition aggregation. (English) Zbl 1485.68134 Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10168, 223-235 (2017). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Björklund} and \textit{L. Cleophas}, Lect. Notes Comput. Sci. 10168, 223--235 (2017; Zbl 1485.68134) Full Text: DOI
Kiefer, Stefan; Marušić, Ines; Worrell, James Minimisation of multiplicity tree automata. (English) Zbl 1398.68314 Log. Methods Comput. Sci. 13, No. 1, Paper No. 16, 25 p. (2017). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Kiefer} et al., Log. Methods Comput. Sci. 13, No. 1, Paper No. 16, 25 p. (2017; Zbl 1398.68314) Full Text: DOI arXiv
Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan Stream differential equations: specification formats and solution methods. (English) Zbl 1451.68181 Log. Methods Comput. Sci. 13, No. 1, Paper No. 3, 51 p. (2017). MSC: 68Q70 68Q10 68Q42 PDFBibTeX XMLCite \textit{H. H. Hansen} et al., Log. Methods Comput. Sci. 13, No. 1, Paper No. 3, 51 p. (2017; Zbl 1451.68181) Full Text: DOI arXiv
Engelfriet, Joost; Fülöp, Zoltán; Maletti, Andreas Composition closure of linear extended top-down tree transducers. (English) Zbl 1369.68252 Theory Comput. Syst. 60, No. 2, 129-171 (2017). Reviewer: Magnus Steinby (Turku) MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., Theory Comput. Syst. 60, No. 2, 129--171 (2017; Zbl 1369.68252) Full Text: DOI arXiv
Benedikt, M.; Engelfriet, J.; Maneth, S. Determinacy and rewriting of functional top-down and MSO tree transformations. (English) Zbl 1356.68050 J. Comput. Syst. Sci. 85, 57-73 (2017). MSC: 68P15 03D05 68P05 68Q45 PDFBibTeX XMLCite \textit{M. Benedikt} et al., J. Comput. Syst. Sci. 85, 57--73 (2017; Zbl 1356.68050) Full Text: DOI
Urabe, Natsuki; Hasuo, Ichiro Quantitative simulations by matrices. (English) Zbl 1355.68197 Inf. Comput. 252, 110-137 (2017). MSC: 68Q85 18C20 68Q70 PDFBibTeX XMLCite \textit{N. Urabe} and \textit{I. Hasuo}, Inf. Comput. 252, 110--137 (2017; Zbl 1355.68197) Full Text: DOI arXiv
Björklund, Johanna; Fernau, Henning Learning tree languages. (English) Zbl 1404.68055 Heinz, Jeffrey (ed.) et al., Topics in grammatical inference. Berlin: Springer (ISBN 978-3-662-48393-0/hbk; 978-3-662-48395-4/ebook). 173-213 (2016). MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{J. Björklund} and \textit{H. Fernau}, in: Topics in grammatical inference. Berlin: Springer. 173--213 (2016; Zbl 1404.68055) Full Text: DOI
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
Maletti, Andreas Compositions of tree-to-tree statistical machine translation models. (English) Zbl 1436.68373 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, 293-305 (2016). MSC: 68T50 68Q42 68Q45 PDFBibTeX XMLCite \textit{A. Maletti}, Lect. Notes Comput. Sci. 9840, 293--305 (2016; Zbl 1436.68373) Full Text: DOI
Fülöp, Zoltán; Maletti, Andreas Linking theorems for tree transducers. (English) Zbl 1354.68154 J. Comput. Syst. Sci. 82, No. 7, 1201-1222 (2016). Reviewer: Ludwig Staiger (Halle/Saale) MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{Z. Fülöp} and \textit{A. Maletti}, J. Comput. Syst. Sci. 82, No. 7, 1201--1222 (2016; Zbl 1354.68154) Full Text: DOI
Holzer, Markus; Jakobi, Sebastian Minimal and hyper-minimal biautomata. (English) Zbl 1338.68148 Int. J. Found. Comput. Sci. 27, No. 2, 161-185 (2016). MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{M. Holzer} and \textit{S. Jakobi}, Int. J. Found. Comput. Sci. 27, No. 2, 161--185 (2016; Zbl 1338.68148) Full Text: DOI
Moghari, Somaye; Zahedi, Mohammad Mehdi Similarity-based minimization of fuzzy tree automata. (English) Zbl 1351.68143 J. Appl. Math. Comput. 50, No. 1-2, 417-436 (2016). MSC: 68Q45 68Q70 PDFBibTeX XMLCite \textit{S. Moghari} and \textit{M. M. Zahedi}, J. Appl. Math. Comput. 50, No. 1--2, 417--436 (2016; Zbl 1351.68143) Full Text: DOI
Engelfriet, Joost; Maneth, Sebastian; Seidl, Helmut Look-ahead removal for total deterministic top-down tree transducers. (English) Zbl 1333.68163 Theor. Comput. Sci. 616, 18-58 (2016). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., Theor. Comput. Sci. 616, 18--58 (2016; Zbl 1333.68163) Full Text: DOI arXiv
Holzer, Markus; Jakobi, Sebastian Boundary sets of regular and context-free languages. (English) Zbl 1332.68114 Theor. Comput. Sci. 610, Part A, 59-77 (2016). MSC: 68Q45 68Q17 PDFBibTeX XMLCite \textit{M. Holzer} and \textit{S. Jakobi}, Theor. Comput. Sci. 610, Part A, 59--77 (2016; Zbl 1332.68114) Full Text: DOI
Maletti, Andreas The power of weighted regularity-preserving multi bottom-up tree transducers. (English) Zbl 1367.68173 Int. J. Found. Comput. Sci. 26, No. 7, 987-1005 (2015). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Maletti}, Int. J. Found. Comput. Sci. 26, No. 7, 987--1005 (2015; Zbl 1367.68173) Full Text: DOI
Filiot, Emmanuel; Maneth, Sebastian; Reynier, Pierre-Alain; Talbot, Jean-Marc Decision problems of tree transducers with origin. (English) Zbl 1395.68167 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer (ISBN 978-3-662-47665-9/pbk; 978-3-662-47666-6/ebook). Lecture Notes in Computer Science 9135, 209-221 (2015). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{E. Filiot} et al., Lect. Notes Comput. Sci. 9135, 209--221 (2015; Zbl 1395.68167) Full Text: DOI Link
D’Antoni, Loris; Veanes, Margus Extended symbolic finite automata and transducers. (English) Zbl 1341.68085 Form. Methods Syst. Des. 47, No. 1, 93-119 (2015). MSC: 68Q45 PDFBibTeX XMLCite \textit{L. D'Antoni} and \textit{M. Veanes}, Form. Methods Syst. Des. 47, No. 1, 93--119 (2015; Zbl 1341.68085) Full Text: DOI
Droste, Manfred; Heusel, Doreen; Vogler, Heiko Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics. (English) Zbl 1465.68141 Maletti, Andreas (ed.), Algebraic informatics. 6th international conference, CAI 2015, Stuttgart, Germany, September 1–4, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9270, 90-102 (2015). MSC: 68Q45 03D05 68Q70 PDFBibTeX XMLCite \textit{M. Droste} et al., Lect. Notes Comput. Sci. 9270, 90--102 (2015; Zbl 1465.68141) Full Text: DOI
Teichmann, Markus; Osterholzer, Johannes A link between multioperator and tree valuation automata and logics. (English) Zbl 1330.68182 Theor. Comput. Sci. 594, 106-119 (2015). Reviewer: Magnus Steinby (Turku) MSC: 68Q45 03B70 03D05 PDFBibTeX XMLCite \textit{M. Teichmann} and \textit{J. Osterholzer}, Theor. Comput. Sci. 594, 106--119 (2015; Zbl 1330.68182) Full Text: DOI
Maletti, Andreas Hyper-optimization for deterministic tree automata. (English) Zbl 1319.68138 Theor. Comput. Sci. 578, 72-87 (2015). Reviewer: Saeed Salehi (Tabriz) MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Maletti}, Theor. Comput. Sci. 578, 72--87 (2015; Zbl 1319.68138) Full Text: DOI
Jančić, Ivana Weak bisimulations for fuzzy automata. (English) Zbl 1334.68120 Fuzzy Sets Syst. 249, 49-72 (2014). MSC: 68Q45 PDFBibTeX XMLCite \textit{I. Jančić}, Fuzzy Sets Syst. 249, 49--72 (2014; Zbl 1334.68120) Full Text: DOI
Ćirić, Miroslav; Ignjatović, Jelena; Bašić, Milan; Jančić, Ivana Nondeterministic automata: equivalence, bisimulations, and uniform relations. (English) Zbl 1328.68111 Inf. Sci. 261, 185-218 (2014). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Ćirić} et al., Inf. Sci. 261, 185--218 (2014; Zbl 1328.68111) Full Text: DOI arXiv
Hansen, Helle Hvid; Kupke, Clemens; Rutten, Jan; Winter, Joost A final coalgebra for \(k\)-regular sequences. (English) Zbl 1407.68318 van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 363-383 (2014). MSC: 68Q70 11B85 18B20 PDFBibTeX XMLCite \textit{H. H. Hansen} et al., Lect. Notes Comput. Sci. 8464, 363--383 (2014; Zbl 1407.68318) Full Text: DOI
Ravve, E. V.; Volkovich, Z.; Weber, G.-W. Effective optimization with weighted automata on decomposable trees. (English) Zbl 1302.03046 Optimization 63, No. 1, 109-127 (2014). MSC: 03D05 03B15 68Q45 PDFBibTeX XMLCite \textit{E. V. Ravve} et al., Optimization 63, No. 1, 109--127 (2014; Zbl 1302.03046) Full Text: DOI
Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra Algebra-coalgebra duality in Brzozowski’s minimization algorithm. (English) Zbl 1288.68174 ACM Trans. Comput. Log. 15, No. 1, Article No. 3, 29 p. (2014). MSC: 68Q70 08A70 PDFBibTeX XMLCite \textit{F. Bonchi} et al., ACM Trans. Comput. Log. 15, No. 1, Article No. 3, 29 p. (2014; Zbl 1288.68174) Full Text: DOI Link
Holzer, Markus; Jakobi, Sebastian From equivalence to almost-equivalence, and beyond: minimizing automata with errors. (English) Zbl 1293.68169 Int. J. Found. Comput. Sci. 24, No. 7, 1083-1097 (2013). MSC: 68Q25 68Q45 PDFBibTeX XMLCite \textit{M. Holzer} and \textit{S. Jakobi}, Int. J. Found. Comput. Sci. 24, No. 7, 1083--1097 (2013; Zbl 1293.68169) Full Text: DOI
Jeż, Artur; Maletti, Andreas Hyper-minimization for deterministic tree automata. (English) Zbl 1295.68145 Int. J. Found. Comput. Sci. 24, No. 6, 815-830 (2013). Reviewer: Magnus Steinby (Turku) MSC: 68Q45 68W05 68Q25 PDFBibTeX XMLCite \textit{A. Jeż} and \textit{A. Maletti}, Int. J. Found. Comput. Sci. 24, No. 6, 815--830 (2013; Zbl 1295.68145) Full Text: DOI
Kasprzik, Anna Four one-shot learners for regular tree languages and their polynomial characterizability. (English) Zbl 1292.68098 Theor. Comput. Sci. 485, 85-106 (2013). MSC: 68Q32 68Q45 68Q25 PDFBibTeX XMLCite \textit{A. Kasprzik}, Theor. Comput. Sci. 485, 85--106 (2013; Zbl 1292.68098) Full Text: DOI
Björklund, Johanna; Öhman, Lars-Daniel Simulation relations for pattern matching in directed graphs. (English) Zbl 1292.68135 Theor. Comput. Sci. 485, 1-15 (2013). MSC: 68T10 05C60 68Q25 PDFBibTeX XMLCite \textit{J. Björklund} and \textit{L.-D. Öhman}, Theor. Comput. Sci. 485, 1--15 (2013; Zbl 1292.68135) Full Text: DOI
Kalampakas, Antonios; Louscou-Bozapalidou, Olympia Minimization of planar directed acyclic graph algebras. (English) Zbl 1286.68334 Int. J. Found. Comput. Sci. 24, No. 4, 519-531 (2013). MSC: 68Q70 68R10 PDFBibTeX XMLCite \textit{A. Kalampakas} and \textit{O. Louscou-Bozapalidou}, Int. J. Found. Comput. Sci. 24, No. 4, 519--531 (2013; Zbl 1286.68334) Full Text: DOI
Maletti, Andreas; Quernheim, Daniel Unweighted and weighted hyper-minimization. (English) Zbl 1283.68198 Int. J. Found. Comput. Sci. 23, No. 6, 1207-1225 (2012). Reviewer: Michal Kunc (Brno) MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Maletti} and \textit{D. Quernheim}, Int. J. Found. Comput. Sci. 23, No. 6, 1207--1225 (2012; Zbl 1283.68198) Full Text: DOI
Fülöp, Zoltán; Stüber, Torsten; Vogler, Heiko A Büchi-like theorem for weighted tree automata over multioperator monoids. (English) Zbl 1280.03045 Theory Comput. Syst. 50, No. 2, 241-278 (2012). Reviewer: Roger Villemaire (Montréal) MSC: 03D05 68Q45 68Q70 PDFBibTeX XMLCite \textit{Z. Fülöp} et al., Theory Comput. Syst. 50, No. 2, 241--278 (2012; Zbl 1280.03045) Full Text: DOI
Ćirić, Miroslav; Ignjatović, Jelena; Jančić, Ivana; Damljanović, Nada Computation of the greatest simulations and bisimulations between fuzzy automata. (English) Zbl 1252.68168 Fuzzy Sets Syst. 208, 22-42 (2012). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Ćirić} et al., Fuzzy Sets Syst. 208, 22--42 (2012; Zbl 1252.68168) Full Text: DOI arXiv
Ćirić, Miroslav; Ignjatović, Jelena; Damljanović, Nada; Bašić, Milan Bisimulations for fuzzy automata. (English) Zbl 1237.68113 Fuzzy Sets Syst. 186, No. 1, 100-139 (2012). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{M. Ćirić} et al., Fuzzy Sets Syst. 186, No. 1, 100--139 (2012; Zbl 1237.68113) Full Text: DOI arXiv
Björklund, Henrik; Martens, Wim The tractability frontier for NFA minimization. (English) Zbl 1282.68119 J. Comput. Syst. Sci. 78, No. 1, 198-210 (2012). MSC: 68Q17 68Q45 PDFBibTeX XMLCite \textit{H. Björklund} and \textit{W. Martens}, J. Comput. Syst. Sci. 78, No. 1, 198--210 (2012; Zbl 1282.68119) Full Text: DOI
Bozapalidis, Symeon; Fülöp, Zoltán; Rahonis, George Equational weighted tree transformations. (English) Zbl 1244.68054 Acta Inf. 49, No. 1, 29-52 (2012). Reviewer: Magnus Steinby (Turku) MSC: 68Q70 68Q42 PDFBibTeX XMLCite \textit{S. Bozapalidis} et al., Acta Inf. 49, No. 1, 29--52 (2012; Zbl 1244.68054) 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
Ésik, Z. Multi-linear iterative \(K\)-\(\Sigma\)-semialgebras. (English) Zbl 1345.08004 Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 159-170 (2011). MSC: 08A70 68Q70 16Y60 PDFBibTeX XMLCite \textit{Z. Ésik}, Electron. Notes Theor. Comput. Sci. 276, 159--170 (2011; Zbl 1345.08004) Full Text: DOI
Drewes, Frank; Högberg, Johanna; Maletti, Andreas MAT learners for tree series: an abstract data type and two realizations. (English) Zbl 1251.68129 Acta Inf. 48, No. 3, 165-189 (2011). MSC: 68Q45 68Q65 68Q32 PDFBibTeX XMLCite \textit{F. Drewes} et al., Acta Inf. 48, No. 3, 165--189 (2011; Zbl 1251.68129) Full Text: DOI Link
Maletti, Andreas; Quernheim, Daniel Optimal hyper-minimization. (English) Zbl 1234.68228 Int. J. Found. Comput. Sci. 22, No. 8, 1877-1891 (2011). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Maletti} and \textit{D. Quernheim}, Int. J. Found. Comput. Sci. 22, No. 8, 1877--1891 (2011; Zbl 1234.68228) Full Text: DOI
Szepietowski, Andrzej Closure properties of hyper-minimized automata. (English) Zbl 1232.68087 RAIRO, Theor. Inform. Appl. 45, No. 4, 459-466 (2011). MSC: 68Q45 68Q70 PDFBibTeX XMLCite \textit{A. Szepietowski}, RAIRO, Theor. Inform. Appl. 45, No. 4, 459--466 (2011; Zbl 1232.68087) Full Text: DOI Numdam EuDML
Lagoutte, Aurélie; Maletti, Andreas Survey: Weighted extended top-down tree transducers. III. Composition. (English) Zbl 1230.68135 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, 272-308 (2011). MSC: 68Q45 68-02 PDFBibTeX XMLCite \textit{A. Lagoutte} and \textit{A. Maletti}, Lect. Notes Comput. Sci. 7020, 272--308 (2011; Zbl 1230.68135) Full Text: DOI
Fülöp, Zoltán; Rahonis, George Equational weighted tree transformations with discounting. (English) Zbl 1350.68192 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, 112-145 (2011). MSC: 68Q70 68Q45 PDFBibTeX XMLCite \textit{Z. Fülöp} and \textit{G. Rahonis}, Lect. Notes Comput. Sci. 7020, 112--145 (2011; Zbl 1350.68192) Full Text: DOI
Droste, Manfred; Götze, Doreen; Märcker, Steffen; Meinecke, Ingmar Weighted tree automata over valuation monoids and their characterization by weighted logics. (English) Zbl 1331.68127 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, 30-55 (2011). MSC: 68Q45 03B70 03D05 PDFBibTeX XMLCite \textit{M. Droste} et al., Lect. Notes Comput. Sci. 7020, 30--55 (2011; Zbl 1331.68127) Full Text: DOI
Maletti, Andreas Tree transformations and dependencies. (English) Zbl 1348.68278 Kanazawa, Makoto (ed.) et al., The mathematics of language. 12th biennial conference, MOL 12, Nara, Japan, September 6–8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23210-7/pbk). Lecture Notes in Computer Science 6878. Lecture Notes in Artificial Intelligence, 1-20 (2011). MSC: 68T50 68Q42 68Q45 PDFBibTeX XMLCite \textit{A. Maletti}, Lect. Notes Comput. Sci. 6878, 1--20 (2011; Zbl 1348.68278) Full Text: DOI
Jeż, Artur; Maletti, Andreas Computing all \(\ell \)-cover automata fast. (English) Zbl 1297.68142 Bouchou-Markhoff, Béatrice (ed.) et al., Implementation and application of automata. 16th international conference, CIAA 2011, Blois, France, July 13–16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22255-9/pbk). Lecture Notes in Computer Science 6807, 203-214 (2011). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Jeż} and \textit{A. Maletti}, Lect. Notes Comput. Sci. 6807, 203--214 (2011; Zbl 1297.68142) Full Text: DOI