Browse by Author or creator

Article

Bacci, Giorgio and Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon D. (2024) Sum and tensor of quantitative effects. Logical Methods in Computer Science, 20 (4). 9:1-9:62. 9. ISSN 1860-5974

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu and Tang, Qiyi and van Breugel, Franck (2021) Computing probabilistic bisimilarity distances for probabilistic automata. Logical Methods in Computer Science, 17 (1). 9:1-9:36. 9. ISSN 1860-5974

Furber, Robert and Mardare, Radu and Mio, Matteo (2020) Probabilistic logics based on Riesz spaces. Logical Methods in Computer Science, 16 (1). ISSN 1860-5974

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu (2019) Converging from branching to linear metrics on Markov chains. Mathematical Structures in Computer Science, 29 (Specia). pp. 3-37. ISSN 1469-8072

Hansen, Mikkel and Larsen, Kim Guldstrand and Mardare, Radu and Pedersen, Mathias Ruggaard (2018) Reasoning about bounds in weighted transition systems. Logical Methods in Computer Science, 14 (4). 19. ISSN 1860-5974

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu (2018) A complete quantitative deduction system for the bisimilarity distance on Markov chains. Logical Methods in Computer Science, 14 (4). 15. ISSN 1860-5974

Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon D. (2018) Free complete Wasserstein algebras. Logical Methods in Computer Science, 14 (3). 19. ISSN 1860-5974

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu (2018) Complete axiomatization for the total variation distance of Markov chains. Electronic Notes in Theoretical Computer Science, 336. pp. 27-39. ISSN 1571-0661

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu (2017) On-the-fly computation of bisimilarity distances. Logical Methods in Computer Science, 13 (2). pp. 1-25. 13. ISSN 1860-5974

Larsen, Kim G. and Mardare, Radu and Xue, Bingtian (2015) Alternation-free weighted mu-calculus : decidability and completeness. Electronic Notes in Theoretical Computer Science, 319. pp. 289-313. ISSN 1571-0661

Jaziri, Samy and Larsen, Kim G. and Mardare, Radu and Xue, Bingtian (2014) Adequacy and complete axiomatization for Timed Modal Logic. Electronic Notes in Theoretical Computer Science, 308. pp. 183-210. ISSN 1571-0661

Kozen, Dexter and Mardare, Radu and Panangaden, Prakash (2014) A metrized duality theorem for Markov processes. Electronic Notes in Theoretical Computer Science, 308. pp. 211-227. ISSN 1571-0661

Ballarini, Paolo and Mardare, Radu and Mura, Ivan (2009) Analysing biochemical oscillations through probabilistic model checking. Electronic Notes in Theoretical Computer Science, 229 (1). pp. 3-19. ISSN 1571-0661

Book Section

Bacci, Giorgio and Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon D.; (2023) Propositional Logics for Lawvere Quantale. In: 39th Conference on Mathematical Foundations of Programming Semantics MFPS XXXIX. Proceedings - Symposium on Logic in Computer Science . EPI SCP, USA.

Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon; (2021) Fixed-points for quantitative equational logics. In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Proceedings - Symposium on Logic in Computer Science, 1 . IEEE, Piscataway, NJ, pp. 1-13. ISBN 9781665448956

de Amorim, Pedro H. Azevedo and Kozen, Dexter and Mardare, Radu and Panangaden, Prakash and Roberts, M.; (2021) Universal semantics for the stochastic λ-calculus. In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Proceedings - Symposium on Logic in Computer Science . IEEE, ITA. ISBN 9781665448956

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu and Tang, Qiyi and van Breugel, Franck; Fokkink, Wan and van Glabbeek, Rob, eds. (2019) Computing probabilistic bisimilarity distances for probabilistic automata. In: 30th International Conference on Concurrency Theory, CONCUR 2019. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, NLD. ISBN 9783959771214

Pedersen, Mathias Ruggaard and Bacci, Giorgio and Larsen, Kim Guldstrand and Mardare, Radu; McIver, Annabelle and Horvath, Andras, eds. (2018) A hemimetric extension of simulation for semi-markov decision processes. In: Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag, CHN, pp. 339-355. ISBN 9783319991535

Bacci, Giorgio and Furber, Robert and Kozen, Dexter and Mardare, Radu and Panangaden, Prakash and Scott, Dana; (2018) Boolean-valued semantics for the stochastic λ-calculus. In: LICS '18 : Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, GBR, pp. 669-678. ISBN 9781450355834

Bacci, Giorgio and Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon; (2018) An algebraic theory of Markov processes. In: LICS '18 : Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, GBR, pp. 679-688. ISBN 9781450355834

Furber, Robert and Kozen, Dexter and Larsen, Kim and Mardare, Radu and Panangaden, Prakash; (2017) Unrestricted stone duality for Markov processes. In: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, ISL, pp. 1-9. ISBN 9781509030194

Bacci, Giovanni and Bacci, Giorgio and Larsen, Kim G. and Mardare, Radu; Muscholl, Anca and Indyk, Piotr and Kuhn, Fabian and Chatzigiannakis, Ioannis, eds. (2017) On the metric-based approximate minimization of Markov chains. In: 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, POL. ISBN 9783959770415

Larsen, Kim G. and Mardare, Radu and Xue, Bingtian; Lal, Akash and Akshay, S. and Saurabh, Saket and Sen, Sandeep and Saurabh, Saket, eds. (2016) Probabilistic mu-calculus : decidability and complete axiomatization. In: Proceedings 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, IND, 25.1-25.18. ISBN 9783959770279

Hansen, Mikkel and Larsen, Kim Guldstrand and Mardare, Radu and Pedersen, Mathias Ruggaard and Xue, Bingtian; Franzle, Martin and Kapur, Deepak and Zhan, Naijun, eds. (2016) A complete approximation theory for weighted transition systems. In: Dependable Software Engineering. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer-Verlag, CHN, pp. 213-228. ISBN 9783319476766

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu; Desharnais, Josee and Jagadeesan, Radha, eds. (2016) Complete axiomatization for the bisimilarity distance on Markov chains. In: 27th International Conference on Concurrency Theory, CONCUR 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, CAN. ISBN 9783959770170

Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon; (2016) Quantitative algebraic reasoning. In: LICS '16 : Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. ACM, USA, pp. 700-709. ISBN 9781450343916

Christoffersen, Peter and Hansen, Mikkel and Mariegaard, Anders and Ringsmose, Julian Trier and Guldstrand Larsen, Kim and Mardare, Radu; André, Étienne and Frehse, Goran, eds. (2015) Parametric verification of weighted systems. In: 2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Wadern, Germany, pp. 77-90. ISBN 9783939897828

Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim Guldstrand and Mardare, Radu; Pitts, Andrew, ed. (2015) On the total variation distance of semi-markov chains. In: Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9034 . Springer-Verlag, GBR, pp. 185-199. ISBN 9783662466773

Conference or Workshop Item

Bacci, Giorgio and Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon D. (2021) Tensor of quantitative equational theories. In: 9th Conference on Algebra and Coalgebra in Computer Science, 2021-08-31 - 2021-09-03.