|
Search the dblp DataBase
Josee Desharnais:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Josee Desharnais, François Laviolette, Krishna Priya Darsini Moturu, Sami Zhioua
Trace Equivalence Characterization Through Reinforcement Learning. [Citation Graph (0, 0)][DBLP] Canadian Conference on AI, 2006, pp:371-382 [Conf]
- Vincent Danos, Josee Desharnais, Prakash Panangaden
Conditional Expectation and the Approximation of Labelled Markov Processes. [Citation Graph (0, 0)][DBLP] CONCUR, 2003, pp:468-482 [Conf]
- Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Weak Bisimulation is Sound and Complete for PCTL*. [Citation Graph (0, 0)][DBLP] CONCUR, 2002, pp:355-370 [Conf]
- Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Metrics for Labeled Markov Systems. [Citation Graph (0, 0)][DBLP] CONCUR, 1999, pp:258-273 [Conf]
- Josee Desharnais, François Laviolette, Sami Zhioua
Testing Probabilistic Equivalence Through Reinforcement Learning. [Citation Graph (0, 0)][DBLP] FSTTCS, 2006, pp:236-247 [Conf]
- Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden
Bisimulation for Labelled Markov Processes. [Citation Graph (0, 0)][DBLP] LICS, 1997, pp:149-158 [Conf]
- Vincent Danos, Josee Desharnais
Labelled Markov Processes: Stronger and Faster Approximations. [Citation Graph (0, 0)][DBLP] LICS, 2003, pp:341-350 [Conf]
- Josee Desharnais, Abbas Edalat, Prakash Panangaden
A Logical Characterization of Bisimulation for Labeled Markov Processes. [Citation Graph (0, 0)][DBLP] LICS, 1998, pp:478-487 [Conf]
- Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximating Labeled Markov Processes. [Citation Graph (0, 0)][DBLP] LICS, 2000, pp:95-106 [Conf]
- Josee Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden
The Metric Analogue of Weak Bisimulation for Probabilistic Processes. [Citation Graph (0, 0)][DBLP] LICS, 2002, pp:413-422 [Conf]
- Josee Desharnais, Abbas Edalat, Prakash Panangaden
Bisimulation for Labelled Markov Processes. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2002, v:179, n:2, pp:163-193 [Journal]
- Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Approximating labelled Markov processes. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2003, v:184, n:1, pp:160-200 [Journal]
- Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden
Bisimulation and cocongruence for probabilistic systems. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:4, pp:503-523 [Journal]
- Josee Desharnais, Prakash Panangaden
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2003, v:56, n:1-2, pp:99-115 [Journal]
- Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
Metrics for labelled Markov processes. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2004, v:318, n:3, pp:323-354 [Journal]
Search in 0.004secs, Finished in 0.004secs
|