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
Reasoning about bounds in weighted transition systems
M Hansen, KG Larsen, R Mardare, MR Pedersen
Logical Methods in Computer Science 14, 2018
102018
On the axiomatisability of parallel composition: A journey in the spectrum
L Aceto, V Castiglioni, A Ingólfsdóttir, B Luttik, MR Pedersen
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 171, 2020
92020
A faster-than relation for semi-Markov decision processes
MR Pedersen, G Bacci, KG Larsen
arXiv preprint arXiv:1810.11243, 2018
42018
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
42016
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
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
32018
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 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 Ingolfsdottir, B Luttik, MR Pedersen
Logical Methods in Computer Science 18, 2022
12022
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
Faster time-of-flight performance reduces effect of misregistration on myocardial uptake scores in cardiac PET-CT
M Hylle, NA Bebbington, MR Pedersen, HD Zacho
European Journal of Nuclear Medicine and Molecular Imaging 50 (Suppl. 1), S714, 2023
2023
Enforcement of Timing-Sensitive Security Policies in Runtime Systems
M Pedersen
Aarhus University, 2019
2019
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–16