Christine Froidevaux

According to our database1, Christine Froidevaux
  • authored at least 47 papers between 1986 and 2018.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 





Meet-U: Educating through research immersion.
PLoS Computational Biology, 2018

Scientific workflows for computational reproducibility in the life sciences: Status, challenges and opportunities.
Future Generation Comp. Syst., 2017

The bacterial interlocked process ONtology (BiPON): a systemic multi-scale unified representation of biological processes in prokaryotes.
J. Biomedical Semantics, 2017

Qualitative dynamics semantics for SBGN process description.
BMC Systems Biology, 2016

Représentation systémique multi-échelle des processus biologiques de la bactérie.
Proceedings of the IC 2016 : 27es Journées francophones d'Ingénierie des Connaissances (Proceedings of the 27th French Knowledge Engineering Conference), 2016

Completing signaling networks by abductive reasoning with perturbation experiments.
Proceedings of the Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, 2015

Distilling structure in Taverna scientific workflows: a refactoring approach.
BMC Bioinformatics, 2014

DistillFlow: removing redundancy in scientific workflows.
Proceedings of the Conference on Scientific and Statistical Database Management, 2014

Completing SBGN-AF Networks by Logic-Based Hypothesis Finding.
Proceedings of the Formal Methods in Macro-Biology - First International Conference, 2014

Apprentissage de fonctions de tri pour la prédiction d'interactions protéine-ARN.
Proceedings of the 14èmes Journées Francophones Extraction et Gestion des Connaissances, 2014

Lattice-Based Graded Logic: a Multimodal Approach
CoRR, 2013

Scientific workflow rewriting while preserving provenance.
Proceedings of the 8th IEEE International Conference on E-Science, 2012

On Armstrong-compliant logical query languages.
Proceedings of the 4th International Workshop on Logic in Databases, 2011

Improving Bio-Ontologies Matching Using Types and Adaptive Weights.
Proceedings of the 4th International Workshop on Ontology Matching (OM-2009) collocated with the 8th International Semantic Web Conference (ISWC-2009) Chantilly, 2009

An Adaptive Combination of Matchers: Application to the Mapping of Biological Ontologies for Genome Annotation.
Proceedings of the Data Integration in the Life Sciences, 6th International Workshop, 2009

Review of the selected proceedings of the Fifth International Workshop on Data Integration in the Life Sciences 2008.
BMC Bioinformatics, 2008

GenoQuery: a new querying module for functional annotation in a genomic warehouse.
Proceedings of the Proceedings 16th International Conference on Intelligent Systems for Molecular Biology (ISMB), 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.
Proceedings of the Extraction et gestion des connaissances (EGC'2008), 2008

Requêtes alternatives dans le contexte d'un entrepôt de données génomiques.
Proceedings of the Extraction et gestion des connaissances (EGC'2008), 2008

BioGuideSRS: querying multiple sources with a user-centric perspective.
Bioinformatics, 2007

Extracting Sequential Nuggets of Knowledge.
Proceedings of the Database and Expert Systems Applications, 18th International Conference, 2007

Path-based Systems to Guide Scientists in the Maze of Biological Data Sources.
J. Bioinformatics and Computational Biology, 2006

Selecting Biological Data Sources and Tools with XPR, a Path Language for RDF.
Proceedings of the Biocomputing 2006, 2006

A User-Centric Framework for Accessing Biological Sources and Tools.
Proceedings of the Data Integration in the Life Sciences, Second InternationalWorkshop, 2005

Selecting biomedical data sources according to user preferences.
Proceedings of the Proceedings Twelfth International Conference on Intelligent Systems for Molecular Biology/Third European Conference on Computational Biology 2004, 2004

Interrogation de sources biomédicales : prise en compte des préférences de l'utilisateur.
Proceedings of the Extraction et gestion des connaissances (EGC'2004), 2004

Preferences for Queries in a Mediator Approach.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Towards a computational model for -1 eukaryotic frameshifting sites.
Bioinformatics, 2003

Similarity Between Queries in a Mediator.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

Finding Successful Queries in a Mediator Context.
Proceedings of the Flexible Query Answering Systems, 2000

Repairing Queries in a Mediator Approach.
Proceedings of the ECAI 2000, 2000

Graded Hypothesis Theories.
Theor. Comput. Sci., 1997

A Linear Logic Approach to Consistency Preserving Updates.
J. Log. Comput., 1996

Default Logics: A Unified View.
Computational Intelligence, 1994

DRUMS: Defeasible Reasoning and Uncertainty Management Systems.
AI Commun., 1993

Lattice-based Graded Logic: A Multimodal Approach.
Proceedings of the UAI '92: Proceedings of the Eighth Annual Conference on Uncertainty in Artificial Intelligence, 1992

A Framework for Default Logics.
Proceedings of the Logics in AI, European Workshop, 1992

Default Logic for Action Rule-Based Systems.
ECAI, 1992

General Logical Databases and Programs: Default Logic Semantics and Stratification
Inf. Comput., March, 1991

Negation by Default and Unstratifiable Logic Programs.
Theor. Comput. Sci., 1991

Graded Logics: A Framework for Uncertain and Defeasible Knowledge.
Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Graded Default Logics.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

Graded Default Theories for Uncertainty.
ECAI, 1990

More on Stratified Default Theories.
ECAI, 1988

Variations sur la contrainte de stratification: stratification, stratification locale, sup-stratification.
Proceedings of the Quatrièmes Journées Bases de Données Avancées, 1988

Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

Taxonomic Default Theory.
ECAI, 1986