dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Françoise Gire Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançoise Gire, Hicham Idabal: Regular tree patterns: a uniform formalism for update queries and functional dependencies in XML. EDBT/ICDT Workshops 2010
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHicham 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'Information 15(1): 113-138 (2010)
2009
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançoise Gire, Jean-Marc Talbot: Nested Sibling Tree Automata. ITA 43(2): 379-402 (2009)
2008
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançoise Gire, Hicham Idabal: Updates and views dependencies in semi-structured databases. IDEAS 2008: 159-168
2005
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançoise Gire, Corinne Plourde: A New Partial Semantics for Disjunctive Deductive Databases. Fundam. Inform. 67(4): 323-342 (2005)
1999
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançoise Gire, Catherine Plourde: A Partial Semantics for Disjunctive Deductive Databases. Proc. 15èmes Journées Bases de Données Avancées, BDA 1999: 159-178
1998
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançoise Gire, H. Khanh Hoang: An Extension of Fixpoint Logic with a Symmetry-Based Choice Construct. Inf. Comput. 144(1): 40-65 (1998)
1996
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançoise Gire, H. Khanh Hoang: A More Expressive Deterministic Query Language with Efficient Symmetry-Based Choice Construct. Logic in Databases 1996: 475-495
1995
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançoise Gire, H. Khanh Hoang: On Relations between the Dynamic Choice Constructs and the Stable Semantics. BDA 1995: 283-302
1994
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançoise Gire: Equivalence of Well-Founded and Stable Semantics. J. Log. Program. 21(2): 95-111 (1994)
1992
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançoise Gire: Well Founded Semantics and Stable Semantics of Semi-Strict Programs. ICDT 1992: 261-275
1990
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançoise Gire: Modèles par défaut des programmes effectivement déterministes. BDA 1990: 71-
1987
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoffroy Beauquier, Françoise Gire: Une Note sur le Théorème de Caractérisation des Générateurs Algébriques. Theor. Comput. Sci. 51: 117-127 (1987)
1986
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançoise Gire: Two Decidability Problems for Infinite Words. Inf. Process. Lett. 22(3): 135-140 (1986)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançoise Gire: Contribution a l'etude des relations et langages infinitaires. Univ. Paris 1986: I-XVIII, 1-188
1984
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Françoise Gire: Bicentres de langages algébriques. Acta Inf. 21: 209-227 (1984)
1983
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoffroy Beauquier, Françoise Gire: On Context-Free Generators FOCS 1983: 215
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrançoise Gire: Une extension aux mots infinis de la notion de transduction rationelle. Theoretical Computer Science 1983: 123-139

Coauthor Index

1Jean-Michel Autebert [3]
2Joffroy Beauquier [2] [3] [6]
3Luc Boasson [3]
4H. Khanh Hoang [10] [11] [12]
5Hicham Idabal [15] [17] [18]
6Catherine Plourde [13]
7Corinne Plourde [14]
8Jean-Marc Talbot [16]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page