publications:
- title: "Linear deterministic multi bottom-up tree transducers"
  author:
  - name: "Zoltán Fülöp"
    link: "https://researchr.org/alias/zolt%C3%A1n-f%C3%BCl%C3%B6p"
  - name: "Armin Kühnemann"
    link: "http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/K=uuml=hnemann:Armin.html"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2005.07.025"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2005.07.025"
  researchr: "https://researchr.org/publication/FulopKV05"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "347"
  number: "1-2"
  pages: "276-287"
  kind: "article"
  key: "FulopKV05"
- title: "Bottom-Up and Top-Down Tree Series Transformations"
  author:
  - name: "Joost Engelfriet"
    link: "https://researchr.org/alias/joost-engelfriet"
  - name: "Zoltán Fülöp"
    link: "https://researchr.org/alias/zolt%C3%A1n-f%C3%BCl%C3%B6p"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2002"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/EngelfrietFV02"
  cites: 0
  citedby: 0
  journal: "Journal of Automata, Languages and Combinatorics"
  volume: "7"
  number: "1"
  pages: "11-70"
  kind: "article"
  key: "EngelfrietFV02"
- title: "A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids"
  author:
  - name: "Zoltán Fülöp"
    link: "https://researchr.org/alias/zolt%C3%A3%C2%A1n-f%C3%A3%C2%BCl%C3%A3%C2%B6p"
  - name: "Andreas Maletti"
    link: "https://researchr.org/alias/andreas-maletti"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s00224-007-9091-9"
  links:
    doi: "http://dx.doi.org/10.1007/s00224-007-9091-9"
  researchr: "https://researchr.org/publication/FulopMV09"
  cites: 0
  citedby: 0
  journal: "Theory Comput. Syst."
  volume: "44"
  number: "3"
  pages: "455-499"
  kind: "article"
  key: "FulopMV09"
- title: "A Universal Unification Algorithm Based on Unification-Driven Leftmost Outermost Narrowing"
  author:
  - name: "Heinz Faßbender"
    link: "https://researchr.org/alias/heinz-fa%C3%9Fbender"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1994"
  doi: "http://www.inf.u-szeged.hu/kutatas/actacybernetica/vol11n3/heiko/heiko.xml"
  links:
    doi: "http://www.inf.u-szeged.hu/kutatas/actacybernetica/vol11n3/heiko/heiko.xml"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/FassbenderV94"
  cites: 0
  citedby: 0
  journal: "Acta Cybern."
  volume: "11"
  number: "3"
  pages: "139-168"
  kind: "article"
  key: "FassbenderV94"
- title: "Incomparability Results for Classes of Polynomial Tree Series Transformations"
  author:
  - name: "Andreas Maletti"
    link: "https://researchr.org/alias/andreas-maletti"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2005"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/MalettiV05"
  cites: 0
  citedby: 0
  journal: "Journal of Automata, Languages and Combinatorics"
  volume: "10"
  number: "4"
  pages: "535-568"
  kind: "article"
  key: "MalettiV05"
- title: "Regular Characterizations of Macro Tree Transducers"
  author:
  - name: "Joost Engelfriet"
    link: "https://researchr.org/alias/joost-engelfriet"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1984"
  tags:
  - "macros"
  researchr: "https://researchr.org/publication/EngelfrietV84"
  cites: 0
  citedby: 0
  pages: "103-118"
  booktitle: "CAAP"
  kind: "inproceedings"
  key: "EngelfrietV84"
- title: "A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead"
  author:
  - name: "Zoltán Fülöp"
    link: "https://researchr.org/alias/zolt%C3%A1n-f%C3%BCl%C3%B6p"
  - name: "Armin Kühnemann"
    link: "http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/K=uuml=hnemann:Armin.html"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.ipl.2004.03.014"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2004.03.014"
  researchr: "https://researchr.org/publication/FulopKV04"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "91"
  number: "2"
  pages: "57-67"
  kind: "article"
  key: "FulopKV04"
