Search the dblp DataBase
Alain Giorgetti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Fabrice Bouquet, Jean-Francois Couchot, Frédéric Dadeau, Alain Giorgetti
Instantiation of Parameterized Data Structures for Model-Based Testing. [Citation Graph (0, 0)][DBLP]
B, 2007, pp:94-108 [Conf] - Alain Giorgetti, Julien Groslambert
JAG: JML Annotation Generation for Verifying Temporal Properties [Citation Graph (0, 0)][DBLP]
FASE, 2006, pp:373-376 [Conf] - Jean-Francois Couchot, Alain Giorgetti, Nikolai Kosmatov
A uniform deductive approach for parameterized protocol safety. [Citation Graph (0, 0)][DBLP]
ASE, 2005, pp:364-367 [Conf] - Didier Arquès, Alain Giorgetti
Une bijection géométrique entre une famille d'hypercartes et une famille de polygones énumérées par la série de Schröder. [Citation Graph (0, 0)][DBLP]
Discrete Mathematics, 2000, v:217, n:1-3, pp:17-32 [Journal] - Jean-Francois Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise
Proving and Debugging Set-Based Specifications. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:189-208 [Journal] - Jean-Francois Couchot, David Déharbe, Alain Giorgetti, Silvio Ranise
Scalable Automated Proving and Debugging of Set-Based Specifications. [Citation Graph (0, 0)][DBLP]
J. Braz. Comp. Soc., 2004, v:9, n:2, pp:17-36 [Journal] - Didier Arquès, Alain Giorgetti
Énumération des cartes pointées sur une surface orientable de genre quelconque en fonction des nombres de sommets et de faces. [Citation Graph (0, 0)][DBLP]
J. Comb. Theory, Ser. B, 1999, v:77, n:1, pp:1-24 [Journal] - Didier Arquès, Alain Giorgetti
Counting rooted maps on a surface. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2000, v:234, n:1-2, pp:255-272 [Journal] - Alain Giorgetti
An asymptotic study for path reversal. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2003, v:1, n:299, pp:585-602 [Journal]
Combining Static Analysis and Test Generation for C Program Debugging. [Citation Graph (, )][DBLP]
Graph Based Reduction of Program Verification Conditions [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002