Zum Inhalt springen

Droste, Manfred [HerausgeberIn]

Handbook of weighted automata

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2009

Erschienen in: Monographs in theoretical computer science
Droste, Manfred [VerfasserIn]; Vogler, Heiko [VerfasserIn] ; Technische Universität Dresden Fakultät für Informatik

Weighted tree automata and weighted logics

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Techn. Univ., Fakultät Informatik, 2005

Erschienen in: Technische Universität Dresden: Technische Berichte ; 2005,10
Droste, Manfred [VerfasserIn]; Vogler, Heiko [VerfasserIn]

Weighted automata : theory and applications

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Techn.Univ., Fakultät Informatik, 2008

Erschienen in: Technische Universität Dresden: Technische Berichte ; 2008,05
Droste, Manfred [VerfasserIn]; Vogler, Heiko [VerfasserIn]

Weighted automata - theory and applications

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Techn. Univ., Fakultät Informatik, 2002

Erschienen in: Technische Universität Dresden: Technische Berichte ; 2002,02
Stüber, Torsten [VerfasserIn]; Vogler, Heiko [VerfasserIn]; Fülöp, Zoltán [VerfasserIn]

Decomposition of weighted multioperator tree automata

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Techn.Univ., Fakultät Informatik, 2008

Erschienen in: Technische Universität Dresden: Technische Berichte ; 2008,04
Radovanovic, Dragica [Sonstige Person, Familie und Körperschaft] ; International Fujaba Days 6 2008 Dresden

Weighted tree automata over strong bimonoids

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Techn. Univ., Fakultät Informatik, 2009

Erschienen in: Technische Universität Dresden: Technische Berichte ; 2009,02
Meinecke, Ingmar [VerfasserIn]

Weighted branching automata : combining concurrency and weights

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2004
Borchardt, Björn [VerfasserIn]; Vogler, Heiko [VerfasserIn]

Determinization of finite state weighted tree automata

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Techn. Univ., Fakultät Informatik, 2002

Erschienen in: Technische Universität Dresden: Technische Berichte ; 2002,09
Droste, Manfred [VerfasserIn]; Vogler, Heiko [VerfasserIn]

A Kleene theorem for weighted tree automata

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Techn. Univ., Fakultät Informatik, 2002

Erschienen in: Technische Universität Dresden: Technische Berichte ; 2002,04
Pech, Christian [VerfasserIn]

Kleene-type results for weighted tree-automata

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2003
Droste, Manfred [VerfasserIn]; Vogler, Heiko [VerfasserIn]

Proceedings of the Workshop Weighted Automata : theory and applications 2012

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Techn.Univ., Fakultät Informatik, 2012

Erschienen in: Technische Universität Dresden: Technische Berichte ; 2012,06
Högberg, Johanna [VerfasserIn]; Maletti, Andreas [VerfasserIn]; Vogler, Heiko [VerfasserIn]

Bisimulation minimisation of weighted automata on unranked trees

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Techn.Univ., Fakultät Informatik, 2008

Erschienen in: Technische Universität Dresden: Technische Berichte ; 2008,03
Fülöp, Zoltán [VerfasserIn]; Vogler, Heiko [VerfasserIn]

A comparison of several models of weighted tree automata

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Techn. Univ., Fakultät Informatik, 2006

Erschienen in: Technische Universität Dresden: Technische Berichte ; 2006,08
Dietze, Toni [VerfasserIn] ; Technische Universität Dresden

A formal view on training of weighted tree automata by likelihood-driven state splitting and merging

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden, 2019-04-22
Droste, Manfred [VerfasserIn]; Vogler, Heiko [VerfasserIn]

Weighted automata: theory and applications : [Dresden, Germany, June 1 - 5, 2004; ... programme and the abstracts of the lectures delivered at the workshop ... ]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Techn. Univ., Fakultät Informatik, 2004

Erschienen in: Technische Universität Dresden: Technische Berichte ; 2004,05
Chatterjee, Krishnendu [VerfasserIn]; Henzinger, Thomas A. [VerfasserIn]; Otop, Jan [VerfasserIn] ; Krishnendu Chatterjee and Thomas A. Henzinger and Jan Otop [MitwirkendeR]

Bidirectional Nested Weighted Automata

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Dziadek, Sven [VerfasserIn] ; Droste, Manfred [AkademischeR BetreuerIn]; Kuich, Werner [AkademischeR BetreuerIn]; Droste, Manfred [Sonstige Person, Familie und Körperschaft]; Kuich, Werner [Sonstige Person, Familie und Körperschaft]; Honkala, Juha [Sonstige Person, Familie und Körperschaft]

Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words

Online ansehen
Schließen

Zugang

https://d-nb.info/1245375040/34

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Universitätsbibliothek Leipzig, 2021
Henzinger, Thomas A. [VerfasserIn]; Otop, Jan [VerfasserIn]; Samanta, Roopsha [VerfasserIn] ; Thomas A. Henzinger and Jan Otop and Roopsha Samanta [MitwirkendeR]

Lipschitz Robustness of Finite-state Transducers

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014
Herrmann, Luisa [VerfasserIn] ; Vogler, Heiko [AkademischeR BetreuerIn]; Vogler, Heiko [Sonstige Person, Familie und Körperschaft]; Rahonis, George [Sonstige Person, Familie und Körperschaft]

Weighted Automata with Storage

Online ansehen
Schließen

Zugang

https://d-nb.info/1231917369/34

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dresden: Technische Universität Dresden, 2021
Dück, Stefan [VerfasserIn]

Weighted Automata and Logics on Hierarchical Structures and Graphs

Online ansehen
Schließen

Zugang

https://d-nb.info/1245531638/34

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Leipzig: Universitätsbibliothek Leipzig, 2018

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr