Années:
2008,
2009
(
Post-doc)
Co-encadrant:
Karine Altisen
Sujet: Granularity-based interfacing between RTC and timed automata
2018
Journal articles
- ref_biblio
- Hyun Lillehoj, Yanhong Liu, Sergio Calsamiglia, Mariano E. Fernandez-Miyakawa, Fang Chi, et al.. Phytochemicals as antibiotic alternatives to promote growth and enhance host health. Veterinary Research, 2018, 49 (1), pp.76. ⟨10.1186/s13567-018-0562-6⟩. ⟨hal-02973514⟩
- Accès au texte intégral et bibtex
-
2017
Journal articles
- ref_biblio
- Beatrice S. Melin, Jill S. Barnholtz-Sloan, Margaret R. Wrensch, Christoffer Johansen, Dora Il'Yasova, et al.. Genome-wide association study of glioma subtypes identifies specific differences in genetic susceptibility to glioblastoma and non-glioblastoma tumors. Nature Genetics, 2017, 49 (5), pp.789-794. ⟨10.1038/ng.3823⟩. ⟨hal-01602681⟩
- Accès au bibtex
-
2016
Journal articles
- ref_biblio
- Yingqin Wu, Yanqing Xia, Yongli Wang, Tianzhu Lei, Yan Liu, et al.. The Geochemical Characteristics of Coals from the Junggar Basin in Northwest China and the Relation of the Configuration of Pristane with Maturity in Highly Mature and Over-Mature Samples. Oil & Gas Science and Technology - Revue d'IFP Energies nouvelles, 2016, 71 (3), pp.35. ⟨10.2516/ogst/2015026⟩. ⟨hal-01707490⟩
- Accès au texte intégral et bibtex
-
2013
Journal articles
- ref_biblio
- Victor Enciso-Mora, Fay Hosking, Ben Kinnersley, Yufei Wang, Sanjay Shete, et al.. Deciphering the 8q24.21 association for glioma. Human Molecular Genetics, 2013, 22 (11), pp.2293-2302. ⟨10.1093/hmg/ddt063⟩. ⟨cea-04682556⟩
- Accès au bibtex
-
2010
Conference papers
- ref_biblio
- Karine Altisen, Yanhong Liu, Matthieu Moy. Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata. 8th Workshop on Quantitative Aspects of Programming Languages, Mar 2010, Paphos, Cyprus. pp.166, ⟨10.4204/EPTCS⟩. ⟨hal-00450292⟩
- Accès au texte intégral et bibtex
-