BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Norway
1 × Switzerland
1 × USA
1 × United Kingdom
Collaborated with:
K.G.Larsen L.Cardelli G.Bacci G.Bacci K.G.Larsen D.Kozen P.Panangaden
Talks about:
markovian (2) distanc (2) markov (2) logic (2) bisimilar (1) process (1) modular (1) formula (1) dualiti (1) continu (1)

Person: Radu Mardare

DBLP DBLP: Mardare:Radu

Contributed to:

FoSSaCS 20152015
LICS 20132013
TACAS 20132013
CSL 20112011
ICALP (2) 20112011

Wrote 5 papers:

FoSSaCS-2015-BacciBLM #distance #markov #on the
On the Total Variation Distance of Semi-Markov Chains (GB, GB, KGL, RM), pp. 185–199.
LICS-2013-KozenLMP #markov #process
Stone Duality for Markov Processes (DK, KGL, RM, PP), pp. 321–330.
TACAS-2013-BacciBLM #on the fly #similarity
On-the-Fly Exact Computation of Bisimilarity Distances (GB, GB, KGL, RM), pp. 1–15.
CSL-2011-CardelliLM #axiom #logic #markov #metric
Continuous Markovian Logic — From Complete Axiomatization to the Metric Space of Formulas (LC, KGL, RM), pp. 144–158.
ICALP-v2-2011-CardelliLM #composition #logic #markov
Modular Markovian Logic (LC, KGL, RM), pp. 380–391.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.