S. Chevalier, C. Froidevaux, L. Paulevé and A. Zinovyev, "Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming," 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), 2019, pp. 34-41, doi: 10.1109/ICTAI.2019.00014.
Chevalier, S., Noël, V., Calzone, L., Zinovyev, A., Paulevé, L. (2020). Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision. In: Abate, A., Petrov, T., Wolf, V. (eds) Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science(), vol 12314. Springer, Cham. doi.org/10.1007/978-3-030-60327-4_11.
S. Chevalier, D. Boyenval, G. Magaña-López, T. Roncalli, A. Vaginay, L. Paulevé. BoNesis: a Python-based declarative environment for the verification, reprogramming, and synthesis of Most Permissive Boolean networks. CMSB 2024: 22nd International Conference on Computational Methods in Systems Biology, 2024, Pisa, Italy.
Talk at UC San Francisco, Department of Testing, San Francisco, California
Tutorial at UC-Berkeley Institute for Testing Science, Berkeley CA, USA
Talk at London School of Testing, London, UK
Conference proceedings talk at Testing Institute of America 2014 Annual Conference, Los Angeles, CA