Christine Froidevaux

According to our database, Christine Froidevaux authored at least 49 papers between 1986 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Transducer Cascades for Biological Literature-Based Discovery.

Denis Maurel, Sandy Chéry, Nicole Bidoit, Philippe Chatalic, Aziza Filali, Christine Froidevaux, Anne Poupon

Inf., 2022

2019

CoMetGeNe: mining conserved neighborhood patterns in metabolic and genomic contexts.

Alexandra Zaharia, Bernard Labedan, Christine Froidevaux, Alain Denise

BMC Bioinform., December, 2019

Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming.

Stéphanie Chevalier, Christine Froidevaux, Loïc Paulevé, Andrei Yu. Zinovyev

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

2018

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, Nadège Guiglielmoni, Jeanne Laurentie, Nathalie Lehmann, Camille Lochard, Rémi Montagne, Vasiliki Myrodia, Vaitea Opuu, Elise Parey, Lélia Polit, Sylvain Privé, Chloé Quignot, Maria Ruiz-Cuevas, Mariam Sissoko, Nicolas Sompairac, Audrey Vallerix, Violaine Verrecchia, Marc Delarue, Raphaël Guérois, Yann Ponty, Sophie Sacquin-Mora, Alessandra Carbone, Christine Froidevaux, Stéphane Le Crom, Olivier Lespinet, Martin Weigt, Samer Abboud, Juliana S. Bernardes, Guillaume Bouvier, Chloé Dequeker, Arnaud Ferré, Patrick Fuchs, Gaëlle Lelandais, Pierre Poulain, Hugues Richard, Hugo Schweke, Elodie Laine, Anne Lopes

PLoS Comput. Biol., 2018

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, Fabien Mareuil, Hervé Ménager, Christophe Pradal, Christophe Blanchet

Future Gener. Comput. Syst., 2017

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, Marc Dinh, Valentin Loux, Christine Froidevaux, Vincent Fromion

J. Biomed. Semant., 2017

2016

Qualitative dynamics semantics for SBGN process description.

Adrien Rougny, Christine Froidevaux, Laurence Calzone, Loïc Paulevé

BMC Syst. Biol., 2016

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, Jean-François Gibrat, Valentin Loux, Sabine Pérès

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.

Adrien Rougny, Yoshitaka Yamamoto, Hidetomo Nabeshima, Gauvain Bourgne, Anne Poupon, Katsumi Inoue, Christine Froidevaux

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.

Sarah Cohen Boulakia, Jiuqiang Chen, Paolo Missier, Carole A. Goble, Alan R. Williams, Christine Froidevaux

BMC Bioinform., 2014

DistillFlow: removing redundancy in scientific workflows.

Jiuqiang Chen, Sarah Cohen Boulakia, Christine Froidevaux, Carole A. Goble, Paolo Missier, Alan R. Williams

Proceedings of the Conference on Scientific and Statistical Database Management, 2014

Completing SBGN-AF Networks by Logic-Based Hypothesis Finding.

Yoshitaka Yamamoto, Adrien Rougny, Hidetomo Nabeshima, Katsumi Inoue, Hisao Moriya, Christine Froidevaux, Koji Iwanuma

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.

Adrien Guilhot-Gaudeffroy, Jérôme Azé, Julie Bernauer, Christine Froidevaux

Proceedings of the 14èmes Journées Francophones Extraction et Gestion des Connaissances, 2014

2012

Scientific workflow rewriting while preserving provenance.

Sarah Cohen Boulakia, Christine Froidevaux, Jiuqiang Chen

Proceedings of the 8th IEEE International Conference on E-Science, 2012

2011

On Armstrong-compliant logical query languages.

Marie Agier, Christine Froidevaux, Jean-Marc Petit, Yoan Renaud, Jef Wijsen

Proceedings of the 4th International Workshop on Logic in Databases, 2011

2009

Improving Bio-Ontologies Matching Using Types and Adaptive Weights.

Bastien Rance, Christine Froidevaux

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.

Bastien Rance, Jean-François Gibrat, Christine Froidevaux

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.

Amos Bairoch, Sarah Cohen Boulakia, Christine Froidevaux

BMC Bioinform., 2008

GenoQuery: a new querying module for functional annotation in a genomic warehouse.

Frédéric Lemoine, Bernard Labedan, Christine Froidevaux

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.

Lucie Gentils, Jérôme Azé, Claire Toffano-Nioche, Valentin Loux, Anne Poupon, Jean-François Gibrat, Christine Froidevaux

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.

Christine Froidevaux, Frédéric Lemoine

