- 2
- 1
Pascale LE GALL
Professor in Computer Sciences
Laboratory MICS
CentraleSupélec
University of Paris-Saclay
3
Documents
Identifiants chercheurs
- pascale-le-gall
- 0000-0002-8955-6835
- IdRef : 081059310
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
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 1
|
Topology-based Abstraction of Complex Biologiical Systems: Application to the Golgi ApparatusTheorie in den Biowissenschaften / Theory in Biosciences, 2008, 127 (2), pp.79-88
Article dans une revue
hal-00352003v1
|
|
Spatial Information and Boolean Genetic Regulatory Networks.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
|
|
Exploring Topological Modelling to Discriminate Models of Golgi Apparatus DynamicsEuropean Conference on Complex Systems (ECCS), Oct 2007, Dresde, Germany
Communication dans un congrès
hal-00348154v1
|