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

Nicole Bidoit Vis

Nicole Bidoit-Tollu

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

*2009
42EENicole Bidoit, Matthieu Objois: Fixpoint and While Temporal Query Languages. J. Log. Comput. 19(2): 369-404 (2009)
2008
41EENicole 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
39EENicole Bidoit, Francois Hantry: Relational Temporal Machines. TIME 2007: 23-34
38EENicole Bidoit, Matthieu Objois: SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language. TIME 2007: 35-46
37EENicole 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
33EENicole Bidoit, Matthieu Objois: Temporal Query Languages Expressive Power: µTL versus T-WHILE. TIME 2005: 74-82
2004
32EENicole 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
28EENicole Bidoit, Sofian Maabout, Mourad Ykhlef: A Family of Nested Query Languages for Semi-structured Data. FoIKS 2000: 13-30
1999
27EENicole 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
23EENicole Bidoit, Sandra de Amo: A First Step Towards Implementing Dynamic Algebraic Dependences. Theor. Comput. Sci. 190(2): 115-149 (1998)
1997
22EENicole 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
18EENicole 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
10EENicole 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
3EENicole 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
1EESerge 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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)