| No. |
Title |
Author |
Year |
| 1 |
Domain Theory and Its Applications (Dagstuhl Seminar 98181) |
Brookes, Stephen et al. |
2021 |
| 2 |
Logic, Algebra, and Formal Verification of Concurrent Systems (Dagstuhl Seminar 00481) |
Diekert, Volker et al. |
2021 |
| 3 |
Semantics of Concurrent Systems - Foundations and Applications (Dagstuhl Seminar 9619) |
Droste, Manfred et al. |
2021 |
| 4 |
Semantics of Programming Languages and Algebra (Dagstuhl Seminar 9323) |
Droste, Manfred et al. |
2021 |
| 5 |
Semantics of Programming Languages and Model Theory (Dagstuhl Seminar 9126) |
Droste, Manfred et al. |
2021 |
| 6 |
Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words |
Droste, Manfred et al. |
2020 |
| 7 |
Aperiodic Weighted Automata and Weighted First-Order Logic |
Droste, Manfred et al. |
2019 |
| 8 |
Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata |
Droste, Manfred et al. |
2019 |
| 9 |
A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic |
Droste, Manfred et al. |
2018 |
| 10 |
Weighted Operator Precedence Languages |
Droste, Manfred et al. |
2017 |
| 11 |
Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041) |
Droste, Manfred et al. |
2014 |
| 12 |
10031 Abstracts Collection -- Quantitative Models: Expressiveness and Analysis |
Baier, Christel et al. |
2010 |
| 13 |
10031 Executive Summary -- Quantitative Models: Expressiveness and Analysis |
Baier, Christel et al. |
2010 |
