EDBT 2026 Demo / reviewers in the wild / expert
Stefan Dück
dblp:141/0035
· DBLP profile ↗
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
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
2 papers |
Automata and formal languages · 91% Logic in computer science · 9% | |
| Software engineering, system software, and programming languages
1 paper |
Compilers and program optimization · 100% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automata and formal languages › context-free languages
operator precedence languages |
0.6 | 1 | 2022 | Weighted operator precedence languages · Inf. Comput. 2022 |
Automata and formal languages
weighted automata |
0.3 | 1 | 2017 | Weighted automata and logics for infinite nested words · Inf. Comput. 2017 |
Compilers and program optimization
parsing |
0.2 | 1 | 2022 | Weighted operator precedence languages · Inf. Comput. 2022 |
Compilers and program optimization › parsing
precedence parsing |
0.2 | 1 | 2022 | Weighted operator precedence languages · Inf. Comput. 2022 |
Logic in computer science
temporal logic |
0.1 | 1 | 2017 | Weighted automata and logics for infinite nested words · Inf. Comput. 2017 |
Methods — techniques the papers use, named apart from their topics
weighted automata · 1.4formal language theory · 1.1logic · 0.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Weighted operator precedence languages
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella |
Inf. Comput. | 2 |
| 2017 | Weighted Operator Precedence LanguagesabstractIn 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 |
MFCS | 2 |
| 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 |
DLT | 1 |
| 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 |
LATA | 2 |