Régis Gascon

	2009
7		Régis Gascon: An Automata-based Approach for CTL* With Constraints. Electr. Notes Theor. Comput. Sci. 239: 193-211 (2009)
	2008
6		Stéphane Demri, Régis Gascon: Verification of qualitative Z constraints. Theor. Comput. Sci. 409(1): 24-40 (2008)
	2007
5		Stéphane Demri, Deepak D'Souza, Régis Gascon: A Decidable Temporal Logic of Repeating Values. LFCS 2007: 180-194
4		Stéphane Demri, Régis Gascon: The Effects of Bounding Syntactic Resources on Presburger LTL. TIME 2007: 94-104
	2006
3		Laura Bozzelli, Régis Gascon: Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints. LPAR 2006: 197-211
	2005
2		Silvano Dal-Zilio, Régis Gascon: Resource Bound Certification for a Tail-Recursive Virtual Machine. APLAS 2005: 247-263
1		Stéphane Demri, Régis Gascon: Verification of Qualitative Constraints. CONCUR 2005: 518-532

Coauthor Index

1	Laura Bozzelli	[3]
2	Deepak D'Souza	[5]
3	Silvano Dal-Zilio	[2]
4	Stéphane Demri	[1] [4] [5] [6]

Colors in the list of coauthors