Concurrency in Boolean networks, Natural Computing, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01893106
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. ,
Boolean regulatory network reconstruction using literature based knowledge with a genetic algorithm optimization method, BMC Bioinformatics, vol.17, issue.1, p.410, 2016. ,
Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming, Biosystems, vol.149, pp.139-153, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01354075
A method to identify and analyze biological programs through automated reasoning, Systems Biology and Applications, vol.2, 2016. ,
Metabolic stability and epigenesis in randomly connected nets, Journal of Theoretical Biology, vol.22, pp.437-467, 1969. ,
Boolean formalization of genetic control circuits, Journal of Theoretical Biology, vol.42, issue.3, pp.563-585, 1973. ,
On the robustness of update schedules in Boolean networks, Biosystems, vol.97, issue.1, pp.1-8, 2009. ,
Boolean Networks: Beyond Generalized Asynchronicity, Cellular Automata and Discrete Complex Systems, ser. LNCS, vol.10875, pp.29-42, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01768359
Most Permissive Semantics of Boolean Networks, CoRR, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01864693
Knowledge Representation, Reasoning and Declarative Problem Solving, 2003. ,
Answer Set Solving in Practice, ser. Synthesis Lectures on Artificial Intelligence and Machine Learning, 2012. ,
ASSAT: Computing answer sets of a logic program by SAT solvers, Artificial Intelligence, vol.157, issue.1, pp.115-137, 2004. ,
On Dedekind's problem: The number of monotone Boolean functions, Proceedings of the American Mathematical Society, vol.21, issue.3, p.677, 1969. ,
A computation of the eighth dedekind number, Order, vol.8, issue.1, pp.5-6, 1991. ,
Reversed graph embedding resolves complex single-cell trajectories, Nature Methods, vol.14, issue.10, pp.979-982, 2017. ,