Proceedings of the Extraction et gestion des connaissances (EGC'2008), 2008

2007

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

Sarah Cohen Boulakia, Olivier Biton, Susan B. Davidson, Christine Froidevaux

Bioinform., 2007

Extracting Sequential Nuggets of Knowledge.

Christine Froidevaux, Frédérique Lisacek, Bastien Rance

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.

Sarah Cohen Boulakia, Susan B. Davidson, Christine Froidevaux, Zoé Lacroix, Maria-Esther Vidal

J. Bioinform. Comput. Biol., 2006

Selecting Biological Data Sources and Tools with XPR, a Path Language for RDF.

Sarah Cohen Boulakia, Christine Froidevaux, Emmanuel Pietriga

Proceedings of the Biocomputing 2006, 2006

2005

A User-Centric Framework for Accessing Biological Sources and Tools.

Sarah Cohen Boulakia, Susan B. Davidson, Christine Froidevaux

Proceedings of the Data Integration in the Life Sciences, Second InternationalWorkshop, 2005

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

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.

Sarah Cohen Boulakia, Christine Froidevaux, Séverine Lair

Proceedings of the Extraction et gestion des connaissances (EGC'2004), 2004

Preferences for Queries in a Mediator Approach.

Alain Bidault, Sarah Cohen Boulakia, Christine Froidevaux

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

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

2002

Similarity Between Queries in a Mediator.

Alain Bidault, Christine Froidevaux, Brigitte Safar

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

2000

Finding Successful Queries in a Mediator Context.

Alain Bidault, Christine Froidevaux, Brigitte Safar

Proceedings of the Flexible Query Answering Systems, 2000

Repairing Queries in a Mediator Approach.

Alain Bidault, Christine Froidevaux, Brigitte Safar

Proceedings of the ECAI 2000, 2000

1997

Graded Hypothesis Theories.

Philippe Chatalic, Christine Froidevaux, Camilla Schwind

Theor. Comput. Sci., 1997

1996

A Linear Logic Approach to Consistency Preserving Updates.

Nicole Bidoit, Serenella Cerrito, Christine Froidevaux

J. Log. Comput., 1996

1994

Default Logics: A Unified View.

Christine Froidevaux, Jérôme Mengin

Comput. Intell., 1994

1993

DRUMS: Defeasible Reasoning and Uncertainty Management Systems.

Philippe Besnard, Yves Moinard, Wilmer Pereira, Michael Clarke, Nic Wilson, Miguel Delgado, Serafín Moral, Juan Cano, Didier Dubois, Henri Prade, Luis Fariñas del Cerro, Jérôme Lang, Stéphane Amarger, John Fox, Paul J. Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramón López de Mántaras, Lluís Godo, E. H. Mamdani, John Bigham, Simon Parsons, Rudolf Kruse, Olivier Paillet, Pierre Siegel, Philippe Smets, Yen-Teh Hsia, Alessandro Saffiotti, Robert Kennes, Hong Xu, Elizabeth Umkehrer, Kurt Sundermeyer, Chris Whitney

AI Commun., 1993

1992

Lattice-based Graded Logic: A Multimodal Approach.

Philippe Chatalic, Christine Froidevaux

Proceedings of the UAI '92: Proceedings of the Eighth Annual Conference on Uncertainty in Artificial Intelligence, 1992

A Framework for Default Logics.

Christine Froidevaux, Jérôme Mengin

Proceedings of the Logics in AI, European Workshop, 1992

Default Logic for Action Rule-Based Systems.

Christine Froidevaux

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991

General Logical Databases and Programs: Default Logic Semantics and Stratification

Nicole Bidoit, Christine Froidevaux

Inf. Comput., March, 1991

Negation by Default and Unstratifiable Logic Programs.

Nicole Bidoit, Christine Froidevaux

Theor. Comput. Sci., 1991

Graded Logics: A Framework for Uncertain and Defeasible Knowledge.

Philippe Chatalic, Christine Froidevaux

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Graded Default Logics.

Christine Froidevaux, Philippe Chatalic, Jérôme Mengin

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

1990

Graded Default Theories for Uncertainty.

Christine Froidevaux, C. Grossetete

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1988

More on Stratified Default Theories.

Nicole Bidoit, Christine Froidevaux

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

Variations sur la contrainte de stratification: stratification, stratification locale, sup-stratification.

Nicole Bidoit, Christine Froidevaux

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

Nicole Bidoit, Christine Froidevaux

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986

Taxonomic Default Theory.

Christine Froidevaux

Proceedings of the Advances in Artificial Intelligence II, 1986