Publications for the collection HAL LS2N-MEFORBIO for 2015
International journals with reviewing committee (ART_INT)
- [1] M. Folschette, L. Paulevé, M. Magnin, O. Roux. Sufficient Conditions for Reachability in Automata Networks with Priorities. In Theoretical Computer Science ; éd. Elsevier, 2015.https://hal.science/hal-01202671v1
- [2] T. Ribeiro, M. Magnin, K. Inoue, C. Sakama. Learning Delayed Influences of Biological Systems. In Frontiers in Bioengineering and Biotechnology ; éd. Frontiers, 2015, vol. 2.https://hal.science/hal-01710485v1
- [3] M. Folschette, L. Paulevé, K. Inoue, M. Magnin, O. Roux. Identification of Biological Regulatory Networks from Process Hitting models. In Theoretical Computer Science ; éd. Elsevier, 2015, vol. 568.https://hal.science/hal-01094249v1
- [4] F. Chinesta, M. Magnin, O. Roux, A. Ammar, E. Cueto. Kinetic Theory Modeling and Efficient Numerical Simulation of Gene Regulatory Networks Based on Qualitative Descriptions. In Entropy ; éd. MDPI, 2015, vol. 17, num. 4.https://hal.science/hal-01195963v1
- [5] L. Paulevé, M. Folschette, M. Magnin, O. Roux. Analyses statiques de la dynamique des réseaux d'automates indéterministes. In Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques ; éd. Lavoisier, 2015, vol. 34, num. 4.https://hal.science/hal-01070295v2
- [6] L. Fippo Fitime, C. Schuster, P. Angel, O. Roux, C. Guziolowski. Integrating Time-Series Data in Large-Scale Discrete Cell-Based Models. In Fourth International Workshop on Hybrid Systems Biology (HSB 2015), septembre 2015, Madrid, Espagne.https://hal.science/hal-01361339v1
- [7] G. Bernot, J. Comet, O. Roux. A genetically modified Hoare logic that identifies the parameters of a gene network,. In Computational Methods in Systems Biology (CMSB 2015), septembre 2015, Nantes, France.https://hal.science/hal-01282932v1
- [8] M. Morgan, A. Andreychenko, K. Inoue. Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets. In International Conference on Computational Methods in Systems Biology CMSB2015, septembre 2015, Nantes, France.https://hal.science/hal-02448802v1
- [9] E. Ben Abdallah, M. Folschette, O. Roux, M. Magnin. Exhaustive analysis of dynamical properties of Biological Regulatory Networks with Answer Set Programming. In IEEE International Conference on Bioinformatics and Biomedicine (BIBM), novembre 2015, Washington, D.C., états-Unis.https://hal.science/hal-01252610v1
