Emmanuelle Gallet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2014–2014
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ICFEM | An LTL Model Checking Approach for Biological Parameter Inference. | Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini |
| 2014 | ISoLA | Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. | Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny |