×

Found 130 Documents (Results 1–100)

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI

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
Full Text: DOI HAL

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI Link

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software