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
-
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
-