Publication de la collection HAL LS2N-MEFORBIO pour 2019
Revues internationales avec comité de lecture (ART_INT)
- [1] C. Sakama, K. Inoue, T. Ribeiro. Learning Inference Rules from Data. In KI - Künstliche Intelligenz ; éd. Springer Nature, 2019, vol. 33.https://hal.science/hal-02452520v1
- [2] I. Sheikh, J. Ahmad, M. Magnin, O. Roux. Incorporating Time Delays in Process Hitting Framework for Dynamical Modeling of Large Biological Regulatory Networks. In Frontiers in Physiology ; éd. Frontiers, 2019, vol. 10.https://hal.science/hal-02448847v1
- [3] G. Bernot, J. Comet, Z. Khalis, A. Richard, O. Roux. A genetically modified Hoare logic. In Theoretical Computer Science ; éd. Elsevier, 2019.https://hal.science/hal-02051795v1
- [4] X. Chai. Reachability Analysis and Revision of Dynamics of Biological Regulatory Networks. Thèses : École centrale de Nantes. https://hal.science/tel-02145438v2
