Nicole Bidoit

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 8

Top Topics

Extended Abstract

Efficient Computation

Top Venues

Ingénierie des Systèmes d Inf.

Proc. VLDB Endow.

Publications

Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit
Efficient Computation of General Modules for ALC Ontologies (Extended Abstract). Description Logics (2023)
Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit
Efficient Computation of General Modules for ALC Ontologies. IJCAI (2023)
Hui Yang, Yue Ma, Nicole Bidoit
Efficient Extraction of EL-Ontology Deductive Modules. AAAI (2023)
Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit
Efficient Computation of General Modules for ALC Ontologies (Extended Version). CoRR (2023)
Denis Maurel, Sandy Chéry, Nicole Bidoit, Philippe Chatalic, Aziza Filali, Christine Froidevaux, Anne Poupon
Transducer Cascades for Biological Literature-Based Discovery. Inf. 13 (5) (2022)
Hui Yang, Yue Ma, Nicole Bidoit
-Ontology Justifications. IJCAR (2022)
Nicole Bidoit, Dario Colazzo, Noor Malla, Carlo Sartiani
Evaluating Queries and Updates on Big XML Documents. Inf. Syst. Frontiers 20 (1) (2018)
Nicole Bidoit, Melanie Herschel, Katerina Tzompanaki
Refining SQL Queries based on Why-Not Polynomials. TaPP (2016)
Nicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico Ulliana
Andromeda: A System for Processing Queries and Updates on Big XML Documents. ADBIS (Short Papers and Workshops) (2015)
Nicole Bidoit, Melanie Herschel, Aikaterini Tzompanaki
Efficient Computation of Polynomial Explanations of Why-Not Questions. CIKM (2015)
Nicole Bidoit, Melanie Herschel, Katerina Tzompanaki
Immutably answering Why-Not questions for equivalent conjunctive queries. Ingénierie des Systèmes d Inf. 20 (5) (2015)
Nicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico Ulliana
Queries and Updates on Big XML Documents (Extended Abstract). SEBD (2015)
Nicole Bidoit, Melanie Herschel, Katerina Tzompanaki
EFQ: Why-Not Answer Polynomials in Action. Proc. VLDB Endow. 8 (12) (2015)
Nicole Bidoit, Melanie Herschel, Katerina Tzompanaki
Immutably Answering Why-Not Questions for Equivalent Conjunctive Queries. TAPP (2014)
Nicole Bidoit, Melanie Herschel, Katerina Tzompanaki
Query-Based Why-Not Provenance with NedExplain. EDBT (2014)
Nicole Bidoit, Dario Colazzo, Noor Malla, Federico Ulliana, Maurizio Nolé, Carlo Sartiani
Processing XML queries and updates on map/reduce clusters. EDBT (2013)
Christine Collet, Bernd Amann, Nicole Bidoit, Mohand Boughanem, Mokrane Bouzeghoub, A. Doucet, David Gross-Amblard, Jean-Marc Petit, Mohand-Said Hacid, Genoveva Vargas-Solar
De la gestion de bases de données à la gestion de grands espaces de données. Ingénierie des Systèmes d Inf. 18 (4) (2013)
Nicole Bidoit, Dario Colazzo, Noor Malla, Carlo Sartiani
Partitioning XML documents for iterative queries. IDEAS (2012)
Mohamed Amine Baazizi, Nicole Bidoit, Dario Colazzo, Noor Malla, Marina Sahakyan
Projection for XML update optimization. EDBT (2011)
Nicole Bidoit, Matthieu Objois
Fixpoint and While Temporal Query Languages. J. Log. Comput. 19 (2) (2009)
Nicole Bidoit, François Hantry
Relational Temporal Machines. TIME (2007)
Nicole Bidoit, Matthieu Objois
Machine Flux de Données: comparaison de langages de requêtes continues. BDA (2007)
Nicole Bidoit, Dario Colazzo
Testing XML constraint satisfiability. Electron. Notes Theor. Comput. Sci. 174 (6) (2007)
Nicole Bidoit, Matthieu Objois
SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language. TIME (2007)
Nicole Bidoit, Dario Colazzo
Capturing well typed references in DTDs. BDA (2006)
Nicole Bidoit, Matthieu Objois
T2T query languages: a preliminary study. BDA (2006)
Nicole Bidoit, Matthieu Objois
Temporal Query Languages Expressive Power: µTL versus T-WHILE. TIME (2005)
Nicole Bidoit, Matthieu Objois
Temporal Query Languages Expressive Power: muTL vs. T-WHILE. BDA (2005)
Nicole Bidoit, Sandra de Amo, Luc Segoufin
Order Independent Temporal Properties. J. Log. Comput. 14 (2) (2004)
Nicole Bidoit, Serenella Cerrito, Virginie Thion
A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic. J. Appl. Non Class. Logics 14 (4) (2004)
Nicole Bidoit, Serenella Cerrito, Virginie Thion
Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride. BDA (2003)
Nicole Bidoit, Sandra de Amo, Luc Segoufin
Propriétés temporelles indépendantes de l'ordre. BDA (2001)
Nicole Bidoit, Sofian Maabout, Mourad Ykhlef
A Family of Nested Query Languages for Semi-structured Data. FoIKS (2000)
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)
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)
Nicole Bidoit, Sandra de Amo
Implicit Temporal Query Languages: Towards Completeness. FSTTCS (1999)
Nicole Bidoit, Sandra de Amo
A First Step Towards Implementing Dynamic Algebraic Dependences. Theor. Comput. Sci. 190 (2) (1998)
Nicole Bidoit, Mourad Ykhlef
Fixpoint Calculus for Querying Semistructured Data. WebDB (1998)
Nicole Bidoit, Sofian Maabout
A Model Theoretic Approach to Update Rule Programs. ICDT (1997)
Nicole Bidoit, Serenella Cerrito, Christine Froidevaux
A Linear Logic Approach to Consistency Preserving Updates. J. Log. Comput. 6 (3) (1996)
Nicole Bidoit, Sofian Maabout
Update Programs Versus Revision Programs. NMELP (1996)
Nicole Bidoit, Sofian Maabout
Une Sémantique Trivaluée pour un langage de Règles de Mise à jour. BDA (1996)
Nicole Bidoit, Sandra de Amo
A First Step Towards Implementing Dynamic Algebraic Dependencies. ICDT (1995)
Nicole Bidoit
Session d'information animée par Nicole Bidoit. BDA (1993)
Nicole Bidoit, Claude Delobel, Laurent Vieille
Table-Ronde animée par Nicole Bidoit, Claude Delobel et L. Vieille. BDA (1993)
Nicole Bidoit, Sandra de Amo
Constraintes Dynamiques d'Inclusion et Schémas Transactionnels. BDA (1993)
Nicole Bidoit
Negation in Rule-Based Database Languages: A Survey. Theor. Comput. Sci. 78 (1) (1991)
Nicole Bidoit, Christine Froidevaux
Negation by Default and Unstratifiable Logic Programs. Theor. Comput. Sci. 78 (1) (1991)
Nicole Bidoit, Christine Froidevaux
General Logical Databases and Programs: Default Logic Semantics and Stratification Inf. Comput. 91 (1) (1991)
Nicole Bidoit, P. Legay
WELL!: An Evaluation Procedure for All Logic Programs. ICDT (1990)
Nicole Bidoit, Richard Hull
Minimalism, Justification and Non-Monotonicity in Deductive Databases. J. Comput. Syst. Sci. 38 (2) (1989)
Nicole Bidoit, Christine Froidevaux
More on Stratified Default Theories. ECAI (1988)
Nicole Bidoit, Christine Froidevaux
Variations sur la contrainte de stratification: stratification, stratification locale, sup-stratification. BDA (1988)
Nicole Bidoit, Christine Froidevaux
Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming LICS (1987)
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)
Nicole Bidoit
The Verso Algebra or How to Answer Queries with Fewer Joins. J. Comput. Syst. Sci. 35 (3) (1987)
Nicole Bidoit, Richard Hull
Positivism vs. Minimalism in Deductive Databases. PODS (1986)
Serge Abiteboul, Nicole Bidoit
Non First Normal Form Relations: An Algebra Allowing Data Restructuring. J. Comput. Syst. Sci. 33 (3) (1986)
Serge Abiteboul, Nicole Bidoit
Non First Normal Form Relations to Represent Hierarchical Organized Data. PODS (1984)