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, V Castiglioni, A Ingólfsdóttir, B Luttik, MR Pedersen
31st International Conference on Concurrency Theory (CONCUR 2020), 2020
92020
Reasoning About Bounds in Weighted Transition Systems
MR Pedersen, R Mardare, KG Larsen, M Hansen
Logical Methods in Computer Science 14, 2018
8*2018
A complete approximation theory for weighted transition systems
M Hansen, KG Larsen, R Mardare, MR Pedersen, B Xue
International Symposium on Dependable Software Engineering: Theories, Tools …, 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
22020
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
22019
Timed Comparisons of Semi-Markov Processes
MR Pedersen, N Fijalkow, G Bacci, KG Larsen, R Mardare
International Conference on Language and Automata Theory and Applications …, 2018
22018
On the Axiomatisability of Parallel Composition
MR Pedersen, B Luttik, A Ingolfsdottir, V Castiglioni, L Aceto
Logical Methods in Computer Science 18, 2022
1*2022
A Faster-Than Relation for Semi-Markov Decision Processes
MR Pedersen, G Bacci, KG Larsen
arXiv preprint arXiv:1810.11243, 2018
12018
A hemimetric extension of simulation for semi-Markov decision processes
MR Pedersen, G Bacci, KG Larsen, R Mardare
International Conference on Quantitative Evaluation of Systems, 339-355, 2018
12018
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
2021
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–13