Eric Fanchon

According to our database1, Eric Fanchon
  • authored at least 21 papers between 2003 and 2017.
  • has a "Dijkstra number"2 of five.



In proceedings 
PhD thesis 




Occupation measure methods for modelling and analysis of biological hybrid automata.
CoRR, 2017

Molecular mechanisms underlying COPD-muscle dysfunction unveiled through a systems medicine approach.
Bioinformatics, 2017

Reduction and Fixed Points of Boolean Networks and Linear Network Coding Solvability.
IEEE Trans. Information Theory, 2016

HepatoDyn: A Dynamic Model of Hepatocyte Metabolism That Integrates 13C Isotopomer Data.
PLoS Computational Biology, 2016

Application of the Reachability Analysis for the Iron Homeostasis Study.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework.
Proceedings of the Bioinformatics and Biomedical Engineering, 2015

Reduction and Fixed Points of Boolean Networks and Linear Network Coding Solvability.
CoRR, 2014

Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations.
Proceedings of the Hybrid Systems Biology, 2014

On the number of update digraphs and its relation with the feedback arc sets and tournaments.
Discrete Applied Mathematics, 2013

Producing a Set of Models for the Iron Homeostasis Network.
Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration
Proceedings of the Proceedings First International Workshop on Hybrid Systems and Biology, 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

Computing with bacterial constituents, cells and populations: from bioputing to bactoputing.
Theory in Biosciences, 2011

Combinatorics on update digraphs in Boolean networks.
Discrete Applied Mathematics, 2011

Determination, Optimization and Taxonomy of Regulatory Networks: The Example of Arabidopsis thaliana Flower Morphogenesis.
Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2011

Applications of a formal approach to decipher discrete genetic networks.
BMC Bioinformatics, 2010

A declarative constraint-based method for analyzing discrete genetic regulatory networks.
Biosystems, 2009

Modélisation de réseaux biologiques discrets en programmation logique par contraintes.
Technique et Science Informatiques, 2007

Modeling the Molecular Network Controlling Adhesion Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

Controlled Authoring of Biological Experiment Reports.
Proceedings of the EACL 2003, 2003

Semantically-based text authoring and the concurrent documentation of experimental protocols.
Proceedings of the 2003 ACM Symposium on Document Engineering, 2003