- title: "Weighted Tree Transducers"
  author:
  - name: "Zoltán Fülöp"
    link: "https://researchr.org/alias/zolt%C3%A1n-f%C3%BCl%C3%B6p"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2004"
  researchr: "https://researchr.org/publication/FulopV04"
  cites: 0
  citedby: 0
  journal: "Journal of Automata, Languages and Combinatorics"
  volume: "9"
  number: "1"
  pages: "31-54"
  kind: "article"
  key: "FulopV04"
- title: "Compositions of Top-Down Tree Transducers with ::::epsilon::::-Rules"
  author:
  - name: "Andreas Maletti"
    link: "https://researchr.org/alias/andreas-maletti"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-14684-8_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14684-8_8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fsmnlp/MalettiV09"
  tags:
  - "rule-based"
  - "composition"
  - "rules"
  - "Epsilon"
  researchr: "https://researchr.org/publication/MalettiV09"
  cites: 0
  citedby: 0
  pages: "69-80"
  booktitle: "Finite-State Methods and Natural Language Processing, 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers"
  editor:
  - name: "Anssi Yli-Jyrä"
    link: "https://researchr.org/alias/anssi-yli-jyr%C3%A4"
  - name: "András Kornai"
    link: "https://researchr.org/alias/andr%C3%A1s-kornai"
  - name: "Jacques Sakarovitch"
    link: "https://researchr.org/alias/jacques-sakarovitch"
  - name: "Bruce W. Watson"
    link: "https://researchr.org/alias/bruce-w.-watson"
  volume: "6062"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-14683-1"
  kind: "inproceedings"
  key: "MalettiV09"
- title: "Decomposition of Weighted multioperator Tree Automata"
  author:
  - name: "Torsten Stüber"
    link: "https://researchr.org/alias/torsten-st%C3%BCber"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  - name: "Zoltán Fülöp"
    link: "https://researchr.org/alias/zolt%C3%A1n-f%C3%BCl%C3%B6p"
  year: "2009"
  doi: "http://dx.doi.org/10.1142/S012905410900653X"
  links:
    doi: "http://dx.doi.org/10.1142/S012905410900653X"
  researchr: "https://researchr.org/publication/StuberVF09"
  cites: 0
  citedby: 0
  journal: "Int. J. Found. Comput. Sci."
  volume: "20"
  number: "2"
  pages: "221-245"
  kind: "article"
  key: "StuberVF09"
- title: "Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers"
  author:
  - name: "Heinz Faßbender"
    link: "https://researchr.org/alias/heinz-fa%C3%9Fbender"
  - name: "Andrea Mößle"
    link: "https://researchr.org/alias/andrea-m%C3%B6%C3%9Fle"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1996"
  tags:
  - "macros"
  - "e-science"
  researchr: "https://researchr.org/publication/FassbenderMV96"
  cites: 0
  citedby: 0
  journal: "Journal of Functional and Logic Programming"
  volume: "1996"
  number: "2"
  kind: "article"
  key: "FassbenderMV96"
- title: "Hierarchies of tree series transformations"
  author:
  - name: "Zoltán Fülöp"
    link: "https://researchr.org/alias/zolt%C3%A1n-f%C3%BCl%C3%B6p"
  - name: "Zsolt Gazdag"
    link: "https://researchr.org/alias/zsolt-gazdag"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.tcs.2004.01.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2004.01.001"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/FulopGV04"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "314"
  number: "3"
  pages: "387-429"
  kind: "article"
  key: "FulopGV04"
- title: "Cut sets as recognizable tree languages"
  author:
  - name: "Björn Borchardt"
    link: "https://researchr.org/alias/bj%C3%B6rn-borchardt"
  - name: "Andreas Maletti"
    link: "https://researchr.org/alias/andreas-maletti"
  - name: "Branimir Seselja"
    link: "https://researchr.org/alias/branimir-seselja"
  - name: "Andreja Tepavcevic"
    link: "https://researchr.org/alias/andreja-tepavcevic"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.fss.2005.11.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.fss.2005.11.004"
  researchr: "https://researchr.org/publication/BorchardtMSTV06"
  cites: 0
  citedby: 0
  journal: "Fuzzy Sets and Systems"
  volume: "157"
  number: "11"
  pages: "1560-1571"
  kind: "article"
  key: "BorchardtMSTV06"
