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 journals papers by Kalpana Dokka are published in Top countries impacted by papers by Elke Rücker Top fields papers by Naline Geurtzen are about Top fields papers by Ervin K. Zingler are about Top authors papers by Christopher J. Yarnold are co-authored with Top fields papers by Andrea Sebastian are about Top fields papers by B. Heikius are about Top countries impacted by papers by Anna R. Duncan