Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Radu Mardare
Map detail
Radu Mardare5 visible / 5 total nodes / 4 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipRadu MardareARadu MardareResearcherContinuous Markovian Logics - Axiomatization and Quantified MetatheoryWContinuous Markovian Lo...preprint / 2012Interpreting Lambda Calculus in Domain-Valued Random VariablesWInterpreting Lambda Cal...preprint / 2026Parameterized Metatheory for Continuous Markovian LogicWParameterized Metatheor...preprint / 2012Topologies of Stochastic Markov Models: Computational AspectsWTopologies of Stochasti...preprint / 2014
Person4 links

Radu Mardare

Researcher