Laurent Doyen

	2009
30		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Probabilistic Weighted Automata. CONCUR 2009: 244-258
29		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Alternating Weighted Automata. FCT 2009: 3-13
28		Laurent Doyen, Gilles Geeraerts, Jean-François Raskin, Julien Reichert: Realizability of Real-Time Logics. FORMATS 2009: 133-148
27		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: A Survey of Stochastic Games with Limsup and Liminf Objectives. ICALP (2) 2009: 1-15
26		Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger: Alpaga: A Tool for Solving Parity Games with Imperfect Information. TACAS 2009: 58-61
25		Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger: Alpaga: A Tool for Solving Parity Games with Imperfect Information CoRR abs/0901.4728: (2009)
24		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Expressiveness and Closure Properties for Quantitative Languages CoRR abs/0905.2195: (2009)
23		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Qualitative Analysis of Partially-observable Markov Decision Processes CoRR abs/0909.1645: (2009)
22		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Probabilistic Weighted Automata CoRR abs/0909.1647: (2009)
21		Laurent Doyen, Jean-François Raskin: Antichains for the Automata-Based Approach to Model-Checking Logical Methods in Computer Science 5(1): (2009)
	2008
20		Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin: Alaska. ATVA 2008: 240-245
19		Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje: Strategy Construction for Parity Games with Imperfect Information. CONCUR 2008: 325-339
18		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Quantitative Languages. CSL 2008: 385-400
17		Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov: Interface theories with component reuse. EMSOFT 2008: 79-88
16		Dietmar Berwanger, Laurent Doyen: On the Power of Imperfect Information. FSTTCS 2008
15		Martin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin: Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking. TACAS 2008: 63-77
14		Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin: Robust safety of timed automata. Formal Methods in System Design 33(1-3): 45-84 (2008)
13		Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Equivalence of Labeled Markov Chains. Int. J. Found. Comput. Sci. 19(3): 549-563 (2008)
	2007
12		Laurent Doyen, Jean-François Raskin: Improved Algorithms for the Automata-Based Approach to Model-Checking. TACAS 2007: 451-465
11		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Algorithms for Omega-Regular Games with Imperfect Information CoRR abs/0706.2619: (2007)
10		Laurent Doyen: Robust parametric reachability for timed automata. Inf. Process. Lett. 102(5): 208-213 (2007)
9		Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Algorithms for Omega-Regular Games with Imperfect Information. Logical Methods in Computer Science 3(3): (2007)
	2006
8		Martin De Wulf, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Antichains: A New Algorithm for Checking Universality of Finite Automata. CAV 2006: 17-30
7		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Algorithms for Omega-Regular Games with Imperfect Information, . CSL 2006: 287-302
6		Martin De Wulf, Laurent Doyen, Jean-François Raskin: A Lattice Theory for Solving Games of Imperfect Information. HSCC 2006: 153-168
	2005
5		Martin De Wulf, Laurent Doyen, Jean-François Raskin: Systematic Implementation of Real-Time Models. FM 2005: 139-156
4		Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Automatic Rectangular Refinement of Affine Hybrid Systems. FORMATS 2005: 144-161
3		Martin De Wulf, Laurent Doyen, Jean-François Raskin: Almost ASAP semantics: from timed models to timed implementations. Formal Asp. Comput. 17(3): 319-341 (2005)
	2004
2		Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin: Robustness and Implementability of Timed Automata. FORMATS/FTRTFT 2004: 118-133
1		Martin De Wulf, Laurent Doyen, Jean-François Raskin: Almost ASAP Semantics: From Timed Models to Timed Implementations. HSCC 2004: 296-310

Coauthor Index

1	Dietmar Berwanger	[16] [19] [25] [26]
2	Krishnendu Chatterjee	[7] [9] [11] [18] [19] [22] [23] [24] [25] [26] [27] [29] [30]
3	Gilles Geeraerts	[28]
4	Thomas A. Henzinger	[4] [7] [8] [9] [11] [13] [17] [18] [19] [22] [23] [24] [25] [26] [27] [29] [30]
5	Barbara Jobstmann	[17]
6	Nicolas Maquet	[15] [20]
7	Nicolas Markey	[2] [14]
8	Tatjana Petrov	[17]
9	Sangram Raje	[19]
10	Jean-François Raskin	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [20] [21] [28]
11	Julien Reichert	[28]
12	Martin De Wulf	[1] [2] [3] [5] [6] [8] [14] [15] [20] [25] [26]