×

zbMATH — the first resource for mathematics

Vogler, Heiko

Compute Distance To:
Author ID: vogler.heiko Recent zbMATH articles by "Vogler, Heiko"
Published as: Vogler, H.; Vogler, Heiko
External Links: MGP
Documents Indexed: 81 Publications since 1984, including 6 Books

Publications by Year

Citations contained in zbMATH Open

61 Publications have been cited 547 times in 273 Documents Cited by Year
Handbook of weighted automata. Zbl 1200.68001
Droste, Manfred (ed.); Kuich, Werner (ed.); Vogler, Heiko (ed.)
114
2009
Macro tree transducers. Zbl 0588.68039
Engelfriet, Joost; Vogler, Heiko
52
1985
Weighted tree automata and weighted logics. Zbl 1154.68068
Droste, Manfred; Vogler, Heiko
26
2006
Syntax-directed semantics. Formal models based on tree transducers. Zbl 0913.68127
Fülöp, Zoltán; Vogler, Heiko
26
1998
Pushdown machines for the macro tree transducer. Zbl 0619.68065
Engelfriet, Joost; Vogler, Heiko
25
1986
Weighted finite automata over strong bimonoids. Zbl 1183.68337
Droste, Manfred; Stüber, Torsten; Vogler, Heiko
23
2010
Determinization of weighted finite automata over strong bimonoids. Zbl 1205.68198
Ćirić, Miroslav; Droste, Manfred; Ignjatović, Jelena; Vogler, Heiko
19
2010
Weighted automata and multi-valued logics over arbitrary bounded lattices. Zbl 1245.03060
Droste, Manfred; Vogler, Heiko
18
2012
High level tree transducers and iterated pushdown tree transducers. Zbl 0633.68073
Engelfriet, Joost; Vogler, Heiko
18
1988
A Kleene theorem for weighted tree automata. Zbl 1061.68092
Droste, Manfred; Pech, Christian; Vogler, Heiko
13
2005
Weighted logics for unranked tree automata. Zbl 1226.03048
Droste, Manfred; Vogler, Heiko
12
2011
Kleene and Büchi theorems for weighted automata and multi-valued logics over arbitrary bounded lattices. Zbl 1250.03063
Droste, Manfred; Vogler, Heiko
11
2010
The translation power of top-down tree-to-graph transducers. Zbl 0821.68078
Engelfriet, Joost; Vogler, Heiko
9
1994
Look-ahead on pushdowns. Zbl 0625.68063
Engelfriet, Joost; Vogler, Heiko
9
1987
Weighted tree transducers. Zbl 1102.68062
Fülöp, Zoltán; Vogler, Heiko
8
2004
Bottom-up and top-down tree series transformations. Zbl 1019.68056
Engelfriet, Joost; Fülöp, Zoltán; Vogler, Heiko
8
2002
Iterated linear control and iterated one-turn pushdowns. Zbl 0636.68106
Vogler, Heiko
8
1986
A Büchi-like theorem for weighted tree automata over multioperator monoids. Zbl 1280.03045
Fülöp, Zoltán; Stüber, Torsten; Vogler, Heiko
7
2012
Cut sets as recognizable tree languages. Zbl 1092.68052
Borchardt, Björn; Maletti, Andreas; Šešelja, Branimir; Tepavčević, Andreja; Vogler, Heiko
7
2006
A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead. Zbl 1178.68314
Fülöp, Zoltán; Kühnemann, Armin; Vogler, Heiko
7
2004
Tree series transformations that respect copying. Zbl 1062.68072
Fülöp, Zoltán; Vogler, Heiko
7
2003
A Kleene theorem for weighted tree automata over distributive multioperator monoids. Zbl 1192.68408
Fülöp, Zoltán; Maletti, Andreas; Vogler, Heiko
6
2009
Hierarchies of tree series transformations. Zbl 1160.68409
Fülöp, Zoltán; Gazdag, Zsolt; Vogler, Heiko
6
2004
Determinization of finite state weighted tree automata. Zbl 1141.68495
Borchardt, Björn; Vogler, Heiko
6
2003
Tree transducers with external functions. Zbl 0781.68053
Fülöp, Zoltán; Herrmann, Frank; Vágvölgyi, Sándor; Vogler, Heiko
6
1993
A Chomsky-Schützenberger theorem for weighted automata with storage. Zbl 06484054
Herrmann, Luisa; Vogler, Heiko
5
2015
The Chomsky-Schützenberger theorem for quantitative context-free languages. Zbl 1315.68169
Droste, Manfred; Vogler, Heiko
5
2014
Weighted extended tree transducers. Zbl 1236.68167
Fülöp, Zoltán; Maletti, Andreas; Vogler, Heiko
5
2011
Decomposition of weighted multioperator tree automata. Zbl 1226.68039
Stüber, Torsten; Vogler, Heiko; Fülöp, Zoltán
5
2009
Learning deterministically recognizable tree series. Zbl 1149.68384
Drewes, Frank; Vogler, Heiko
5
2007
Synthesized and inherited functions. A new computational model for syntax-directed semantics. Zbl 0818.68108
Kühnemann, Armin; Vogler, Heiko
5
1994
Modular tree transducers. Zbl 0729.68018
Engelfriet, Joost; Vogler, Heiko
5
1991
The OI-hierarchy is closed under control. Zbl 0655.68103
Vogler, Heiko
5
1988
A weighted MSO logic with storage behaviour and its Büchi-Elgot-Trakhtenbrot theorem. Zbl 1443.03018
Vogler, Heiko; Droste, Manfred; Herrmann, Luisa
4
2016
The Chomsky-Schützenberger theorem for quantitative context-free languages. Zbl 1381.68114
Droste, Manfred; Vogler, Heiko
4
2013
Weighted automata with discounting. Zbl 1186.68253
Droste, Manfred; Sakarovitch, Jacques; Vogler, Heiko
4
2008
A note on cut-worthiness of recognizable tree series. Zbl 1186.68241
Šešelja, Branimir; Tepavčević, Andreja; Vogler, Heiko
4
2008
Linear deterministic multi bottom-up tree transducers. Zbl 1080.68055
Fülöp, Zoltán; Kühnemann, Armin; Vogler, Heiko
4
2005
The equivalence of bottom-up and top-down tree-to-graph transducers. Zbl 1034.68526
Engelfriet, Joost; Vogler, Heiko
4
1998
Characterization of high level tree transducers. Zbl 0602.68076
Engelfriet, Joost; Vogler, Heiko
4
1985
Functional description of the contextual analysis in block-structured programming languages: A case study of tree transducers. Zbl 0745.68038
Vogler, Heiko
3
1991
Weighted symbolic automata with data storage. Zbl 1436.68172
Herrmann, Luisa; Vogler, Heiko
2
2016
Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics. Zbl 06484052
Droste, Manfred; Heusel, Doreen; Vogler, Heiko
2
2015
Determinization of weighted tree automata using factorizations. Zbl 1345.68201
Büchse, Matthias; May, Jonathan; Vogler, Heiko
2
2010
A characterization of attributed tree transformations by a subclass of macro tree transducers. Zbl 0943.68103
Fülöp, Z.; Vogler, H.
2
1999
The OI-hierarchy is closed under control. Zbl 0615.68050
Vogler, Heiko
2
1986
A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage. Zbl 07290418
Engelfriet, Joost; Vogler, Heiko
1
2020
Weighted automata with storage. Zbl 1435.68164
Herrmann, Luisa; Vogler, Heiko; Droste, Manfred
1
2019
Weighted regular tree grammars with storage. Zbl 1408.68087
Fülöp, Zoltán; Herrmann, Luisa; Vogler, Heiko
1
2018
Characterizations of recognizable weighted tree languages by logic and bimorphisms. Zbl 1398.68308
Fülöp, Zoltán; Vogler, Heiko
1
2018
Non-self-embedding linear context-free tree grammars generate regular tree languages. Zbl 1376.68082
Nederhof, Mark-Jan; Teichmann, Markus; Vogler, Heiko
1
2016
Forward and backward application of symbolic tree transducers. Zbl 1307.68047
Fülöp, Zoltán; Vogler, Heiko
1
2014
Bisimulation minimisation of weighted automata on unranked trees. Zbl 1191.68388
Högberg, Johanna; Maletti, Andreas; Vogler, Heiko
1
2009
The universality of higher-order attributed tree transducers. Zbl 0969.68091
Noll, T.; Vogler, H.
1
2001
Attributed context-free hypergraph grammars. Zbl 0916.68088
Maneth, Sebastian; Vogler, Heiko
1
1998
Parsing attribute grammars. A basic introduction. Zbl 0879.68068
Kühnemann, Armin; Vogler, Heiko
1
1997
A pumping lemma for output languages of attributed tree transducers. Zbl 0938.68690
Kühnemann, A.; Vogler, H.
1
1994
Basic tree transducers. Zbl 0625.68061
Vogler, Heiko
1
1987
Basic tree transducers. Zbl 0598.68055
Vogler, Heiko
1
1986
Iterated linear control and iterated one-turn pushdowns. Zbl 0574.68068
Vogler, Heiko
1
1985
Regular characterizations of macro tree transducers. Zbl 0544.68053
Engelfriet, Joost; Vogler, Heiko
1
1984
A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage. Zbl 07290418
Engelfriet, Joost; Vogler, Heiko
1
2020
Weighted automata with storage. Zbl 1435.68164
Herrmann, Luisa; Vogler, Heiko; Droste, Manfred
1
2019
Weighted regular tree grammars with storage. Zbl 1408.68087
Fülöp, Zoltán; Herrmann, Luisa; Vogler, Heiko
1
2018
Characterizations of recognizable weighted tree languages by logic and bimorphisms. Zbl 1398.68308
Fülöp, Zoltán; Vogler, Heiko
1
2018
A weighted MSO logic with storage behaviour and its Büchi-Elgot-Trakhtenbrot theorem. Zbl 1443.03018
Vogler, Heiko; Droste, Manfred; Herrmann, Luisa
4
2016
Weighted symbolic automata with data storage. Zbl 1436.68172
Herrmann, Luisa; Vogler, Heiko
2
2016
Non-self-embedding linear context-free tree grammars generate regular tree languages. Zbl 1376.68082
Nederhof, Mark-Jan; Teichmann, Markus; Vogler, Heiko
1
2016
A Chomsky-Schützenberger theorem for weighted automata with storage. Zbl 06484054
Herrmann, Luisa; Vogler, Heiko
5
2015
Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics. Zbl 06484052
Droste, Manfred; Heusel, Doreen; Vogler, Heiko
2
2015
The Chomsky-Schützenberger theorem for quantitative context-free languages. Zbl 1315.68169
Droste, Manfred; Vogler, Heiko
5
2014
Forward and backward application of symbolic tree transducers. Zbl 1307.68047
Fülöp, Zoltán; Vogler, Heiko
1
2014
The Chomsky-Schützenberger theorem for quantitative context-free languages. Zbl 1381.68114
Droste, Manfred; Vogler, Heiko
4
2013
Weighted automata and multi-valued logics over arbitrary bounded lattices. Zbl 1245.03060
Droste, Manfred; Vogler, Heiko
18
2012
A Büchi-like theorem for weighted tree automata over multioperator monoids. Zbl 1280.03045
Fülöp, Zoltán; Stüber, Torsten; Vogler, Heiko
7
2012
Weighted logics for unranked tree automata. Zbl 1226.03048
Droste, Manfred; Vogler, Heiko
12
2011
Weighted extended tree transducers. Zbl 1236.68167
Fülöp, Zoltán; Maletti, Andreas; Vogler, Heiko
5
2011
Weighted finite automata over strong bimonoids. Zbl 1183.68337
Droste, Manfred; Stüber, Torsten; Vogler, Heiko
23
2010
Determinization of weighted finite automata over strong bimonoids. Zbl 1205.68198
Ćirić, Miroslav; Droste, Manfred; Ignjatović, Jelena; Vogler, Heiko
19
2010
Kleene and Büchi theorems for weighted automata and multi-valued logics over arbitrary bounded lattices. Zbl 1250.03063
Droste, Manfred; Vogler, Heiko
11
2010
Determinization of weighted tree automata using factorizations. Zbl 1345.68201
Büchse, Matthias; May, Jonathan; Vogler, Heiko
2
2010
Handbook of weighted automata. Zbl 1200.68001
Droste, Manfred (ed.); Kuich, Werner (ed.); Vogler, Heiko (ed.)
114
2009
A Kleene theorem for weighted tree automata over distributive multioperator monoids. Zbl 1192.68408
Fülöp, Zoltán; Maletti, Andreas; Vogler, Heiko
6
2009
Decomposition of weighted multioperator tree automata. Zbl 1226.68039
Stüber, Torsten; Vogler, Heiko; Fülöp, Zoltán
5
2009
Bisimulation minimisation of weighted automata on unranked trees. Zbl 1191.68388
Högberg, Johanna; Maletti, Andreas; Vogler, Heiko
1
2009
Weighted automata with discounting. Zbl 1186.68253
Droste, Manfred; Sakarovitch, Jacques; Vogler, Heiko
4
2008
A note on cut-worthiness of recognizable tree series. Zbl 1186.68241
Šešelja, Branimir; Tepavčević, Andreja; Vogler, Heiko
4
2008
Learning deterministically recognizable tree series. Zbl 1149.68384
Drewes, Frank; Vogler, Heiko
5
2007
Weighted tree automata and weighted logics. Zbl 1154.68068
Droste, Manfred; Vogler, Heiko
26
2006
Cut sets as recognizable tree languages. Zbl 1092.68052
Borchardt, Björn; Maletti, Andreas; Šešelja, Branimir; Tepavčević, Andreja; Vogler, Heiko
7
2006
A Kleene theorem for weighted tree automata. Zbl 1061.68092
Droste, Manfred; Pech, Christian; Vogler, Heiko
13
2005
Linear deterministic multi bottom-up tree transducers. Zbl 1080.68055
Fülöp, Zoltán; Kühnemann, Armin; Vogler, Heiko
4
2005
Weighted tree transducers. Zbl 1102.68062
Fülöp, Zoltán; Vogler, Heiko
8
2004
A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead. Zbl 1178.68314
Fülöp, Zoltán; Kühnemann, Armin; Vogler, Heiko
7
2004
Hierarchies of tree series transformations. Zbl 1160.68409
Fülöp, Zoltán; Gazdag, Zsolt; Vogler, Heiko
6
2004
Tree series transformations that respect copying. Zbl 1062.68072
Fülöp, Zoltán; Vogler, Heiko
7
2003
Determinization of finite state weighted tree automata. Zbl 1141.68495
Borchardt, Björn; Vogler, Heiko
6
2003
Bottom-up and top-down tree series transformations. Zbl 1019.68056
Engelfriet, Joost; Fülöp, Zoltán; Vogler, Heiko
8
2002
The universality of higher-order attributed tree transducers. Zbl 0969.68091
Noll, T.; Vogler, H.
1
2001
A characterization of attributed tree transformations by a subclass of macro tree transducers. Zbl 0943.68103
Fülöp, Z.; Vogler, H.
2
1999
Syntax-directed semantics. Formal models based on tree transducers. Zbl 0913.68127
Fülöp, Zoltán; Vogler, Heiko
26
1998
The equivalence of bottom-up and top-down tree-to-graph transducers. Zbl 1034.68526
Engelfriet, Joost; Vogler, Heiko
4
1998
Attributed context-free hypergraph grammars. Zbl 0916.68088
Maneth, Sebastian; Vogler, Heiko
1
1998
Parsing attribute grammars. A basic introduction. Zbl 0879.68068
Kühnemann, Armin; Vogler, Heiko
1
1997
The translation power of top-down tree-to-graph transducers. Zbl 0821.68078
Engelfriet, Joost; Vogler, Heiko
9
1994
Synthesized and inherited functions. A new computational model for syntax-directed semantics. Zbl 0818.68108
Kühnemann, Armin; Vogler, Heiko
5
1994
A pumping lemma for output languages of attributed tree transducers. Zbl 0938.68690
Kühnemann, A.; Vogler, H.
1
1994
Tree transducers with external functions. Zbl 0781.68053
Fülöp, Zoltán; Herrmann, Frank; Vágvölgyi, Sándor; Vogler, Heiko
6
1993
Modular tree transducers. Zbl 0729.68018
Engelfriet, Joost; Vogler, Heiko
5
1991
Functional description of the contextual analysis in block-structured programming languages: A case study of tree transducers. Zbl 0745.68038
Vogler, Heiko
3
1991
High level tree transducers and iterated pushdown tree transducers. Zbl 0633.68073
Engelfriet, Joost; Vogler, Heiko
18
1988
The OI-hierarchy is closed under control. Zbl 0655.68103
Vogler, Heiko
5
1988
Look-ahead on pushdowns. Zbl 0625.68063
Engelfriet, Joost; Vogler, Heiko
9
1987
Basic tree transducers. Zbl 0625.68061
Vogler, Heiko
1
1987
Pushdown machines for the macro tree transducer. Zbl 0619.68065
Engelfriet, Joost; Vogler, Heiko
25
1986
Iterated linear control and iterated one-turn pushdowns. Zbl 0636.68106
Vogler, Heiko
8
1986
The OI-hierarchy is closed under control. Zbl 0615.68050
Vogler, Heiko
2
1986
Basic tree transducers. Zbl 0598.68055
Vogler, Heiko
1
1986
Macro tree transducers. Zbl 0588.68039
Engelfriet, Joost; Vogler, Heiko
52
1985
Characterization of high level tree transducers. Zbl 0602.68076
Engelfriet, Joost; Vogler, Heiko
4
1985
Iterated linear control and iterated one-turn pushdowns. Zbl 0574.68068
Vogler, Heiko
1
1985
Regular characterizations of macro tree transducers. Zbl 0544.68053
Engelfriet, Joost; Vogler, Heiko
1
1984
all top 5

