Heiko Vogler Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Droste, Torsten Stüber, Heiko Vogler: Weighted finite automata over strong bimonoids. Inf. Sci. 180(1): 156-166 (2010)
2009
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohanna Högberg, Andreas Maletti, Heiko Vogler: Bisimulation Minimisation of Weighted Automata on Unranked Trees. Fundam. Inform. 92(1-2): 103-130 (2009)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Stüber, Heiko Vogler, Zoltán Fülöp: Decomposition of Weighted multioperator Tree Automata. Int. J. Found. Comput. Sci. 20(2): 221-245 (2009)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltán Fülöp, Andreas Maletti, Heiko Vogler: A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids. Theory Comput. Syst. 44(3): 455-499 (2009)
2008
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBranimir Seselja, Andreja Tepavcevic, Heiko Vogler: A note on cut-worthiness of recognizable tree series. Fuzzy Sets and Systems 159(22): 3087-3090 (2008)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Droste, Jacques Sakarovitch, Heiko Vogler: Weighted automata with discounting. Inf. Process. Lett. 108(1): 23-28 (2008)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTorsten Stüber, Heiko Vogler: Weighted monadic datalog. Theor. Comput. Sci. 403(2-3): 221-238 (2008)
2007
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Drewes, Heiko Vogler: Learning Deterministically Recognizable Tree Series. Journal of Automata, Languages and Combinatorics 12(3): 332-354 (2007)
2006
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBjörn Borchardt, Andreas Maletti, Branimir Seselja, Andreja Tepavcevic, Heiko Vogler: Cut sets as recognizable tree languages. Fuzzy Sets and Systems 157(11): 1560-1571 (2006)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Droste, Heiko Vogler: Weighted tree automata and weighted logics. Theor. Comput. Sci. 366(3): 228-247 (2006)
2005
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Maletti, Heiko Vogler: Incomparability Results for Classes of Polynomial Tree Series Transformations. Journal of Automata, Languages and Combinatorics 10(4): 535-568 (2005)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltán Fülöp, Armin Kühnemann, Heiko Vogler: Linear deterministic multi bottom-up tree transducers. Theor. Comput. Sci. 347(1-2): 276-287 (2005)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Droste, Christian Pech, Heiko Vogler: A Kleene Theorem for Weighted Tree Automata. Theory Comput. Syst. 38(1): 1-38 (2005)
2004
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Pöschel, Alexander Semigrodskikh, Heiko Vogler: Relationally defined clones of tree functions closed under selection or primitive recursion. Acta Cybern. 16(3): 411-425 (2004)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltán Fülöp, Armin Kühnemann, Heiko Vogler: A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead. Inf. Process. Lett. 91(2): 57-67 (2004)
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltán Fülöp, Heiko Vogler: Weighted Tree Transducers. Journal of Automata, Languages and Combinatorics 9(1): 31-54 (2004)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaus Jürgensen, Heiko Vogler: Syntactic composition of top-down tree transducers is short cut fusion. Mathematical Structures in Computer Science 14(2): 215-282 (2004)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltán Fülöp, Zsolt Gazdag, Heiko Vogler: Hierarchies of tree series transformations. Theor. Comput. Sci. 314(3): 387-429 (2004)
2003
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred Droste, Heiko Vogler: Editorial. Journal of Automata, Languages and Combinatorics 8(2): 115 (2003)
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBjörn Borchardt, Heiko Vogler: Determinization of Finite State Weighted Tree Automata. Journal of Automata, Languages and Combinatorics 8(3): 417-463 (2003)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltán Fülöp, Heiko Vogler: Tree Series Transformations that Respect Copying. Theory Comput. Syst. 36(3): 247-293 (2003)
2002
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost Engelfriet, Zoltán Fülöp, Heiko Vogler: Bottom-Up and Top-Down Tree Series Transformations. Journal of Automata, Languages and Combinatorics 7(1): 11-70 (2002)
2001
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Noll, Heiko Vogler: The Universality of Higher-Order Attributed Tree Transducers. Theory Comput. Syst. 34(1): 45-75 (2001)
1999
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltán Fülöp, Heiko Vogler: A Characterization of Attributed Tree Transformations by a Subclass of Macro Tree Transducers. Theory Comput. Syst. 32(6): 649-676 (1999)
1998
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost Engelfriet, Heiko Vogler: The Equivalence of Bottom-Up and Top-Down Tree-to-Graph Transducers. J. Comput. Syst. Sci. 56(3): 332-356 (1998)
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Maneth, Heiko Vogler: Attributed Context-Free Hypergraph Grammars. Journal of Automata, Languages and Combinatorics 3(2): 105-147 (1998)
1997
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Mößle, Heiko Vogler: Benefits of Hypergraphs for Program Transformation. GI Jahrestagung 1997: 572-581
1996
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz Faßbender, Andrea Mößle, Heiko Vogler: Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers. Journal of Functional and Logic Programming 1996(2): (1996)
1994
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz Faßbender, Heiko Vogler: A Universal Unification Algorithm Based on Unification-Driven Leftmost Outermost Narrowing. Acta Cybern. 11(3): 139-168 (1994)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Kühnemann, Heiko Vogler: A Pumping Lemma for Output Languages of Attributed Tree Transducers. Acta Cybern. 11(4): 261-306 (1994)
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Kühnemann, Heiko Vogler: Synthesized and Inherited Functions. A new Computational Model for Syntax-Directed Semantic. Acta Inf. 31(5): 431-477 (1994)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Noll, Heiko Vogler: Top-down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars. Fundam. Inform. 20(4): 285-332 (1994)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost Engelfriet, Heiko Vogler: The Translation Power of Top-Down Tree-to-Graph Transducers. J. Comput. Syst. Sci. 49(2): 258-305 (1994)
1993
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZoltán Fülöp, Frank Herrmann, Sándor Vágvölgyi, Heiko Vogler: Tree Transducers with External Functions. Theor. Comput. Sci. 108(2): 185-236 (1993)
1992
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeinz Faßbender, Heiko Vogler: An Implementation of Syntax Directed Functional Programming on Nested-Stack Machines. Formal Asp. Comput. 4(4): 341-375 (1992)
1991
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Vogler: Functional Description of the Contextual Analysis in Block-Structured Programming Languages: A Sase Study of Tree Transducers. Sci. Comput. Program. 16(3): 251-275 (1991)
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost Engelfriet, Heiko Vogler: Modular Tree Transducers. Theor. Comput. Sci. 78(2): 267-303 (1991)
1988
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost Engelfriet, Heiko Vogler: High Level Tree Transducers and Iterated Pushdown Tree Transducers. Acta Inf. 26(1/2): 131-192 (1988)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Vogler: The OI-Hierarchy Is Closed under Control Inf. Comput. 78(3): 187-204 (1988)
1987
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost Engelfriet, Heiko Vogler: Look-Ahead on Pushdowns Inf. Comput. 73(3): 245-279 (1987)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Vogler: Basic Tree Transducers. J. Comput. Syst. Sci. 34(1): 87-128 (1987)
1986
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Vogler: Basic Tree Transducers. CAAP 1986: 183-195
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Vogler: The OI-Hierarchy is Closed under Control. MFCS 1986: 611-619
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Vogler: Iterated Linear Control and Iterated One-Turn Pushdowns. Mathematical Systems Theory 19(2): 117-133 (1986)
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost Engelfriet, Heiko Vogler: Pushdown Machines for the Macro Tree Transducer. Theor. Comput. Sci. 42: 251-368 (1986)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost Engelfriet, Heiko Vogler: Corrigenda: Pushdown Machines for the Macro Tree Tranducer. Theor. Comput. Sci. 48(3): 339 (1986)
1985
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHeiko Vogler: Iterated linear control and iterated one-turn pushdowns. FCT 1985: 474-483
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost Engelfriet, Heiko Vogler: Characterization of High Level Tree Transducers. ICALP 1985: 171-178
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost Engelfriet, Heiko Vogler: Macro Tree Transducers. J. Comput. Syst. Sci. 31(1): 71-146 (1985)
1984
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoost Engelfriet, Heiko Vogler: Regular Characterizations of Macro Tree Transducers. CAAP 1984: 103-118

Coauthor Index

1Björn Borchardt [31] [42]
2Frank Drewes [43]
3Manfred Droste [32] [38] [41] [45] [50]
4Joost Engelfriet [1] [2] [3] [5] [6] [11] [13] [14] [18] [26] [29]
5Heinz Faßbender [16] [22] [23]
6Zoltán Fülöp [17] [27] [29] [30] [33] [35] [36] [39] [47] [48]
7Zsolt Gazdag [33]
8Frank Herrmann [17]
9Johanna Högberg [49]
10Claus Jürgensen [34]
11Armin Kühnemann [20] [21] [36] [39]
12Andreas Maletti [40] [42] [47] [49]
13Sebastian Maneth [25]
14Andrea Mößle [23] [24]
15Thomas Noll [19] [28]
16Christian Pech [38]
17Reinhard Pöschel [37]
18Jacques Sakarovitch [45]
19Alexander Semigrodskikh [37]
20Branimir Seselja [42] [46]
21Torsten Stüber [44] [48] [50]
22Andreja Tepavcevic [42] [46]
23Sándor Vágvölgyi [17]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)