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 × Canada
1 × Denmark
1 × Germany
1 × Poland
2 × USA
Collaborated with:
P.Panangaden A.Edalat J.Assouramou V.Danos R.Jagadeesan V.Gupta M.Tracol A.Zhioua R.Blute
Talks about:
process (5) markov (4) label (4) probabilist (3) bisimul (3) approxim (2) character (1) stronger (1) automata (1) distanc (1)

Person: Josée Desharnais

DBLP DBLP: Desharnais:Jos=eacute=e

Contributed to:

QAPL 20112011
LICS 20032003
LICS 20022002
LICS 20002000
LICS 19981998
LICS 19971997

Wrote 7 papers:

QAPL-2011-AssouramouD #analysis #hybrid #probability
Analysis of Non-Linear Probabilistic Hybrid Systems (JA, JD), pp. 104–119.
QAPL-2011-TracolDZ #automaton #probability
Computing Distances between Probabilistic Automata (MT, JD, AZ), pp. 148–162.
LICS-2003-DanosD #approximate #markov #performance #process
Labelled Markov Processes: Stronger and Faster Approximations (VD, JD), pp. 341–350.
LICS-2002-DesharnaisJGP #bisimulation #metric #probability #process
The Metric Analogue of Weak Bisimulation for Probabilistic Processes (JD, RJ, VG, PP), pp. 413–422.
LICS-2000-DesharnaisGJP #approximate #markov #process
Approximating Labeled Markov Processes (JD, VG, RJ, PP), pp. 95–106.
LICS-1998-DesharnaisEP #bisimulation #logic #markov #process
A Logical Characterization of Bisimulation for Labeled Markov Processes (JD, AE, PP), pp. 478–487.
LICS-1997-BluteDEP #bisimulation #markov #process
Bisimulation for Labelled Markov Processes (RB, JD, AE, PP), pp. 149–158.

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.