Accéder directement au contenu

Pascale LE GALL

Professor in Computer Sciences Laboratory MICS CentraleSupélec University of Paris-Saclay
3
Documents
Identifiants chercheurs

Présentation

Professeur en Informatique, CentraleSupélec, CNU 27, laboratoire MICS **Thèmes de recherche :** Génie logiciel, Méthodes formelles, Validation et Vérification, Test de conformité, Modélisation des systèmes communicants temps-réel distribués, Modélisation géométrique à base topologique, Transformations de graphes **Enseignenments :** Théorie des jeux, Sémantique des langages de programmation, Logique, Automates, Bio-informatique

Publications

855679
Image document

Spatial Information and Boolean Genetic Regulatory Networks.

Matthieu Manceny , Marc Aiguier , Pascale Le Gall , Joan Hérisson , Ivan Junier
Bioinformatics and Computational Biology (BICoB), Apr 2008, New Orleans, United States. pp.270-281, ⟨10.1007/978-3-642-00727-9_26⟩
Communication dans un congrès hal-00812184v1
Image document

Exploring Topological Modelling to Discriminate Models of Golgi Apparatus Dynamics

Mathieu Poudret , Jean-Paul Comet , Pascale Le Gall , François Képès , Agnès Arnould
European Conference on Complex Systems (ECCS), Oct 2007, Dresde, Germany
Communication dans un congrès hal-00348154v1