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