2019
Conference papers
- auteur
- Sylvain Conchon, Mattias Roux
- titre
- Reasoning about Universal Cubes in MCMT
- article
- ICFEM 2019 - 21st International Conference on Formal Engineering Methods, Nov 2019, Shenzhen, China. pp.270--285
- Accès au texte intégral et bibtex
-
2017
Conference papers
- auteur
- Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux
- titre
- FAR-Cubicle — A new reachability algorithm for Cubicle
- article
- 2017 Formal Methods in Computer-Aided Design (FMCAD), Oct 2017, Vienna, France. ⟨10.23919/FMCAD.2017.8102256⟩
- Accès au texte intégral et bibtex
-
2015
Journal articles
- auteur
- Y Le Conte, Y.Z. Huang, Mattias Roux, Z.-J. Zeng, Jean-Philippe Christidès, Anne-Geneviève Bagnères
- titre
- Varroa destructor changes its cuticular hydrocarbons to mimic new hosts
- article
- Biology Letters, 2015, 11 (6), pp.20150233. ⟨10.1098/rsbl.2015.0233⟩
- Accès au texte intégral et bibtex
-