Cited by 310 Authors

34 Vogler, Heiko
27 Engelfriet, Joost
26 Droste, Manfred
21 Fülöp, Zoltán
20 Maletti, Andreas
13 Maneth, Sebastian
12 Ćirić, Miroslav D.
10 Ignjatović, Jelena
8 Drewes, Frank
7 Kupferman, Orna
7 Meinecke, Ingmar
7 Vágvölgyi, Sándor
6 Larsen, Kim Guldstrand
6 Rahonis, George
5 Filiot, Emmanuel
5 Gastin, Paul
5 Stüber, Torsten
4 Björklund, Johanna
4 Ésik, Zoltán
4 Henzinger, Thomas A.
4 Kirsten, Daniel
4 Kühnemann, Armin
4 Li, Yongming
4 Mardare, Radu
4 Perevoshchikov, Vitaly
4 Seidl, Helmut
4 Sénizergues, Géraud
3 Babari, Parvaneh
3 Cao, Yongzhi
3 Chatterjee, Krishnendu
3 Damljanović, Nada
3 Dück, Stefan
3 Herrmann, Luisa
3 Jančić, Zorana
3 Lahaye, Sébastien
3 Monmege, Benjamin
3 Nakano, Keisuke
3 Otop, Jan
3 Paul, Erik
3 Peñaloza, Rafael
3 Quaas, Karin
3 Reynier, Pierre-Alain
3 Šešelja, Branimir
3 Talbot, Jean-Marc
3 Tepavčević, Andreja
2 Allender, Eric W.
2 Bašić, Milan
2 Bogdanović, Stojan M.
2 Boimond, Jean-Louis
2 Bollig, Benedikt
2 Bonsangue, Marcello Maria
2 Borgwardt, Stefan
2 de Francesco Albasini, Luisa
2 Denis, François
2 Fichtner, Ina
2 Garitagoitia, José Ramón
2 González de Mendívil, José Ramón
2 Götze, Doreen
2 Hoogeboom, Hendrik Jan
2 Inaba, Kazuhiro
2 Jančić, Ivana
2 Juhl, Line
2 Kobayashi, Naoki
2 Kostolányi, Peter
2 Krebs, Andreas
2 Kuich, Werner
2 Lai, Aiwen
2 Li, Ping
2 Ma, Zhanyou
2 Mathissen, Christian
2 Matsuda, Kazutaka
2 McKenzie, Pierre
2 Milius, Stefan
2 Mönnich, Uwe
2 Osterholzer, Johannes
2 Pan, Haiyu
2 Pattinson, Dirk
2 Raskin, Jean-François
2 Riveros, Cristian
2 Rutten, Jan J. M. M.
2 Sabadini, Nicoletta
2 Servais, Frédéric
2 Slutzki, Giora
2 Tamir, Tami
2 Teichmann, Markus
2 Veanes, Margus
2 Waldmann, Johannes
2 Walters, Robert F. C.
2 Wang, Xueping
2 Wißmann, Thorsten
2 Xue, Bingtian
1 Albert, Jürgen
1 Albert, Michael Henry
1 Alur, Rajeev
1 Aminof, Benjamin
1 Arenas, Marcelo
1 Asada, Kazuyuki
1 Avni, Guy
1 Bailly, Raphaël
1 Balle, Borja
...and 210 more Authors
all top 5

