maletti.bib
@MASTERSTHESIS{mal01,
AUTHOR = {Andreas Maletti},
TITLE = {Efficiency Analysis for the Elimination of Intermediate Results in
Functional Programs by Composition of Attributed Tree Transducers},
SCHOOL = {Technische Universit{\"a}t Dresden},
TYPE = {Bachelor Thesis},
YEAR = 2001}
@MASTERSTHESIS{mal02,
AUTHOR = {Andreas Maletti},
TITLE = {Direct Construction and Efficiency Analysis for the
Accumulation Technique of 2-Modular Tree Transducers},
SCHOOL = {Technische Universit{\"a}t Dresden},
YEAR = 2002}
@TECHREPORT{malvog03,
TITLE = {Incomparability Results for Classes of
Polynomial Tree Series Transformations},
INSTITUTION = {Technische Universit{\"a}t Dresden},
NUMBER = {TUD-FI03-14},
AUTHOR = {Andreas Maletti and Heiko Vogler},
YEAR = 2003}
@TECHREPORT{mal04,
NUMBER = {TUD-FI04-07},
INSTITUTION = {Technische Universit{\"a}t Dresden},
AUTHOR = {Andreas Maletti},
TITLE = {Inclusion Diagrams for Classes of
Deterministic Bottom-up Tree-to-Tree-Series Transformations},
YEAR = 2004}
@INPROCEEDINGS{mal04a,
PAGES = {321--333},
SERIES = {{\upshape LNCS}},
TITLE = {Relating Tree Series Transducers and Weighted Tree Automata},
BOOKTITLE = {Proc.\@ 8th Int.\@ Conf.\@ Developments in Language Theory},
VOLUME = 3340,
AUTHOR = {Andreas Maletti},
EDITOR = {Cristian S.~Calude},
YEAR = 2004}
@INPROCEEDINGS{mal04b,
AUTHOR = {Andreas Maletti},
TITLE = {Myhill-{N}erode Theorem for Sequential Transducers over
Unique {GCD}-Monoids},
BOOKTITLE = {Proc.\@ 9th Int.\@ Conf.\@ Implementation and Application of Automata},
YEAR = 2004,
PAGES = {323--324},
EDITOR = {Michael Domaratzki and Alexander Okhotin and Kai Salomaa and Sheng Yu},
PUBLISHER = {Springer},
SERIES = {{\upshape LNCS}},
VOLUME = 3317}
@ARTICLE{borfulgazmal05,
AUTHOR = {Björn Borchardt and Zolt\´an Fülöp and Zsolt Gazdag and Andreas Maletti},
TITLE = {Bounds for Tree Automata with Polynomial Costs},
JOURNAL = {J.~Autom.\@ Lang.\@ Combin.},
VOLUME = 10,
NUMBER = {2--3},
PAGES = {107--157},
YEAR = 2005}
@ARTICLE{hogmalmay08,
JOURNAL = {Theor.\@ Comput.\@ Sci.},
PAGES = {3539--3552},
TITLE = {Backward and Forward Bisimulation Minimization of Tree Automata},
VOLUME = 410,
NUMBER = 37,
AUTHOR = {Johanna H{\"o}gberg and Andreas Maletti and Jonathan May},
YEAR = 2009}
@ARTICLE{mal05a,
JOURNAL = {Theor.\@ Comput.\@ Sci.},
PAGES = {200--240},
TITLE = {Hasse Diagrams for Classes of
Deterministic Bottom-up Tree-to-Tree-Series Transformations},
VOLUME = 339,
NUMBER = {2--3},
AUTHOR = {Andreas Maletti},
YEAR = 2005}
@ARTICLE{mal05b,
VOLUME = 16,
NUMBER = 4,
AUTHOR = {Andreas Maletti},
JOURNAL = {Int.\@ J.~Found.\@ Comput.\@ Sci.},
PAGES = {723--741},
TITLE = {Relating Tree Series Transducers and Weighted Tree Automata},
YEAR = 2005}
@INPROCEEDINGS{mal05c,
BOOKTITLE = {Proc.\@ 11th Int.\@ Conf.\@ Automata and Formal Languages},
AUTHOR = {Andreas Maletti},
EDITOR = {Zolt{\'a}n {\'E}sik and Zolt{\'a}n F{\"u}l{\"o}p},
PAGES = {187--199},
TITLE = {Compositions of Bottom-up Tree Series Transformations},
YEAR = 2005}
@INPROCEEDINGS{mal05d,
VOLUME = 3572,
AUTHOR = {Andreas Maletti},
EDITOR = {Clelia {de Felice} and Antonio Restivo},
SERIES = {{\upshape LNCS}},
BOOKTITLE = {Proc.\@ 9th Int.\@ Conf.\@ Developments in Language Theory},
PAGES = {338--349},
TITLE = {The Power of Tree Series Transducers of Type {I} and {II}},
PUBLISHER = {Springer},
YEAR = 2005}
@ARTICLE{malvog05,
AUTHOR = {Andreas Maletti and Heiko Vogler},
TITLE = {Incomparability Results for Classes of
Polynomial Tree Series Transformations},
JOURNAL = {J.~Autom.\@ Lang.\@ Combin.},
VOLUME = 10,
NUMBER = 4,
PAGES = {535--568},
YEAR = 2005}
@TECHREPORT{mal05e,
AUTHOR = {Andreas Maletti},
TITLE = {Compositions of Tree Series Transformations},
INSTITUTION = {Technische Universit{\"a}t Dresden},
NUMBER = {TUD-FI05-05},
YEAR = 2005}
@INPROCEEDINGS{mal06,
AUTHOR = {Andreas Maletti},
TITLE = {Hierarchies of Tree Series Transformations Revisited},
BOOKTITLE = {Proc.\@ 10th Int.\@ Conf.\@ Developments in Language Theory},
PAGES = {215--225},
EDITOR = {Oscar H.~Ibarra and Zhe Dang},
VOLUME = 4036,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2006}
@ARTICLE{mal06a,
AUTHOR = {Andreas Maletti},
TITLE = {Compositions of Tree Series Transformations},
JOURNAL = {Theor.\@ Comput.\@ Sci.},
VOLUME = 366,
NUMBER = 3,
PAGES = {248--271},
YEAR = 2006}
@INPROCEEDINGS{kuemal06,
AUTHOR = {Armin Kühnemann and Andreas Maletti},
TITLE = {The Substitution Vanishes},
BOOKTITLE = {Proc.\@ 11th Int.\@ Conf.\@ Algebraic Methodology and
Software Technology},
PAGES = {173--188},
EDITOR = {Michael Johnson and Varmo Vene},
VOLUME = 4019,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2006}
@ARTICLE{bormalsestepvog06,
AUTHOR = {Björn Borchardt and Andreas Maletti and Branimir {\v S}e{\v s}elja
and Andreja Tepav{\v c}evi\´c and Heiko Vogler},
TITLE = {Cut Sets as Recognizable Tree Languages},
JOURNAL = {Fuzzy Sets and Syst.},
VOLUME = 157,
NUMBER = 11,
PAGES = {1560--1571},
YEAR = 2006}
@INPROCEEDINGS{mal06b,
AUTHOR = {Andreas Maletti},
TITLE = {Does o-Substitution Preserve Recognizability?},
BOOKTITLE = {Proc.\@ 11th Int.\@ Conf.\@ Implementation and Application of Automata},
PAGES = {150--161},
EDITOR = {Oscar H.~Ibarra and Hsu-Chun Yen},
VOLUME = 4094,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2006}
@PHDTHESIS{mal06c,
AUTHOR = {Andreas Maletti},
TITLE = {The Power of Tree Series Transducers},
SCHOOL = {Technische Universit{\"a}t Dresden},
YEAR = 2006}
@TECHREPORT{mal06d,
AUTHOR = {Andreas Maletti},
TITLE = {Pure and o-Substitution},
INSTITUTION = {Technische Universit{\"}at Dresden},
NUMBER = {TUD-FI06-05},
YEAR = 2006}
@INPROCEEDINGS{mal07,
AUTHOR = {Andreas Maletti},
TITLE = {Compositions of Extended Top-down Tree Transducers},
BOOKTITLE = {Proc.\@ 1st Int.\@ Conf.\@ Language and Automata Theory and Applications},
PAGES = {379--390},
EDITOR = {Remco Loos and Szil{\'a}rd Zsolt Fazekas and Carlos {Mart\'in Vide}},
VOLUME = {35/07},
SERIES = {Reports},
PUBLISHER = {Universitat Rovira I Virgili},
YEAR = 2007}
@INPROCEEDINGS{mal07b,
AUTHOR = {Andreas Maletti},
TITLE = {Myhill {N}erode Theorem For Recognizable Tree Series Revisited},
BOOKTITLE = {Proc.\@ 1st Int.\@ Conf.\@ AutoMathA: From Mathematics to Applications},
YEAR = 2007}
@INPROCEEDINGS{mal08c,
AUTHOR = {Andreas Maletti},
TITLE = {Myhill {N}erode Theorem for Recognizable Tree Series --- Revisited},
BOOKTITLE = {Proc.\@ 8th Int.\@ Conf.\@ Latin American Theoretical Informatics},
PAGES = {106--120},
EDITOR = {Eduardo Laber and Claudson Bornstein and Loana Nogueira and Luerbio Faria},
VOLUME = 4957,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2008}
@INPROCEEDINGS{mal07c,
AUTHOR = {Andreas Maletti},
TITLE = {Learning Deterministically Recognizable Tree Series --- Revisited},
BOOKTITLE = {Proc.\@ 2nd Int.\@ Conf.\@ Algebraic Informatics},
PAGES = {218--235},
EDITOR = {Symeon Bozapalidis and George Rahonis},
VOLUME = {4728},
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2007}
@ARTICLE{mal07d,
AUTHOR = {Andreas Maletti},
TITLE = {Pure and o-Substitution},
JOURNAL = {Int.\@ J.\@ Found.\@ Comput.\@ Sci.},
PAGES = {829--845},
NUMBER = 4,
VOLUME = 18,
YEAR = 2007}
@INPROCEEDINGS{hogmalmay07a,
AUTHOR = {Johanna H{\"o}gberg and Andreas Maletti and Jonathan May},
TITLE = {Backward and Forward Bisimulation Minimisation of Tree Automata},
BOOKTITLE = {Proc.\@ 12th Int.\@ Conf.\@ Implementation and Application of Automata},
PAGES = {109--121},
EDITOR = {Jan Holub and Jan {\v{Z}}{\v{d}}{\'{a}}rek},
VOLUME = 4783,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2007}
@INPROCEEDINGS{hogmalmay07d,
AUTHOR = {Johanna H{\"o}gberg and Andreas Maletti and Jonathan May},
TITLE = {Bisimulation Minimisation For Weighted Tree Automata},
BOOKTITLE = {Proc.\@ 11th Int.\@ Conf.\@ Developments in Language Theory},
PAGES = {229--241},
EDITOR = {Tero Harju and Juhani Karhum{\"a}ki and Arto Lepist{\"o}},
VOLUME = 4588,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2007}
@TECHREPORT{hogmalmay07b,
AUTHOR = {Johanna H{\"o}gberg and Andreas Maletti and Jonathan May},
TITLE = {Backward and Forward Bisimulation Minimisation of Tree Automata},
INSTITUTION = {University of Southern California},
NUMBER = {ISI-TR-633},
YEAR = 2007}
@TECHREPORT{hogmalmay07c,
AUTHOR = {Johanna H{\"o}gberg and Andreas Maletti and Jonathan May},
TITLE = {Bisimulation Minimisation of Weighted Tree Automata},
INSTITUTION = {University of Southern California},
NUMBER = {ISI-TR-634},
YEAR = 2007}
@ARTICLE{mal07e,
AUTHOR = {Andreas Maletti},
TITLE = {Compositions of Extended Top-down Tree Transducers},
JOURNAL = {Inf.\@ Comput.},
PAGES = {1187--1196},
VOLUME = 206,
NUMBER = {9--10},
YEAR = 2008}
@ARTICLE{malgrahopkni07,
AUTHOR = {Andreas Maletti and Jonathan Graehl and Mark Hopkins and Kevin Knight},
TITLE = {The Power of Extended Top-down Tree Transducers},
JOURNAL = {SIAM J.~Comput.},
PAGES = {410--430},
VOLUME = 39,
NUMBER = 2,
YEAR = 2009}
@ARTICLE{fulmalvog07,
AUTHOR = {Zolt{\'a}n F{\"u}l{\"o}p and Andreas Maletti and Heiko Vogler},
TITLE = {A {K}leene Theorem for Weighted Tree Automata over
Distributive Multioperator Monoids},
JOURNAL = {Theory Comput.\@ Syst.},
PAGES = {455--499},
VOLUME = 44,
NUMBER = 3,
YEAR = 2009}
@INPROCEEDINGS{englilmal08,
AUTHOR = {Joost Engelfriet and Eric Lilin and Andreas Maletti},
TITLE = {Extended Multi Bottom-up Tree Transducers},
BOOKTITLE = {Proc.\@ 12th Int.\@ Conf.\@ Developments in Language Theory},
PAGES = {289--300},
EDITOR = {Masami Ito and F.M.~Toyama},
VOLUME = 5257,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2008}
@INPROCEEDINGS{mal08b,
AUTHOR = {Andreas Maletti},
TITLE = {Minimizing Deterministic Weighted Tree Automata},
BOOKTITLE = {Proc.\@ 2nd Int.\@ Conf.\@ Language and Automata: Theory and Applications},
PAGES = {357--372},
EDITOR = {Carlos Mart\'in-Vide and Friedrich Otto and Henning Fernau},
VOLUME = 5196,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2008}
@TECHREPORT{hogmalvog08,
TITLE = {Bisimulation Minimisation of Weighted Automata on Unranked Trees},
INSTITUTION = {Technische Universit{\"a}t Dresden},
NUMBER = {TUD-FI08-03},
AUTHOR = {Johanna H{\"o}gberg and Andreas Maletti and Heiko Vogler},
YEAR = 2008}
@ARTICLE{hogmalvog08b,
TITLE = {Bisimulation Minimisation of Weighted Automata on Unranked Trees},
JOURNAL = {Fundam.\@ Inform.},
NUMBER = {1--2},
VOLUME = 92,
PAGES = {103--130},
AUTHOR = {Johanna H{\"o}gberg and Andreas Maletti and Heiko Vogler},
YEAR = 2009}
@INPROCEEDINGS{mal08d,
AUTHOR = {Andreas Maletti},
TITLE = {Tree-Series-to-Tree-Series Transformations},
BOOKTITLE = {Proc.\@ 13th Int.\@ Conf.\@ Implementation and Application of Automata},
PAGES = {132--140},
EDITOR = {Oscar H.~Ibarra and Bala Ravikumar},
VOLUME = {5148},
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2008}
@ARTICLE{mal08e,
TITLE = {Minimizing Deterministic Weighted Tree Automata},
JOURNAL = {Inf.\@ Comput.},
NUMBER = 11,
VOLUME = 207,
PAGES = {1284--1299},
AUTHOR = {Andreas Maletti},
YEAR = 2009}
@ARTICLE{englilmal08b,
TITLE = {Composition and Decomposition of Extended Multi Bottom-up Tree Transducers},
JOURNAL = {Acta Inf.},
NUMBER = 8,
VOLUME = 46,
PAGES = {561--590},
AUTHOR = {Joost Engelfriet and Eric Lilin and Andreas Maletti},
YEAR = 2009}
@ARTICLE{maltir08,
TITLE = {Properties of Quasi-alphabetic Tree Bimorphisms},
JOURNAL = {Int.\@ J.\@ Found.\@ Comput.\@ Sci.},
NUMBER = 3,
VOLUME = 21,
PAGES = {257--276},
AUTHOR = {Andreas Maletti and C\u at\u alin Ionu\c t T\^{i}rn\uauc\u a},
YEAR = 2010}
@INPROCEEDINGS{mal09,
AUTHOR = {Andreas Maletti},
TITLE = {A Backward and a Forward Simulation for Weighted Tree Automata},
BOOKTITLE = {Proc.\@ 3rd Int.\@ Conf.\@ Algebraic Informatics},
PAGES = {288--304},
EDITOR = {Symeon Bozapalidis and George Rahonis},
VOLUME = 5725,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2009}
@INPROCEEDINGS{maltir09,
AUTHOR = {Andreas Maletti and C\u at\u alin Ionu\c t T\^{i}rn\u auc\u a},
TITLE = {Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms --- Revisited},
BOOKTITLE = {Proc.\@ 3rd Int.\@ Conf.\@ Algebraic Informatics},
PAGES = {305--317},
EDITOR = {Symeon Bozapalidis and George Rahonis},
VOLUME = 5725,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2009}
@INPROCEEDINGS{malvog09,
AUTHOR = {Andreas Maletti and Heiko Vogler},
TITLE = {Compositions of Top-down Tree Transducers with $\varepsilon$-rules},
BOOKTITLE = {Proc.\@ 8th Int.\@ Workshop Finite-State Methods and Natural Language Processing},
PAGES = {69--80},
EDITOR = {Anssi Yli-Jyr{\"a} and Andr\'as Kornai and Jacques Sakarovitch and Bruce Watson},
VOLUME = 6062,
SERIES = {{\upshape LNAI}},
PUBLISHER = {Springer},
YEAR = 2010}
@INPROCEEDINGS{mal09b,
AUTHOR = {Andreas Maletti},
TITLE = {Minimizing Weighted Tree Grammars using Simulation},
BOOKTITLE = {Proc.\@ 8th Int.\@ Workshop Finite-State Methods and Natural Language Processing},
PAGES = {56--68},
EDITOR = {Anssi Yli-Jyr{\"a} and Andr\'as Kornai and Jacques Sakarovitch and Bruce Watson},
VOLUME = 6062,
SERIES = {{\upshape LNAI}},
PUBLISHER = {Springer},
YEAR = 2009}
@INPROCEEDINGS{holmal09,
AUTHOR = {Markus Holzer and Andreas Maletti},
TITLE = {An {$n \log n$} Algorithm for Hyper-Minimizing States in a
(Minimized) Deterministic Automaton},
BOOKTITLE = {Proc.\@ 14th Int.\@ Conf.\@ Implementation and Application of Automata},
PAGES = {4--13},
EDITOR = {Sebastian Maneth},
VOLUME = 5642,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2009}
@TECHREPORT{holmal09b,
NUMBER = {0902},
INSTITUTION = {Institut f{\"u}r Informatik, Universit{\"a}t Giessen},
AUTHOR = {Markus Holzer and Andreas Maletti},
TYPE = {IFIG Research Report},
TITLE = {An $n \log n$ Algorithm for Hyper-Minimizing States in a
(Minimized) Deterministic Automaton},
YEAR = 2009}
@INPROCEEDINGS{malsat09,
AUTHOR = {Andreas Maletti and Giorgio Satta},
TITLE = {Parsing Algorithms based on Tree Automata},
BOOKTITLE = {Proc.\@ 11th Int.\@ Conf.\@ Parsing Technologies},
PAGES = {1--12},
EDITOR = {Harry Bunt},
PUBLISHER = {Association for Computational Linguistics},
YEAR = 2009}
@TECHREPORT{drehogmal09,
NUMBER = {UMINF 09.22},
INSTITUTION = {Ume\aa\ University},
AUTHOR = {Frank Drewes and Johanna H{\"o}gberg and Andreas Maletti},
TITLE = {{MAT} Learners for Tree Series ---
an Abstract Data Type and Two Realizations},
YEAR = 2009}
@ARTICLE{drehogmal09b,
TITLE = {{MAT} Learners for Tree Series --- an Abstract Data Type and Two Realizations},
JOURNAL = {Acta Inf.},
NUMBER = 3,
VOLUME = 48,
PAGES = {165--189},
AUTHOR = {Frank Drewes and Johanna H{\"o}gberg and Andreas Maletti},
YEAR = 2011}
@INPROCEEDINGS{mal10,
AUTHOR = {Andreas Maletti},
TITLE = {Why Synchronous Tree Substitution Grammars?},
BOOKTITLE = {Proc.\@ 11th Conf.\@ North American Chapter of the
Association for Computational Linguistics},
PAGES = {876--884},
EDITOR = {Ron Kaplan and Jill Burstein and Mary Harper and Gerald Penn},
PUBLISHER = {Association for Computational Linguistics},
YEAR = 2010}
@ARTICLE{holmal10,
TITLE = {An $n \log n$ Algorithm for Hyper-Minimizing
a (Minimized) Deterministic Automaton},
JOURNAL = {Theor.\@ Comput.\@ Sci.},
NUMBER = {38--39},
VOLUME = 411,
PAGES = {3404--3413},
AUTHOR = {Markus Holzer and Andreas Maletti},
YEAR = 2010}
@INPROCEEDINGS{mal10b,
AUTHOR = {Andreas Maletti},
TITLE = {Input and Output Products for Weighted Extended Top-down Tree Transducers},
BOOKTITLE = {Proc.\@ 14th Int.\@ Conf.\@ Developments in Language Theory},
PAGES = {316--327},
EDITOR = {Yuan Gao and Hanlin Lu and Shinnosuke Seki and Sheng Yu},
VOLUME = 6224,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2010}
@INPROCEEDINGS{mal10c,
AUTHOR = {Andreas Maletti},
TITLE = {Better Hyper-Minimization --- Not as Fast, but Fewer Errors},
BOOKTITLE = {Proc.\@ 15th Int.\@ Conf.\@ Implementation and Application of Automata},
PAGES = {201--210},
EDITOR = {Michael Domaratzki and Kai Salomaa},
VOLUME = 6482,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2011}
@INPROCEEDINGS{esimal10,
AUTHOR = {Zolt\'an \'Esik and Andreas Maletti},
TITLE = {Simulation vs.\@ Equivalence},
BOOKTITLE = {Proc.\@ 6th Int.\@ Conf.\@ Foundations of Computer Science},
PAGES = {119--122},
EDITOR = {Hamid R.~Arabnia and George A.~Gravvanis and Ashu M.G.~Solo},
PUBLISHER = {CSREA Press},
YEAR = 2010}
@INPROCEEDINGS{esimal10b,
AUTHOR = {Zolt\'an \'Esik and Andreas Maletti},
TITLE = {Simulations of Weighted Tree Automata},
BOOKTITLE = {Proc.\@ 15th Int.\@ Conf.\@ Implementation and Application of Automata},
PAGES = {321--330},
EDITOR = {Michael Domaratzki and Kai Salomaa},
VOLUME = 6482,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2011}
@ARTICLE{mal10e,
TITLE = {An Alternative to Synchronous Tree Substitution Grammars},
JOURNAL = {Journal of Natural Language Engineering},
NUMBER = 2,
VOLUME = 17,
PAGES = {221--242},
AUTHOR = {Andreas Maletti},
YEAR = 2011}
@INPROCEEDINGS{mal10d,
AUTHOR = {Andreas Maletti},
TITLE = {A Tree Transducer Model for Synchronous Tree-Adjoining Grammars},
BOOKTITLE = {Proc.\@ 48th Annual Meeting Association for Computational Linguistics},
PAGES = {1067--1076},
EDITOR = {Jan Haji\v{c} and Sandra Carberry and Stephen Clark and Joakim Nivre},
PUBLISHER = {Association for Computational Linguistics},
YEAR = 2010}
@INPROCEEDINGS{fulmalvog10,
AUTHOR = {Zolt\'an F{\"u}l{\"o}p and Andreas Maletti and Heiko Vogler},
TITLE = {Preservation of Recognizability for Synchronous Tree Substitution Grammars},
BOOKTITLE = {Proc.\@ 1st Workshop Applications of Tree Automata in Natural Language Processing},
PAGES = {1--9},
EDITOR = {Frank Drewes and Marco Kuhlmann},
PUBLISHER = {Association for Computational Linguistics},
YEAR = 2010}
@INPROCEEDINGS{malsat10,
AUTHOR = {Andreas Maletti and Giorgio Satta},
TITLE = {Parsing and Translation Algorithms Based on Weighted Extended Tree Transducers},
BOOKTITLE = {Proc.\@ 1st Workshop Applications of Tree Automata in Natural Language Processing},
PAGES = {19--27},
EDITOR = {Frank Drewes and Marco Kuhlmann},
PUBLISHER = {Association for Computational Linguistics},
YEAR = 2010}
@INPROCEEDINGS{mal10f,
AUTHOR = {Andreas Maletti},
TITLE = {Survey: Tree Transducers in Machine Translation},
BOOKTITLE = {Proc.\@ 2nd Int.\@ Workshop Non-Classical Models of Automata and Applications},
PAGES = {11--32},
EDITOR = {Henning Bordihn and Rudolf Freund and Thomas Hinze and
Markus Holzer and Martin Kutrib and Friedrich Otto},
VOLUME = 263,
SERIES = {\url{books@ocg.at}},
PUBLISHER = {{\"O}sterreichische Computer Gesellschaft},
YEAR = 2010}
@ARTICLE{fulmalvog10b,
AUTHOR = {Zolt\'an F{\"u}l{\"o}p and Andreas Maletti and Heiko Vogler},
TITLE = {Weighted Extended Tree Transducers},
JOURNAL = {Fundam.\@ Inform.},
VOLUME = 111,
NUMBER = 2,
PAGES = {163--202},
YEAR = 2011}
@ARTICLE{mal11,
AUTHOR = {Andreas Maletti},
TITLE = {\emph{Survey:} Weighted Extended Top-down Tree Transducers ---
Part {I}: Basics and Expressive Power},
JOURNAL = {Acta Cybernet.},
VOLUME = 20,
NUMBER = 2,
PAGES = {223--250},
YEAR = 2011}
@ARTICLE{mal11b,
AUTHOR = {Andreas Maletti},
TITLE = {\emph{Survey:} Weighted Extended Top-down Tree Transducers ---
Part {II}: Application in Machine Translation},
JOURNAL = {Fundam.\@ Inform.},
VOLUME = 112,
NUMBER = {2--3},
PAGES = {239--261},
YEAR = 2011}
@ARTICLE{malque11,
AUTHOR = {Andreas Maletti and Daniel Quernheim},
TITLE = {Optimal Hyper-Minimization},
JOURNAL = {Int.\@ J.\@ Found.\@ Comput.\@ Sci.},
VOLUME = 22,
NUMBER = 8,
PAGES = {1877--1891},
YEAR = 2011}
@ARTICLE{esimal11,
AUTHOR = {Zolt\'an \'Esik and Andreas Maletti},
TITLE = {The Category of Simulations for Weighted Tree Automata},
JOURNAL = {Int.\@ J.\@ Found.\@ Comput.\@ Sci.},
VOLUME = 22,
NUMBER = 8,
PAGES = {1845--1859},
YEAR = 2011}
@INPROCEEDINGS{mal11c,
AUTHOR = {Andreas Maletti},
TITLE = {How to Train Your Multi Bottom-up Tree Transducer},
BOOKTITLE = {Proc.\@ 49th Annual Meeting Association for Computational Linguistics},
PAGES = {825--834},
EDITOR = {Yuji Matsumoto and Rada Mihalcea},
PUBLISHER = {Association for Computational Linguistics},
YEAR = 2011}
@INPROCEEDINGS{gawjezmal11,
AUTHOR = {Pawe\l{} Gawrychowski and Artur Je\.z and Andreas Maletti},
TITLE = {On Minimising Automata with Errors},
BOOKTITLE = {Proc.\@ 36th Int.\@ Conf.\@ Mathematical Foundations ofComputer Science},
PAGES = {327--338},
EDITOR = {Filip Murlak and Piotr Sankowski},
VOLUME = 6907,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2011}
@INPROCEEDINGS{malque11b,
AUTHOR = {Andreas Maletti and Daniel Quernheim},
TITLE = {Hyper-minimisation of deterministic weighted finite automata over semifields},
BOOKTITLE = {Proc.\@ 13th Int.\@ Conf.\@ Automata and Formal Languages},
PAGES = {285--299},
EDITOR = {P\'al D{\"o}m{\"o}si and Szabolcs Iv\'an},
PUBLISHER = {Ny\'\i regyh\'aza College},
YEAR = 2011}
@INPROCEEDINGS{mal11e,
AUTHOR = {Andreas Maletti},
TITLE = {Notes on Hyper-Minimization},
BOOKTITLE = {Proc.\@ 13th Int.\@ Conf.\@ Automata and Formal Languages},
PAGES = {34--49},
EDITOR = {P\'al D{\"o}m{\"o}si and Szabolcs Iv\'an},
PUBLISHER = {Ny\'\i regyh\'aza College},
YEAR = 2011}
@INPROCEEDINGS{mal11d,
AUTHOR = {Andreas Maletti},
TITLE = {Tree transformations and dependencies},
BOOKTITLE = {Proc.\@ 12th Meeting Mathematics of Language},
PAGES = {1--20},
EDITOR = {Makoto Kanazawa and Markus Kracht and Hiroyuki Seki},
VOLUME = 6878,
SERIES = {{LNAI}},
PUBLISHER = {Springer},
YEAR = 2011}
@INPROCEEDINGS{jezmal11,
AUTHOR = {Artur Je\.z and Andreas Maletti},
TITLE = {Computing all $l$-cover automata fast},
BOOKTITLE = {Proc.\@ 16th Int.\@ Conf.\@ Implementation and Application of Automata},
PAGES = {203--214},
EDITOR = {B{\'e}atrice Bouchou-Markhoff and Pascal Caron and
Jean-Marc Champarnaud and Denis Maurel},
VOLUME = 6807,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2011}
@INPROCEEDINGS{malque11c,
AUTHOR = {Andreas Maletti and Daniel Quernheim},
TITLE = {Pushing for weighted tree automata},
BOOKTITLE = {Proc.\@ 36th Int.\@ Conf.\@ Mathematical Foundations ofComputer Science},
PAGES = {460--471},
EDITOR = {Filip Murlak and Piotr Sankowski},
VOLUME = 6907,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2011}
@INPROCEEDINGS{lagmal11,
AUTHOR = {Aur\'elie Lagoutte and Andreas Maletti},
TITLE = {Survey: Weighted extended top-down tree transducers ---
Part {III}: Composition},
BOOKTITLE = {Proc.\@ Workshop Algebraic Foundations in Computer Science},
PAGES = {272--308},
EDITOR = {Werner Kuich and George Rahonis},
VOLUME = 7020,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2011}
@ARTICLE{malque11d,
AUTHOR = {Andreas Maletti and Daniel Quernheim},
TITLE = {Unweighted and Weighted Hyper-minimization},
JOURNAL = {Int.\@ J.\@ Found.\@ Comput.\@ Sci.},
VOLUME = 23,
NUMBER = 6,
PAGES = {1207--1225},
YEAR = 2012}
@INPROCEEDINGS{jezmal12,
AUTHOR = {Artur Je\.z and Andreas Maletti},
TITLE = {Hyper-minimization for deterministic tree automata},
BOOKTITLE = {Proc.\@ 17th Int.\@ Conf.\@ Implementation and Application of Automata},
PAGES = {217--228},
EDITOR = {Nelma Moreira and Rog\'erio Reis},
VOLUME = 7381,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2012}
@INPROCEEDINGS{lagbraquemal12,
AUTHOR = {Aur\'elie Lagoutte and Fabienne Braune and Daniel Quernheim
and Andreas Maletti},
TITLE = {Composing extended top-down tree transducers},
BOOKTITLE = {Proc.\@ 13th Int.\@ Conf.\@ European Chapter of the
Association for Computational Linguistics},
PAGES = {808--817},
EDITOR = {Walter Daelemans},
YEAR = 2012,
PUBLISHER = {Association for Computational Linguistics}}
@INPROCEEDINGS{seequebramal12,
AUTHOR = {Nina Seemann and Daniel Quernheim and Fabienne Braune
and Andreas Maletti},
TITLE = {Preservation of recognizability for weighted linear
extended top-down tree transducers},
BOOKTITLE = {Proc.\@ 2nd Workshop Applications of Tree Automata in
Natural Language Processing},
PAGES = {1--10},
EDITOR = {Frank Drewes and Marco Kuhlmann},
YEAR = 2012,
PUBLISHER = {Association for Computational Linguistics}}
@INPROCEEDINGS{mal12,
AUTHOR = {Andreas Maletti},
TITLE = {Every sensible extended top-down tree transducer is a multi
bottom-up tree transducer},
BOOKTITLE = {Proc.\@ 12th Int.\@ Conf.\@ North American Chapter of the
Association for Computational Linguistics},
PAGES = {263--273},
EDITOR = {Eric Fosler-Lussier and Ellen Riloff and Srinivas Bangalore},
YEAR = 2012,
PUBLISHER = {Association for Computational Linguistics}}
@INPROCEEDINGS{engmal12,
AUTHOR = {Andreas Maletti and Joost Engelfriet},
TITLE = {Strong lexicalization of tree adjoining grammars},
BOOKTITLE = {Proc.\@ 50th Annual Meeting Association for
Computational Linguistics},
PAGES = {506--515},
EDITOR = {Haizhou Li and Chin-Yew Lin and Miles Osborne and
Gary Geunbae Lee and Jong C.~Park},
YEAR = 2012,
PUBLISHER = {Association for Computational Linguistics}}
@INPROCEEDINGS{buemalvog12,
AUTHOR = {Matthias B{\"u}chse and Andreas Maletti and Heiko Vogler},
TITLE = {Unidirectional derivation semantics for synchronous
tree-adjoining grammars},
BOOKTITLE = {Proc.\@ 16th Int.\@ Conf.\@ Developments in Language Theory},
PAGES = {368--379},
EDITOR = {Hsu-Chun Yen and Oscar H.~Ibarra},
VOLUME = 7410,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2012}
@INPROCEEDINGS{fulmal13,
AUTHOR = {Zolt\'an F{\"u}l{\"o}p and Andreas Maletti},
TITLE = {Composition closure of $\varepsilon$-free linear extended
top-down tree transducers},
BOOKTITLE = {Proc.\@ 17th Int.\@ Conf.\@ Developments in Language Theory},
PAGES = {239--251},
EDITOR = {Marie-Pierre Béal and Olivier Carton},
VOLUME = 7907,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2013}
@INPROCEEDINGS{mal13,
AUTHOR = {Andreas Maletti},
TITLE = {Hyper-optimization for deterministic tree automata},
BOOKTITLE = {Proc.\@ 18th Int.\@ Conf.\@ Implementation and Application of Automata},
PAGES = {244--255},
EDITOR = {Stavros Konstantinidis},
VOLUME = 7982,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2013}
@INPROCEEDINGS{bramalquesee13,
AUTHOR = {Fabienne Braune and Andreas Maletti and Daniel Quernheim and Nina Seemann},
TITLE = {Shallow local multi bottom-up tree transducers in statistical machine translation},
BOOKTITLE = {Proc.\@ 51st Annual Meeting of the Association for Computational Linguistics},
PAGES = {811--821},
EDITOR = {Pascale Fung and Massimo Poesio},
PUBLISHER = {Association for Computational Linguistics},
YEAR = 2013}
@INPROCEEDINGS{hanmalque13,
AUTHOR = {Thomas Hanneforth and Andreas Maletti and Daniel Quernheim},
TITLE = {Random generation of nondeterministic tree automata},
BOOKTITLE = {Proc.\@ 2nd Int.\@ Workshop Trends in Tree Automata and Tree Transducers},
PAGES = {11--16},
EDITOR = {Sebastian Maneth},
VOLUME = 134,
SERIES = {{\upshape EPTCS}},
YEAR = 2013}
@INPROCEEDINGS{mal13b,
AUTHOR = {Andreas Maletti},
TITLE = {Synchronous Forest Substitution Grammars},
BOOKTITLE = {Proc.\@ 5th Int.\@ Conf.\@ Algebraic Informatics},
PAGES = {235--246},
EDITOR = {Traian Muntean and Dimitris Poulakis and Robert Rolland},
VOLUME = 8080,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2013}
@ARTICLE{jezmal12b,
AUTHOR = {Artur Je\.z and Andreas Maletti},
TITLE = {Hyper-minimization for deterministic tree automata},
JOURNAL = {Int.\@ J.\@ Found.\@ Comput.\@ Sci.},
VOLUME = 24,
NUMBER = 6,
PAGES = {815--830},
YEAR = 2013}
@ARTICLE{kurseebramal13,
AUTHOR = {Robin Kurtz and Nina Seemann and Fabienne Braune and Andreas Maletti},
TITLE = {DIMwid --- Decoder inspection for Moses (using widgets)},
JOURNAL = {The Prague Bulletin of Mathematical Linguistics},
VOLUME = 100,
NUMBER = 1,
PAGES = {41--50},
YEAR = 2013}
@INPROCEEDINGS{malque14,
AUTHOR = {Andreas Maletti and Daniel Quernheim},
TITLE = {Hyper-Minimization for Deterministic Weighted Tree Automata},
BOOKTITLE = {Proc.\@ 14th Int.\@ Conf.\@ Automata and Formal Languages},
PAGES = {314--326},
EDITOR = {Zolt\'an \'Esik and Zolt\'an F{\"u}l{\"o}p},
VOLUME = 151,
SERIES = {{\upshape EPTCS}},
PUBLISHER = {Open Publishing Association},
YEAR = 2014}
@INPROCEEDINGS{mal14,
AUTHOR = {Andreas Maletti},
TITLE = {The Power of Regularity-Preserving Multi Bottom-up Tree Transducers},
BOOKTITLE = {Proc.\@ 19th Int.\@ Conf.\@ Implementation and Application of Automata},
PAGES = {278--289},
EDITOR = {Markus Holzer and Martin Kutrib},
VOLUME = 8587,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2014}
@INPROCEEDINGS{guoliuhanmal14,
AUTHOR = {Junfei Guo and Juan Liu and Qi Han and Andreas Maletti},
TITLE = {A Tunable Language Model for Statistical Machine Translation},
BOOKTITLE = {Proc.\@ 11th Int.\@ Conf.\@ Association for Machine Translation in the Americas},
PAGES = {356--368},
EDITOR = {Yaser Al-Onaizan and Michel Simard},
PUBLISHER = {Association for Machine Translation in the Americas},
YEAR = 2014}
@ARTICLE{mal15,
AUTHOR = {Andreas Maletti},
TITLE = {Hyper-optimization for deterministic tree automata},
JOURNAL = {Theor.\@ Comput.\@ Sci.},
VOLUME = 578,
PAGES = {72--87},
YEAR = 2015}
@INPROCEEDINGS{fulmal15,
AUTHOR = {Zolt\'an F{\"u}l{\"o}p and Andreas Maletti},
TITLE = {Linking Theorems for Tree Transducers},
BOOKTITLE = {Proc.\@ 3rd Int.\@ Workshop Trends in Tree Automata and Tree Transducers},
EDITOR = {Emmanuel Filiot},
YEAR = 2015}
@INPROCEEDINGS{seebramal15,
AUTHOR = {Nina Seemann and Fabienne Braune and Andreas Maletti},
TITLE = {String-to-Tree Multi Bottom-up Tree Transducers},
BOOKTITLE = {Proc.\@ 53rd Annual Meeting of the Association for Computational Linguistics},
PAGES = {815--824},
EDITOR = {Chengqing Zong and Michael Strube},
PUBLISHER = {Association for Computational Linguistics},
YEAR = 2015}
@INPROCEEDINGS{seemal15,
AUTHOR = {Nina Seemann and Andreas Maletti},
TITLE = {Discontinuous Statistical Machine Translation with Target-Side Dependency Syntax},
BOOKTITLE = {Proc.\@ 10th Int.\@ Workshop on Statistical Machine Translation},
PAGES = {239--247},
EDITOR = {Ond\v{r}ej Bojar and Rajan Chatterjee and Christian Federmann and Barry Haddow and Chris Hokamp and Matthias Huck and Varvara Logacheva and Pavel Pecina},
PUBLISHER = {Association for Computational Linguistics},
YEAR = 2015}
@INPROCEEDINGS{mal15b,
AUTHOR = {Andreas Maletti},
TITLE = {Finite-State Technology in Natural Language Processing},
BOOKTITLE = {Proc.\@ 20th Int.\@ Conf.\@ Implementation and Application of Automata},
PAGES = {XVII--XIX},
EDITOR = {Frank Drewes},
VOLUME = 9223,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2015}
@INPROCEEDINGS{mal15d,
AUTHOR = {Andreas Maletti},
TITLE = {Extended Tree Transducers in Natural Language Processing},
BOOKTITLE = {Proc.\@ 12th Int.\@ Conf.\@ Finite-State Methods and Natural Language Processing},
PAGES = {1--3},
EDITOR = {Thomas Hanneforth and Christian Wurm},
PUBLISHER = {Association for Computational Linguistics},
YEAR = 2015}
@INPROCEEDINGS{seebramal15b,
AUTHOR = {Nina Seemann and Fabienne Braune and Andreas Maletti},
TITLE = {A Systematic Evaluation of {MBOT} in Statistical Machine Translation},
BOOKTITLE = {Proc.\@ 15th MT Summit},
PAGES = {200--214},
EDITOR = {Yaser Al-Onaizan and Will Lewis},
PUBLISHER = {Association for Machine Translation in the Americas},
YEAR = 2015}
@ARTICLE{mal15c,
AUTHOR = {Andreas Maletti},
TITLE = {The Power of Weighted Regularity-Preserving Multi Bottom-up Tree Transducers},
JOURNAL = {Int.\@ J.\@ Found.\@ Comput.\@ Sci.},
VOLUME = 26,
NUMBER = 7,
PAGES = {987--1005},
YEAR = 2015}
@ARTICLE{engfulmal15,
AUTHOR = {Joost Engelfriet and Zolt\'an F{\"u}l{\"o}p and Andreas Maletti},
TITLE = {Composition Closure of Linear Extended Top-down Tree Transducers},
JOURNAL = {Theory Comput.\@ Syst.},
VOLUME = 60,
NUMBER = 2,
PAGES = {129--171},
YEAR = 2017}
@ARTICLE{mal16,
AUTHOR = {Andreas Maletti},
TITLE = {Survey: Finite-State Technology in Natural Language Processing},
JOURNAL = {Theor.\@ Comput.\@ Sci.},
VOLUME = 679,
PAGES = {2--17},
YEAR = 2017}
@ARTICLE{fulmal16,
AUTHOR = {Zolt\'an F{\"u}l{\"o}p and Andreas Maletti},
TITLE = {Linking Theorems for Tree Transducers},
JOURNAL = {J.~Comput.\@ Syst.\@ Sci.},
VOLUME = 82,
NUMBER = 7,
PAGES = {1201--1222},
YEAR = 2016}
@INPROCEEDINGS{mal16b,
AUTHOR = {Andreas Maletti},
TITLE = {Compositions of Tree-to-Tree Statistical Machine Translation Models},
BOOKTITLE = {Proc.\@ 20th Int.\@ Conf.\@ Developments in Language Theory},
PAGES = {293--305},
EDITOR = {Srecko Brlek and Christophe Reutenauer},
VOLUME = 9840,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2016}
@ARTICLE{mal17,
AUTHOR = {Andreas Maletti},
TITLE = {Synchronous Forest Substitution Grammars},
JOURNAL = {Acta Cybernet.},
VOLUME = 23,
NUMBER = 2,
PAGES = {269--281},
YEAR = 2017}
@ARTICLE{engmalman17,
AUTHOR = {Joost Engelfriet and Andreas Maletti and Sebastian Maneth},
TITLE = {Multiple Context-Free Tree Grammars --- Lexicalization and Characterization},
JOURNAL = {arXiv Manuscript},
VOLUME = {1702.00304},
OPTPAGES = {--},
YEAR = 2017}
@ARTICLE{hanmalque17,
AUTHOR = {Thomas Hanneforth and Andreas Maletti and Daniel Quernheim},
TITLE = {Pushing for Weighted Tree Automata},
JOURNAL = {Log.\@ Methods Comput.\@ Sci.},
VOLUME = 14,
NUMBER = {1:5},
PAGES = {1--16},
YEAR = 2018}
@INPROCEEDINGS{engmal17,
AUTHOR = {Joost Engelfriet and Andreas Maletti},
TITLE = {Multiple Context-Free Tree Grammars and Multi-Component Tree Adjoining Grammars},
BOOKTITLE = {Proc.\@ 21th Int.\@ Symp.\@ Fundamentals of Computation Theory},
PAGES = {217--229},
EDITOR = {Ralf Klasing and Marc Zeitoun},
VOLUME = 10472,
SERIES = {{\upshape LNCS}},
PUBLISHER = {Springer},
YEAR = 2017}
@INPROCEEDINGS{chegilmalmaykni18,
AUTHOR = {Yining Chen and Sorcha Gilroy and Andreas Maletti and Jonathan May and Kevin Knight},
TITLE = {},
BOOKTITLE = {Proc.\@ 16th HLT Conf.\@ North American Chapter of the Association for Computational Linguistics},
OPTPAGES = {--},
OPTEDITOR = {Marilyn Walker and Heng Ji and Amanda Stent},
PUBLISHER = {Association for Computational Linguistics},
YEAR = 2018}
@ARTICLE{mal18,
AUTHOR = {Andreas Maletti},
TITLE = {Compositions of tree-to-tree statistical machine translation models},
JOURNAL = {Int.\@ J.\@ Found.\@ Comput.\@ Sci.},
OPTVOLUME = {},
OPTNUMBER = {},
OPTPAGES = {--},
NOTE = {to appear},
YEAR = 2018}
@ARTICLE{blamal22,
AUTHOR = {Malte Blattmann and Andreas Maletti},
TITLE = {Compositions with constant weighted extended tree transducers},
JOURNAL = {Int.\@ J.\@ Found.\@ Comput.\@ Sci.},
VOLUME = 34,
NUMBER = 6,
PAGES = {539--558},
DOI = {10.1142/S0129054122450010},
YEAR = 2023}
@ARTICLE{mal23,
AUTHOR = {Andreas Maletti},
TITLE = {Compositions of weighted extended tree transducers --- The unambiguous case},
JOURNAL = {Int.\@ J.\@ Found.\@ Comput.\@ Sci.},
VOLUME = 35,
NUMBER = {01n02},
PAGES = {107--127},
DOI = {10.1142/S0129054123480064},
YEAR = 2024}
@ARTICLE{malnas23,
AUTHOR = {Andreas Maletti and Andreea-Teodora N\'asz},
TITLE = {Weighted Tree Automata with Constraints},
JOURNAL = {Theory Comput.\@ Syst.},
OPTPAGES = {--},
OPTVOLUME = {},
OPTNUMBER = {},
DOI = {10.1007/s00224-023-10144-w},
NOTE = {to appear},
YEAR = 2023}
@ARTICLE{fenmal23,
AUTHOR = {Fan Feng and Andreas Maletti},
TITLE = {Weighted Two-way Transducers},
JOURNAL = {Inf.\@ Comput.},
OPTPAGES = {--},
VOLUME = 295,
NUMBER = {B},
DOI = {10.1016/j.ic.2023.105094},
YEAR = 2023}
@ARTICLE{malnasstiulb23,
AUTHOR = {Andreas Maletti and Andreea-Teodora Nasz and Kevin Stier and Markus Ulbricht},
TITLE = {Ambiguity Hierarchies for Weighted Tree Automata},
JOURNAL = {Int.\@ J.\@ Found.\@ Comput.\@ Sci.},
VOLUME = 34,
NUMBER = 8,
PAGES = {903--921},
DOI = {10.1142/S0129054123430013},
YEAR = 2023}