Thomas Brihaye

	2009
22		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye: When Are Timed Automata Determinizable? ICALP (2) 2009: 43-54
21		Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey: ATLwith Strategy Contexts and Bounded Memory. LFCS 2009: 92-106
20		Thomas Brihaye, Christian Michaux, Cédric Rivière: Cell decomposition and dimension function in the theory of closed ordered differential fields. Ann. Pure Appl. Logic 159(1-2): 111-128 (2009)
	2008
19		Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Ranko Lazic, Michal Rutkowski: Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets. FORMATS 2008: 63-77
18		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer: Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. LICS 2008: 217-226
17		Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Nicolas Markey: Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. QEST 2008: 55-64
16		Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg: Good Friends are Hard to Find! TIME 2008: 32-40
	2007
15		Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby: Timed Concurrent Game Structures. CONCUR 2007: 445-459
14		Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer: Probabilistic and Topological Semantics for Timed Automata. FSTTCS 2007: 179-191
13		Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-François Raskin: Minimum-Time Reachability in Timed Games. ICALP 2007: 825-837
12		Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier: Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! LFCS 2007: 69-83
11		Thomas Brihaye: Words and Bisimulations of Dynamical Systems. Discrete Mathematics & Theoretical Computer Science 9(2): (2007)
10		Patricia Bouyer, Thomas Brihaye, Véronique Bruyère, Jean-François Raskin: On the optimal reachability problem of weighted timed automata. Formal Methods in System Design 31(2): 135-175 (2007)
	2006
9		Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier: Control in o-minimal Hybrid Systems. LICS 2006: 367-378
8		Thomas Brihaye, Véronique Bruyère, Jean-François Raskin: On model-checking timed automata with stopwatch observers. Inf. Comput. 204(3): 408-433 (2006)
7		Patricia Bouyer, Thomas Brihaye, Nicolas Markey: Improved undecidability results on weighted timed automata. Inf. Process. Lett. 98(5): 188-194 (2006)
6		Thomas Brihaye, Christian Michaux: Corrigendum to "On the expressiveness and decidability of o-minimal hybrid systems" [J. Complexity 21 (2005) 447-478]. J. Complexity 22(3): 431-434 (2006)
5		Thomas Brihaye: A note on the undecidability of the reachability problem for o-minimal dynamical systems. Math. Log. Q. 52(2): 165-170 (2006)
	2005
4		Thomas Brihaye, Véronique Bruyère, Jean-François Raskin: On Optimal Timed Strategies. FORMATS 2005: 49-64
3		Thomas Brihaye, Christian Michaux: On the expressiveness and decidability of o-minimal hybrid systems. J. Complexity 21(4): 447-478 (2005)
	2004
2		Thomas Brihaye, Véronique Bruyère, Jean-François Raskin: Model-Checking for Weighted Timed Automata. FORMATS/FTRTFT 2004: 277-292
1		Thomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler: On O-Minimal Hybrid Systems. HSCC 2004: 219-233

Coauthor Index

1	Christel Baier	[14] [18] [22]
2	Nathalie Bertrand	[14] [17] [18] [22]
3	Patricia Bouyer	[7] [9] [10] [12] [14] [17] [18] [19] [22]
4	Véronique Bruyère	[2] [4] [8] [10]
5	Fabrice Chevalier	[9] [12]
6	Mohamed Ghannem	[16]
7	Marcus Größer	[14] [18]
8	Thomas A. Henzinger	[13]
9	Marcin Jurdzinski	[19]
10	François Laroussinie	[15] [21]
11	Ranko Lazic (R. S. Lazic)	[19]
12	Arnaud Da Costa Lopes	[21]
13	Nicolas Markey	[7] [15] [16] [17] [21]
14	Christian Michaux	[1] [3] [6] [20]
15	Ghassan Oreiby	[15]
16	Vinayak S. Prabhu	[13]
17	Jean-François Raskin	[2] [4] [8] [10] [13]
18	Lionel Rieg	[16]
19	Cédric Rivière	[1] [20]
20	Michal Rutkowski	[19]
21	Christophe Troestler	[1]

Colors in the list of coauthors