Xinwei Chai

Publication Activity (10 Years)

Years Active: 2003-2021
Publications (10 Years): 4

Top Topics

Static Analysis

Simulated Annealing

Stochastic Search

Top Venues

École centrale de Nantes, France (PHD)

Education History

École centrale de Nantes, France

PHD

Publications

Xinwei Chai, Xian Guo, Jihua Xiao, Jie Jiang
Analysis of spatiotemporal mobility of shared-bike usage during COVID-19 pandemic in Beijing. Trans. GIS 25 (6) (2021)
Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
Static Analysis and Stochastic Search for Reachability Problem. SASB (2020)
Xinwei Chai, Xian Guo, Jihua Xiao, Jie Jiang
Spatiotemporal Analysis of Share Bike Usage during the COVID-19 Pandemic: a Case Study of Beijing. CoRR (2020)
Xinwei Chai, Morgan Magnin, Olivier H. Roux
A Heuristic for Reachability Problem in Asynchronous Binary Automata Networks. CoRR (2018)
Marek Reformat, Xinwei Chai, James Miller
On the possibilities of (pseudo-) software cloning from external interactions. Soft Comput. 12 (1) (2008)
Marek Reformat, Xinwei Chai, James Miller
Experiments in Automatic Programming for General Purposes. ICTAI (2003)