Christine Froidevaux

Publication Activity (10 Years)

Years Active: 1986-2022
Publications (10 Years): 9

Top Topics

Brain Image Analysis

Boolean Networks

Scientific Workflows

Biological Processes

Top Venues

ILP (Late Breaking Papers)

Publications

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)
Stéphanie Chevalier, Christine Froidevaux, Loïc Paulevé, Andrei Yu. Zinovyev
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming. CoRR (2019)
Stéphanie Chevalier, Christine Froidevaux, Loïc Paulevé, Andrei Yu. Zinovyev
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming. ICTAI (2019)
Alexandra Zaharia, Bernard Labedan, Christine Froidevaux, Alain Denise
CoMetGeNe: mining conserved neighborhood patterns in metabolic and genomic contexts. BMC Bioinform. 20 (1) (2019)
Nika Abdollahi, Alexandre Albani, Eric 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
Meet-U: Educating through research immersion. PLoS Comput. Biol. 14 (3) (2018)
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
Scientific workflows for computational reproducibility in the life sciences: Status, challenges and opportunities. Future Gener. Comput. Syst. 75 (2017)
Vincent Henry, Anne Goelzer, Arnaud Ferré, Stephan Fischer, Marc Dinh, Valentin Loux, Christine Froidevaux, Vincent Fromion
The bacterial interlocked process ONtology (BiPON): a systemic multi-scale unified representation of biological processes in prokaryotes. J. Biomed. Semant. 8 (1) (2017)
Adrien Rougny, Christine Froidevaux, Laurence Calzone, Loïc Paulevé
Qualitative dynamics semantics for SBGN process description. BMC Syst. Biol. 10 (2016)
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 Peres
Représentation systémique multi-échelle des processus biologiques de la bactérie. IC (2016)
Adrien Rougny, Yoshitaka Yamamoto, Hidetomo Nabeshima, Gauvain Bourgne, Anne Poupon, Katsumi Inoue, Christine Froidevaux
Completing signaling networks by abductive reasoning with perturbation experiments. ILP (Late Breaking Papers) (2015)
Yoshitaka Yamamoto, Adrien Rougny, Hidetomo Nabeshima, Katsumi Inoue, Hisao Moriya, Christine Froidevaux, Koji Iwanuma
Completing SBGN-AF Networks by Logic-Based Hypothesis Finding. FMMB (2014)
Adrien Guilhot-Gaudeffroy, Jérôme Azé, Julie Bernauer, Christine Froidevaux
Apprentissage de fonctions de tri pour la prédiction d'interactions protéine-ARN. EGC (2014)
Jiuqiang Chen, Sarah Cohen Boulakia, Christine Froidevaux, Carole A. Goble, Paolo Missier, Alan R. Williams
DistillFlow: removing redundancy in scientific workflows. SSDBM (2014)
Sarah Cohen Boulakia, Jiuqiang Chen, Paolo Missier, Carole A. Goble, Alan R. Williams, Christine Froidevaux
Distilling structure in Taverna scientific workflows: a refactoring approach. BMC Bioinform. 15 (S-1) (2014)
Philippe Chatalic, Christine Froidevaux
Lattice-Based Graded Logic: a Multimodal Approach CoRR (2013)
Sarah Cohen Boulakia, Christine Froidevaux, Jiuqiang Chen
Scientific workflow rewriting while preserving provenance. eScience (2012)
Marie Agier, Christine Froidevaux, Jean-Marc Petit, Yoan Renaud, Jef Wijsen
On Armstrong-compliant logical query languages. LID (2011)
Bastien Rance, Christine Froidevaux
Improving Bio-Ontologies Matching Using Types and Adaptive Weights. OM (2009)
Bastien Rance, Jean-François Gibrat, Christine Froidevaux
An Adaptive Combination of Matchers: Application to the Mapping of Biological Ontologies for Genome Annotation. DILS (2009)
Lucie Gentils, Jérôme Azé, Claire Toffano-Nioche, Valentin Loux, Anne Poupon, Jean-François Gibrat, Christine Froidevaux
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. EGC (2008)
Amos Bairoch, Sarah Cohen Boulakia, Christine Froidevaux
Review of the selected proceedings of the Fifth International Workshop on Data Integration in the Life Sciences 2008. BMC Bioinform. 9 (S-8) (2008)
Frédéric Lemoine, Bernard Labedan, Christine Froidevaux
GenoQuery: a new querying module for functional annotation in a genomic warehouse. ISMB (2008)
Christine Froidevaux, Frédéric Lemoine
Requêtes alternatives dans le contexte d'un entrepôt de données génomiques. EGC (2008)
Christine Froidevaux, Frédérique Lisacek, Bastien Rance
Extracting Sequential Nuggets of Knowledge. DEXA (2007)
Sarah Cohen Boulakia, Olivier Biton, Susan B. Davidson, Christine Froidevaux
BioGuideSRS: querying multiple sources with a user-centric perspective. Bioinform. 23 (10) (2007)
Sarah Cohen Boulakia, Susan B. Davidson, Christine Froidevaux, Zoé Lacroix, Maria-Esther Vidal
Path-based Systems to Guide Scientists in the Maze of Biological Data Sources. J. Bioinform. Comput. Biol. 4 (5) (2006)
Sarah Cohen Boulakia, Christine Froidevaux, Emmanuel Pietriga
Selecting Biological Data Sources and Tools with XPR, a Path Language for RDF. Pacific Symposium on Biocomputing (2006)
Sarah Cohen Boulakia, Susan B. Davidson, Christine Froidevaux
A User-Centric Framework for Accessing Biological Sources and Tools. DILS (2005)
Sarah Cohen Boulakia, Christine Froidevaux, Séverine Lair
Interrogation de sources biomédicales : prise en compte des préférences de l'utilisateur. EGC (2004)
Alain Bidault, Sarah Cohen Boulakia, Christine Froidevaux
Preferences for Queries in a Mediator Approach. ECAI (2004)
Sarah Cohen Boulakia, Séverine Lair, Nicolas Stransky, Stéphane Graziani, François Radvanyi, Emmanuel Barillot, Christine Froidevaux
Selecting biomedical data sources according to user preferences. ISMB/ECCB (Supplement of Bioinformatics) (2004)
Michaël Bekaert, Laure Bidou, Alain Denise, Guillemette Duchateau-Nguyen, Jean-Paul Forest, Christine Froidevaux, Isabelle Hatin, Jean-Pierre Rousset, Michel Termier
Towards a computational model for -1 eukaryotic frameshifting sites. Bioinform. 19 (3) (2003)
Alain Bidault, Christine Froidevaux, Brigitte Safar
Similarity Between Queries in a Mediator. ECAI (2002)
Alain Bidault, Christine Froidevaux, Brigitte Safar
Finding Successful Queries in a Mediator Context. FQAS (2000)
Alain Bidault, Christine Froidevaux, Brigitte Safar
Repairing Queries in a Mediator Approach. ECAI (2000)
Philippe Chatalic, Christine Froidevaux, Camilla Schwind
Graded Hypothesis Theories. Theor. Comput. Sci. 171 (1-2) (1997)
Nicole Bidoit, Serenella Cerrito, Christine Froidevaux
A Linear Logic Approach to Consistency Preserving Updates. J. Log. Comput. 6 (3) (1996)
Christine Froidevaux, Jérôme Mengin
Default Logics: A Unified View. Comput. Intell. 10 (1994)
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
DRUMS: Defeasible Reasoning and Uncertainty Management Systems. AI Commun. 6 (1) (1993)
Philippe Chatalic, Christine Froidevaux
Lattice-based Graded Logic: A Multimodal Approach. UAI (1992)
Christine Froidevaux
Default Logic for Action Rule-Based Systems. ECAI (1992)
Christine Froidevaux, Jérôme Mengin
A Framework for Default Logics. JELIA (1992)
Christine Froidevaux, Philippe Chatalic, Jérôme Mengin
Graded Default Logics. ECSQARU (1991)
Philippe Chatalic, Christine Froidevaux
Graded Logics: A Framework for Uncertain and Defeasible Knowledge. ISMIS (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)
Christine Froidevaux, C. Grossetete
Graded Default Theories for Uncertainty. ECAI (1990)
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)
Christine Froidevaux
Taxonomic Default Theory. ECAI (1986)