Xuchu Ding
About
Xuchu Ding has authored 9 papers that have received a total of 261 indexed citations.
This includes 5 papers in Computational Theory and Mathematics, 3 papers in Artificial Intelligence and 2 papers in Biomedical Engineering. The topics of these papers are Formal Methods in Verification (4 papers), Petri Nets in System Modeling (4 papers) and Advanced Control Systems Optimization (2 papers). Xuchu Ding is often cited by papers focused on Formal Methods in Verification (4 papers), Petri Nets in System Modeling (4 papers) and Advanced Control Systems Optimization (2 papers) and collaborates with scholars based in United States, The Netherlands and China. Xuchu Ding's co-authors include Călin Belta, Mircea Lazar, Ebru Aydın Göl, Ioannis Ch. Paschalidis and Morteza Lahijanian and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and The International Journal of Robotics Research
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Perry Gordon Top fields papers by Jean François Ghiglione are about Top journals papers by Valerie Farnsworth are published in Top countries impacted by papers by Alagar R Muthukumar Top authors papers by Alexandra Munt are co-authored with Top countries impacted by papers by Arjun Tarakad Top authors papers by Lisy Ratsifandrihamanana are co-authored with Top journals papers by Carlos Sharpin are published in