Heiko Vogler - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 51 from 51

2010

Determinization of weighted finite automata over strong bimonoidsMiroslav Ciric, Manfred Droste, Jelena Ignjatovic, Heiko Vogler. isci, 180(18):3497-3520, 2010. [doi]

Weighted finite automata over strong bimonoidsManfred Droste, Torsten StÃ¼ber, Heiko Vogler. isci, 180(1):156-166, 2010. [doi]

Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded LatticesManfred Droste, Heiko Vogler. dlt 2010: 160-172 [doi]

2009

2008

Weighted automata with discountingManfred Droste, Jacques Sakarovitch, Heiko Vogler. ipl, 108(1):23-28, 2008. [doi]

A note on cut-worthiness of recognizable tree seriesBranimir Seselja, Andreja Tepavcevic, Heiko Vogler. fss, 159(22):3087-3090, 2008. [doi]

Weighted monadic datalogTorsten Stüber, Heiko Vogler. TCS, 403(2-3):221-238, 2008. [doi]

2007

Learning Deterministically Recognizable Tree SeriesFrank Drewes, Heiko Vogler. jalc, 12(3):332-354, 2007.

2006

Cut sets as recognizable tree languagesBjörn Borchardt, Andreas Maletti, Branimir Seselja, Andreja Tepavcevic, Heiko Vogler. fss, 157(11):1560-1571, 2006. [doi]

Weighted tree automata and weighted logicsManfred Droste, Heiko Vogler. TCS, 366(3):228-247, 2006. [doi]

2005

A Kleene Theorem for Weighted Tree AutomataManfred Droste, Christian Pech, Heiko Vogler. mst, 38(1):1-38, 2005. [doi]

Linear deterministic multi bottom-up tree transducersZoltán Fülöp, Armin Kühnemann, Heiko Vogler. TCS, 347(1-2):276-287, 2005. [doi]

Incomparability Results for Classes of Polynomial Tree Series TransformationsAndreas Maletti, Heiko Vogler. jalc, 10(4):535-568, 2005.

2004

Hierarchies of tree series transformationsZoltán Fülöp, Zsolt Gazdag, Heiko Vogler. TCS, 314(3):387-429, 2004. [doi]

A bottom-up characterization of deterministic top-down tree transducers with regular look-aheadZoltán Fülöp, Armin Kühnemann, Heiko Vogler. ipl, 91(2):57-67, 2004. [doi]

Weighted Tree TransducersZoltán Fülöp, Heiko Vogler. jalc, 9(1):31-54, 2004.

Syntactic composition of top-down tree transducers is short cut fusionClaus Jürgensen, Heiko Vogler. mscs, 14(2):215-282, 2004. [doi]

Relationally defined clones of tree functions closed under selection or primitive recursionReinhard Pöschel, Alexander Semigrodskikh, Heiko Vogler. actaC, 16(3):411-425, 2004. [doi]

2003

Determinization of Finite State Weighted Tree AutomataBjörn Borchardt, Heiko Vogler. jalc, 8(3):417-463, 2003.

EditorialManfred Droste, Heiko Vogler. jalc, 8(2):115, 2003.

Tree Series Transformations that Respect CopyingZoltán Fülöp, Heiko Vogler. mst, 36(3):247-293, 2003. [doi]

2002

Bottom-Up and Top-Down Tree Series TransformationsJoost Engelfriet, Zoltán Fülöp, Heiko Vogler. jalc, 7(1):11-70, 2002.

2001

The Universality of Higher-Order Attributed Tree TransducersThomas Noll, Heiko Vogler. mst, 34(1):45-75, 2001. [doi]

1999

A Characterization of Attributed Tree Transformations by a Subclass of Macro Tree TransducersZoltán Fülöp, Heiko Vogler. mst, 32(6):649-676, 1999. [doi]

1998

The Equivalence of Bottom-Up and Top-Down Tree-to-Graph TransducersJoost Engelfriet, Heiko Vogler. jcss, 56(3):332-356, 1998.

Attributed Context-Free Hypergraph GrammarsSebastian Maneth, Heiko Vogler. jalc, 3(2):105-147, 1998.

1997

Benefits of Hypergraphs for Program TransformationAndrea Mößle, Heiko Vogler. gi 1997: 572-581

1996

Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree TransducersHeinz Faßbender, Andrea Mößle, Heiko Vogler. jflp, 1996(2), 1996.

1994

1993

Tree Transducers with External FunctionsZoltán Fülöp, Frank Herrmann, Sándor Vágvölgyi, Heiko Vogler. TCS, 108(2):185-236, 1993.

1992

An Implementation of Syntax Directed Functional Programming on Nested-Stack MachinesHeinz Faßbender, Heiko Vogler. fac, 4(4):341-375, 1992.

1991

Modular Tree TransducersJoost Engelfriet, Heiko Vogler. TCS, 78(2):267-303, 1991.

Functional Description of the Contextual Analysis in Block-Structured Programming Languages: A Sase Study of Tree TransducersHeiko Vogler. SCP, 16(3):251-275, 1991.

1988

High Level Tree Transducers and Iterated Pushdown Tree TransducersJoost Engelfriet, Heiko Vogler. ACTA, 26(1/2):131-192, 1988.

The OI-Hierarchy Is Closed under ControlHeiko Vogler. iandc, 78(3):187-204, September 1988.

1987

Look-Ahead on PushdownsJoost Engelfriet, Heiko Vogler. iandc, 73(3):245-279, June 1987.

Basic Tree TransducersHeiko Vogler. jcss, 34(1):87-128, 1987.

1986

Pushdown Machines for the Macro Tree TransducerJoost Engelfriet, Heiko Vogler. TCS, 42:251-368, 1986.

::::Corrigenda: :::: Pushdown Machines for the Macro Tree TranducerJoost Engelfriet, Heiko Vogler. TCS, 48(3):339, 1986.

Basic Tree TransducersHeiko Vogler. caap 1986: 183-195

The OI-Hierarchy is Closed under ControlHeiko Vogler. mfcs 1986: 611-619

1985

Macro Tree TransducersJoost Engelfriet, Heiko Vogler. jcss, 31(1):71-146, 1985.

Characterization of High Level Tree TransducersJoost Engelfriet, Heiko Vogler. icalp 1985: 171-178

1984

Regular Characterizations of Macro Tree TransducersJoost Engelfriet, Heiko Vogler. caap 1984: 103-118

Sign in or sign up to see more results.

runs on WebDSL