Communication dans un congrès
Théorie et langage formel
Affichage des résultats 1 à 6 sur 6 au total
Articles 1 à 6 sur 6 au total
-
-
Communication dans un congrès
Loïc Paulevé. Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface. CMSB 2017 - 15th conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany. pp.370 - 316, ⟨10.1007/978-3-319-67471-1_20⟩. ⟨hal-01589248⟩
-
Article dans une revue
Loïc Paulevé. Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2018, 15 (4), pp.1167-1179. ⟨10.1109/TCBB.2017.2749225⟩. ⟨hal-01580765⟩
-
Communication dans un congrès
Lina Ye, Philippe Dague, Farid Nouioua. A Predictability Algorithm for Distributed Discrete Event Systems. The 17th International Conference on Formal Engineering Methods, Nov 2015, Paris, France. ⟨10.1007/978-3-319-25423-4_13⟩. ⟨hal-01274813⟩
-
Article dans une revue
Louis Fippo Fitime, Olivier F. Roux, Carito Guziolowski, Loïc Paulevé. Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming. Algorithms for Molecular Biology, 2017, 12 (1), pp.19. ⟨10.1186/s13015-017-0110-3⟩. ⟨hal-01566380⟩
-
Chapitre d'ouvrage
Loïc Paulevé, Courtney Chancellor, Maxime Folschette, Morgan Magnin, Olivier Roux. Analyzing Large Network Dynamics with Process Hitting. Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, Wiley, pp.125 - 166, 2014, 978-1-84821-680-8. ⟨hal-01060490⟩