For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.

1 bis 17 von 17 Einträgen

Fülöp, Zoltán; Vogler, Heiko: Weighted tree automata and tree transducers. In: Handbook of Weighted Automata (2009), S. 313–403

Fülöp, Zoltán; Maletti, Andreas; Vogler, Heiko: A Kleene theorem for weighted tree automata over distributive multioperator monoids. In: Theory of Computing Systems 44 (2009), Nr. 3, S. 455–499

Stüber, Torsten; Vogler, Heiko; Fülöp, Zoltán: Decomposition of Weighted Multioperator Tree Automata. In: Int. J. Foundations of Computer Sci. 20 (2009), Nr. 2, S. 221–245

Manfred, Droste; Werner, Kuich; Heiko, Vogler ; Manfred, Droste (Hrsg.): Handbook of Weighted Automata : Springer (2009)

Droste, Manfred (Hrsg.); Vogler, Heiko (Hrsg.): Selected Papers of the Workshop Weighted Automata: Theory and Applications (WATA 2008). Acta Cybernetica 19, Nr. 2. Szeged, Ungarn (2009)

Radovanovic, Dragica: Weighted Tree Automata over Strong Bimonoids. In: Technical Report TUD-FI09-02 TUD-FI09-02 (2009)

Voigtländer, Janis: Bidirectionalization for Free! In: Proceedings of the 36th Symposium on Principles of Programming Languages - POPL'09, rn36th Symposium on Principles of Programming Languages - POPL'09 (2009), S. 165–176

Stenger, Florian; Voigtländer, Janis: Parametricity for Haskell with Imprecise Error Semantics. In: Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications - TLCA'09 volume 5608 of LNCS (2009), S. 294–308

Büchse, Matthias; May, Jonathan; Vogler, Heiko: Determinization of weighted tree automata using factorizations. In: Finite-State Methods and Natural Language Processing - FSMNLP 2009, 8th International Workshop (2009)

Johann, Patricia; Voigtländer, Janis: A Family of Syntactic Logical Relations for the Semantics of Haskell-like Languages. In: Information and Computation 207(2) (2009), S. 341–368

Seidel, Daniel; Voigtländer, Janis: Taming Selective Strictness. In: ATPS'09 (2009)

Droste, Manfred (Hrsg.); Kuich, Werner (Hrsg.); Vogler, Heiko (Hrsg.): Handbook of Weighted Automata. EATCS Monographs in Theoretical Computer Science : Springer (2009)

Voigtländer, Janis: Free Theorems Involving Type Constructor Classes : 14th International Conference on Functional Programming - ICFP'09, Edinburgh, Scotland. In: Proceedings, ACM Press (2009)

Maletti, Andreas; Vogler, Heiko: Compositions of Top-down Tree Transducers with Epsilon-rules : in: Finite-State Methods and Natural Language Processing - FSMNLP 2009, 8th International Workshop. In: Proceedings (2009)

Droste, Manfred; Vogler, Heiko: Weighted logics for unranked tree automata. In: Theory of Computing Systems, accepted for publication, 2009 (2009)

Büchse, Matthias; Stüber, Torsten: Monadic Datalog Tree Transducers. In: Lecture Notes in Computer Science vol. 5457 (2009), S. 267–278

Högberg, Johanna; Maletti, Andreas; Vogler, Heiko: Bisimulation Minimisation of Weighted Automata on Unranked Trees. In: Fundamenta Informaticae 92(1-2) (2009), S. 103–130

Diese Informationen werden vom FIS bereitgestellt.
Stand: 13.11.2019 13:34 Uhr