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.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Tensor of quantitative equational theories

    Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G. D., 3 Sep 2021. 29 p.

    Research output: Contribution to conferencePaperpeer-review

    Open Access
    File
    9 Downloads (Pure)
  • Fixed-points for quantitative equational logics

    Mardare, R., Panangaden, P. & Plotkin, G., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Piscataway, NJ: IEEE, Vol. 1. p. 1-13 14 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).

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

    Open Access
    File
    3 Citations (Scopus)
    3 Downloads (Pure)