- title: "Modular Tree Transducers"
  author:
  - name: "Joost Engelfriet"
    link: "https://researchr.org/alias/joost-engelfriet"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1991"
  researchr: "https://researchr.org/publication/EngelfrietV91"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "78"
  number: "2"
  pages: "267-303"
  kind: "article"
  key: "EngelfrietV91"
- title: "Weighted monadic datalog"
  author:
  - name: "Torsten Stüber"
    link: "https://researchr.org/alias/torsten-st%C3%BCber"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.tcs.2008.04.025"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2008.04.025"
  tags:
  - "Datalog"
  researchr: "https://researchr.org/publication/StuberV08"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "403"
  number: "2-3"
  pages: "221-238"
  kind: "article"
  key: "StuberV08"
- title: "A Characterization of Attributed Tree Transformations by a Subclass of Macro Tree Transducers"
  author:
  - name: "Zoltán Fülöp"
    link: "https://researchr.org/alias/zolt%C3%A1n-f%C3%BCl%C3%B6p"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1999"
  doi: "http://link.springer.de/link/service/journals/00224/bibs/32n6p649.html"
  links:
    doi: "http://link.springer.de/link/service/journals/00224/bibs/32n6p649.html"
  tags:
  - "macros"
  - "transformation"
  researchr: "https://researchr.org/publication/FulopV99"
  cites: 0
  citedby: 0
  journal: "Theory Comput. Syst."
  volume: "32"
  number: "6"
  pages: "649-676"
  kind: "article"
  key: "FulopV99"
- title: "Look-Ahead on Pushdowns"
  author:
  - name: "Joost Engelfriet"
    link: "https://researchr.org/alias/joost-engelfriet"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1987"
  month: "June"
  researchr: "https://researchr.org/publication/EngelfrietV87"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "73"
  number: "3"
  pages: "245-279"
  kind: "article"
  key: "EngelfrietV87"
- title: "A Kleene Theorem for Weighted Tree Automata"
  author:
  - name: "Manfred Droste"
    link: "https://researchr.org/alias/manfred-droste"
  - name: "Christian Pech"
    link: "https://researchr.org/alias/christian-pech"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s00224-004-1096-z"
  links:
    doi: "http://dx.doi.org/10.1007/s00224-004-1096-z"
  researchr: "https://researchr.org/publication/DrostePV05"
  cites: 0
  citedby: 0
  journal: "Theory Comput. Syst."
  volume: "38"
  number: "1"
  pages: "1-38"
  kind: "article"
  key: "DrostePV05"
- title: "Basic Tree Transducers"
  author:
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1986"
  researchr: "https://researchr.org/publication/Vogler86%3A2"
  cites: 0
  citedby: 0
  pages: "183-195"
  booktitle: "CAAP  86, 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986, Proceedings"
  editor:
  - name: "Paul Franchi-Zannettacci"
    link: "https://researchr.org/alias/paul-franchi-zannettacci"
  volume: "214"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-16443-X"
  kind: "inproceedings"
  key: "Vogler86:2"
- title: "Basic Tree Transducers"
  author:
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1987"
  researchr: "https://researchr.org/publication/Vogler87%3A0"
  cites: 0
  citedby: 0
  journal: "J. Comput. Syst. Sci."
  volume: "34"
  number: "1"
  pages: "87-128"
  kind: "article"
  key: "Vogler87:0"
- title: "The OI-Hierarchy Is Closed under Control"
  author:
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1988"
  month: "September"
  researchr: "https://researchr.org/publication/Vogler88%3A0"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "78"
  number: "3"
  pages: "187-204"
  kind: "article"
  key: "Vogler88:0"