Cited in 44 Serials

54 Theoretical Computer Science
28 Information and Computation
17 Journal of Computer and System Sciences
16 Fuzzy Sets and Systems
13 Acta Informatica
12 International Journal of Foundations of Computer Science
12 Theory of Computing Systems
10 Information Processing Letters
8 Information Sciences
6 Soft Computing
4 Formal Methods in System Design
4 ACM Transactions on Computational Logic
3 Mathematical Systems Theory
2 International Journal of Approximate Reasoning
2 Discrete Event Dynamic Systems
2 Higher-Order and Symbolic Computation
2 The Journal of Logic and Algebraic Programming
2 Logical Methods in Computer Science
1 Bulletin of Mathematical Biology
1 Automatica
1 Journal of Combinatorial Theory. Series A
1 Journal of Mathematical Psychology
1 Annals of Pure and Applied Logic
1 Optimization
1 Forum Mathematicum
1 Formal Aspects of Computing
1 MSCS. Mathematical Structures in Computer Science
1 International Journal of Computer Mathematics
1 Linear Algebra and its Applications
1 RAIRO. Informatique Théorique et Applications
1 Russian Mathematics
1 Applied Categorical Structures
1 Combinatorics, Probability and Computing
1 Journal of Mathematical Sciences (New York)
1 Journal of Functional Programming
1 Journal of the ACM
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 Mathematica Moravica
1 Iranian Journal of Fuzzy Systems
1 Nonlinear Analysis. Hybrid Systems
1 RAIRO. Theoretical Informatics and Applications
1 Izvestiya Saratovskogo Universiteta. Novaya Seriya. Seriya Matematika, Mekhanika, Informatika
1 Journal of Function Spaces
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year