Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-MEFORBIO  pour  2015

Nombre de publications retournées : 9


Récapitulatif du nombre de publications de la collection par types
ART_INT
ART_NAT
COMM_INT
414

Revues internationales avec comité de lecture (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-01202671
    • [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-01710485
    • [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-01094249
    • [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-01195963

Revues nationales avec comité de lecture (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.
      https://hal.science/hal-01070295v2

Conférences internationales avec comité de lecture et actes (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.
      https://hal.science/hal-01361339
    • [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-01282932
    • [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-02448802
    • [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-01252610
Copyright : LS2N 2017 - Mentions Légales - 
 -