172
Publications
3,495
Citations
26
h-index
49
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (152)
- Book Chapter (12)
- Preprint (7)
- Editorial (1)
Filter by Open Access Type
- Open Access (51)
- Closed Access (121)
Filter by Authors
- Jing Liu (172)
- Haiying Sun (21)
- Zuohua Ding (19)
- Tengfei Li (8)
- Jifeng He (8)
Filter by Topics
- Formal Methods in Verification (33)
- Advanced Software Engineering Methodologies (26)
- Model-Driven Software Engineering Techniques (21)
- Building Energy and Comfort Optimization (20)
- Anaerobic Digestion and Biogas Production (14)