Françoise Gire

According to our database1, Françoise Gire
  • authored at least 19 papers between 1983 and 2010.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
Requêtes arbres régulières pour l'analyse de dépendances entre vues et mises à jour de documents XML.
Ingénierie des Systèmes d'Information, 2010

Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML.
Proceedings of the 2010 EDBT/ICDT Workshops, Lausanne, Switzerland, March 22-26, 2010, 2010

2009
Nested Sibling Tree Automata.
ITA, 2009

2008
Updates and views dependencies in semi-structured databases.
Proceedings of the 12th International Database Engineering and Applications Symposium (IDEAS 2008), 2008

2005
A New Partial Semantics for Disjunctive Deductive Databases.
Fundam. Inform., 2005

1999
A Partial Semantics for Disjunctive Deductive Databases.
Proc. 15èmes Journées Bases de Données Avancées, BDA, 1999

1998
An Extension of Fixpoint Logic with a Symmetry-Based Choice Construct.
Inf. Comput., 1998

1996
A More Expressive Deterministic Query Language with Efficient Symmetry-Based Choice Construct.
Proceedings of the Logic in Databases, 1996

1995
On Relations between the Dynamic Choice Constructs and the Stable Semantics.
Proceedings of the Onzièmes Journées Bases de Données Avancées, 29 Août, 1995

1994
Equivalence of Well-Founded and Stable Semantics.
J. Log. Program., 1994

1992
Well Founded Semantics and Stable Semantics of Semi-Strict Programs.
Proceedings of the Database Theory, 1992

1991
Langages algébriques de mots biinfinis.
Theor. Comput. Sci., 1991

1990
Modèles par défaut des programmes effectivement déterministes.
Proceedings of the Sixièmes Journées Bases de Données Avancées, 1990

1987
Une Note sur le Théorème de Caractérisation des Générateurs Algébriques.
Theor. Comput. Sci., 1987

1986
Two Decidability Problems for Infinite Words.
Inf. Process. Lett., 1986

Contribution a l'etude des relations et langages infinitaires.
PhD thesis, 1986

1984
Bicentres de langages algébriques.
Acta Inf., 1984

1983
Une extension aux mots infinis de la notion de transduction rationelle.
Proceedings of the Theoretical Computer Science, 1983

On Context-Free Generators
Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983


  Loading...