Taxonomic Default Theory. - Christine Froidevaux (ECAI, 1986)

Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming - Nicole Bidoit; Christine Froidevaux (LICS, 1987)

Variations sur la contrainte de stratification: stratification, stratification locale, sup-stratification. - Nicole Bidoit; Christine Froidevaux (BDA, 1988)

More on Stratified Default Theories. - Nicole Bidoit; Christine Froidevaux (ECAI, 1988)

Graded Default Theories for Uncertainty. - Christine Froidevaux; C. Grossetete (ECAI, 1990)

Graded Default Logics. - Christine Froidevaux; Philippe Chatalic; Jérôme Mengin (ECSQARU, 1991)

Graded Logics: A Framework for Uncertain and Defeasible Knowledge. - Philippe Chatalic; Christine Froidevaux (ISMIS, 1991)

Negation by Default and Unstratifiable Logic Programs. - Nicole Bidoit; Christine Froidevaux (Theor. Comput. Sci., 1991)

General Logical Databases and Programs: Default Logic Semantics and Stratification - Nicole Bidoit; Christine Froidevaux (Inf. Comput., 1991)

Default Logic for Action Rule-Based Systems. - Christine Froidevaux (ECAI, 1992)

A Framework for Default Logics. - Christine Froidevaux; Jérôme Mengin (JELIA, 1992)

Lattice-based Graded Logic: A Multimodal Approach. - Philippe Chatalic; Christine Froidevaux (UAI, 1992)

DRUMS: Defeasible Reasoning and Uncertainty Management Systems. - Philippe Besnard; Yves Moinard; Wilmer Pereira; Michael Clarke; Nic Wilson; Miguel Delgado 001; Serafín Moral; Juan Cano; Didier Dubois; Henri Prade; Luis Fariñas del Cerro; Jérôme Lang; et al. (AI Commun., 1993)

Default Logics: A Unified View. - Christine Froidevaux; Jérôme Mengin (Comput. Intell., 1994)

A Linear Logic Approach to Consistency Preserving Updates. - Nicole Bidoit; Serenella Cerrito; Christine Froidevaux (J. Log. Comput., 1996)

Graded Hypothesis Theories. - Philippe Chatalic; Christine Froidevaux; Camilla Schwind (Theor. Comput. Sci., 1997)

Repairing Queries in a Mediator Approach. - Alain Bidault; Christine Froidevaux; Brigitte Safar (ECAI, 2000)

Finding Successful Queries in a Mediator Context. - Alain Bidault; Christine Froidevaux; Brigitte Safar (FQAS, 2000)

Similarity Between Queries in a Mediator. - Alain Bidault; Christine Froidevaux; Brigitte Safar (ECAI, 2002)

Towards a computational model for -1 eukaryotic frameshifting sites. - Michaël Bekaert; Laure Bidou; Alain Denise; Guillemette Duchateau-Nguyen; Jean-Paul Forest; Christine Froidevaux; Isabelle Hatin; Jean-Pierre Rousset; Michel Termier (Bioinform., 2003)

Preferences for Queries in a Mediator Approach. - Alain Bidault; Sarah Cohen Boulakia; Christine Froidevaux (ECAI, 2004)

Interrogation de sources biomédicales : prise en compte des préférences de l'utilisateur. - Sarah Cohen Boulakia; Christine Froidevaux; Séverine Lair (EGC, 2004)

Selecting biomedical data sources according to user preferences. - Sarah Cohen Boulakia; Séverine Lair; Nicolas Stransky; Stéphane Graziani; François Radvanyi; Emmanuel Barillot; Christine Froidevaux (ISMB/ECCB (Supplement of Bioinformatics), 2004)

A User-Centric Framework for Accessing Biological Sources and Tools. - Sarah Cohen Boulakia; Susan B. Davidson; Christine Froidevaux (DILS, 2005)

Selecting Biological Data Sources and Tools with XPR, a Path Language for RDF. - Sarah Cohen Boulakia; Christine Froidevaux; Emmanuel Pietriga (Pacific Symposium on Biocomputing, 2006)

Path-based Systems to Guide Scientists in the Maze of Biological Data Sources. - Sarah Cohen Boulakia; Susan B. Davidson; Christine Froidevaux; Zoé Lacroix; Maria-Esther Vidal (J. Bioinform. Comput. Biol., 2006)

Extracting Sequential Nuggets of Knowledge. - Christine Froidevaux; Frédérique Lisacek; Bastien Rance (DEXA, 2007)

BioGuideSRS: querying multiple sources with a user-centric perspective. - Sarah Cohen Boulakia; Olivier Biton; Susan B. Davidson; Christine Froidevaux (Bioinform., 2007)

Requêtes alternatives dans le contexte d'un entrepôt de données génomiques. - Christine Froidevaux; Frédéric Lemoine 002 (EGC, 2008)

