Follow
Mathias Ruggaard Pedersen
Mathias Ruggaard Pedersen
Postdoc in Computer Science, Reykjavik University
Verified email at ru.is - Homepage
Title
Cited by
Cited by
Year
On the axiomatisability of parallel composition: A journey in the spectrum
L Aceto, C Valentina, I Anna, L Bas, MR Pedersen
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 171, 2020
112020
Reasoning about bounds in weighted transition systems
M Hansen, KG Larsen, R Mardare, MR Pedersen
arXiv preprint arXiv:1703.03346, 2017
92017
A complete approximation theory for weighted transition systems
M Hansen, KG Larsen, R Mardare, MR Pedersen, B Xue
Dependable Software Engineering: Theories, Tools, and Applications: Second …, 2016
52016
On the axiomatisability of priority III: priority strikes again
L Aceto, E Anastasiadi, V Castiglioni, A Ingólfsdóttir, B Luttik, ...
Theoretical Computer Science 837, 223-246, 2020
32020
On the Axiomatizability of Priority III: The Return of Sequential Composition.
L Aceto, E Anastasiadi, V Castiglioni, A Ingólfsdóttir, MR Pedersen
ICTCS, 145-157, 2019
32019
Timed Comparisons of Semi-Markov Processes
MR Pedersen, N Fijalkow, G Bacci, KG Larsen, R Mardare
Language and Automata Theory and Applications: 12th International Conference …, 2018
22018
A hemimetric extension of simulation for semi-Markov decision processes
MR Pedersen, G Bacci, KG Larsen, R Mardare
Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018
22018
On probabilistic monitorability
L Aceto, A Achilleos, E Anastasiadi, A Francalanza, A Ingólfsdóttir, ...
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
12022
On the axiomatisability of parallel composition
L Aceto, V Castiglioni, A Ingólfsdóttir, B Luttik, MR Pedersen
arXiv preprint arXiv:2102.11166, 2021
12021
Axiomatizations and Computability of Weighted Monadic Second-Order Logic
A Achilleos, MR Pedersen
36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021
12021
A Faster-Than Relation for Semi-Markov Decision Processes
MR Pedersen, G Bacci, KG Larsen
arXiv preprint arXiv:1810.11243, 2018
12018
Behavioural Preorders on Stochastic Systems-Logical, Topological, and Computational Aspects
M Ruggaard Pedersen
arXiv e-prints, arXiv: 1905.08531, 2019
2019
Comparing the speed of probabilistic processes
MR Pedersen, N Fijalkow, G Bacci, KG Larsen, R Mardare
Axiomatising Weighted Monadic Second-Order Logic on Finite Words
A Achilleos, MR Pedersen
NWPT 2019, 8, 0
The system can't perform the operation now. Try again later.
Articles 1–14