Heiko Vogler

From MaRDI portal
Person:404010

Available identifiers

zbMath Open vogler.heikoMaRDI QIDQ404010

List of research outcomes





PublicationDate of PublicationType
Rational weighted tree languages with storage2024-12-03Paper
A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices2024-02-16Paper
Hybrid tree automata and the yield theorem for constituent tree automata2023-10-26Paper
Crisp-determinization of weighted tree automata over strong bimonoids2022-09-30Paper
Hybrid tree automata and the yield theorem for constituent tree automata2022-08-16Paper
Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids2022-05-10Paper
Weighted Tree Automata and Tree Transducers2022-04-28Paper
Principal abstract families of weighted tree languages2022-01-06Paper
Weighted parsing for grammar-based language models over multioperator monoids2021-11-25Paper
Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable2021-07-14Paper
https://portal.mardi4nfdi.de/entity/Q33866232021-01-05Paper
Rational weighted tree languages with storage and the Kleene-Goldstine theorem2020-04-29Paper
Weighted automata with storage2019-12-18Paper
Weighted iterated linear control2019-06-20Paper
https://portal.mardi4nfdi.de/entity/Q45602502018-12-10Paper
Characterizations of recognizable weighted tree languages by logic and bimorphisms2018-10-22Paper
Non-self-embedding linear context-free tree grammars generate regular tree languages2017-06-13Paper
Determinization of weighted tree automata using factorizations2016-09-29Paper
Weighted Symbolic Automata with Data Storage2016-08-30Paper
A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem2016-04-13Paper
Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics2015-09-22Paper
A Chomsky-Schützenberger Theorem for Weighted Automata with Storage2015-09-22Paper
Characterizing weighted MSO for trees by branching transitive closure logics2015-07-24Paper
THE CHOMSKY-SCHÜTZENBERGER THEOREM FOR QUANTITATIVE CONTEXT-FREE LANGUAGES2015-04-23Paper
Forward and backward application of symbolic tree transducers2014-08-29Paper
Tree parsing for tree-adjoining machine translation2014-05-12Paper
The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages2013-06-28Paper
A Büchi-like theorem for weighted tree automata over multioperator monoids2012-12-06Paper
Unidirectional Derivation Semantics for Synchronous Tree-Adjoining Grammars2012-11-02Paper
Weighted extended tree transducers2012-05-04Paper
Weighted automata and multi-valued logics over arbitrary bounded lattices2012-03-13Paper
Weighted logics for unranked tree automata2011-04-01Paper
Determinization of weighted finite automata over strong bimonoids2010-09-08Paper
Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices2010-08-31Paper
Weighted automata with discounting2010-04-19Paper
Weighted finite automata over strong bimonoids2010-01-28Paper
A note on cut-worthiness of recognizable tree series2009-08-28Paper
A Kleene theorem for weighted tree automata over distributive multioperator monoids2009-08-06Paper
A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead2009-07-21Paper
Bisimulation Minimisation of Weighted Automata on Unranked Trees2009-06-30Paper
DECOMPOSITION OF WEIGHTED MULTIOPERATOR TREE AUTOMATA2009-06-23Paper
Weighted monadic Datalog2008-09-16Paper
Learning deterministically recognizable tree series2008-08-12Paper
Incomparability results for classes of polynomial tree series transformations2008-01-18Paper
Weighted tree automata and weighted logics2007-01-09Paper
Cut sets as recognizable tree languages2006-06-16Paper
Linear deterministic multi bottom-up tree transducers2005-12-29Paper
https://portal.mardi4nfdi.de/entity/Q46729102005-04-28Paper
https://portal.mardi4nfdi.de/entity/Q46546402005-03-08Paper
A Kleene theorem for weighted tree automata2005-02-24Paper
On the Determinization of Weighted Finite Automata2004-10-05Paper
Syntactic composition of top-down tree transducers is short cut fusion2004-09-24Paper
Hierarchies of tree series transformations2004-08-06Paper
Tree series transformations that respect copying2003-08-26Paper
https://portal.mardi4nfdi.de/entity/Q31502472002-12-10Paper
The equivalence of bottom-up and top-down tree-to-graph transducers2002-11-24Paper
The universality of higher-order attributed tree transducers2001-10-07Paper
A characterization of attributed tree transformations by a subclass of macro tree transducers2000-01-03Paper
https://portal.mardi4nfdi.de/entity/Q42599521999-09-08Paper
https://portal.mardi4nfdi.de/entity/Q42362341999-03-22Paper
https://portal.mardi4nfdi.de/entity/Q42101601998-09-21Paper
https://portal.mardi4nfdi.de/entity/Q43452511997-07-22Paper
https://portal.mardi4nfdi.de/entity/Q43111941995-08-27Paper
https://portal.mardi4nfdi.de/entity/Q43189041995-02-06Paper
Synthesized and inherited functions. A new computational model for syntax-directed semantics1994-12-18Paper
The translation power of top-down tree-to-graph transducers1994-12-04Paper
https://portal.mardi4nfdi.de/entity/Q43047511994-08-31Paper
Tree transducers with external functions1993-05-16Paper
An implementation of syntax directed functional programming on nested- stack machines1992-09-27Paper
Functional description of the contextual analysis in block-structured programming languages: A case study of tree transducers1992-06-28Paper
Modular tree transducers1991-01-01Paper
High level tree transducers and iterated pushdown tree transducers1988-01-01Paper
The OI-hierarchy is closed under control1988-01-01Paper
Basic tree transducers1987-01-01Paper
Look-ahead on pushdowns1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37797801987-01-01Paper
Pushdown machines for the macro tree transducer1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47233161986-01-01Paper
Corrigenda to: ``Pushdown machines for the macro tree transducer1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37733711986-01-01Paper
Iterated linear control and iterated one-turn pushdowns1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37329761986-01-01Paper
Macro tree transducers1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36928951985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37385911985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33340941984-01-01Paper

Research outcomes over time

This page was built for person: Heiko Vogler