Françoise Gire

19 papers A* 1A 1C 1Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2010 — conf
Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML.
EDBT/ICDT Workshops
Françoise Gire, Hicham Idabal
2010 J jnl
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 Inf.
Hicham Idabal, Françoise Gire
2009 J jnl
Nested Sibling Tree Automata.
RAIRO Theor. Informatics Appl.
Françoise Gire, Jean-Marc Talbot
2008 C conf
Updates and views dependencies in semi-structured databases.
IDEAS
Françoise Gire, Hicham Idabal
2005 J jnl
A New Partial Semantics for Disjunctive Deductive Databases.
Fundam. Informaticae
Françoise Gire, Corinne Plourde
1999 — conf
A Partial Semantics for Disjunctive Deductive Databases.
Proc. 15èmes Journées Bases de Données Avancées, BDA
Françoise Gire, Catherine Plourde
1998 J jnl
An Extension of Fixpoint Logic with a Symmetry-Based Choice Construct.
Inf. Comput.
Françoise Gire, H. Khanh Hoang
1996 — conf
A More Expressive Deterministic Query Language with Efficient Symmetry-Based Choice Construct.
Logic in Databases
Françoise Gire, H. Khanh Hoang
1995 — conf
On Relations between the Dynamic Choice Constructs and the Stable Semantics.
BDA
Françoise Gire, H. Khanh Hoang
1994 J jnl
Equivalence of Well-Founded and Stable Semantics.
J. Log. Program.
Françoise Gire
1992 A conf
Well Founded Semantics and Stable Semantics of Semi-Strict Programs.
ICDT
Françoise Gire
1991 J jnl
Langages algébriques de mots biinfinis.
Theor. Comput. Sci.
Françoise Gire, Maurice Nivat
1990 — conf
Modèles par défaut des programmes effectivement déterministes.
BDA
Françoise Gire
1987 J jnl
Une Note sur le Théorème de Caractérisation des Générateurs Algébriques.
Theor. Comput. Sci.
Joffroy Beauquier, Françoise Gire
1986 — —
Contribution a l'etude des relations et langages infinitaires.
Françoise Gire
1986 J jnl
Two Decidability Problems for Infinite Words.
Inf. Process. Lett.
Françoise Gire
1984 J jnl
Bicentres de langages algébriques.
Acta Informatica
Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Françoise Gire
1983 A* conf
On Context-Free Generators
FOCS
Joffroy Beauquier, Françoise Gire
1983 — conf
Une extension aux mots infinis de la notion de transduction rationelle.
Theoretical Computer Science
Françoise Gire