No photo of Radu Mardare

Radu Mardare

Prof

  • United Kingdom

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution book

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
  • 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
  • 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)
    30 Downloads (Pure)
  • 2018

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

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

    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)