Christine Froidevaux

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

2017
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

2016
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

2015
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

2014
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

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

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

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

2009
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

2008
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

2007
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

2006
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

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

2004
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

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

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

2000
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

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

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

1994
Default Logics: A Unified View.
Computational Intelligence, 1994

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

1992
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

1991
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

1990
Graded Default Theories for Uncertainty.
ECAI, 1990

1988
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

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

1986
Taxonomic Default Theory.
ECAI, 1986


  Loading...