Mesures Hiérarchiques pondérées pour l'évaluation d'un système semi-automatique d'annotation de génomes utilisant des arbres de décision. - Lucie Gentils; Jérôme Azé; Claire Toffano-Nioche; Valentin Loux; Anne Poupon; Jean-François Gibrat; Christine Froidevaux (EGC, 2008)

GenoQuery: a new querying module for functional annotation in a genomic warehouse. - Frédéric Lemoine 002; Bernard Labedan; Christine Froidevaux (ISMB, 2008)

Review of the selected proceedings of the Fifth International Workshop on Data Integration in the Life Sciences 2008. - Amos Bairoch; Sarah Cohen Boulakia; Christine Froidevaux (BMC Bioinform., 2008)

An Adaptive Combination of Matchers: Application to the Mapping of Biological Ontologies for Genome Annotation. - Bastien Rance; Jean-François Gibrat; Christine Froidevaux (DILS, 2009)

Improving Bio-Ontologies Matching Using Types and Adaptive Weights. - Bastien Rance; Christine Froidevaux (OM, 2009)

On Armstrong-compliant logical query languages. - Marie Agier; Christine Froidevaux; Jean-Marc Petit; Yoan Renaud; Jef Wijsen (LID, 2011)

Scientific workflow rewriting while preserving provenance. - Sarah Cohen Boulakia; Christine Froidevaux; Jiuqiang Chen (eScience, 2012)

Apprentissage de fonctions de tri pour la prédiction d'interactions protéine-ARN. - Adrien Guilhot-Gaudeffroy; Jérôme Azé; Julie Bernauer; Christine Froidevaux (EGC, 2014)

Completing SBGN-AF Networks by Logic-Based Hypothesis Finding. - Yoshitaka Yamamoto; Adrien Rougny; Hidetomo Nabeshima; Katsumi Inoue; Hisao Moriya; Christine Froidevaux; Koji Iwanuma (FMMB, 2014)

DistillFlow: removing redundancy in scientific workflows. - Jiuqiang Chen; Sarah Cohen Boulakia; Christine Froidevaux; Carole A. Goble; Paolo Missier; Alan R. Williams (SSDBM, 2014)

Distilling structure in Taverna scientific workflows: a refactoring approach. - Sarah Cohen Boulakia; Jiuqiang Chen; Paolo Missier; Carole A. Goble; Alan R. Williams; Christine Froidevaux (BMC Bioinform., 2014)

Completing signaling networks by abductive reasoning with perturbation experiments. - Adrien Rougny; Yoshitaka Yamamoto; Hidetomo Nabeshima; Gauvain Bourgne; Anne Poupon; Katsumi Inoue; Christine Froidevaux (ILP (Late Breaking Papers), 2015)

Représentation systémique multi-échelle des processus biologiques de la bactérie. - Vincent Henry; Arnaud Ferré; Christine Froidevaux; Anne Goelzer; Vincent Fromion; Sarah Cohen Boulakia; Sandra Dérozier; Marc Dinh; Ghislain Fiévet; Stephan Fischer 002; Jean-François Gibrat; Valentin Loux; et al. (IC, 2016)

Qualitative dynamics semantics for SBGN process description. - Adrien Rougny; Christine Froidevaux; Laurence Calzone; Loïc Paulevé (BMC Syst. Biol., 2016)

The bacterial interlocked process ONtology (BiPON): a systemic multi-scale unified representation of biological processes in prokaryotes. - Vincent Henry; Anne Goelzer; Arnaud Ferré; Stephan Fischer 002; Marc Dinh; Valentin Loux; Christine Froidevaux; Vincent Fromion (J. Biomed. Semant., 2017)

Scientific workflows for computational reproducibility in the life sciences: Status, challenges and opportunities. - Sarah Cohen Boulakia; Khalid Belhajjame; Olivier Collin; Jérôme Chopard; Christine Froidevaux; Alban Gaignard; Konrad Hinsen; Pierre Larmande; Yvan Le Bras; Frédéric Lemoine 002; Fabien Mareuil; Hervé Ménager; et al. (Future Gener. Comput. Syst., 2017)

Meet-U: Educating through research immersion. - Nika Abdollahi; Alexandre Albani; Éric Anthony; Agnes Baud; Mélissa Cardon; Robert Clerc; Dariusz Czernecki; Romain Conte; Laurent David; Agathe Delaune; Samia Djerroud; Pauline Fourgoux; et al. (PLoS Comput. Biol., 2018)

Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming. - Stéphanie Chevalier; Christine Froidevaux; Loïc Paulevé; Andrei Yu. Zinovyev (ICTAI, 2019)

CoMetGeNe: mining conserved neighborhood patterns in metabolic and genomic contexts. - Alexandra Zaharia; Bernard Labedan; Christine Froidevaux; Alain Denise (BMC Bioinform., 2019)

Transducer Cascades for Biological Literature-Based Discovery. - Denis Maurel; Sandy Chéry; Nicole Bidoit; Philippe Chatalic; Aziza Filali; Christine Froidevaux; Anne Poupon (Inf., 2022)