Radu Mardare

Prof

  • United Kingdom

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

Search results

  • 2021

    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
    2 Downloads (Pure)
  • 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
    6 Downloads (Pure)
  • Universal semantics for the stochastic λ-calculus

    de Amorim, P. H. A., Kozen, D., Mardare, R., Panangaden, P. & Roberts, M., 7 Jul 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. IEEE, 12 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).

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

    Open Access
    File
  • 2020

    Probabilistic logics based on Riesz spaces

    Furber, R., Mardare, R. & Mio, M., 27 Jan 2020, In: Logical Methods in Computer Science. 16, 1, 45 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    1 Citation (Scopus)
    1 Downloads (Pure)
  • 2019

    Computing probabilistic bisimilarity distances for probabilistic automata

    Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 1 Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Dagstuhl, Germany, Vol. 140. 17 p. 9

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

    Open Access
    File
    4 Citations (Scopus)
    31 Downloads (Pure)
  • Converging from branching to linear metrics on Markov chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 31 Jan 2019, In: Mathematical Structures in Computer Science. 29, Special Issue 1, p. 3-37 35 p.

    Research output: Contribution to journalSpecial issuepeer-review

    Open Access
    File
    2 Citations (Scopus)
    3 Downloads (Pure)
  • 2018

    A complete quantitative deduction system for the bisimilarity distance on Markov chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 Nov 2018, In: Logical Methods in Computer Science. 14, 4, 29 p., 15.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    2 Citations (Scopus)
    3 Downloads (Pure)
  • A hemimetric extension of simulation for semi-markov decision processes

    Pedersen, M. R., Bacci, G., Larsen, K. G. & Mardare, R., 4 Sep 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Cham: Springer-Verlag, p. 339-355 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11024 LNCS).

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

    Open Access
    File
    1 Citation (Scopus)
    1 Downloads (Pure)
  • An algebraic theory of Markov processes

    Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G., 9 Jul 2018, LICS '18 : Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY., p. 679-688 10 p.

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

    Open Access
    File
    6 Citations (Scopus)
  • Boolean-valued semantics for the stochastic λ-calculus

    Bacci, G., Furber, R., Kozen, D., Mardare, R., Panangaden, P. & Scott, D., 9 Jul 2018, LICS '18 : Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. Piscataway, NJ., p. 669-678 10 p.

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

    Open Access
    File
    6 Citations (Scopus)
    1 Downloads (Pure)
  • Complete axiomatization for the total variation distance of Markov chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 Apr 2018, In: Electronic Notes in Theoretical Computer Science. 336, p. 27-39 13 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    3 Citations (Scopus)
    2 Downloads (Pure)
  • Free complete Wasserstein algebras

    Mardare, R., Panangaden, P. & Plotkin, G. D., 14 Sep 2018, In: Logical Methods in Computer Science. 14, 3, 16 p., 19.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    3 Citations (Scopus)
    2 Downloads (Pure)
  • Reasoning about bounds in weighted transition systems

    Hansen, M., Larsen, K. G., Mardare, R. & Pedersen, M. R., 26 Nov 2018, In: Logical Methods in Computer Science. 14, 4, 32 p., 19.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    1 Citation (Scopus)
    4 Downloads (Pure)
  • Timed comparisons of semi-Markov processes

    Pedersen, M. R., Fijalkow, N., Bacci, G., Larsen, K. G. & Mardare, R., 8 Mar 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Klein, S. T., Martín-Vide, C. & Shapira, D. (eds.). Cham: Springer-Verlag, p. 271-283 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10792 LNCS).

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

    1 Citation (Scopus)
  • Weighted branching systems: behavioural equivalence, behavioural distance, and their logical characterisations

    Jensen, M. C., Larsen, K. G. & Mardare, R., 26 Aug 2018, Formal Modeling and Analysis of Timed Systems - 16th International Conference, FORMATS 2018, Proceedings. Jansen, D. N. & Prabhakar, P. (eds.). Cham: Springer-Verlag, p. 145-161 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11022 LNCS).

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

    1 Citation (Scopus)
  • 2017

    On the axiomatizability of quantitative algebras

    Mardare, R., Panangaden, P. & Plotkin, G., 8 Aug 2017, 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. Piscataway, N.J.: IEEE, p. 1-12 12 p. 8005102

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

    Open Access
    7 Citations (Scopus)
  • On-the-fly computation of bisimilarity distances

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 30 Jun 2017, In: Logical Methods in Computer Science. 13, 2, p. 1-25 25 p., 13.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    2 Citations (Scopus)
    2 Downloads (Pure)
  • On the metric-based approximate minimization of Markov chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 1 Jul 2017, 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017. Muscholl, A., Indyk, P., Kuhn, F. & Chatzigiannakis, I. (eds.). Vol. 80. 14 p. 104

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

    Open Access
    File
    6 Citations (Scopus)
    1 Downloads (Pure)
  • Riesz modal logic for Markov processes

    Mio, M., Furber, R. & Mardare, R., 8 Aug 2017, 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. 12 p. 8005091

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

    4 Citations (Scopus)
  • Unrestricted stone duality for Markov processes

    Furber, R., Kozen, D., Larsen, K., Mardare, R. & Panangaden, P., 18 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Piscataway, NJ.: IEEE, p. 1-9 9 p. 8005152

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

    Open Access
    File
    4 Citations (Scopus)
  • 2016

    A complete approximation theory for weighted transition systems

    Hansen, M., Larsen, K. G., Mardare, R., Pedersen, M. R. & Xue, B., 6 Oct 2016, Dependable Software Engineering: Theories, Tools, and Applications - 2nd International Symposium, SETTA 2016, Proceedings. Franzle, M., Kapur, D. & Zhan, N. (eds.). Cham: Springer-Verlag, p. 213-228 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9984 LNCS).

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

    Open Access
    File
    2 Citations (Scopus)
    2 Downloads (Pure)
  • Complete axiomatization for the bisimilarity distance on Markov chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 1 Aug 2016, 27th International Conference on Concurrency Theory, CONCUR 2016. Desharnais, J. & Jagadeesan, R. (eds.). Vol. 59. 14 p. 21

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

    Open Access
    File
    3 Citations (Scopus)
    1 Downloads (Pure)
  • Probabilistic mu-calculus: decidability and complete axiomatization

    Larsen, K. G., Mardare, R. & Xue, B., 1 Dec 2016, Proceedings 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016. Lal, A., Akshay, S., Saurabh, S., Sen, S. & Saurabh, S. (eds.). Vol. 65. p. 25.1-25.18 18 p.

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

    Open Access
    File
    2 Citations (Scopus)
    2 Downloads (Pure)
  • Quantitative algebraic reasoning

    Mardare, R., Panangaden, P. & Plotkin, G., 5 Jul 2016, LICS '16 : Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY., p. 700-709 10 p.

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

    Open Access
    File
    26 Citations (Scopus)
    13 Downloads (Pure)
  • 2015

    Alternation-free weighted mu-calculus: decidability and completeness

    Larsen, K. G., Mardare, R. & Xue, B., 21 Dec 2015, In: Electronic Notes in Theoretical Computer Science. 319, p. 289-313 25 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    6 Citations (Scopus)
    2 Downloads (Pure)
  • Decidability and expressiveness of recursive weighted logic

    Larsen, K. G., Mardare, R. & Xue, B., 1 Jan 2015, Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, Revised Selected Papers. Virbitskaite, I., Voronkov, A. & Virbitskaite, I. (eds.). Springer-Verlag, p. 216-231 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8974).

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

    2 Citations (Scopus)
  • On the total variation distance of semi-markov chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 1 Jan 2015, Foundations of Software Science and Computation Structures: Proceedings 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. Pitts, A. (ed.). Berlin: Springer-Verlag, Vol. 9034. p. 185-199 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9034).

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

    Open Access
    File
    11 Citations (Scopus)
    3 Downloads (Pure)
  • 2014

    A decidable recursive logic forweighted transition systems

    Larsen, K. G., Mardare, R. & Xue, B., 23 Sep 2014, Theoretical Aspects of Computing – ICTAC 2014: Proceedings of 11th International Colloquium Bucharest, Romania, September 17-19, 2014. Ciobanu, G. & Méry, D. (eds.). Cham: Springer, p. 460-476 17 p. (Lecture Notes in Computer Science; vol. 8687).

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

    2 Citations (Scopus)
  • Adequacy and complete axiomatization for Timed Modal Logic

    Jaziri, S., Larsen, K. G., Mardare, R. & Xue, B., 29 Oct 2014, In: Electronic Notes in Theoretical Computer Science. 308, p. 183-210 28 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    5 Citations (Scopus)
    2 Downloads (Pure)
  • A metrized duality theorem for Markov processes

    Kozen, D., Mardare, R. & Panangaden, P., 29 Oct 2014, In: Electronic Notes in Theoretical Computer Science. 308, p. 211-227 17 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    2 Downloads (Pure)
  • Bisimulation on Markov processes over arbitrary measurable spaces

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 21 May 2014, Horizons of the Mind: A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Cham: Springer-Verlag, p. 76-95 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8464 LNCS).

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

    3 Citations (Scopus)
  • Complete proof systems for weighted modal logic

    Larsen, K. G. & Mardare, R., 21 Aug 2014, In: Theoretical Computer Science. 546, C, p. 164-175 12 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    8 Citations (Scopus)
  • Continuity properties of distances for Markov processes

    Jaeger, M., Mao, H., Guldstrand Larsen, K. & Mardare, R., 1 Jan 2014, Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Proceedings. Norman, G. & Sanders, W. (eds.). Cham: Springer-Verlag, Vol. 8657 . p. 297-312 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8657 LNCS).

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

    5 Citations (Scopus)
  • The measurable space of stochastic processes

    Cardelli, L. & Mardare, R., 1 Jan 2014, In: Fundamenta Informaticae. 131, 3-4, p. 351-371 21 p.

    Research output: Contribution to journalArticlepeer-review

  • 2013

    Computing behavioral distances, compositionally

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 15 Oct 2013, Mathematical Foundations of Computer Science 2013. Chatterjee, K. & Sgall, J. (eds.). Berlin: Springer-Verlag, p. 74-85 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8087 LNCS).

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

    19 Citations (Scopus)
  • On-the-fly exact computation of bisimilarity distances

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 5 Mar 2013, Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2013.. Pieterman, N. & Smolka, S. A. (eds.). Berlin: Springer-Verlag, p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7795 LNCS).

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

    31 Citations (Scopus)
  • Stochastic pi-calculus revisited

    Cardelli, L. & Mardare, R., 15 Jul 2013, Theoretical Aspects of Computing, ICTAC 2013 - 10th International Colloquium, Proceedings. Liu, Z., Woodcock, J. & Huibiao, Z. (eds.). Berlin: Springer-Verlag, p. 1-21 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8049 LNCS).

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

    2 Citations (Scopus)
  • Stone duality for markov processes

    Kozen, D., Larsen, K. G., Mardare, R. & Panangaden, P., 9 Sep 2013, In: Proceedings - Symposium on Logic in Computer Science. p. 321-330 10 p., 6571564.

    Research output: Contribution to journalConference articlepeer-review

    16 Citations (Scopus)
  • Strong completeness for Markovian logics

    Kozen, D., Mardare, R. & Panangaden, P., 15 Oct 2013, Mathematical Foundations of Computer Science 2013 . Chatterjee, K. & Sgall, J. (eds.). Berlin: Springer-Verlag, p. 655-666 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8087 LNCS).

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

    10 Citations (Scopus)
  • The BisimDist library: efficient computation of bisimilarity distances for Markovian models

    Bacci, G., Bacci, G., Guldstrand Larsen, K. & Mardare, R., 28 Aug 2013, Quantitative Evaluation of Systems. QEST 2013. Joshi, K., Siegle, M., Stoelinga, M. & D'Argenio, P. R. (eds.). Berlin: Springer-Verlag, p. 278-281 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8054 LNCS).

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

    5 Citations (Scopus)
  • 2012

    Combining epistemic logic and Hennessy-Milner logic

    Knight, S., Mardare, R. & Panangaden, P., 21 May 2012, Logic and Program Semantics. Constable, R. L. & Silva, A. (eds.). Berlin: Springer-Verlag, p. 219-243 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7230 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)
  • Continuous Markovian logics axiomatization and quantified metatheory

    Mardare, R., Cardelli, L. & Larsen, K. G., 29 Nov 2012, In: Logical Methods in Computer Science. 8, 4, p. 1-28 28 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    10 Citations (Scopus)
  • Decidability of modular logics for concurrency

    Mardare, R., 24 May 2012, Perspectives of System Informatics.PSI 2011.. Clarke, E., Virbitskaite, I. & Voronkov, A. (eds.). Berlin: Springer-Verlag, p. 274-288 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7162 LNCS).

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

  • Taking it to the limit: approximate reasoning for markov processes

    Larsen, K. G., Mardare, R. & Panangaden, P., 20 Aug 2012, Mathematical Foundations of Computer Science 2012. MFCS 2012.. Rovan, B., Sassone, V. & Widmayer, P. (eds.). Berlin: Springer-Verlag, p. 681-692 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7464 LNCS).

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

    18 Citations (Scopus)
  • 2011

    Continuous Markovian logic - From complete axiomatization to the metric space of formulas

    Cardelli, L., Larsen, K. G. & Mardare, R., 1 Dec 2011, Computer Science Logic 2011 - 25th International Workshop/20th Annual Conference of the EACSL, CSL 2011. Vol. 12. p. 144-158 15 p.

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

    9 Citations (Scopus)
  • Modular Markovian logic

    Cardelli, L., Larsen, K. G. & Mardare, R., 11 Jul 2011, Automata, Languages and Programming. ICALP 2011.. Aceto, L., Hezinger, M. & Sgall, J. (eds.). PART 2 ed. Berlin: Springer-Verlag, p. 380-391 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6756 LNCS, no. PART 2).

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

    10 Citations (Scopus)