Françoise Gire

Publication Activity (10 Years)

Years Active: 1983-2010
Publications (10 Years): 0

Univ. Paris (PHD)

Education History

Univ. Paris

PHD

Publications

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

Françoise Gire.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Françoise Gire