Nicole Bidoit-Tollu
List of publications from the DBLP Bibliography Server - FAQ
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 |
1 | Serge Abiteboul | [1] [2] [5] |
2 | Sandra de Amo | [15] [18] [23] [26] [27] [29] [32] |
3 | François Bancilhon | [5] |
4 | Serenella Cerrito | [19] [30] [31] |
5 | Dario Colazzo | [36] [37] |
6 | Claude Delobel | [16] |
7 | Christine Froidevaux | [6] [7] [8] [11] [13] [19] |
8 | Sophie Gamerman | [5] |
9 | Francois Hantry | [39] |
10 | Richard Hull | [3] [9] |
11 | P. Legay | [10] |
12 | Sofian Maabout | [20] [21] [22] [25] [28] |
13 | Matthieu Objois | [33] [34] [35] [38] [40] [41] |
14 | Didier Plateau | [5] |
15 | Philippe Richard | [5] |
16 | Michel Scholl | [5] |
17 | Luc Segoufin | [29] [32] |
18 | Virginie Thion | [30] [31] |
19 | Anne Verroust (Anne Verroust-Blondet) | [5] |
20 | Laurent Vieille | [16] |
21 | Mourad Ykhlef | [24] [25] [28] |