| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Manfred Droste, Heiko Vogler |
Weighted automata and multi-valued logics over arbitrary bounded lattices.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Torsten Stüber, Heiko Vogler |
A Büchi-Like Theorem for Weighted Tree Automata over Multioperator Monoids. |
Theory Comput. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Andreas Maletti, Heiko Vogler |
Weighted Extended Tree Transducers. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Droste, Heiko Vogler |
Weighted Logics for Unranked Tree Automata. |
Theory Comput. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Büchse, Mark-Jan Nederhof, Heiko Vogler |
Tree Parsing with Synchronous Tree-Adjoining Grammars. |
IWPT |
2011 |
DBLP BibTeX RDF |
|
| 1 | Manfred Droste, Torsten Stüber, Heiko Vogler |
Weighted finite automata over strong bimonoids. |
Inf. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Ciric, Manfred Droste, Jelena Ignjatovic, Heiko Vogler |
Determinization of weighted finite automata over strong bimonoids. |
Inf. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan May, Kevin Knight, Heiko Vogler |
Efficient Inference through Cascades of Weighted Tree Transducers. |
ACL |
2010 |
DBLP BibTeX RDF |
|
| 1 | Manfred Droste, Heiko Vogler |
Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices. |
Developments in Language Theory |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Stüber, Heiko Vogler, Zoltán Fülöp |
Decomposition of Weighted multioperator Tree Automata. |
Int. J. Found. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Johanna Högberg, Andreas Maletti, Heiko Vogler |
Bisimulation Minimisation of Weighted Automata on Unranked Trees. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Andreas Maletti, Heiko Vogler |
A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids. |
Theory Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Recognizable tree series, Rational tree series, Multioperator monoids, Semirings |
| 1 | Andreas Maletti, Heiko Vogler |
Compositions of Top-Down Tree Transducers with epsilon-Rules. |
FSMNLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Droste, Jacques Sakarovitch, Heiko Vogler |
Weighted automata with discounting. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Stüber, Heiko Vogler |
Weighted monadic datalog. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Branimir Seselja, Andreja Tepavcevic, Heiko Vogler |
A note on cut-worthiness of recognizable tree series. |
Fuzzy Sets and Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Drewes, Heiko Vogler |
Learning Deterministically Recognizable Tree Series. |
Journal of Automata, Languages and Combinatorics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Manfred Droste, Heiko Vogler |
Weighted tree automata and weighted logics. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Borchardt, Andreas Maletti, Branimir Seselja, Andreja Tepavcevic, Heiko Vogler |
Cut sets as recognizable tree languages. |
Fuzzy Sets and Systems |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Armin Kühnemann, Heiko Vogler |
Linear deterministic multi bottom-up tree transducers. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Maletti, Heiko Vogler |
Incomparability Results for Classes of Polynomial Tree Series Transformations. |
Journal of Automata, Languages and Combinatorics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Manfred Droste, Christian Pech, Heiko Vogler |
A Kleene Theorem for Weighted Tree Automata. |
Theory Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltá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. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Pöschel, Alexander Semigrodskikh, Heiko Vogler |
Relationally defined clones of tree functions closed under selection or primitive recursion. |
Acta Cybern. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Fülöp, Zsolt Gazdag, Heiko Vogler |
Hierarchies of tree series transformations. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Jürgensen, Heiko Vogler |
Syntactic composition of top-down tree transducers is short cut fusion. |
Mathematical Structures in Computer Science |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Heiko Vogler |
Weighted Tree Transducers. |
Journal of Automata, Languages and Combinatorics |
2004 |
DBLP BibTeX RDF |
|
| 1 | Björn Borchardt, Heiko Vogler |
Determinization of Finite State Weighted Tree Automata. |
Journal of Automata, Languages and Combinatorics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Manfred Droste, Heiko Vogler |
Editorial. |
Journal of Automata, Languages and Combinatorics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Fülöp, Heiko Vogler |
Tree Series Transformations that Respect Copying. |
Theory Comput. Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet, Zoltán Fülöp, Heiko Vogler |
Bottom-Up and Top-Down Tree Series Transformations. |
Journal of Automata, Languages and Combinatorics |
2002 |
DBLP BibTeX RDF |
|
| 1 | Thomas Noll, Heiko Vogler |
The Universality of Higher-Order Attributed Tree Transducers. |
Theory Comput. Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Heiko Vogler |
A Characterization of Attributed Tree Transformations by a Subclass of Macro Tree Transducers. |
Theory Comput. Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Maneth, Heiko Vogler |
Attributed Context-Free Hypergraph Grammars. |
Journal of Automata, Languages and Combinatorics |
1998 |
DBLP BibTeX RDF |
|
| 1 | Joost Engelfriet, Heiko Vogler |
The Equivalence of Bottom-Up and Top-Down Tree-to-Graph Transducers. |
J. Comput. Syst. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Mößle, Heiko Vogler |
Benefits of Hypergraphs for Program Transformation. |
GI Jahrestagung |
1997 |
DBLP BibTeX RDF |
|
| 1 | Heinz 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 |
DBLP BibTeX RDF |
|
| 1 | Heinz Faßbender, Heiko Vogler |
A Universal Unification Algorithm Based on Unification-Driven Leftmost Outermost Narrowing. |
Acta Cybern. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Armin Kühnemann, Heiko Vogler |
A Pumping Lemma for Output Languages of Attributed Tree Transducers. |
Acta Cybern. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Armin Kühnemann, Heiko Vogler |
Synthesized and Inherited Functions. A new Computational Model for Syntax-Directed Semantic. |
Acta Inf. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Noll, Heiko Vogler |
Top-down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars. |
Fundam. Inform. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet, Heiko Vogler |
The Translation Power of Top-Down Tree-to-Graph Transducers. |
J. Comput. Syst. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Fülöp, Frank Herrmann, Sándor Vágvölgyi, Heiko Vogler |
Tree Transducers with External Functions. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz Faßbender, Heiko Vogler |
An Implementation of Syntax Directed Functional Programming on Nested-Stack Machines. |
Formal Asp. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Vogler |
Functional Description of the Contextual Analysis in Block-Structured Programming Languages: A Sase Study of Tree Transducers. |
Sci. Comput. Program. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet, Heiko Vogler |
Modular Tree Transducers. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet, Heiko Vogler |
High Level Tree Transducers and Iterated Pushdown Tree Transducers. |
Acta Inf. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Vogler |
The OI-Hierarchy Is Closed under Control |
Inf. Comput. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet, Heiko Vogler |
Look-Ahead on Pushdowns |
Inf. Comput. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Vogler |
Basic Tree Transducers. |
J. Comput. Syst. Sci. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet, Heiko Vogler |
Pushdown Machines for the Macro Tree Transducer. |
Theor. Comput. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet, Heiko Vogler |
Corrigenda: Pushdown Machines for the Macro Tree Tranducer. |
Theor. Comput. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Vogler |
Iterated Linear Control and Iterated One-Turn Pushdowns. |
Mathematical Systems Theory |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Vogler |
The OI-Hierarchy is Closed under Control. |
MFCS |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Vogler |
Basic Tree Transducers. |
CAAP |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet, Heiko Vogler |
Macro Tree Transducers. |
J. Comput. Syst. Sci. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet, Heiko Vogler |
Characterization of High Level Tree Transducers. |
ICALP |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Vogler |
Iterated linear control and iterated one-turn pushdowns. |
FCT |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Engelfriet, Heiko Vogler |
Regular Characterizations of Macro Tree Transducers. |
CAAP |
1984 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")