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)
- 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
- 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
- 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