No photo of Radu Mardare

Radu Mardare

Prof

  • United Kingdom

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

Fingerprint Dive into the research topics where Radu Mardare is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
Markov processes Engineering & Materials Science
Markov Process Mathematics
Logic Mathematics
Axiomatization Mathematics
Algebra Engineering & Materials Science
Computability and decidability Engineering & Materials Science
Transition Systems Mathematics
Bisimulation Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2011 2019

Computing probabilistic bisimilarity distances for probabilistic automata

Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 1 Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Dagstuhl, Germany, Vol. 140. 17 p. 9

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
1 Citation (Scopus)

Converging from branching to linear metrics on Markov chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 31 Jan 2019, In : Mathematical Structures in Computer Science. 29, Special Issue 1, p. 3-37 35 p.

Research output: Contribution to journalSpecial issue

Open Access
File
Linear Temporal Logic
Temporal logic
Markov processes
Branching
Markov chain