- title: "Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices"
  author:
  - name: "Manfred Droste"
    link: "https://researchr.org/alias/manfred-droste"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-14455-4_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14455-4_16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/dlt/DrosteV10"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/DrosteV10"
  cites: 0
  citedby: 0
  pages: "160-172"
  booktitle: "Developments in Language Theory, 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings"
  editor:
  - name: "Yuan Gao"
    link: "https://researchr.org/alias/yuan-gao"
  - name: "Hanlin Lu"
    link: "https://researchr.org/alias/hanlin-lu"
  - name: "Shinnosuke Seki"
    link: "https://researchr.org/alias/shinnosuke-seki"
  - name: "Sheng Yu"
    link: "https://researchr.org/alias/sheng-yu"
  volume: "6224"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-14454-7"
  kind: "inproceedings"
  key: "DrosteV10"
- title: "Benefits of Hypergraphs for Program Transformation"
  author:
  - name: "Andrea Mößle"
    link: "https://researchr.org/alias/andrea-m%C3%B6%C3%9Fle"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1997"
  tags:
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/MossleV97"
  cites: 0
  citedby: 0
  pages: "572-581"
  booktitle: "GI Jahrestagung"
  kind: "inproceedings"
  key: "MossleV97"
- title: "The Universality of Higher-Order Attributed Tree Transducers"
  author:
  - name: "Thomas Noll"
    link: "https://researchr.org/alias/thomas-noll"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2001"
  doi: "http://link.springer.de/link/service/journals/00224/contents/00/10018/"
  links:
    doi: "http://link.springer.de/link/service/journals/00224/contents/00/10018/"
  researchr: "https://researchr.org/publication/NollV01"
  cites: 0
  citedby: 0
  journal: "Theory Comput. Syst."
  volume: "34"
  number: "1"
  pages: "45-75"
  kind: "article"
  key: "NollV01"
- title: "Characterization of High Level Tree Transducers"
  author:
  - name: "Joost Engelfriet"
    link: "https://researchr.org/alias/joost-engelfriet"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1985"
  researchr: "https://researchr.org/publication/EngelfrietV85"
  cites: 0
  citedby: 0
  pages: "171-178"
  booktitle: "Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings"
  editor:
  - name: "Wilfried Brauer"
    link: "https://researchr.org/alias/wilfried-brauer"
  volume: "194"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-15650-X"
  kind: "inproceedings"
  key: "EngelfrietV85"
- title: "The OI-Hierarchy is Closed under Control"
  author:
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1986"
  researchr: "https://researchr.org/publication/Vogler86%3A1"
  cites: 0
  citedby: 0
  pages: "611-619"
  booktitle: "Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings"
  editor:
  - name: "Jozef Gruska"
    link: "https://researchr.org/alias/jozef-gruska"
  - name: "Branislav Rovan"
    link: "https://researchr.org/alias/branislav-rovan"
  - name: "Juraj Wiedermann"
    link: "https://researchr.org/alias/juraj-wiedermann"
  volume: "233"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-16783-8"
  kind: "inproceedings"
  key: "Vogler86:1"
- title: "A Pumping Lemma for Output Languages of Attributed Tree Transducers"
  author:
  - name: "Armin Kühnemann"
    link: "http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/K=uuml=hnemann:Armin.html"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1994"
  doi: "http://www.inf.u-szeged.hu/kutatas/actacybernetica/vol11n4/vogler/vogler.xml"
  links:
    doi: "http://www.inf.u-szeged.hu/kutatas/actacybernetica/vol11n4/vogler/vogler.xml"
  researchr: "https://researchr.org/publication/KuhnemannV94"
  cites: 0
  citedby: 0
  journal: "Acta Cybern."
  volume: "11"
  number: "4"
  pages: "261-306"
  kind: "article"
  key: "KuhnemannV94"
- title: "Editorial"
  author:
  - name: "Manfred Droste"
    link: "https://researchr.org/alias/manfred-droste"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2003"
  researchr: "https://researchr.org/publication/DrosteV03"
  cites: 0
  citedby: 0
  journal: "Journal of Automata, Languages and Combinatorics"
  volume: "8"
  number: "2"
  pages: "115"
  kind: "article"
  key: "DrosteV03"
- title: "Weighted automata with discounting"
  author:
  - name: "Manfred Droste"
    link: "https://researchr.org/alias/manfred-droste"
  - name: "Jacques Sakarovitch"
    link: "https://researchr.org/alias/jacques-sakarovitch"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.ipl.2008.03.014"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2008.03.014"
  researchr: "https://researchr.org/publication/DrosteSV08"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "108"
  number: "1"
  pages: "23-28"
  kind: "article"
  key: "DrosteSV08"
