Concepedia

Radu Mardare

RM

Statistics

Publications

13

Citations

286

H-Index

11

Active since

2004

Affiliations

Aalborg University(Current)

McGill University

University of Trento

University of Edinburgh

Microsoft Research (United Kingdom)

Radu Mardare is an author at Aalborg University specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationProbabilityVerificationMarkov ProcessesSystems EngineeringMedicine

Publications per year

2004–2020

13

Publications

13

Quantitative Algebraic Reasoning

Radu Mardare, Prakash Panangaden, Gordon Plotkin · 2016 · 65 citations

Reasoning, Theoretical Mathematics, Algebraic Logic +10

Continuous Markovian Logics - Axiomatization and Quantified Metatheory

Radu Mardare, Luca Cardelli, Kim G. Larsen · Logical Methods in Computer Science · 2012 · 30 citations · Full text

Engineering, Classical Logic, Continuous Markov Processes +16

Analysing Biochemical Oscillation through Probabilistic Model Checking

Paolo Ballarini, Radu Mardare, Iván Mura · Electronic Notes in Theoretical Computer Science · 2009 · 29 citations · Full text

Engineering, Markovian Models, Mathematical Biophysics +22

The Measurable Space of Stochastic Processes

Luca Cardelli, Radu Mardare · 2010 · 26 citations

Engineering, Structural Congruence, Stochastic Processes +12

On the axiomatizability of quantitative algebras

Radu Mardare, Prakash Panangaden, Gordon Plotkin · 2017 · 25 citations · Full text

Quantitative Equations, Algebraic Logic, Mathematical Structure +10

1–5 of 13