Stefan Dück

dblp:141/0035 · DBLP profile ↗
← Back
6ranked-venue papers
1as first author
1since 2021 · last 2022
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 6 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2022 Weighted operator precedence languages
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
Inf. Comput.2
2017 Weighted Operator Precedence Languages
abstract
In the last years renewed investigation of operator precedence languages (OPL) led to discover important properties thereof: OPL are closed with respect to all major operations, are characterized, besides the original grammar family, in terms of an automata family (OPA) and an MSO logic; furthermore they significantly generalize the well-known visibly pushdown languages (VPL). In another area of research, quantitative models of systems are also greatly in demand. In this paper, we lay the foundation to marry these two research fields. We introduce weighted operator precedence automata and show how they are both strict extensions of OPA and weighted visibly pushdown automata. We prove a Nivat-like result which shows that quantitative OPL can be described by unweighted OPA and very particular weighted OPA. In a Büchi-like theorem, we show that weighted OPA are expressively equivalent to a weighted MSO-logic for OPL.
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
MFCS2
2017 Weighted automata and logics for infinite nested words
Manfred Droste, Stefan Dück
Inf. Comput.2
2016 Weighted Automata and Logics on Infinite Graphs
Stefan Dück
DLT1
2015 Weighted Automata and Logics on Graphs
Manfred Droste, Stefan Dück
MFCS (1)2
2014 Weighted Automata and Logics for Infinite Nested Words
Manfred Droste, Stefan Dück
LATA2