@mastersthesis{mal01,
  pdf = {pub/mal01.pdf},
  slides = {pub/slides/mal01.pdf},
  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,
  pdf = {pub/mal02.pdf},
  slides = {pub/slides/mal02.pdf},
  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,
  pdf = {pub/malvog03.pdf},
  url = {http://www.inf.tu-dresden.de/index.php?node_id=38&ln=de#s2003},
  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,
  pdf = {pub/mal04.pdf},
  url = {http://www.inf.tu-dresden.de/index.php?node_id=38&ln=de#s2004},
  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,
  pdf = {pub/mal04a.pdf},
  slides = {pub/slides/mal04a.pdf},
  url = {http://dx.doi.org/10.1007/978-3-540-30550-7_27},
  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},
  publisher = {\copyright\ Springer-Verlag},
  year = 2004
}
@inproceedings{mal04b,
  pdf = {pub/mal04b.pdf},
  slides = {pub/slides/mal04b.pdf},
  url = {http://dx.doi.org/10.1007/978-3-540-30500-2_36},
  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 = {\copyright\ Springer-Verlag},
  series = {{\upshape LNCS}},
  volume = 3317
}
@article{borfulgazmal05,
  pdf = {pub/borfulgazmal05.pdf},
  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,
  pdf = {pub/hogmalmay08.pdf},
  url = {http://dx.doi.org/10.1016/j.tcs.2009.03.022},
  journal = {Theor.\ Comput.\ Sci.},
  pages = {3539--3552},
  title = {Backward and Forward Bisimulation Minimization of Tree Automata},
  volume = 410,
  number = 37,
  author = {Johanna H\"ogberg and Andreas Maletti and Jonathan May},
  year = 2009
}
@article{mal05a,
  pdf = {pub/mal05a.pdf},
  url = {http://dx.doi.org/10.1016/j.tcs.2005.02.005},
  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,
  pdf = {pub/mal05b.pdf},
  url = {http://dx.doi.org/10.1142/S012905410500325X},
  publisher = {\copyright\ World Scientific},
  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,
  pdf = {pub/mal05c.pdf},
  slides = {pub/slides/mal05c.pdf},
  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,
  pdf = {pub/mal05d.pdf},
  slides = {pub/slides/mal05d.pdf},
  url = {http://dx.doi.org/10.1007/11505877_30},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2005
}
@article{malvog06,
  pdf = {pub/malvog06.pdf},
  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 = 2006
}
@techreport{mal05e,
  pdf = {pub/mal05e.pdf},
  url = {http://www.inf.tu-dresden.de/index.php?node_id=38&ln=de#s2005},
  author = {Andreas Maletti},
  title = {Compositions of Tree Series Transformations},
  institution = {Technische Universit{\"a}t Dresden},
  number = {TUD-FI05-05},
  year = 2005
}
@inproceedings{mal06,
  pdf = {pub/mal06.pdf},
  slides = {pub/slides/mal06.pdf},
  url = {http://dx.doi.org/10.1007/11779148_20},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2006
}
@article{mal06a,
  pdf = {pub/mal06a.pdf},
  url = {http://dx.doi.org/10.1016/j.tcs.2006.08.026},
  author = {Andreas Maletti},
  title = {Compositions of Tree Series Transformations},
  journal = {Theor.\ Comput.\ Sci.},
  volume = 366,
  number = 3,
  pages = {248--271},
  year = 2006
}
@inproceedings{kuemal06,
  pdf = {pub/kuemal06.pdf},
  url = {http://dx.doi.org/10.1007/11784180_15},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2006
}
@article{bormalsestepvog06,
  pdf = {pub/bormalsestepvog06.pdf},
  url = {http://dx.doi.org/10.1016/j.fss.2005.11.004},
  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,
  pdf = {pub/mal06b.pdf},
  slides = {pub/slides/mal06b.pdf},
  url = {http://dx.doi.org/10.1007/11812128_15},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2006
}
@phdthesis{mal06c,
  pdf = {pub/mal06c.pdf},
  slides = {pub/slides/mal06c.pdf},
  author = {Andreas Maletti},
  title = {The Power of Tree Series Transducers},
  school = {Technische Universit{\"a}t Dresden},
  year = 2006
}
@techreport{mal06d,
  pdf = {pub/mal06d.pdf},
  url = {http://www.inf.tu-dresden.de/index.php?node_id=38&ln=de#s2006},
  author = {Andreas Maletti},
  title = {Pure and o-Substitution},
  institution = {Technische Universit\"at Dresden},
  number = {TUD-FI06-05},
  year = 2006
}
@inproceedings{mal07,
  pdf = {pub/mal07.pdf},
  slides = {pub/slides/mal07.pdf},
  url = {http://grammars.grlmc.com/LATA2007/proc.html},
  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,
  pdf = {pub/mal07b.pdf},
  slides = {pub/slides/mal07b.pdf},
  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,
  pdf = {pub/mal08c.pdf},
  slides = {pub/slides/mal08c.pdf},
  url = {http://dx.doi.org/10.1007/978-3-540-78773-0_10},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2008
}
@inproceedings{mal07c,
  pdf = {pub/mal07c.pdf},
  slides = {pub/slides/mal07c.pdf},
  url = {http://dx.doi.org/10.1007/978-3-540-75414-5_14},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2007
}
@article{mal07d,
  pdf = {pub/mal07d.pdf},
  url = {http://dx.doi.org/10.1142/S0129054107005005},
  publisher = {\copyright\ World Scientific},
  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,
  pdf = {pub/hogmalmay07a.pdf},
  url = {http://dx.doi.org/10.1007/978-3-540-76336-9_12},
  publisher = {\copyright\ Springer-Verlag},
  author = {Johanna H\"ogberg 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}},
  year = 2007
}
@inproceedings{hogmalmay07d,
  pdf = {pub/hogmalmay07d.pdf},
  url = {http://dx.doi.org/10.1007/978-3-540-73208-2_23},
  publisher = {\copyright\ Springer-Verlag},
  author = {Johanna H\"ogberg 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\"aki and Arto Lepist\"o},
  volume = 4588,
  series = {{\upshape LNCS}},
  year = 2007
}
@techreport{hogmalmay07b,
  pdf = {pub/hogmalmay07b.pdf},
  url = {http://www.isi.edu/publications/trpublic/},
  author = {Johanna H\"ogberg 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,
  pdf = {pub/hogmalmay07c.pdf},
  url = {http://www.isi.edu/publications/trpublic/},
  author = {Johanna H\"ogberg 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,
  pdf = {pub/mal07e.pdf},
  url = {http://dx.doi.org/10.1016/j.ic.2008.03.019},
  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,
  pdf = {pub/malgrahopkni07.pdf},
  url = {http://dx.doi.org/10.1137/070699160},
  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,
  pdf = {pub/fulmalvog07.pdf},
  url = {http://dx.doi.org/10.1007/s00224-007-9091-9},
  publisher = {\copyright\ Springer-Verlag},
  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,
  pdf = {pub/englilmal08.pdf},
  slides = {pub/slides/englilmal08.pdf},
  url = {http://dx.doi.org/10.1007/978-3-540-85780-8_23},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2008
}
@inproceedings{mal08b,
  pdf = {pub/mal08b.pdf},
  slides = {pub/slides/mal08b.pdf},
  url = {http://dx.doi.org/10.1007/978-3-540-88282-4_33},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2008
}
@techreport{hogmalvog08,
  pdf = {pub/hogmalvog08.pdf},
  url = {http://www.inf.tu-dresden.de/index.php?node_id=38&ln=de#s2008},
  title = {Bisimulation Minimisation of Weighted Automata on Unranked Trees},
  institution = {Technische Universit{\"a}t Dresden},
  number = {TUD-FI08-03},
  author = {Johanna H\"ogberg and Andreas Maletti and Heiko Vogler},
  year = 2008
}
@article{hogmalvog08b,
  url = {http://dx.doi.org/10.3233/FI-2009-0068},
  title = {Bisimulation Minimisation of Weighted Automata on Unranked Trees},
  journal = {Fundam.\ Inform.},
  number = {1--2},
  volume = 92,
  pages = {103--130},
  author = {Johanna H\"ogberg and Andreas Maletti and Heiko Vogler},
  year = 2009
}
@inproceedings{mal08d,
  pdf = {pub/mal08d.pdf},
  slides = {pub/slides/mal08d.pdf},
  url = {http://dx.doi.org/10.1007/978-3-540-70844-5_14},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2008
}
@article{mal08e,
  pdf = {pub/mal08e.pdf},
  url = {http://dx.doi.org/10.1016/j.ic.2009.01.004},
  title = {Minimizing Deterministic Weighted Tree Automata},
  journal = {Inf.\ Comput.},
  number = 11,
  volume = 207,
  pages = {1284--1299},
  author = {Andreas Maletti},
  year = 2009
}
@article{englilmal08b,
  pdf = {pub/englilmal08b.pdf},
  url = {http://dx.doi.org/10.1007/s00236-009-0105-8},
  publisher = {\copyright\ Springer-Verlag},
  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,
  pdf = {pub/maltir08.pdf},
  arxiv = {http://arxiv.org/abs/0906.2369},
  url = {http://dx.doi.org/10.1142/S0129054110007234},
  publisher = {\copyright\ World Scientific},
  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{seeque08,
  pdf = {pub2/seeque08.pdf},
  url = {http://dx.doi.org/10.3233/978-1-58603-975-2-134},
  publisher = {\copyright\ IOS Press},
  title = {Optimality Theory and Vector Semirings},
  booktitle = {Proc.\ 7th Int. Workshop Finite-State Methods and Natural Language Processing},
  pages = {134--145},
  author = {Wolfgang Seeker and Daniel Quernheim},
  year = 2009
}
@inproceedings{mal09,
  pdf = {pub/mal09.pdf},
  slides = {pub/slides/mal09.pdf},
  url = {http://dx.doi.org/10.1007/978-3-642-03564-7_19},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2009
}
@inproceedings{maltir09,
  pdf = {pub/maltir09.pdf},
  url = {http://dx.doi.org/10.1007/978-3-642-03564-7_20},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2009
}
@inproceedings{malvog09,
  pdf = {pub/malvog09.pdf},
  slides = {pub/slides/malvog09.pdf},
  url = {http://dx.doi.org/10.1007/978-3-642-14684-8_8},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2010
}
@inproceedings{mal09b,
  pdf = {pub/mal09b.pdf},
  slides = {pub/slides/mal09b.pdf},
  url = {http://dx.doi.org/10.1007/978-3-642-14684-8_7},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2009
}
@inproceedings{holmal09,
  pdf = {pub/holmal09.pdf},
  url = {http://dx.doi.org/10.1007/978-3-642-02979-0_4},
  publisher = {\copyright\ Springer-Verlag},
  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,
  pdf = {pub/holmal09b.pdf},
  url = {http://www.informatik.uni-giessen.de/reports/Report0902.pdf},
  number = {0902},
  institution = {Institut f\"ur 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,
  pdf = {pub/malsat09.pdf},
  slides = {pub/slides/malsat09.pdf},
  url = {http://www.aclweb.org/anthology/W/W09/W09-3801.pdf},
  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 = {\copyright\ Association for Computational Linguistics},
  year = 2009
}
@techreport{drehogmal09,
  pdf = {pub/drehogmal09.pdf},
  url = {http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-30299},
  number = {UMINF 09.22},
  institution = {Ume\aa\ University},
  author = {Frank Drewes and Johanna H\"ogberg and Andreas Maletti},
  title = {{MAT} Learners for Tree Series --- an Abstract Data Type and Two Realizations},
  year = 2009
}
@article{drehogmal09b,
  pdf = {pub/drehogmal09b.pdf},
  url = {http://dx.doi.org/10.1007/s00236-011-0135-x},
  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\"ogberg and Andreas Maletti},
  year = 2011
}
@inproceedings{quetei09,
  pdf = {pub2/quetei09.pdf},
  title = {Regular Approximation as a Heuristics for {A*} Parsing},
  booktitle = {Proc.\ 8th Int. Workshop Finite-State Methods and Natural Language Processing},
  author = {Daniel Quernheim and Christoph Teichmann},
  year = 2009
}
@inproceedings{mal10,
  pdf = {pub/mal10.pdf},
  slides = {pub/slides/mal10.pdf},
  url = {http://aclweb.org/anthology/N/N10/N10-1130.pdf},
  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 = {\copyright\ Association for Computational Linguistics},
  year = 2010
}
@article{holmal10,
  pdf = {pub/holmal10.pdf},
  url = {http://dx.doi.org/10.1016/j.tcs.2010.05.029},
  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,
  pdf = {pub/mal10b.pdf},
  slides = {pub/slides/mal10b.pdf},
  url = {http://dx.doi.org/10.1007/978-3-642-14455-4_29},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2010
}
@inproceedings{mal10c,
  pdf = {pub/mal10c.pdf},
  slides = {pub/slides/mal10c.pdf},
  url = {http://dx.doi.org/10.1007/978-3-642-18098-9_22},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2011
}
@inproceedings{esimal10,
  pdf = {pub/esimal10.pdf},
  arxiv = {http://arxiv.org/abs/1004.2426},
  publisher = {\copyright\ CSREA Press},
  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},
  year = 2010
}
@inproceedings{esimal10b,
  pdf = {pub/esimal10b.pdf},
  slides = {pub/slides/esimal10b.pdf},
  arxiv = {http://arxiv.org/abs/1005.2079},
  url = {http://dx.doi.org/10.1007/978-3-642-18098-9_34},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2011
}
@article{mal10e,
  pdf = {pub/mal10e.pdf},
  url = {http://dx.doi.org/10.1017/S1351324911000027},
  title = {An Alternative to Synchronous Tree Substitution Grammars},
  journal = {Natural Language Engineering},
  number = 2,
  volume = 17,
  pages = {221--242},
  author = {Andreas Maletti},
  year = 2011
}
@inproceedings{mal10d,
  pdf = {pub/mal10d.pdf},
  slides = {pub/slides/mal10d.pdf},
  url = {http://www.aclweb.org/anthology/P10-1109},
  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 = {\copyright\ Association for Computational Linguistics},
  year = 2010
}
@inproceedings{fulmalvog10,
  pdf = {pub/fulmalvog10.pdf},
  url = {http://www.aclweb.org/anthology/W10-2501},
  author = {Zolt\'an F\"ul\"op 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 = {\copyright\ Association for Computational Linguistics},
  year = 2010
}
@inproceedings{malsat10,
  pdf = {pub/malsat10.pdf},
  slides = {pub/slides/malsat10.pdf},
  url = {http://www.aclweb.org/anthology/W10-2503},
  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 = {\copyright\ Association for Computational Linguistics},
  year = 2010
}
@inproceedings{mal10f,
  pdf = {pub/mal10f.pdf},
  slides = {pub/slides/mal10f.pdf},
  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 = {\"Osterreichische Computer Gesellschaft},
  year = 2010
}
@article{fulmalvog10b,
  url = {http://dx.doi.org/10.3233/FI-2011-546},
  author = {Zolt\'an F\"ul\"op and Andreas Maletti and Heiko Vogler},
  title = {Weighted Extended Tree Transducers},
  journal = {Fundam.\ Inform.},
  volume = 112,
  number = 1,
  pages = {1--39},
  year = 2011
}
@incollection{que10,
  publisher = {\copyright\ Akademie Verlag},
  title = {Tomita's Algorithm Revisited},
  booktitle = {Language and Logos},
  author = {Daniel Quernheim},
  pages = {328--336},
  editor = {Thomas Hanneforth and Gisbert Fanselow},
  volume = 72,
  series = {Studia Grammatica},
  year = 2010
}
@mastersthesis{que10a,
  pdf = {pub2/que10a.pdf},
  title = {Hyper-minimisation of weighted finite automata},
  author = {Daniel Quernheim},
  school = {Institut f{\"u}r Linguistik, Universit{\"a}t Potsdam},
  year = 2010
}
@article{mal11,
  keyword = {tt-in-mt},
  pdf = {pub/mal11.pdf},
  author = {Andreas Maletti},
  title = {\emph{Survey:} Weighted Extended Top-down Tree Transducers ---
  {P}art {I}: Basics and Expressive Power},
  journal = {Acta Cybernet.},
  volume = 20,
  number = 2,
  pages = {223--250},
  year = 2011
}
@article{mal11b,
  keyword = {tt-in-mt},
  author = {Andreas Maletti},
  url = {http://dx.doi.org/10.3233/FI-2011-589},
  title = {\emph{Survey:} Weighted Extended Top-down Tree Transducers ---
  {P}art {II}: Application in Machine Translation},
  journal = {Fundam.\ Inform.},
  volume = 112,
  number = {2--3},
  pages = {239--261},
  year = 2011
}
@article{malque11,
  keyword = {tt-in-mt},
  pdf = {pub/malque11.pdf},
  arxiv = {http://arxiv.org/abs/1104.3007},
  url = {http://dx.doi.org/10.1142/S0129054111009094},
  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,
  keyword = {tt-in-mt},
  pdf = {pub/esimal11.pdf},
  url = {http://dx.doi.org/10.1142/S0129054111009070},
  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,
  keyword = {tt-in-mt},
  url = {http://aclweb.org/anthology/P/P11/P11-1083.pdf},
  pdf = {pub/mal11c.pdf},
  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 = {\copyright\ Association for Computational Linguistics},
  year = 2011
}
@inproceedings{gawjezmal11,
  keyword = {tt-in-mt},
  pdf = {pub/gawjezmal11.pdf},
  arxiv = {http://arxiv.org/abs/1102.5682},
  publisher = {\copyright\ Springer-Verlag},
  author = {Pawe\l{} Gawrychowski and Artur Je\.z and Andreas Maletti},
  title = {On Minimising Automata with Errors},
  booktitle = {Proc.\ 36th Int. Conf. Mathematical Foundations of
Computer Science},
  pages = {327--338},
  editor = {Filip Murlak and Piotr Sankowski},
  volume = 6907,
  series = {{\upshape LNCS}},
  year = 2011
}
@inproceedings{malque11b,
  keyword = {tt-in-mt},
  pdf = {pub/malque11b.pdf},
  publisher = {\copyright\ Ny\'iregyh\'aza College},
  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\"om\"osi and Szabolcs Iv\'an},
  year = 2011
}
@inproceedings{jezmal11,
  keyword = {tt-in-mt},
  pdf = {pub/jezmal11.pdf},
  url = {http://dx.doi.org/10.1007/978-3-642-22256-6_19},
  publisher = {\copyright\ Springer-Verlag},
  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\'eatrice Bouchou-Markhoff and Pascal Caron and Jean-Marc Champarnaud and Denis Maurel},
  volume = 6807,
  series = {{\upshape LNCS}},
  year = 2011
}
@inproceedings{malque11c,
  keyword = {tt-in-mt},
  pdf = {pub/malque11c.pdf},
  url = {http://dx.doi.org/10.1007/978-3-642-22993-0_42},
  publisher = {\copyright\ Springer-Verlag},
  author = {Andreas Maletti and Daniel Quernheim},
  title = {Pushing for weighted tree automata},
  booktitle = {Proc.\ 36th Int. Conf. Mathematical Foundations of
Computer Science},
  pages = {460--471},
  editor = {Filip Murlak and Piotr Sankowski},
  volume = 6907,
  series = {{\upshape LNCS}},
  year = 2011
}
@inproceedings{mal11e,
  keyword = {tt-in-mt},
  pdf = {pub/mal11e.pdf},
  author = {Andreas Maletti},
  title = {Notes on Hyper-Minimization},
  booktitle = {Proc.\ 13th Int.\ Conf.\ Automata and Formal Languages},
  pages = {34--49},
  editor = {P\'al D\"om\"osi and Szabolcs Iv\'an},
  publisher = {\copyright\ Ny\'iregyh\'aza College},
  year = 2011
}
@inproceedings{mal11d,
  keyword = {tt-in-mt},
  pdf = {pub/mal11d.pdf},
  url = {http://dx.doi.org/10.1007/978-3-642-23211-4_1},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2011
}
@inproceedings{lagmal11,
  keyword = {tt-in-mt},
  pdf = {pub/lagmal11.pdf},
  url = {http://dx.doi.org/10.1007/978-3-642-24897-9_13},
  publisher = {\copyright\ Springer-Verlag},
  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}},
  year = 2011
}
@inproceedings{lagbraquemal12,
  keyword = {tt-in-mt},
  pdf = {pub/lagbraquemal12.pdf},
  publisher = {\copyright\ Association for Computational Linguistics},
  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},
  year = 2012,
  pages = {808--817}
}
@inproceedings{seequebramal12,
  keyword = {tt-in-mt},
  pdf = {pub/seequebramal12.pdf},
  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 = {\copyright\ Association for Computational Linguistics}
}
@inproceedings{mal12,
  keyword = {tt-in-mt},
  pdf = {pub/mal12.pdf},
  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 = {\copyright\ Association for Computational Linguistics}
}
@inproceedings{engmal12,
  keyword = {tt-in-mt},
  pdf = {pub/engmal12.pdf},
  author = {Andreas Maletti and Joost Engelfriet},
  title = {Strong lexicalization of tree adjoining grammars},
  booktitle = {Proc.\ 50th Annual Meeting Association for
               Computational Linguistics},
  optpages = {--},
  opteditor = {},
  year = 2012,
  publisher = {\copyright\ Association for Computational Linguistics},
  note = {(to appear)}
}
@inproceedings{buemalvog12,
  keyword = {tt-in-mt},
  pdf = {pub/buemalvog12.pdf},
  author = {Matthias B\"uchse 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{jezmal12,
  keyword = {tt-in-mt},
  pdf = {pub/jezmal12.pdf},
  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{quekni12,
  keyword = {tt-in-mt},
  pdf = {pub2/quekni12.pdf},
  author = {Daniel Quernheim and Kevin Knight},
  title = {Towards Probabilistic Acceptors and Transducers for Feature Structures},
  booktitle = {Proc.\ 6th Workshop Syntax, Semantics and Structure in Statistical Translation},
  pages = {76--85},
  editor = {Marine Carpuat  and  Lucia Specia  and  Dekai Wu},
  year = 2012,
  publisher = {\copyright\ Association for Computational Linguistics}
}
@inproceedings{quekni12b,
  keyword = {tt-in-mt},
  pdf = {pub2/quekni12b.pdf},
  author = {Daniel Quernheim and Kevin Knight},
  title = {DAGGER: A Toolkit for Automata on Directed Acyclic Graphs
},
  booktitle = {Proc.\ 10th Int.\ Workshop Finite-State Methods and Natural Language Processing},
  optpages = {--},
  opteditor = {},
  year = 2012,
  publisher = {\copyright\ Association for Computational Linguistics}
}
@article{malque11d,
  keyword = {tt-in-mt},
  author = {Andreas Maletti and Daniel Quernheim},
  title = {Unweighted and Weighted Hyper-minimization},
  journal = {Int.\ J.\ Found.\ Comput.\ Sci.},
  optvolume = {},
  optnumber = {},
  optpages = {},
  year = 2012
}