Radu Mardare

  • Selma Lagerløfs Vej 300, 1-2-38

    9220 Aalborg Ø

    Denmark

20042019
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.

  • 7 Similar Profiles
Markov processes Engineering & Materials Science
Axiomatization Mathematics
Logic Mathematics
Markov Process Mathematics
Transition Systems Mathematics
Markov chain Mathematics
Computer science Engineering & Materials Science
Computer Science Mathematics

Network Dive into details by clicking on the dots.

Projects 2010 2019

Research Output 2004 2019

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q. & van Breugel, F., 2019, In : Leibniz International Proceedings in Informatics. 140, p. 1 17 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access

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

Markov processes
Branching
Markov chain
Semantics
Linear Time
1 Citation (Scopus)
14 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
Chemical analysis
1 Citation (Scopus)

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

Algebraic Theory
Markov Process
Axiomatization
Equational Logic
Centrobaric
3 Citations (Scopus)

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

Stochastic Calculus
Lambda Calculus
Measure Algebra
Term
Higher Order

Activities 2011 2017

  • 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