Miaomiao Zhang

15 papers and 139 indexed citations i.

Miaomiao Zhang has authored 15 papers that have received a total of 139 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, Journal of Geochemical Exploration and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems