Heiko Vogler - RankMe

113 papers A* 2B 3C 6Journal 84Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Characterization of deterministically recognizable weighted tree languages over commutative semifields by finitely generated and cancellative scalar algebras. CoRR Zoltán Fülöp, Heiko Vogler
2024	J	`jnl`	A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices. Int. J. Found. Comput. Sci. Zoltán Fülöp, Heiko Vogler
2024	J	`jnl`	Rational weighted tree languages with storage. Inf. Comput. Frederic Dörband, Zoltán Fülöp, Heiko Vogler
2024	J	`jnl`	Run supports and initial algebra supports of weighted automata. CoRR Manfred Droste, Heiko Vogler
2024	J	`jnl`	The generating power of weighted tree automata with initial algebra semantics. CoRR Manfred Droste, Zoltán Fülöp, Andreja Tepavcevic, Heiko Vogler
2023	J	`jnl`	A Theorem on Supports of Weighted Tree Automata Over Strong Bimonoids. New Math. Nat. Comput. Maryam Ghorani, Heiko Vogler
2023	J	`jnl`	Hybrid tree automata and the yield theorem for constituent tree automata. Theor. Comput. Sci. Frank Drewes, Richard Mörbitz, Heiko Vogler
2022	J	`jnl`	Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. Theor. Comput. Sci. Manfred Droste, Zoltán Fülöp, Dávid Kószó, Heiko Vogler
2022	C	`conf`	Hybrid Tree Automata and the Yield Theorem for Constituent Tree Automata. CIAA Frank Drewes, Richard Mörbitz, Heiko Vogler
2022	J	`jnl`	Preface. Inf. Comput. Manfred Droste, Andreas Maletti, Heiko Vogler
2022	J	`jnl`	Principal abstract families of weighted tree languages. Inf. Comput. Zoltán Fülöp, Heiko Vogler
2022	J	`jnl`	Weighted Tree Automata - May it be a little more? CoRR Zoltán Fülöp, Heiko Vogler
2021	J	`jnl`	Crisp-determinization of weighted tree automata over strong bimonoids. Discret. Math. Theor. Comput. Sci. Zoltán Fülöp, Dávid Kószó, Heiko Vogler
2021	J	`jnl`	Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. CoRR Manfred Droste, Zoltán Fülöp, Dávid Kószó, Heiko Vogler
2021	J	`jnl`	Weighted parsing for grammar-based language models over multioperator monoids. Inf. Comput. Richard Mörbitz, Heiko Vogler
2020	J	`jnl`	A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage. Discret. Math. Theor. Comput. Sci. Joost Engelfriet, Heiko Vogler
2020	—	`conf`	Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable. DCFS Manfred Droste, Zoltán Fülöp, Dávid Kószó, Heiko Vogler
2019	J	`jnl`	A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage. CoRR Joost Engelfriet, Heiko Vogler
2019	J	`jnl`	Crisp-determinization of weighted tree automata over strong bimonoids. CoRR Zoltán Fülöp, Dávid Kószó, Heiko Vogler
2019	—	`ed.`	Proceedings of the 14th International Conference on Finite-State Methods and Natural Language Processing, FSMNLP 2019, Dresden, Germany, September 23-25, 2019 FSMNLP Heiko Vogler, Andreas Maletti
2019	—	`conf`	Rational Weighted Tree Languages with Storage and the Kleene-Goldstine Theorem. CAI Zoltán Fülöp, Heiko Vogler
2019	—	`conf`	Regular transductions with MCFG input syntax. FSMNLP Mark-Jan Nederhof, Heiko Vogler
2019	J	`jnl`	Weighted Parsing for Grammar-Based Language Models over Multioperator Monoids. CoRR Richard Mörbitz, Heiko Vogler
2019	J	`jnl`	Weighted automata with storage. Inf. Comput. Luisa Herrmann, Heiko Vogler, Manfred Droste
2019	J	`jnl`	Weighted iterated linear control. Acta Informatica Zoltán Fülöp, Heiko Vogler
2019	—	`conf`	Weighted parsing for grammar-based language models. FSMNLP Richard Mörbitz, Heiko Vogler
2018	J	`jnl`	Characterizations of recognizable weighted tree languages by logic and bimorphisms. Soft Comput. Zoltán Fülöp, Heiko Vogler
2018	J	`jnl`	Weighted Regular Tree Grammars with Storage. Discret. Math. Theor. Comput. Sci. Zoltán Fülöp, Luisa Herrmann, Heiko Vogler
2017	J	`jnl`	Hybrid Grammars for Parsing of Discontinuous Phrase Structures and Non-Projective Dependency Structures. Comput. Linguistics Kilian Gebhardt, Mark-Jan Nederhof, Heiko Vogler
2017	J	`jnl`	Weighted Regular Tree Grammars with Storage. CoRR Zoltán Fülöp, Luisa Herrmann, Heiko Vogler
2016	C	`conf`	A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem. LATA Heiko Vogler, Manfred Droste, Luisa Herrmann
2016	J	`jnl`	Non-Self-Embedding Linear Context-Free Tree Grammars Generate Regular Tree Languages. J. Autom. Lang. Comb. Mark-Jan Nederhof, Markus Teichmann, Heiko Vogler
2016	C	`conf`	Weighted Symbolic Automata with Data Storage. DLT Luisa Herrmann, Heiko Vogler
2015	—	`conf`	A Chomsky-Schützenberger Theorem for Weighted Automata with Storage. CAI Luisa Herrmann, Heiko Vogler
2015	J	`jnl`	Characterizing weighted MSO for trees by branching transitive closure logics. Theor. Comput. Sci. Zoltán Fülöp, Heiko Vogler
2015	—	`conf`	Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics. CAI Manfred Droste, Doreen Heusel, Heiko Vogler
2014	J	`jnl`	Forward and backward application of symbolic tree transducers. Acta Informatica Zoltán Fülöp, Heiko Vogler
2014	B	`conf`	Hybrid Grammars for Discontinuous Parsing. COLING Mark-Jan Nederhof, Heiko Vogler
2014	J	`jnl`	Preface. Theor. Comput. Sci. Manfred Droste, Heiko Vogler
2014	J	`jnl`	The Chomsky-SCHüTzenberger Theorem for Quantitative Context-Free Languages. Int. J. Found. Comput. Sci. Manfred Droste, Heiko Vogler
2014	J	`jnl`	Tree parsing for tree-adjoining machine translation. J. Log. Comput. Matthias Büchse, Heiko Vogler, Mark-Jan Nederhof
2013	—	`conf`	General binarization for parsing and translation. ACL (1) Matthias Büchse, Alexander Koller, Heiko Vogler
2013	C	`conf`	The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages. Developments in Language Theory Manfred Droste, Heiko Vogler
2012	J	`jnl`	A Büchi-Like Theorem for Weighted Tree Automata over Multioperator Monoids. Theory Comput. Syst. Zoltán Fülöp, Torsten Stüber, Heiko Vogler
2012	J	`jnl`	Characterizing Weighted MSO for Trees by Branching Transitive Closure Logics CoRR Zoltán Fülöp, Heiko Vogler
2012	J	`jnl`	Forward and Backward Application of Symbolic Tree Transducers CoRR Zoltán Fülöp, Heiko Vogler
2012	—	`conf`	Synchronous Context-Free Tree Grammars. TAG Mark-Jan Nederhof, Heiko Vogler
2012	J	`jnl`	The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages CoRR Manfred Droste, Heiko Vogler
2012	C	`conf`	Unidirectional Derivation Semantics for Synchronous Tree-Adjoining Grammars. Developments in Language Theory Matthias Büchse, Andreas Maletti, Heiko Vogler
2012	J	`jnl`	Weighted automata and multi-valued logics over arbitrary bounded lattices. Theor. Comput. Sci. Manfred Droste, Heiko Vogler
2011	—	`conf`	Tree Parsing with Synchronous Tree-Adjoining Grammars. IWPT Matthias Büchse, Mark-Jan Nederhof, Heiko Vogler
2011	J	`jnl`	Weighted Extended Tree Transducers. Fundam. Informaticae Zoltán Fülöp, Andreas Maletti, Heiko Vogler
2011	J	`jnl`	Weighted Logics for Unranked Tree Automata. Theory Comput. Syst. Manfred Droste, Heiko Vogler
2010	—	`conf`	A Decoder for Probabilistic Synchronous Tree Insertion Grammars. ATANLP@ACL 2010 Steve DeNeefe, Kevin Knight, Heiko Vogler
2010	J	`jnl`	Determinization of Weighted Tree Automata Using Factorizations. J. Autom. Lang. Comb. Matthias Büchse, Jonathan May, Heiko Vogler
2010	J	`jnl`	Determinization of weighted finite automata over strong bimonoids. Inf. Sci. Miroslav Ciric, Manfred Droste, Jelena Ignjatovic, Heiko Vogler
2010	A*	`conf`	Efficient Inference through Cascades of Weighted Tree Transducers. ACL Jonathan May, Kevin Knight, Heiko Vogler
2010	C	`conf`	Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices. Developments in Language Theory Manfred Droste, Heiko Vogler
2010	—	`conf`	Preservation of Recognizability for Synchronous Tree Substitution Grammars. ATANLP@ACL 2010 Zoltán Fülöp, Andreas Maletti, Heiko Vogler
2010	J	`jnl`	Weighted finite automata over strong bimonoids. Inf. Sci. Manfred Droste, Torsten Stüber, Heiko Vogler
2010	—	`conf`	n-Best Parsing Revisited. ATANLP@ACL 2010 Matthias Büchse, Daniel Geisler, Torsten Stüber, Heiko Vogler
2009	J	`jnl`	A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids. Theory Comput. Syst. Zoltán Fülöp, Andreas Maletti, Heiko Vogler
2009	J	`jnl`	Bisimulation Minimisation of Weighted Automata on Unranked Trees. Fundam. Informaticae Johanna Högberg, Andreas Maletti, Heiko Vogler
2009	—	`conf`	Compositions of Top-Down Tree Transducers with FSMNLP Andreas Maletti, Heiko Vogler
2009	J	`jnl`	Decomposition of Weighted multioperator Tree Automata. Int. J. Found. Comput. Sci. Torsten Stüber, Heiko Vogler, Zoltán Fülöp
2008	J	`jnl`	A note on cut-worthiness of recognizable tree series. Fuzzy Sets Syst. Branimir Seselja, Andreja Tepavcevic, Heiko Vogler
2008	J	`jnl`	Weighted automata with discounting. Inf. Process. Lett. Manfred Droste, Jacques Sakarovitch, Heiko Vogler
2008	J	`jnl`	Weighted monadic datalog. Theor. Comput. Sci. Torsten Stüber, Heiko Vogler
2007	J	`jnl`	Editorial. J. Autom. Lang. Comb. Manfred Droste, Heiko Vogler
2007	J	`jnl`	Learning Deterministically Recognizable Tree Series. J. Autom. Lang. Comb. Frank Drewes, Heiko Vogler
2006	J	`jnl`	Cut sets as recognizable tree languages. Fuzzy Sets Syst. Björn Borchardt, Andreas Maletti, Branimir Seselja, Andreja Tepavcevic, Heiko Vogler
2006	J	`jnl`	Weighted tree automata and weighted logics. Theor. Comput. Sci. Manfred Droste, Heiko Vogler
2005	J	`jnl`	A Kleene Theorem for Weighted Tree Automata. Theory Comput. Syst. Manfred Droste, Christian Pech, Heiko Vogler
2005	J	`jnl`	Editorial. J. Autom. Lang. Comb. Manfred Droste, Heiko Vogler
2005	J	`jnl`	Incomparability Results for Classes of Polynomial Tree Series Transformations. J. Autom. Lang. Comb. Andreas Maletti, Heiko Vogler
2005	J	`jnl`	Linear deterministic multi bottom-up tree transducers. Theor. Comput. Sci. Zoltán Fülöp, Armin Kühnemann, Heiko Vogler
2004	J	`jnl`	A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead. Inf. Process. Lett. Zoltán Fülöp, Armin Kühnemann, Heiko Vogler
2004	J	`jnl`	Hierarchies of tree series transformations. Theor. Comput. Sci. Zoltán Fülöp, Zsolt Gazdag, Heiko Vogler
2004	J	`jnl`	Relationally defined clones of tree functions closed under selection or primitive recursion. Acta Cybern. Reinhard Pöschel, Alexander Semigrodskikh, Heiko Vogler
2004	J	`jnl`	Syntactic composition of top-down tree transducers is short cut fusion. Math. Struct. Comput. Sci. Claus Jürgensen, Heiko Vogler
2004	J	`jnl`	Weighted Tree Transducers. J. Autom. Lang. Comb. Zoltán Fülöp, Heiko Vogler
2003	J	`jnl`	Determinization of Finite State Weighted Tree Automata. J. Autom. Lang. Comb. Björn Borchardt, Heiko Vogler
2003	J	`jnl`	Editorial. J. Autom. Lang. Comb. Manfred Droste, Heiko Vogler
2003	J	`jnl`	Tree Series Transformations that Respect Copying. Theory Comput. Syst. Zoltán Fülöp, Heiko Vogler
2002	J	`jnl`	Bottom-Up and Top-Down Tree Series Transformations. J. Autom. Lang. Comb. Joost Engelfriet, Zoltán Fülöp, Heiko Vogler
2001	J	`jnl`	The Universality of Higher-Order Attributed Tree Transducers. Theory Comput. Syst. Thomas Noll, Heiko Vogler
1999	J	`jnl`	A Characterization of Attributed Tree Transformations by a Subclass of Macro Tree Transducers. Theory Comput. Syst. Zoltán Fülöp, Heiko Vogler
1998	J	`jnl`	Attributed Context-Free Hypergraph Grammars. J. Autom. Lang. Comb. Sebastian Maneth, Heiko Vogler
1998	—	`book`	Syntax-Directed Semantics - Formal Models Based on Tree Transducers Zoltán Fülöp, Heiko Vogler
1998	J	`jnl`	The Equivalence of Bottom-Up and Top-Down Tree-to-Graph Transducers. J. Comput. Syst. Sci. Joost Engelfriet, Heiko Vogler
1997	—	`conf`	Benefits of Hypergraphs for Program Transformation. GI Jahrestagung Andrea Mößle, Heiko Vogler
1996	J	`jnl`	Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers. J. Funct. Log. Program. Heinz Faßbender, Andrea Mößle, Heiko Vogler
1994	J	`jnl`	A Pumping Lemma for Output Languages of Attributed Tree Transducers. Acta Cybern. Armin Kühnemann, Heiko Vogler
1994	J	`jnl`	A Universal Unification Algorithm Based on Unification-Driven Leftmost Outermost Narrowing. Acta Cybern. Heinz Faßbender, Heiko Vogler
1994	J	`jnl`	Synthesized and Inherited Functions. A new Computational Model for Syntax-Directed Semantic. Acta Informatica Armin Kühnemann, Heiko Vogler
1994	J	`jnl`	The Translation Power of Top-Down Tree-to-Graph Transducers. J. Comput. Syst. Sci. Joost Engelfriet, Heiko Vogler
1994	J	`jnl`	Top-down Parsing with Simultaneous Evaluation of Noncircular Attribute Grammars. Fundam. Informaticae Thomas Noll, Heiko Vogler
1993	J	`jnl`	Tree Transducers with External Functions. Theor. Comput. Sci. Zoltán Fülöp, Frank Herrmann, Sándor Vágvölgyi, Heiko Vogler
1992	J	`jnl`	An Implementation of Syntax Directed Functional Programming on Nested-Stack Machines. Formal Aspects Comput. Heinz Faßbender, Heiko Vogler
1991	J	`jnl`	Functional Description of the Contextual Analysis in Block-Structured Programming Languages: A Sase Study of Tree Transducers. Sci. Comput. Program. Heiko Vogler
1991	J	`jnl`	Modular Tree Transducers. Theor. Comput. Sci. Joost Engelfriet, Heiko Vogler
1988	J	`jnl`	High Level Tree Transducers and Iterated Pushdown Tree Transducers. Acta Informatica Joost Engelfriet, Heiko Vogler
1988	J	`jnl`	The OI-Hierarchy Is Closed under Control Inf. Comput. Heiko Vogler
1987	J	`jnl`	Basic Tree Transducers. J. Comput. Syst. Sci. Heiko Vogler
1987	J	`jnl`	Look-Ahead on Pushdowns Inf. Comput. Joost Engelfriet, Heiko Vogler
1986	—	`conf`	Basic Tree Transducers. CAAP Heiko Vogler
1986	J	`jnl`	Iterated Linear Control and Iterated One-Turn Pushdowns. Math. Syst. Theory Heiko Vogler
1986	J	`jnl`	Pushdown Machines for the Macro Tree Transducer. Theor. Comput. Sci. Joost Engelfriet, Heiko Vogler
1986	B	`conf`	The OI-Hierarchy is Closed under Control. MFCS Heiko Vogler
1985	A*	`conf`	Characterization of High Level Tree Transducers. ICALP Joost Engelfriet, Heiko Vogler
1985	B	`conf`	Iterated linear control and iterated one-turn pushdowns. FCT Heiko Vogler
1985	J	`jnl`	Macro Tree Transducers. J. Comput. Syst. Sci. Joost Engelfriet, Heiko Vogler
1984	—	`conf`	Regular Characterizations of Macro Tree Transducers. CAAP Joost Engelfriet, Heiko Vogler