Knowledge Representation, Reasoning and Declarative Problem Solving, 2003. ,
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming, 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (IC-TAI), pp.34-41, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02276921
Executable cancer models: successes and challenges. Nature Reviews Cancer, 2020. ,
Mathematical modelling of molecular pathways enabling tumour cell invasion and migration, PLoS Comput Biol, vol.11, issue.11, p.1004571, 2015. ,
URL : https://hal.archives-ouvertes.fr/inserm-02141625
Logical modeling of lymphoid and myeloid cell specification and transdifferentiation. Proceedings of the National Academy of, Sciences, vol.114, issue.23, pp.5792-5799, 2017. ,
A declarative constraint-based method for analyzing discrete genetic regulatory networks, Biosystems, vol.98, issue.2, pp.91-104, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00793012
,
Boolean regulatory network reconstruction using literature based knowledge with a genetic algorithm optimization method, BMC Bioinformatics, vol.17, issue.1, p.410, 2016. ,
On the computational cost of disjunctive logic programming: Propositional case, Annals of Mathematics and Artificial Intelligence, vol.15, issue.3, pp.289-323, 1995. ,
Answer Set Programming: A Primer, pp.40-110, 2009. ,
Answer Set Solving in Practice, Synthesis Lectures on Artificial Intelligence and Machine Learning, 2012. ,
, Clingo = ASP + control: Preliminary report, 2014.
A general method for numerically simulating the stochastic time evolution of coupled chemical reactions, Journal of computational physics, vol.22, issue.4, pp.90041-90044, 1976. ,
BRE:IN -a backend for reasoning about interaction networks with temporal logic, Computational Methods in Systems Biology, pp.289-295, 2019. ,
A proposal for using the ensemble approach to understand genetic regulatory networks, Journal of Theoretical Biology, vol.230, issue.4, pp.581-590, 2004. ,
Computing maximal and minimal trap spaces of boolean networks, Natural Computing, vol.14, issue.4, pp.535-544, 2015. ,
Basin entropy in boolean network ensembles, Physical Review Letters, vol.98, issue.15, 2007. ,
ASSAT: Computing answer sets of a logic program by SAT solvers, Artificial Intelligence, vol.157, issue.1, pp.115-137, 2004. ,
,
Foundations of disjunctive logic programming, 1992. ,
Reconciling qualitative, abstract, and scalable modeling of biological networks, 2020. ,
Computing diverse boolean networks from phosphoproteomic time series data, Computational Methods in Systems Biology, pp.59-74, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01988432
, Graph representations of monotonic boolean model pools, pp.233-248, 2017.
MaBoSS 2.0: an environment for stochastic boolean modeling, Bioinformatics, vol.33, issue.14, pp.2226-2228, 2017. ,
Continuous time boolean modeling for biological signaling: application of gillespie algorithm, BMC systems biology, vol.6, issue.1, p.116, 2012. ,
URL : https://hal.archives-ouvertes.fr/inserm-00762304
CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms, BMC Systems Biology, vol.6, issue.1, p.133, 2012. ,
, Stochastic processes in physics and chemistry, vol.1, 1992.
Principal component analysis. Chemometrics and intelligent laboratory systems, vol.2, pp.37-52, 1987. ,
, , vol.87, pp.80084-80093
A method to identify and analyze biological programs through automated reasoning, Systems Biology and Applications, vol.2, 2016. ,
,
Discrete dynamic network modeling of oncogenic signaling: Mechanistic insights for personalized treatment of cancer, Current Opinion in Systems Biology, vol.9, pp.1-10, 2018. ,
,