Characterizing Spatial Patterns of Pine Wood Nematode Outbreaks in Subtropical Zone in China
Zhang, Yahao, Dian, Yuanyong, Zhou, Jingjing, Peng, Shoulian, Hu, Yue, Hu, Lei, Han, Zemin, Fang, Xinwei, Cui, Hongxia
Published in Remote sensing (Basel, Switzerland) (01.11.2021)
Published in Remote sensing (Basel, Switzerland) (01.11.2021)
Get full text
Journal Article
Oxygen Adsorption Induced Superconductivity in Ultrathin FeTe Film on SrTiO3(001)
Ren, Wei, Ru, Hao, Peng, Kun, Li, Huifang, Lu, Shuai, Chen, Aixi, Wang, Pengdong, Fang, Xinwei, Li, Zhiyun, Huang, Rong, Wang, Li, Wang, Yihua, Li, Fangsen
Published in Materials (15.08.2021)
Published in Materials (15.08.2021)
Get full text
Journal Article
Fast Parametric Model Checking With Applications to Software Performability Analysis
Fang, Xinwei, Calinescu, Radu, Gerasimou, Simos, Alhwikem, Faisal
Published in IEEE transactions on software engineering (01.10.2023)
Published in IEEE transactions on software engineering (01.10.2023)
Get full text
Journal Article
The past is never dead: Famine-CEOs and corporate social performance
Fang, Xinwei, Khoo, Joye, Luo, Tianpei, Pathan, Shams, Wang, Hongjian
Published in Global finance journal (01.05.2023)
Published in Global finance journal (01.05.2023)
Get full text
Journal Article
Fast Parametric Model Checking through Model Fragmentation
Fang, Xinwei, Calinescu, Radu, Gerasimou, Simos, Alhwikem, Faisal
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) (01.05.2021)
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) (01.05.2021)
Get full text
Conference Proceeding
Communication gatekeepers and moral arbiters: mothers' roles when fathers are incarcerated
Fang, Xinwei, Liu, Denise, Kuan, Joses, Lee, Justin
Published in Journal of offender rehabilitation (19.05.2021)
Published in Journal of offender rehabilitation (19.05.2021)
Get full text
Journal Article
Observation of metallic TeO2 thin film with rutile structure on FeTe surface
Peng, Kun, Ren, Wei, Wu, Ying, Ru, Hao, Lu, Shuai, Chen, Aixi, Wang, Pengdong, Fang, Xinwei, Li, Huifang, Chi, Lifeng, Ding, Sunan, Wang, Li, Wang, Yihua, Li, Fangsen
Published in Journal of materials science (01.06.2022)
Published in Journal of materials science (01.06.2022)
Get full text
Journal Article
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies
Gerasimou, Simos, Camara, Javier, Calinescu, Radu, Alasmari, Naif, Alhwikem, Faisal, Fang, Xinwei
Published in 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2021)
Published in 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2021)
Get full text
Conference Proceeding
Oxygen Adsorption Induced Superconductivity in Ultrathin FeTe Film on SrTiO 3 (001)
Ren, Wei, Ru, Hao, Peng, Kun, Li, Huifang, Lu, Shuai, Chen, Aixi, Wang, Pengdong, Fang, Xinwei, Li, Zhiyun, Huang, Rong, Wang, Li, Wang, Yihua, Li, Fangsen
Published in Materials (15.08.2021)
Get full text
Published in Materials (15.08.2021)
Journal Article
Software Performability Analysis Using Fast Parametric Model Checking
Fang, Xinwei, Calinescu, Radu, Simos Gerasimou, Alhwikem, Faisal
Published in arXiv.org (23.10.2022)
Published in arXiv.org (23.10.2022)
Get full text
Paper
Journal Article
MEIC: Re-thinking RTL Debug Automation using LLMs
Xu, Ke, Sun, Jialin, Hu, Yuchen, Fang, Xinwei, Shan, Weiwei, Wang, Xi, Jiang, Zhe
Published in arXiv.org (10.05.2024)
Published in arXiv.org (10.05.2024)
Get full text
Paper
Journal Article
PRESTO: Predicting System-level Disruptions through Parametric Model Checking
Fang, Xinwei, Calinescu, Radu, Paterson, Colin, Wilson, Julie
Published in 2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (01.05.2022)
Published in 2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) (01.05.2022)
Get full text
Conference Proceeding
PRESTO: Predicting System-level Disruptions through Parametric Model Checking
Get full text
Paper
Journal Article