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 × United Kingdom
Collaborated with:
K.G.Larsen G.Bacci R.Mardare Mathias Ruggaard Pedersen K.G.Larsen
Talks about:
distanc (2) markov (2) semi (2) bisimilar (1) process (1) variat (1) faster (1) comput (1) total (1) relat (1)

Person: Giorgio Bacci

DBLP DBLP: Bacci:Giorgio

Contributed to:

FoSSaCS 20152015
TACAS 20132013
QAPL 20192019

Wrote 3 papers:

FoSSaCS-2015-BacciBLM #distance #markov #on the
On the Total Variation Distance of Semi-Markov Chains (GB, GB, KGL, RM), pp. 185–199.
TACAS-2013-BacciBLM #on the fly #similarity
On-the-Fly Exact Computation of Bisimilarity Distances (GB, GB, KGL, RM), pp. 1–15.
QAPL-2019-PedersenBL #markov #process
A Faster-Than Relation for Semi-Markov Decision Processes (MRP, GB, KGL), pp. 29–42.

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.