Nicole Bidoit Home Page Coauthor index DBLP Vis pubzone.org

Nicole Bidoit-Tollu

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

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

Coauthor Index

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

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Fri Nov 20 16:48:08 2009 by Michael Ley (ley@uni-trier.de)