The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Josee Desharnais: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
    Metrics for Labeled Markov Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:258-273 [Conf]
  5. Josee Desharnais, François Laviolette, Sami Zhioua
    Testing Probabilistic Equivalence Through Reinforcement Learning. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2006, pp:236-247 [Conf]
  6. Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden
    Bisimulation for Labelled Markov Processes. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:149-158 [Conf]
  7. Vincent Danos, Josee Desharnais
    Labelled Markov Processes: Stronger and Faster Approximations. [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:341-350 [Conf]
  8. 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]
  9. Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden
    Approximating Labeled Markov Processes. [Citation Graph (0, 0)][DBLP]
    LICS, 2000, pp:95-106 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002