The SCEAS System
| |||||||

## 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.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |