Josée Desharnais

Josee Desharnais

	2011
25		Joseph Assouramou, Josée Desharnais: Analysis of Non-Linear Probabilistic Hybrid Systems QAPL 2011: 104-119
24		Mathieu Tracol, Josée Desharnais, Abir Zhioua: Computing Distances between Probabilistic Automata QAPL 2011: 148-162
23		Josée Desharnais, François Laviolette, Amélie Turgeon: A logical duality for underspecified probabilistic systems. Inf. Comput. 209(5): 850-871 (2011)
	2010
22		Joseph Assouramou, Josée Desharnais: Continuous Time and/or Continuous Distributions. EPEW 2010: 99-114
21		Josée Desharnais, Vineet Gupta, Radha Jagadeesan, Prakash Panangaden: Weak bisimulation is sound and complete for pCTL*. Inf. Comput. 208(2): 203-219 (2010)
	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	Joseph Assouramou	[22] [25]
2	Richard Blute	[1]
3	Vincent Danos	[10] [11] [13] [15]
4	Abbas Edalat	[1] [2] [5]
5	Vineet Gupta	[3] [4] [6] [7] [9] [12] [21]
6	Radha Jagadeesan	[3] [4] [6] [7] [9] [12] [21]
7	François Laviolette	[15] [16] [17] [18] [19] [20] [23]
8	Krishna Priya Darsini Moturu	[17]
9	Prakash Panangaden	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [21]
10	Doina Precup	[19]
11	Mathieu Tracol	[18] [24]
12	Amélie Turgeon	[20] [23]
13	Abir Zhioua	[24]
14	Sami Zhioua	[16] [17] [19]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page