Radu Mardare — University of Strathclyde

View Scopus Profile

Emailr.mardarestrath.acuk

United Kingdom

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

1 Active

Maths DTP 2020 University of Strathclyde | Capucci, Matteo
Ghani, N., Mardare, R. & Capucci, M.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/20 → 1/10/24
Project: Research Studentship - Internally Allocated

30 Conference contribution book
12 Article
1 Chapter
1 Paper
More
- 1 Conference article
- 1 Special issue

Tensor of quantitative equational theories
Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G. D., 3 Sep 2021. 29 p.
Research output: Contribution to conference › Paper › peer-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 proceeding › Conference contribution book

Open Access
File

2 Downloads (Pure)