Mathias Ruggaard Pedersen

Teaching Assistant, Department of Computer Science
Teaching Assistant, The Technical Faculty of IT and Design
Teaching Assistant, Distributed, Embedded and Intelligent Systems

https://orcid.org/0000-0002-7470-4962

Emailmrpe@cs.aau.dk
Websitehttp://people.cs.aau.dk/~mrp/

Research output per year

If you made any changes in Pure these will be visible here soon.

3 Article in proceeding
1 Ph.D. thesis
1 Journal article
1 Conference article in Journal

1 results

Filter

2018

Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects
Pedersen, M. R., 2018, Aalborg Universitetsforlag. 264 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).
Research output: Book/Report › Ph.D. thesis

Open Access
File

52 Downloads (Pure)