- 2
- 1
- 1
- 1
- 1
- 1
Pascale LE GALL
Professor in Computer Sciences
Laboratory MICS
CentraleSupélec
University of Paris-Saclay
7
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
- 7
- 5
- 5
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
|
Embedding of biological regulatory networks and property preservationMathematics in Computer Science, 2011, 5 (1), pp.263-288
Article dans une revue
hal-00782867v1
|
|
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
|
Symbolic modeling of genetic regulatory networksJournal of Bioinformatics and Computational Biology, 2007, 5 (2B), pp.627-640
Article dans une revue
hal-00293530v1
|
Graph Transformation for Topology Modelling. 4th International Conference on Graph Transformation (ICGT'08), Sep 2008, Leicester, United Kingdom. pp.147-161, ⟨10.1007/978-3-540-87405-8_11⟩
Communication dans un congrès
hal-00341176v1
|
|
|
Topology-based Geometric Modelling for Biological Cellular ProcessesInternational Conference on Language and Automata Theory and Applications, Mar 2007, Tarragone, Spain. pp.497-508
Communication dans un congrès
hal-00348152v1
|
|
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
|
Toward a computer-aided methodology for topology-based simulation of the Golgi apparatusProc. of the Lille Spring school on Modelling and simulation of biological processes in the context of genomics, EDP SCIENCES, pp.89--104, 2008
Chapitre d'ouvrage
hal-00353755v1
|