Mathias Ruggaard Pedersen

View Scopus Profile

Mathias Ruggaard Pedersen

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

Research activity per year

  • 3 Article in proceeding
  • 1 Journal article
  • 1 Conference article in Journal
  • 1 PhD thesis
Filter
Article in proceeding

Search results

  • Article in proceeding

    A Complete Approximation Theory for Weighted Transition Systems

    Hansen, M., Larsen, K. G., Mardare, R. I., Pedersen, M. R. & Xue, B., 2016, Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Fränzle, M., Kapur, D. & Zhan, N. (eds.). Springer, p. 213-228 (Lecture Notes in Computer Science, Vol. 9984).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    2 Citations (Scopus)
    204 Downloads (Pure)

  • A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

    Pedersen, M. R., Bacci, G., Larsen, K. G. & Mardare, R. I., 4 Sept 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, p. 339-355 17 p. (Lecture Notes in Computer Science, Vol. 11024).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    2 Citations (Scopus)
    114 Downloads (Pure)

  • Timed Comparisons of Semi-Markov Processes

    Pedersen, M. R., Fijalkow, N., Bacci, G., Larsen, K. G. & Mardare, R. I., 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Martin-Vide, C., Klein, S. T. & Shapira, D. (eds.). Springer Publishing Company, p. 271-283 13 p. (Lecture Notes in Computer Science; No. 10792).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)
    173 Downloads (Pure)