default search action
Christine Froidevaux
Person information
- affiliation: University of Paris-Sud, Laboratory for Computer Science (LRI), France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j17]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): 262 (2022)
2010 – 2019
- 2019
- [j16]Alexandra Zaharia, Bernard Labedan, Christine Froidevaux, Alain Denise:
CoMetGeNe: mining conserved neighborhood patterns in metabolic and genomic contexts. BMC Bioinform. 20(1): 19 (2019) - [c32]Stéphanie Chevalier
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming. ICTAI 2019: 34-41 - [i2]Stéphanie Chevalier
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming. CoRR abs/1909.04309 (2019) - 2018
- [j15]Nika Abdollahi, Alexandre Albani, Éric Anthony, Agnes Baud, Mélissa Cardon, Robert Clerc, Dariusz Czernecki, Romain Conte
Meet-U: Educating through research immersion. PLoS Comput. Biol. 14(3) (2018) - 2017
- [j14]Vincent Henry, Anne Goelzer
The bacterial interlocked process ONtology (BiPON): a systemic multi-scale unified representation of biological processes in prokaryotes. J. Biomed. Semant. 8(1): 53:1-53:16 (2017) - [j13]Sarah Cohen Boulakia
Scientific workflows for computational reproducibility in the life sciences: Status, challenges and opportunities. Future Gener. Comput. Syst. 75: 284-298 (2017) - 2016
- [j12]Adrien Rougny
Qualitative dynamics semantics for SBGN process description. BMC Syst. Biol. 10: 42 (2016) - [c31]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:
Représentation systémique multi-échelle des processus biologiques de la bactérie. IC 2016: 97-102 - 2015
- [c30]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: 95-100 - 2014
- [j11]Sarah Cohen Boulakia
Distilling structure in Taverna scientific workflows: a refactoring approach. BMC Bioinform. 15(S-1): S12 (2014) - [c29]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: 479-484 - [c28]Yoshitaka Yamamoto, Adrien Rougny
Completing SBGN-AF Networks by Logic-Based Hypothesis Finding. FMMB 2014: 165-179 - [c27]Jiuqiang Chen, Sarah Cohen Boulakia
DistillFlow: removing redundancy in scientific workflows. SSDBM 2014: 46:1-46:4 - 2013
- [i1]Philippe Chatalic, Christine Froidevaux:
Lattice-Based Graded Logic: a Multimodal Approach. CoRR abs/1303.5395 (2013) - 2012
- [c26]Sarah Cohen Boulakia
Scientific workflow rewriting while preserving provenance. eScience 2012: 1-9 - 2011
- [c25]Marie Agier
On Armstrong-compliant logical query languages. LID 2011: 33-40
2000 – 2009
- 2009
- [c24]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: 113-126 - [c23]Bastien Rance, Christine Froidevaux:
Improving Bio-Ontologies Matching Using Types and Adaptive Weights. OM 2009 - 2008
- [j10]Amos Bairoch
Review of the selected proceedings of the Fifth International Workshop on Data Integration in the Life Sciences 2008. BMC Bioinform. 9(S-8) (2008) - [c22]Christine Froidevaux, Frédéric Lemoine:
Requêtes alternatives dans le contexte d'un entrepôt de données génomiques. EGC 2008: 61-72 - [c21]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: 133-138 - [c20]Frédéric Lemoine, Bernard Labedan
GenoQuery: a new querying module for functional annotation in a genomic warehouse. ISMB 2008: 322-329 - [e2]Amos Bairoch
Data Integration in the Life Sciences, 5th International Workshop, DILS 2008, Evry, France, June 25-27, 2008. Proceedings. Lecture Notes in Computer Science 5109, Springer 2008, ISBN 978-3-540-69827-2 [contents] - 2007
- [j9]Sarah Cohen Boulakia
BioGuideSRS: querying multiple sources with a user-centric perspective. Bioinform. 23(10): 1301-1303 (2007) - [c19]Christine Froidevaux, Frédérique Lisacek, Bastien Rance:
Extracting Sequential Nuggets of Knowledge. DEXA 2007: 740-750 - 2006
- [j8]Sarah Cohen Boulakia
Path-based Systems to Guide Scientists in the Maze of Biological Data Sources. J. Bioinform. Comput. Biol. 4(5): 1069-1096 (2006) - [c18]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: 116-127 - 2005
- [c17]Sarah Cohen Boulakia
A User-Centric Framework for Accessing Biological Sources and Tools. DILS 2005: 3-18 - 2004
- [c16]Alain Bidault, Sarah Cohen Boulakia, Christine Froidevaux:
Preferences for Queries in a Mediator Approach. ECAI 2004: 963-964 - [c15]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: 53-64 - [c14]Sarah Cohen Boulakia
Selecting biomedical data sources according to user preferences. ISMB/ECCB (Supplement of Bioinformatics) 2004: 86-93 - 2003
- [j7]Michaël Bekaert
Towards a computational model for -1 eukaryotic frameshifting sites. Bioinform. 19(3): 327-335 (2003) - 2002
- [c13]Alain Bidault, Christine Froidevaux, Brigitte Safar:
Similarity Between Queries in a Mediator. ECAI 2002: 235-239 - 2000
- [c12]Alain Bidault, Christine Froidevaux, Brigitte Safar:
Repairing Queries in a Mediator Approach. ECAI 2000: 406-410 - [c11]Alain Bidault, Christine Froidevaux, Brigitte Safar:
Finding Successful Queries in a Mediator Context. FQAS 2000: 42-53
1990 – 1999
- 1997
- [j6]Philippe Chatalic, Christine Froidevaux, Camilla Schwind:
Graded Hypothesis Theories. Theor. Comput. Sci. 171(1-2): 247-280 (1997) - 1996
- [j5]Nicole Bidoit, Serenella Cerrito, Christine Froidevaux:
A Linear Logic Approach to Consistency Preserving Updates. J. Log. Comput. 6(3): 439-463 (1996) - 1995
- [e1]Christine Froidevaux, Jürg Kohlas:
Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'95, Fribourg, Switzerland, July 3-5, 1995, Proceedings. Lecture Notes in Computer Science 946, Springer 1995, ISBN 3-540-60112-0 [contents] - 1994
- [j4]Christine Froidevaux, Jérôme Mengin:
Default Logics: A Unified View. Comput. Intell. 10: 331-369 (1994) - 1993
- [j3]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): 27-46 (1993) - 1992
- [c10]Christine Froidevaux:
Default Logic for Action Rule-Based Systems. ECAI 1992: 413-417 - [c9]Christine Froidevaux, Jérôme Mengin:
A Framework for Default Logics. JELIA 1992: 154-173 - [c8]Philippe Chatalic, Christine Froidevaux:
Lattice-based Graded Logic: A Multimodal Approach. UAI 1992: 33-40 - 1991
- [j2]Nicole Bidoit, Christine Froidevaux:
General Logical Databases and Programs: Default Logic Semantics and Stratification. Inf. Comput. 91(1): 15-54 (1991) - [j1]Nicole Bidoit, Christine Froidevaux:
Negation by Default and Unstratifiable Logic Programs. Theor. Comput. Sci. 78(1): 86-112 (1991) - [c7]Christine Froidevaux, Philippe Chatalic, Jérôme Mengin:
Graded Default Logics. ECSQARU 1991: 70-75 - [c6]Philippe Chatalic, Christine Froidevaux:
Graded Logics: A Framework for Uncertain and Defeasible Knowledge. ISMIS 1991: 479-489 - 1990
- [c5]Christine Froidevaux, C. Grossetete:
Graded Default Theories for Uncertainty. ECAI 1990: 283-288
1980 – 1989
- 1988
- [c4]Nicole Bidoit, Christine Froidevaux:
Variations sur la contrainte de stratification: stratification, stratification locale, sup-stratification. BDA 1988: 181-198 - [c3]Nicole Bidoit, Christine Froidevaux:
More on Stratified Default Theories. ECAI 1988: 492-494 - 1987
- [c2]Nicole Bidoit, Christine Froidevaux:
Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming. LICS 1987: 89-97 - 1986
- [c1]Christine Froidevaux:
Taxonomic Default Theory. ECAI 1986: 305-311
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: