`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: Desharnais:Jos=eacute=e

### Contributed to:

### 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.