Christine Froidevaux

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