Régis Gascon - Citegraph

Author Info

Name	Affiliation	Papers
RÉGIS GASCON	LSV/CNRS UMR & INRIA Futurs projet SECSI & ENS Cachan, Cachan Cedex, France	9
Collaborators	Citations	PageRank
5	76	5.23
Referers	Referees	References
85	169	179

Search Limit

100169

Publications (9 rows)

Collaborators (5 rows)

Referers (85 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Temporal Logics of Repeating Values	6	0.46	2012
Vérification de propriétés quantitatives sur des automates à contraintes	0	0.34	2010
The Effects of Bounding Syntactic Resources on Presburger LTL	25	1.03	2009
An Automata-based Approach for CTL*; With Constraints	2	0.40	2009
Verification of qualitative Z constraints	13	0.75	2008
A Decidable Temporal Logic of Repeating Values	10	0.69	2007
Branching-time temporal logic extended with qualitative presburger constraints	8	0.60	2006
Verification of qualitative constraints	8	0.54	2005
Resource bound certification for a tail-recursive virtual machine	4	0.43	2005

1