Emmanuelle Gallet
According to our database1,
Emmanuelle Gallet
authored at least 4 papers
between 2014 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2014
2015
2016
0
1
2
3
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Techniques de model-checking pour l'inférence de paramètres et l'analyse de réseaux biologiques. (Model checking techniques for parameter inference and analysis of biological networks).
PhD thesis, 2016
2015
Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa.
Tech. Sci. Informatiques, 2015
2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Formal Methods and Software Engineering, 2014