| 2011 |
|---|
| 42 | Projection for XML update optimization. Mohamed Amine Baazizi, Nicole Bidoit, Dario Colazzo, Noor Malla, Marina Sahakyan. EDBT 2011, 307-318. Web SearchBibTeXDownload |
| 41 | Efficient Encoding of Temporal XML Documents. Mohamed Amine Baazizi, Nicole Bidoit-Tollu, Dario Colazzo. TIME 2011, 15-22. Web SearchBibTeXDownload |
| 2009 |
|---|
| 40 | Fixpoint and While Temporal Query Languages. Nicole Bidoit, Matthieu Objois. J. Log. Comput. (19): 369-404 (2009). Web SearchBibTeXDownload |
| 2007 |
|---|
| 39 | Machine Flux de Données: comparaison de langages de requêtes continues. Nicole Bidoit, Matthieu Objois. BDA 2007. Web SearchBibTeX |
| 38 | Testing XML constraint satisfiability. Nicole Bidoit, Dario Colazzo. Electr. Notes Theor. Comput. Sci. (174): 45-61 (2007). Web SearchBibTeXDownload |
| 37 | Relational Temporal Machines. Nicole Bidoit, Francois Hantry. TIME 2007, 23-34. Web SearchBibTeXDownload |
| 36 | SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language. Nicole Bidoit, Matthieu Objois. TIME 2007, 35-46. Web SearchBibTeXDownload |
| 2006 |
|---|
| 35 | Capturing well typed references in DTDs. Nicole Bidoit, Dario Colazzo. BDA 2006. Web SearchBibTeX |
| 34 | T2T query languages: a preliminary study. Nicole Bidoit, Matthieu Objois. BDA 2006. Web SearchBibTeX |
| 2005 |
|---|
| 33 | Temporal Query Languages Expressive Power: muTL vs. T-WHILE. Nicole Bidoit, Matthieu Objois. BDA 2005. Web SearchBibTeX |
| 32 | Temporal Query Languages Expressive Power: µTL versus T-WHILE. Nicole Bidoit, Matthieu Objois. TIME 2005, 74-82. Web SearchBibTeXDownload |
| 2004 |
|---|
| 31 | Order Independent Temporal Properties. Nicole Bidoit, Sandra de Amo, Luc Segoufin. J. Log. Comput. (14): 277-298 (2004). Cited by 8Web SearchBibTeXDownload |
| 30 | A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic. Nicole Bidoit, Serenella Cerrito, Virginie Thion. Journal of Applied Non-Classical Logics (14): 447-475 (2004). Web SearchBibTeX |
| 2003 |
|---|
| 29 | Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride. Nicole Bidoit, Serenella Cerrito, Virginie Thion. BDA 2003. Web SearchBibTeX |
| 2001 |
|---|
| 28 | Propriétés temporelles indépendantes de l'ordre. Nicole Bidoit, Sandra de Amo, Luc Segoufin. BDA 2001. Web SearchBibTeX |
| 2000 |
|---|
| 27 | A Family of Nested Query Languages for Semi-structured Data. Nicole Bidoit, Sofian Maabout, Mourad Ykhlef. FoIKS 2000, 13-30. Web SearchBibTeXDownload |
| 1999 |
|---|
| 26 | Implicit Temporal Query Languages: Towards Completeness. Nicole Bidoit, Sandra de Amo. FSTTCS 1999, 245-257. Web SearchBibTeXDownload |
| 25 | Un langage imbriqué pour l'interrogation et l'intégration de données semistructurées. Nicole Bidoit, Sofian Maabout, Mourad Ykhlef. Proc. 15èmes Journées Bases de Données Avancées, BDA 1999, 63-82. Web SearchBibTeX |
| 24 | Langages de requêtes temporels: passé relatif versus passé absolu. Nicole Bidoit, Sandra de Amo. Proc. 15èmes Journées Bases de Données Avancées, BDA 1999, 449-467. Web SearchBibTeX |
| 1998 |
|---|
| 23 | A First Step Towards Implementing Dynamic Algebraic Dependences. Nicole Bidoit, Sandra de Amo. Theor. Comput. Sci. (190): 115-149 (1998). Web SearchBibTeXDownload |
| 22 | Fixpoint Calculus for Querying Semistructured Data. Nicole Bidoit, Mourad Ykhlef. WebDB 1998, 78-97. Web SearchBibTeXDownload |
| 1997 |
|---|
| 21 | A Model Theoretic Approach to Update Rule Programs. Nicole Bidoit, Sofian Maabout. ICDT 1997, 173-187. Web SearchBibTeXDownload |
| 1996 |
|---|
| 20 | Une Sémantique Trivaluée pour un langage de Règles de Mise à jour. Nicole Bidoit, Sofian Maabout. BDA 1996, 397-416. Web SearchBibTeX |
| 19 | A Linear Logic Approach to Consistency Preserving Updates. Nicole Bidoit, Serenella Cerrito, Christine Froidevaux. J. Log. Comput. (6): 439-463 (1996). Web SearchBibTeXDownload |
| 18 | Update Programs Versus Revision Programs. Nicole Bidoit, Sofian Maabout. NMELP 1996, 151-170. Web SearchBibTeXDownload |
| 1995 |
|---|
| 17 | A First Step Towards Implementing Dynamic Algebraic Dependencies. Nicole Bidoit, Sandra de Amo. ICDT 1995, 308-321. Web SearchBibTeXDownload |
| 1993 |
|---|
| 16 | Table-Ronde animée par Nicole Bidoit, Claude Delobel et L. Vieille. Nicole Bidoit, Claude Delobel, Laurent Vieille. BDA 1993, 139. Web SearchBibTeX |
| 15 | Constraintes Dynamiques d'Inclusion et Schémas Transactionnels. Nicole Bidoit, Sandra de Amo. BDA 1993, 401-424. Web SearchBibTeX |
| 14 | Session d'information animée par Nicole Bidoit. Nicole Bidoit. BDA 1993, 445. Web SearchBibTeX |
| 1991 |
|---|
| 13 | General Logical Databases and Programs: Default Logic Semantics and Stratification. Nicole Bidoit, Christine Froidevaux. Inf. Comput. (91): 15-54 (1991). Web SearchBibTeXDownload |
| 12 | Negation in Rule-Based Database Languages: A Survey. Nicole Bidoit. Theor. Comput. Sci. (78): 3-83 (1991). Web SearchBibTeXDownload |
| 11 | Negation by Default and Unstratifiable Logic Programs. Nicole Bidoit, Christine Froidevaux. Theor. Comput. Sci. (78): 86-112 (1991). Web SearchBibTeXDownload |
| 1990 |
|---|
| 10 | WELL!: An Evaluation Procedure for All Logic Programs. Nicole Bidoit, P. Legay. ICDT 1990, 335-348. Web SearchBibTeXDownload |
| 1989 |
|---|
| 9 | Minimalism, Justification and Non-Monotonicity in Deductive Databases. Nicole Bidoit, Richard Hull. J. Comput. Syst. Sci. (38): 290-325 (1989). Cited by 10Web SearchBibTeXDownload |
| 1988 |
|---|
| 8 | Variations sur la contrainte de stratification: stratification, stratification locale, sup-stratification. Nicole Bidoit, Christine Froidevaux. BDA 1988, 181-198. Web SearchBibTeX |
| 7 | More on Stratified Default Theories. Nicole Bidoit, Christine Froidevaux. ECAI 1988, 492-494. Web SearchBibTeX |
| 1987 |
|---|
| 6 | The Verso Algebra or How to Answer Queries with Fewer Joins. Nicole Bidoit. J. Comput. Syst. Sci. (35): 321-364 (1987). Web SearchBibTeXDownload |
| 5 | Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming. Nicole Bidoit, Christine Froidevaux. LICS 1987, 89-97. Web SearchBibTeX |
| 4 | VERSO: A Database Machine Based On Nested Relations. Michel Scholl, Serge Abiteboul, François Bancilhon, Nicole Bidoit, Sophie Gamerman, Didier Plateau, Philippe Richard, Anne Verroust. NF² 1987, 27-49. Cited by 24Web SearchBibTeXDownload |
| 1986 |
|---|
| 3 | Non First Normal Form Relations: An Algebra Allowing Data Restructuring. Serge Abiteboul, Nicole Bidoit. J. Comput. Syst. Sci. (33): 361-393 (1986). Cited by 208Web SearchBibTeXDownload |
| 2 | Positivism vs. Minimalism in Deductive Databases. Nicole Bidoit, Richard Hull. PODS 1986, 123-132. Cited by 53Web SearchBibTeX |
| 1984 |
|---|
| 1 | Non First Normal Form Relations to Represent Hierarchical Organized Data. Serge Abiteboul, Nicole Bidoit. PODS 1984, 191-200. Cited by 143Web SearchBibTeX |
