20162018

Publikationer pr. år

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Fingerprint Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.

  • 4 Lignende profiler

Netværk Klik på punkterne for at se detaljerne.

Publikationer

  • 3 Konferenceartikel i proceeding
  • 1 Ph.d.-afhandling
  • 1 Tidsskriftartikel

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
  • 1 Citationer (Scopus)
    94 Downloads (Pure)

    Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects

    Pedersen, M. R., 2018, Aalborg Universitetsforlag. 264 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

    Åben adgang
    Fil
    42 Downloads (Pure)

    Reasoning About Bounds in Weighted Transition Systems

    Hansen, M., Larsen, K. G., Mardare, R. I. & Pedersen, M. R., 26 nov. 2018, I : Logical Methods in Computer Science. 14, 4, 19.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
  • 1 Citationer (Scopus)

    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. (red.). Springer Publishing Company, s. 271-283 13 s. (Lecture Notes in Computer Science; Nr. 10792).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
  • 1 Citationer (Scopus)
    120 Downloads (Pure)

    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. (red.). Springer, s. 213-228 (Lecture Notes in Computer Science, Bind 9984).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
  • 2 Citationer (Scopus)
    159 Downloads (Pure)