Accueil > Recherche > Étudiants/Post-docs > Yanhong Liu

Yanhong Liu

Granularity-based interfacing between RTC and timed automata

samedi 1er janvier 2011

Années: 2008, 2009 (Post-doc)
Co-encadrant: Karine Altisen
Sujet: Granularity-based interfacing between RTC and timed automata

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, Nature Publishing Group, 2017, 49 (5), pp.789-794. ⟨10.1038/ng.3823⟩. ⟨hal-01602681⟩
Accès au bibtex
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, Institut Français du Pétrole, 2016, 71 (3), pp.35. ⟨10.2516/ogst/2015026⟩. ⟨hal-01707490⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01707490/file/ogst140152.pdf 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
https://hal.archives-ouvertes.fr/hal-00450292/file/gran-paper.pdf BibTex
Valid XHTML 1.0 Transitional
SPIP | | Plan du site | Suivre la vie du site RSS 2.0
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License