dblp.uni-trier.dewww.uni-trier.de

Régis Gascon

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)