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

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 3 Similar Profiles

Network Dive into details by clicking on the dots.

Projects

Research Output

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, 30th International Conference on Concurrency Theory (CONCUR 2019). Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 9:1-9:17 17 p. 9. (Leibniz International Proceedings in Informatics, Vol. 140).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
1 Citation (Scopus)
8 Downloads (Pure)

Converging from branching to linear metrics on Markov chains

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

Research output: Contribution to journalJournal articleResearchpeer-review

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

    A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

    Pedersen, M. R., Bacci, G., Larsen, K. G. & Mardare, R. I., 4 Sep 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, p. 339-355 17 p. (Lecture Notes in Computer Science, Vol. 11024).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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

    An Algebraic Theory of Markov Processes

    Bacci, G., Mardare, R. I., Panangaden, P. & Plotkin, G., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, p. 679-688 10 p. (Annual Symposium on Logic in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
  • 2 Citations (Scopus)
    56 Downloads (Pure)

    Boolean-valued semantics for the stochastic Lambda-calculus

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

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 4 Citations (Scopus)

    Activities

    • 3 Talks and presentations in private or public companies
    • 2 Series editor

    KiMfest 2017 (Event)

    Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingolfsdottir (Editor), Axel Legay (Editor) & Radu Iulian Mardare (Editor)

    19 Aug 201720 Aug 2017

    Activity: Editorial work and peer reviewSeries editorResearch

    KiMfest (Event)

    Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingolfsdottir (Editor), Axel Legay (Editor) & Radu Mardare (Editor)

    19 Aug 201720 Aug 2017

    Activity: Editorial work and peer reviewSeries editorResearch

    Syntax and Semantics for UCN

    Radu Iulian Mardare (Lecturer)

    Jan 2013Feb 2013

    Activity: Talks and presentationsTalks and presentations in private or public companies

    Truth, Provability and Metamathematics

    Radu Iulian Mardare (Lecturer)

    Nov 2012

    Activity: Talks and presentationsTalks and presentations in private or public companies

    Introduction to Logic and Model Theory

    Radu Iulian Mardare (Lecturer)

    Nov 2011Dec 2011

    Activity: Talks and presentationsTalks and presentations in private or public companies

    Press / Media