Josée Desharnais

Josee Desharnais

2008
18	EE	Josée Desharnais, François Laviolette, Mathieu Tracol: Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games. QEST 2008: 264-273
2006
17	EE	Josee Desharnais, François Laviolette, Krishna Priya Darsini Moturu, Sami Zhioua: Trace Equivalence Characterization Through Reinforcement Learning. Canadian Conference on AI 2006: 371-382
16	EE	Josee Desharnais, François Laviolette, Sami Zhioua: Testing Probabilistic Equivalence Through Reinforcement Learning. FSTTCS 2006: 236-247
15	EE	Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden: Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204(4): 503-523 (2006)
2004
14	EE	Josée Desharnais, Prakash Panangaden: Preface. Electr. Notes Theor. Comput. Sci. 87: 1-3 (2004)
13	EE	Vincent Danos, Josée Desharnais, Prakash Panangaden: Labelled Markov Processes: Stronger and Faster Approximations. Electr. Notes Theor. Comput. Sci. 87: 157-203 (2004)
12	EE	Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Metrics for labelled Markov processes. Theor. Comput. Sci. 318(3): 323-354 (2004)
2003
11	EE	Vincent Danos, Josee Desharnais, Prakash Panangaden: Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR 2003: 468-482
10	EE	Vincent Danos, Josee Desharnais: Labelled Markov Processes: Stronger and Faster Approximations. LICS 2003: 341-350
9	EE	Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximating labelled Markov processes. Inf. Comput. 184(1): 160-200 (2003)
8	EE	Josee Desharnais, Prakash Panangaden: Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. J. Log. Algebr. Program. 56(1-2): 99-115 (2003)
2002
7	EE	Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Weak Bisimulation is Sound and Complete for PCTL*. CONCUR 2002: 355-370
6	EE	Josee Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden: The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS 2002: 413-422
5	EE	Josee Desharnais, Abbas Edalat, Prakash Panangaden: Bisimulation for Labelled Markov Processes. Inf. Comput. 179(2): 163-193 (2002)
2000
4	EE	Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximating Labeled Markov Processes. LICS 2000: 95-106
1999
3	EE	Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Metrics for Labeled Markov Systems. CONCUR 1999: 258-273
1998
2		Josee Desharnais, Abbas Edalat, Prakash Panangaden: A Logical Characterization of Bisimulation for Labeled Markov Processes. LICS 1998: 478-487
1997
1	EE	Richard Blute, Josee Desharnais, Abbas Edalat, Prakash Panangaden: Bisimulation for Labelled Markov Processes. LICS 1997: 149-158

Coauthor Index

1	Richard Blute	[1]
2	Vincent Danos	[10] [11] [13] [15]
3	Abbas Edalat	[1] [2] [5]
4	Vineet Gupta	[3] [4] [6] [7] [9] [12]
5	Radha Jagadeesan	[3] [4] [6] [7] [9] [12]
6	François Laviolette	[15] [16] [17] [18]
7	Krishna Priya Darsini Moturu	[17]
8	Prakash Panangaden	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [15]
9	Mathieu Tracol	[18]
10	Sami Zhioua	[16] [17]