Denis Thieffry
Orcid: 0000-0003-0271-1757
According to our database1,
Denis Thieffry
authored at least 47 papers
between 1996 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
On csauthors.net:
Bibliography
2022
2021
Bioinform., 2021
Setting the basis of best practices and standards for curation and annotation of logical models in biology - highlights of the [BC]2 2019 CoLoMoTo/SysMod Workshop.
Briefings Bioinform., 2021
2019
MethMotif: an integrative cell specific database of transcription factor binding motifs coupled with DNA methylation profiles.
Nucleic Acids Res., 2019
2018
Nucleic Acids Res., 2018
2016
Qualitative Dynamical Modelling Can Formally Explain Mesoderm Specification and Predict Novel Developmental Phenotypes.
PLoS Comput. Biol., 2016
Biosyst., 2016
Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation.
Bioinform., 2016
2015
PLoS Comput. Biol., 2015
The Systems Biology Markup Language (SBML) Level 3 Package: Qualitative Models, Version 1, Release 1.
J. Integr. Bioinform., 2015
Bioinform., 2015
Proceedings of the Computational Methods in Systems Biology, 2015
2014
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
2013
PLoS Comput. Biol., 2013
SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools.
BMC Syst. Biol., 2013
2012
Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data.
Proceedings of the Information Processign in Cells and Tissues, 2012
2011
Theor. Comput. Sci., 2011
Nat. Comput., 2011
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011
2010
Diversity and Plasticity of Th Cell Types Predicted from Regulatory Network Modelling.
PLoS Comput. Biol., 2010
Mathematical Modelling of Cell-Fate Decision in Response to Death Receptor Engagement.
PLoS Comput. Biol., 2010
Reduction of Logical Models of Regulatory Networks Yields Insight into Dynamical properties.
Proceedings of the IEEE International Conference on Control Applications, 2010
2009
Modeling ERBB receptor-regulated G1/S transition to find novel targets for de novo trastuzumab resistance.
BMC Syst. Biol., 2009
Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009
2008
Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework.
Adv. Appl. Math., 2008
Logical modelling of the role of the Hh pathway in the patterning of the <i>Drosophila</i> wing disc.
Proceedings of the ECCB'08 Proceedings, 2008
2007
Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2007
2006
From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits.
Trans. Comp. Sys. Biology, 2006
Proceedings of the Positive Systems, 2006
Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle.
Proceedings of the Proceedings 14th International Conference on Intelligent Systems for Molecular Biology 2006, 2006
2005
Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in <i>E.Coli</i>.
Proceedings of the ECCB/JBI'05 Proceedings, Fourth European Conference on Computational Biology/Sixth Meeting of the Spanish Bioinformatics Network (Jornadas de BioInformática), Palacio de Congresos, Madrid, Spain, September 28, 2005
2004
Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004
2003
Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework.
Proceedings of the Positive Systems, 2003
A description of dynamical graphs associated to elementary regulatory circuits.
Proceedings of the European Conference on Computational Biology (ECCB 2003), 2003
1999
Bioinform., 1999
1998
Nucleic Acids Res., 1998
Prediction of transcriptional regulatory sites in the complete genome sequence of Escherichia coli K-12.
Bioinform., 1998
1996
Comput. Appl. Biosci., 1996