Théorie et langage formel

Affichage des résultats 1 à 8 sur 8 au total

Théorie et langage formel : 1 à 8 sur 8 au total

  • Thèse

    Camille Challant. Représentation formelle avec AZee et contraintes grammaticales pour la langue des signes française. Théorie et langage formel [cs.FL]. Université Paris-Saclay, 2024. Français. ⟨NNT : 2024UPASG086⟩. ⟨tel-04957486⟩

    STL

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Asma Lahbib, Abderrahim Ait Wakrime, Anis Laouiti, Khalifa Toumi, Steven Martin. An Event-B based approach for formal modelling and verification of smart contracts. AINA 2020: 34th International Conference on Advanced Information Networking and Applications, Apr 2020, Caserta, Italy. pp.1303-1318, ⟨10.1007/978-3-030-44041-1_111⟩. ⟨hal-02928201⟩

    ROCS

    Année de publication

    Disponible en libre accès

    Publication HAL

  • Communication dans un congrès

    Hugues Mandon, Stefan Haar, Loïc Paulevé. Temporal Reprogramming of Boolean Networks. CMSB 2017 - 15th conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany. pp.179 - 195, ⟨10.1007/978-3-319-67471-1_11⟩. ⟨hal-01589251⟩

    BioInfo

    Année de publication

    Disponible en libre accès

    Publication HAL

  • 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⟩

    BioInfo

    Année de publication

    Disponible en libre accès

    Publication HAL

  • 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⟩

    BioInfo

    Année de publication

    Disponible en libre accès

    Publication HAL

  • 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⟩

    LaHDAK

    Année de publication

    Disponible en libre accès

    Publication HAL

  • 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⟩

    BioInfo

    Année de publication

    Disponible en libre accès

    Publication HAL

  • 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. ⟨10.1002/9781119005223.ch4⟩. ⟨hal-01060490⟩

    BioInfo

    Année de publication

    Disponible en libre accès

    Publication HAL