Françoise Gire

According to our database, Françoise Gire authored at least 19 papers between 1983 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Requêtes arbres régulières pour l'analyse de dépendances entre vues et mises à jour de documents XML.

Hicham Idabal, Françoise Gire

Ingénierie des Systèmes d Inf., 2010

Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML.

Françoise Gire, Hicham Idabal

Proceedings of the 2010 EDBT/ICDT Workshops, Lausanne, Switzerland, March 22-26, 2010, 2010

2009

Nested Sibling Tree Automata.

Françoise Gire, Jean-Marc Talbot

RAIRO Theor. Informatics Appl., 2009

2008

Updates and views dependencies in semi-structured databases.

Françoise Gire, Hicham Idabal

Proceedings of the 12th International Database Engineering and Applications Symposium (IDEAS 2008), 2008

2005

A New Partial Semantics for Disjunctive Deductive Databases.

Françoise Gire, Corinne Plourde

Fundam. Informaticae, 2005

1999

A Partial Semantics for Disjunctive Deductive Databases.

Françoise Gire, Catherine Plourde

Proceedings of the 15èmes Journées Bases de Données Avancées, 1999

1998

An Extension of Fixpoint Logic with a Symmetry-Based Choice Construct.

Françoise Gire, H. Khanh Hoang

Inf. Comput., 1998

1996

A More Expressive Deterministic Query Language with Efficient Symmetry-Based Choice Construct.

Françoise Gire, H. Khanh Hoang

Proceedings of the Logic in Databases, 1996

1995

On Relations between the Dynamic Choice Constructs and the Stable Semantics.

Françoise Gire, H. Khanh Hoang

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.

Françoise Gire

J. Log. Program., 1994

1992

Well Founded Semantics and Stable Semantics of Semi-Strict Programs.

Françoise Gire

Proceedings of the Database Theory, 1992

1991

Langages algébriques de mots biinfinis.

Françoise Gire, Maurice Nivat

Theor. Comput. Sci., 1991

1990

Modèles par défaut des programmes effectivement déterministes.

Françoise Gire

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.

Joffroy Beauquier, Françoise Gire

Theor. Comput. Sci., 1987

1986

Two Decidability Problems for Infinite Words.

Françoise Gire

Inf. Process. Lett., 1986

Contribution a l'etude des relations et langages infinitaires.

Françoise Gire

PhD thesis, 1986

1984

Bicentres de langages algébriques.

Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Françoise Gire

Acta Informatica, 1984

1983

Une extension aux mots infinis de la notion de transduction rationelle.

Françoise Gire

Proceedings of the Theoretical Computer Science, 1983

On Context-Free Generators

Joffroy Beauquier, Françoise Gire

Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983