Josée Desharnais

Josee Desharnais

	2009
20		Josée Desharnais, François Laviolette, Amélie Turgeon: A Demonic Approach to Information in Probabilistic Systems. CONCUR 2009: 289-304
19		Sami Zhioua, Doina Precup, François Laviolette, Josée Desharnais: Learning the Difference between Partially Observable Dynamical Systems. ECML/PKDD (2) 2009: 664-677
	2008
18		Josée Desharnais, François Laviolette, Mathieu Tracol: Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games. QEST 2008: 264-273
	2006
17		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		Josee Desharnais, François Laviolette, Sami Zhioua: Testing Probabilistic Equivalence Through Reinforcement Learning. FSTTCS 2006: 236-247
15		Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden: Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204(4): 503-523 (2006)
	2004
14		Josée Desharnais, Prakash Panangaden: Preface. Electr. Notes Theor. Comput. Sci. 87: 1-3 (2004)
13		Vincent Danos, Josée Desharnais, Prakash Panangaden: Labelled Markov Processes: Stronger and Faster Approximations. Electr. Notes Theor. Comput. Sci. 87: 157-203 (2004)
12		Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Metrics for labelled Markov processes. Theor. Comput. Sci. 318(3): 323-354 (2004)
	2003
11		Vincent Danos, Josee Desharnais, Prakash Panangaden: Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR 2003: 468-482
10		Vincent Danos, Josee Desharnais: Labelled Markov Processes: Stronger and Faster Approximations. LICS 2003: 341-350
9		Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximating labelled Markov processes. Inf. Comput. 184(1): 160-200 (2003)
8		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		Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Weak Bisimulation is Sound and Complete for PCTL*. CONCUR 2002: 355-370
6		Josee Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden: The Metric Analogue of Weak Bisimulation for Probabilistic Processes. LICS 2002: 413-422
5		Josee Desharnais, Abbas Edalat, Prakash Panangaden: Bisimulation for Labelled Markov Processes. Inf. Comput. 179(2): 163-193 (2002)
	2000
4		Josee Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Approximating Labeled Markov Processes. LICS 2000: 95-106
	1999
3		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		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] [19] [20]
7	Krishna Priya Darsini Moturu	[17]
8	Prakash Panangaden	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [15]
9	Doina Precup	[19]
10	Mathieu Tracol	[18]
11	Amélie Turgeon	[20]
12	Sami Zhioua	[16] [17] [19]