Eric Fanchon

发表

Application of the Reachability Analysis for the Iron Homeostasis Study

Alexandre Rocca, Thao Dang, Eric Fanchon, 2016, HSB.

On the number of update digraphs and its relation with the feedback arc sets and tournaments

Jacques Demongeot, Julio Aracena, Eric Fanchon, 2013, Discret. Appl. Math..

Reduction and Fixed Points of Boolean Networks and Linear Network Coding Solvability

Maximilien Gadouleau, Adrien Richard, Eric Fanchon, 2014, IEEE Transactions on Information Theory.

Modeling the Molecular Network Controlling Adhesion Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming

Laurent Trilling, Eric Fanchon, Fabien Corblin, 2004, CMSB.

Occupation measure methods for modelling and analysis of biological hybrid systems

Victor Magron, Alexandre Rocca, Thao Dang, 2017, ADHS.

Controlled Authoring of Biological Experiment Reports

Caroline Brun, Marc Dymetman, Eric Fanchon, 2003, EACL.

Occupation measure methods for modelling and analysis of biological hybrid automata pdf

Victor Magron, Alexandre Rocca, Thao Dang, 2017, ArXiv.

Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations

Alexandre Rocca, Thao Dang, Eric Fanchon, 2014, HSB.

HepatoDyn: A Dynamic Model of Hepatocyte Metabolism That Integrates 13C Isotopomer Data

Eric Fanchon, Vitaly A. Selivanov, Marta Cascante, 2016, PLoS Comput. Biol..

Computing with bacterial constituents, cells and populations: from bioputing to bactoputing

Franck Molina, Guillaume Hutzler, James A. Foster, 2011, Theory in Biosciences.

Molecular mechanisms underlying COPD-muscle dysfunction unveiled through a systems medicine approach

Josep Roca, Eric Fanchon, Marta Cascante, 2016, Bioinform..

Producing a Set of Models for the Iron Homeostasis Network

Alexandre Donzé, Eric Fanchon, Jean Marc Moulis, 2013, HSB.

Combinatorics on update digraphs in Boolean networks

Julio Aracena, Mathilde Noual, Eric Fanchon, 2011, Discret. Appl. Math..

Connections and Integration with SAT Solvers: A Survey and a Case Study in Computational Biology

Laurent Trilling, Lucas Bordeaux, Youssef Hamadi, 2011 .

Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data

Laurent Trilling, Denis Thieffry, Claudine Chaouiya, 2012, IPCAT.

Systems Biology, Systems Medicine, Systems Pharmacology: The What and The Why

Eric Fanchon, Angélique Stéphanou, Pasquale F Innominato, 2018, Acta Biotheoretica.

Modélisation de réseaux biologiques discrets en programmation logique par contraintes

Laurent Trilling, Eric Fanchon, Fabien Corblin, 2007, Tech. Sci. Informatiques.

Semantically-based text authoring and the concurrent documentation of experimental protocols

Caroline Brun, Marc Dymetman, Sylvain Pogodalla, 2003, DocEng '03.

Set-Based Analysis for Biological Modeling

Carla Piazza, Oded Maler, Alexandre Rocca, 2019, Automated Reasoning for Systems Biology and Medicine.

A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration

Alexandre Donzé, Eric Fanchon, Jean Marc Moulis, 2012, HSB.

Determination, Optimization and Taxonomy of Regulatory Networks: The Example of Arabidopsis thaliana Flower Morphogenesis

Jacques Demongeot, Eric Fanchon, Nicolas Glade, 2011, 2011 IEEE Workshops of International Conference on Advanced Information Networking and Applications.

Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework

Laurent Trilling, Alexandre Rocca, Eric Fanchon, 2015, IWBBIO.

A declarative constraint-based method for analyzing discrete genetic regulatory networks

Laurent Trilling, Eric Fanchon, Delphine Ropers, 2009, Biosyst..

Applications of a formal approach to decipher discrete genetic networks

Laurent Trilling, Eric Fanchon, Fabien Corblin, 2010, BMC Bioinformatics.

Multi-scale Modelling of Erythropoiesis and Hemoglobin Production

Alexandre Rocca, Eric Fanchon, Vitaly Volpert, 2016, Journal of Inorganic and Organometallic Polymers and Materials.

Proceedings of the XXXIth Seminar of the French-Speaking Society for Theoretical Biology

Eric Fanchon, Philippe Tracqui, 2013, Acta biotheoretica.

Large-Scale Preparation, Purification, and Crystallization of UDP-N-Acetylmuramoyl-l-Alanine:d-Glutamate Ligase fromEscherichia coli☆

Paul Ferrari, Eric Fanchon, Jean van Heijenoort, 1998 .

Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data

Laurent Trilling, Denis Thieffry, Claudine Chaouiya, 2012, International Conference on Information Processign in Cells and Tissues.

Formal Methods for Hopfield-Like Networks

Laurent Trilling, Jacques Demongeot, Eric Fanchon, 2013, Acta biotheoretica.