Stefan Dück

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 5

Top Topics

Finite Automata

Top Venues

Joint Workshop of the German Research Training Groups in Computer Science

Publications

Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
Weighted operator precedence languages. Inf. Comput. 282 (2022)
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
Weighted Operator Precedence Languages. MFCS (2017)
Manfred Droste, Stefan Dück
Weighted automata and logics for infinite nested words. Inf. Comput. 253 (2017)
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
Weighted Operator Precedence Languages. CoRR (2017)
Stefan Dück
Weighted Automata and Logics on Infinite Graphs. DLT (2016)
Manfred Droste, Stefan Dück
Weighted Automata and Logics on Graphs. MFCS (1) (2015)
Manfred Droste, Stefan Dück
Weighted Automata and Logics for Infinite Nested Words. CoRR (2015)
Stefan Dück
Quantitative Automata and Logics on Tree-like Structures. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Manfred Droste, Stefan Dück
Weighted Automata and Logics for Infinite Nested Words. LATA (2014)