- title: "The Translation Power of Top-Down Tree-to-Graph Transducers"
  author:
  - name: "Joost Engelfriet"
    link: "https://researchr.org/alias/joost-engelfriet"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1994"
  tags:
  - "translation"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/EngelfrietV94%3A0"
  cites: 0
  citedby: 0
  journal: "J. Comput. Syst. Sci."
  volume: "49"
  number: "2"
  pages: "258-305"
  kind: "article"
  key: "EngelfrietV94:0"
- title: "Functional Description of the Contextual Analysis in Block-Structured Programming Languages: A Sase Study of Tree Transducers"
  author:
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1991"
  tags:
  - "programming languages"
  - "program analysis"
  - "functional programming"
  - "analysis"
  - "programming"
  researchr: "https://researchr.org/publication/Vogler91%3A4"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "16"
  number: "3"
  pages: "251-275"
  kind: "article"
  key: "Vogler91:4"
- title: "Determinization of weighted finite automata over strong bimonoids"
  author:
  - name: "Miroslav Ciric"
    link: "https://researchr.org/alias/miroslav-ciric"
  - name: "Manfred Droste"
    link: "https://researchr.org/alias/manfred-droste"
  - name: "Jelena Ignjatovic"
    link: "https://researchr.org/alias/jelena-ignjatovic"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.ins.2010.05.020"
  links:
    doi: "http://dx.doi.org/10.1016/j.ins.2010.05.020"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/isci/CiricDIV10"
  researchr: "https://researchr.org/publication/CiricDIV10"
  cites: 0
  citedby: 0
  journal: "Inf. Sci."
  volume: "180"
  number: "18"
  pages: "3497-3520"
  kind: "article"
  key: "CiricDIV10"
- title: "Relationally defined clones of tree functions closed under selection or primitive recursion"
  author:
  - name: "Reinhard Pöschel"
    link: "https://researchr.org/alias/reinhard-p%C3%B6schel"
  - name: "Alexander Semigrodskikh"
    link: "https://researchr.org/alias/alexander-semigrodskikh"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2004"
  doi: "http://www.inf.u-szeged.hu/actacybernetica/vol16n3/04_Poschel.xml"
  links:
    doi: "http://www.inf.u-szeged.hu/actacybernetica/vol16n3/04_Poschel.xml"
  researchr: "https://researchr.org/publication/PoschelSV04"
  cites: 0
  citedby: 0
  journal: "Acta Cybern."
  volume: "16"
  number: "3"
  pages: "411-425"
  kind: "article"
  key: "PoschelSV04"
- title: "The Equivalence of Bottom-Up and Top-Down Tree-to-Graph Transducers"
  author:
  - name: "Joost Engelfriet"
    link: "https://researchr.org/alias/joost-engelfriet"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1998"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/EngelfrietV98%3A0"
  cites: 0
  citedby: 0
  journal: "J. Comput. Syst. Sci."
  volume: "56"
  number: "3"
  pages: "332-356"
  kind: "article"
  key: "EngelfrietV98:0"
- title: "High Level Tree Transducers and Iterated Pushdown Tree Transducers"
  author:
  - name: "Joost Engelfriet"
    link: "https://researchr.org/alias/joost-engelfriet"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1988"
  researchr: "https://researchr.org/publication/EngelfrietV88"
  cites: 0
  citedby: 0
  journal: "Acta Informatica"
  volume: "26"
  number: "1/2"
  pages: "131-192"
  kind: "article"
  key: "EngelfrietV88"
