Professor Radu Mardare

Computer and Information Sciences

Publications

Tensor of quantitative equational theories
Bacci Giorgio, Mardare Radu, Panangaden Prakash, Plotkin Gordon D
9th Conference on Algebra and Coalgebra in Computer Science (2021)
Universal semantics for the stochastic λ-calculus
de Amorim Pedro H Azevedo, Kozen Dexter, Mardare Radu, Panangaden Prakash, Roberts M
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Proceedings - Symposium on Logic in Computer Science Vol 2021-June (2021)
https://doi.org/10.1109/LICS52264.2021.9470747
Fixed-points for quantitative equational logics
Mardare Radu, Panangaden Prakash, Plotkin Gordon
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021 Proceedings - Symposium on Logic in Computer Science Vol 2021-June, pp. 1-13 (2021)
https://doi.org/10.1109/LICS52264.2021.9470662
Probabilistic logics based on Riesz spaces
Furber Robert, Mardare Radu, Mio Matteo
Logical Methods in Computer Science Vol 16 (2020)
https://doi.org/10.23638/LMCS-16(1:6)2020
Computing probabilistic bisimilarity distances for probabilistic automata
Bacci Giorgio, Bacci Giovanni, Larsen Kim G, Mardare Radu, Tang Qiyi, van Breugel Franck
30th International Conference on Concurrency Theory, CONCUR 2019 30th International Conference on Concurrency Theory, CONCUR 2019 (2019)
https://doi.org/10.4230/LIPIcs.CONCUR.2019.9
Converging from branching to linear metrics on Markov chains
Bacci Giorgio, Bacci Giovanni, Larsen Kim G, Mardare Radu
Mathematical Structures in Computer Science Vol 29, pp. 3-37 (2019)
https://doi.org/10.1017/S0960129517000160

More publications

Address

Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map