Mathias Ruggaard Pedersen

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 16

Top Topics

Preemptive Scheduling

Practical Reasoning

Transition Systems

Top Venues

Log. Methods Comput. Sci.

Publications

Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
On the Axiomatisability of Parallel Composition. Log. Methods Comput. Sci. 18 (1) (2022)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen, Mathias Ruggaard Pedersen
On Probabilistic Monitorability. Principles of Systems Design (2022)
Antonis Achilleos, Mathias Ruggaard Pedersen
Axiomatizations and Computability of Weighted Monadic Second-Order Logic. CoRR (2021)
Antonis Achilleos, Mathias Ruggaard Pedersen
Axiomatizations and Computability of Weighted Monadic Second-Order Logic. LICS (2021)
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
On the Axiomatisability of Parallel Composition. CoRR (2021)
Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum. CONCUR (2020)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen
On the axiomatisability of priority III: Priority strikes again. Theor. Comput. Sci. 837 (2020)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir, Mathias Ruggaard Pedersen
On the Axiomatizability of Priority III: The Return of Sequential Composition. ICTCS (2019)
Mathias Ruggaard Pedersen
Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects. CoRR (2019)
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim G. Larsen
A Faster-Than Relation for Semi-Markov Decision Processes. QAPL@ETAPS (2019)
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare
A Hemimetric Extension of Simulation for Semi-Markov Decision Processes. QEST (2018)
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen
Reasoning About Bounds in Weighted Transition Systems. Log. Methods Comput. Sci. 14 (4) (2018)
Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare
Timed Comparisons of Semi-Markov Processes. LATA (2018)
Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare
Timed Comparisons of Semi-Markov Processes. CoRR (2017)
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue
Reasoning About Bounds in Weighted Transition Systems. CoRR (2017)
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue
A Complete Approximation Theory for Weighted Transition Systems. SETTA (2016)