Home » Team publications

Publications  for  the  collection  HAL LS2N-MEFORBIO  for  2015

Total of the publications found : 9

Overview of LS2N-MEFORBIO publications by types

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.
    • [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.
    • [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.
    • [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.

National journals with reviewing committee (ART_NAT)

    • [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.

International conferences with reviewing committee (COMM_INT)

    • [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.
    • [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.
    • [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.
    • [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.
Copyright : LS2N 2017 - Legal notices -