On Context-Free Generators - Joffroy Beauquier; Françoise Gire (FOCS, 1983)

Une extension aux mots infinis de la notion de transduction rationelle. - Françoise Gire (Theoretical Computer Science, 1983)

Bicentres de langages algébriques. - Jean-Michel Autebert; Joffroy Beauquier; Luc Boasson; Françoise Gire (Acta Informatica, 1984)

Contribution a l'etude des relations et langages infinitaires. - Françoise Gire (1986)

Two Decidability Problems for Infinite Words. - Françoise Gire (Inf. Process. Lett., 1986)

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)

Modèles par défaut des programmes effectivement déterministes. - Françoise Gire (BDA, 1990)

Langages algébriques de mots biinfinis. - Françoise Gire; Maurice Nivat (Theor. Comput. Sci., 1991)

Well Founded Semantics and Stable Semantics of Semi-Strict Programs. - Françoise Gire (ICDT, 1992)

Equivalence of Well-Founded and Stable Semantics. - Françoise Gire (J. Log. Program., 1994)

On Relations between the Dynamic Choice Constructs and the Stable Semantics. - Françoise Gire; H. Khanh Hoang (BDA, 1995)

A More Expressive Deterministic Query Language with Efficient Symmetry-Based Choice Construct. - Françoise Gire; H. Khanh Hoang (Logic in Databases, 1996)

An Extension of Fixpoint Logic with a Symmetry-Based Choice Construct. - Françoise Gire; H. Khanh Hoang (Inf. Comput., 1998)

A Partial Semantics for Disjunctive Deductive Databases. - Françoise Gire; Catherine Plourde (Proc. 15èmes Journées Bases de Données Avancées, BDA, 1999)

A New Partial Semantics for Disjunctive Deductive Databases. - Françoise Gire; Corinne Plourde (Fundam. Informaticae, 2005)

Updates and views dependencies in semi-structured databases. - Françoise Gire; Hicham Idabal (IDEAS, 2008)

Nested Sibling Tree Automata. - Françoise Gire; Jean-Marc Talbot (RAIRO Theor. Informatics Appl., 2009)

Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML. - Françoise Gire; Hicham Idabal (EDBT/ICDT Workshops, 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)