Mathias Ruggaard Pedersen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2016–2021
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | LICS | Axiomatizations and Computability of Weighted Monadic Second-Order Logic. | Antonis Achilleos, Mathias Ruggaard Pedersen |
| 2020 | CONCUR | On the Axiomatisability of Parallel Composition: A Journey in the Spectrum. | Luca Aceto, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik, Mathias Ruggaard Pedersen |
| 2018 | LATA | Timed Comparisons of Semi-Markov Processes. | Mathias Ruggaard Pedersen, Nathanal Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare |
| 2016 | SETTA | A Complete Approximation Theory for Weighted Transition Systems. | Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue |