Lijun Zhang

Lijun Zhang

Institute of Software, Chinese Academy of Sciences - Beijing / China
Others
AD Scientific Index ID: 4600275
-
person_outline Lijun Zhang's MOST POPULAR ARTICLES
1-) Probabilistic cegarH Hermanns, B Wachter, L ZhangInternational Conference on Computer Aided Verification, 162-175, 20082532008
2-) On probabilistic automata in continuous timeC Eisentraut, H Hermanns, L Zhang2010 25th Annual IEEE Symposium on Logic in Computer Science, 342-351, 20102152010
3-) PARAM: A Model Checker for Parametric Markov ModelsEM Hahn, H Hermanns, B Wachter, L ZhangComputer Aided Verification: 22nd International Conference, CAV 2010 …, 20101802010
4-) Revisit the VEC rule in high entropy alloys (HEAs) with high-throughput CALPHAD approach and its applications for material design-A case study with Al–Co–Cr–Fe–Ni systemS Yang, J Lu, F Xing, L Zhang, Y ZhongActa Materialia 192, 11-19, 20201292020
5-) iscasMc: A Web-Based Probabilistic Model CheckerEM Hahn, Y Li, S Schewe, A Turrini, L ZhangFM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 20141282014