- title: "Bisimulation Minimisation of Weighted Automata on Unranked Trees"
  author:
  - name: "Johanna Högberg"
    link: "https://researchr.org/alias/johanna-h%C3%B6gberg"
  - name: "Andreas Maletti"
    link: "https://researchr.org/alias/andreas-maletti"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2009"
  doi: "http://dx.doi.org/10.3233/FI-2009-0068"
  links:
    doi: "http://dx.doi.org/10.3233/FI-2009-0068"
  researchr: "https://researchr.org/publication/HogbergMV09"
  cites: 0
  citedby: 0
  journal: "Fundamenta Informaticae"
  volume: "92"
  number: "1-2"
  pages: "103-130"
  kind: "article"
  key: "HogbergMV09"
- title: "Top-down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars"
  author:
  - name: "Thomas Noll"
    link: "https://researchr.org/alias/thomas-noll"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1994"
  tags:
  - "attribute grammars"
  - "parsing"
  - "grammar"
  researchr: "https://researchr.org/publication/NollV94"
  cites: 0
  citedby: 0
  journal: "Fundamenta Informaticae"
  volume: "20"
  number: "4"
  pages: "285-332"
  kind: "article"
  key: "NollV94"
- title: "Learning Deterministically Recognizable Tree Series"
  author:
  - name: "Frank Drewes"
    link: "https://researchr.org/alias/frank-drewes"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2007"
  researchr: "https://researchr.org/publication/DrewesV07"
  cites: 0
  citedby: 0
  journal: "Journal of Automata, Languages and Combinatorics"
  volume: "12"
  number: "3"
  pages: "332-354"
  kind: "article"
  key: "DrewesV07"
- title: "Tree Series Transformations that Respect Copying"
  author:
  - name: "Zoltán Fülöp"
    link: "https://researchr.org/alias/zolt%C3%A1n-f%C3%BCl%C3%B6p"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2003"
  doi: "http://dx.doi.org/10.1007/s00224-003-1072-z"
  links:
    doi: "http://dx.doi.org/10.1007/s00224-003-1072-z"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/FulopV03"
  cites: 0
  citedby: 0
  journal: "Theory Comput. Syst."
  volume: "36"
  number: "3"
  pages: "247-293"
  kind: "article"
  key: "FulopV03"
- title: "Macro Tree Transducers"
  author:
  - name: "Joost Engelfriet"
    link: "https://researchr.org/alias/joost-engelfriet"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1985"
  tags:
  - "macros"
  researchr: "https://researchr.org/publication/EngelfrietV85%3A0"
  cites: 0
  citedby: 0
  journal: "J. Comput. Syst. Sci."
  volume: "31"
  number: "1"
  pages: "71-146"
  kind: "article"
  key: "EngelfrietV85:0"
- title: "Syntactic composition of top-down tree transducers is short cut fusion"
  author:
  - name: "Claus Jürgensen"
    link: "https://researchr.org/alias/claus-j%C3%BCrgensen"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S0960129503004109"
  links:
    doi: "http://dx.doi.org/10.1017/S0960129503004109"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/JurgensenV04"
  cites: 0
  citedby: 0
  journal: "Mathematical Structures in Computer Science"
  volume: "14"
  number: "2"
  pages: "215-282"
  kind: "article"
  key: "JurgensenV04"
- title: "::::Corrigenda: :::: Pushdown Machines for the Macro Tree Tranducer"
  author:
  - name: "Joost Engelfriet"
    link: "https://researchr.org/alias/joost-engelfriet"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1986"
  tags:
  - "macros"
  researchr: "https://researchr.org/publication/EngelfrietV86a"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "48"
  number: "3"
  pages: "339"
  kind: "article"
  key: "EngelfrietV86a"
- title: "An Implementation of Syntax Directed Functional Programming on Nested-Stack Machines"
  author:
  - name: "Heinz Faßbender"
    link: "https://researchr.org/alias/heinz-fa%C3%9Fbender"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1992"
  tags:
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/FassbenderV92"
  cites: 0
  citedby: 0
  journal: "Formal Asp. Comput."
  volume: "4"
  number: "4"
  pages: "341-375"
  kind: "article"
  key: "FassbenderV92"
- title: "Attributed Context-Free Hypergraph Grammars"
  author:
  - name: "Sebastian Maneth"
    link: "https://researchr.org/alias/sebastian-maneth"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1998"
  tags:
  - "attribute grammars"
  - "context-aware"
  - "grammar"
  researchr: "https://researchr.org/publication/ManethV98"
  cites: 0
  citedby: 0
  journal: "Journal of Automata, Languages and Combinatorics"
  volume: "3"
  number: "2"
  pages: "105-147"
  kind: "article"
  key: "ManethV98"
