Miaomiao Zhang
About
Miaomiao Zhang has authored 15 papers that have received a total of 146 indexed citations.
This includes 9 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 4 papers in Control and Systems Engineering. The topics of these papers are Formal Methods in Verification (8 papers), Machine Learning and Algorithms (3 papers) and semigroups and automata theory (2 papers). Miaomiao Zhang is often cited by papers focused on Formal Methods in Verification (8 papers), Machine Learning and Algorithms (3 papers) and semigroups and automata theory (2 papers) and collaborates with scholars based in China, Germany and The Netherlands. Miaomiao Zhang's co-authors include Naijun Zhan, Jie An, Bowen Du, Frits Vaandrager and Jian Wang and has published in prestigious journals such as Automatica, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and Journal of Geochemical Exploration.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Yuya Ide Breakdown of academic impact, for papers by Peter Mustillo Breakdown of academic impact, for papers by Christian Klauer Breakdown of academic impact, for papers by James Haglund Breakdown of academic impact, for papers by Jin Kuramochi Breakdown of academic impact, for papers by Edwina R. Orchard Breakdown of academic impact, for papers by Bárbara Rodríguez Breakdown of academic impact, for papers by Myriam Uribe‐Etxebarria