11 résultats  enregistrer la recherche


hal-01125870v1  Communication dans un congrès
Anne-Gwenn BosserPierre CourtieuJulien ForestMarc Cavazza. Structural Analysis of Narratives with the Coq Proof Assistant.
Interactive theorem proving (TPHOLs), Aug 2011, Berg en Dal, Netherlands. 6898, pp.55--70, 2011, Lecture Notes in Computer Science
inserm-00519159v1  Article dans une revue
Philippe De MedinaMichael PaillasseGrégory SegalaMarc PoirotSandrine Silvente-Poirot. Identification and pharmacological characterization of cholesterol-5,6-epoxide hydrolase as a target for tamoxifen and AEBS ligands.
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2010, 107 (30), pp.13520-5. 〈10.1073/pnas.1002922107〉