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


Journal articles

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


Journal articles

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 BibTex


Conference papers

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