- title: "Pushdown Machines for the Macro Tree Transducer"
  author:
  - name: "Joost Engelfriet"
    link: "https://researchr.org/alias/joost-engelfriet"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1986"
  tags:
  - "macros"
  researchr: "https://researchr.org/publication/EngelfrietV86"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "42"
  pages: "251-368"
  kind: "article"
  key: "EngelfrietV86"
- title: "A note on cut-worthiness of recognizable tree series"
  author:
  - name: "Branimir Seselja"
    link: "https://researchr.org/alias/branimir-seselja"
  - name: "Andreja Tepavcevic"
    link: "https://researchr.org/alias/andreja-tepavcevic"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.fss.2008.02.009"
  links:
    doi: "http://dx.doi.org/10.1016/j.fss.2008.02.009"
  researchr: "https://researchr.org/publication/SeseljaTV08"
  cites: 0
  citedby: 0
  journal: "Fuzzy Sets and Systems"
  volume: "159"
  number: "22"
  pages: "3087-3090"
  kind: "article"
  key: "SeseljaTV08"
- title: "Synthesized and Inherited Functions. A new Computational Model for Syntax-Directed Semantic"
  author:
  - name: "Armin Kühnemann"
    link: "http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/k/K=uuml=hnemann:Armin.html"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1994"
  researchr: "https://researchr.org/publication/KuhnemannV94%3A0"
  cites: 0
  citedby: 0
  journal: "Acta Informatica"
  volume: "31"
  number: "5"
  pages: "431-477"
  kind: "article"
  key: "KuhnemannV94:0"
- title: "Weighted finite automata over strong bimonoids"
  author:
  - name: "Manfred Droste"
    link: "https://researchr.org/alias/manfred-droste"
  - name: "Torsten Stüber"
    link: "https://researchr.org/alias/torsten-st%C3%A3%C2%BCber"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.ins.2009.09.003"
  links:
    doi: "http://dx.doi.org/10.1016/j.ins.2009.09.003"
  researchr: "https://researchr.org/publication/DrosteSV10"
  cites: 0
  citedby: 0
  journal: "Inf. Sci."
  volume: "180"
  number: "1"
  pages: "156-166"
  kind: "article"
  key: "DrosteSV10"
- title: "Weighted tree automata and weighted logics"
  author:
  - name: "Manfred Droste"
    link: "https://researchr.org/alias/manfred-droste"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.tcs.2006.08.025"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2006.08.025"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/DrosteV06"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "366"
  number: "3"
  pages: "228-247"
  kind: "article"
  key: "DrosteV06"
- title: "Tree Transducers with External Functions"
  author:
  - name: "Zoltán Fülöp"
    link: "https://researchr.org/alias/zolt%C3%A1n-f%C3%BCl%C3%B6p"
  - name: "Frank Herrmann"
    link: "https://researchr.org/alias/frank-herrmann"
  - name: "Sándor Vágvölgyi"
    link: "https://researchr.org/alias/s%C3%A1ndor-v%C3%A1gv%C3%B6lgyi"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "1993"
  researchr: "https://researchr.org/publication/FulopHVV93"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "108"
  number: "2"
  pages: "185-236"
  kind: "article"
  key: "FulopHVV93"
- title: "Determinization of Finite State Weighted Tree Automata"
  author:
  - name: "Björn Borchardt"
    link: "https://researchr.org/alias/bj%C3%B6rn-borchardt"
  - name: "Heiko Vogler"
    link: "http://www.inf.tu-dresden.de/index.php?node_id=1568&ln=en"
  year: "2003"
  researchr: "https://researchr.org/publication/BorchardtV03"
  cites: 0
  citedby: 0
  journal: "Journal of Automata, Languages and Combinatorics"
  volume: "8"
  number: "3"
  pages: "417-463"
  kind: "article"
  key: "BorchardtV03"