Mi Ding

According to our database, Mi Ding authored at least 5 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formal synthesis of neural Craig interpolant via counterexample guided deep learning.

Wang Lin, Mi Ding, Kaipeng Lin, Zuohua Ding

Inf. Softw. Technol., November, 2023

2022

A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation.

Mi Ding, Kaipeng Lin, Wang Lin, Zuohua Ding

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning.

Wang Lin, Mi Ding, Kaipeng Lin, Guoquan Mei, Zuohua Ding

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

2020

Molecular Dynamics Simulation of Dielectric Constant Temperature Characteristics of Cross-Linked Epoxy Resin/Functionalized Carbon Nanotube Nanocomposite.

Mi Ding, Liang Zou, Tong Zhao, Li Zhang, Qingmin Li

IEEE Access, 2020

2009

The kinematical analysis of virtual robot in text-to-visual speech synthesis.

Zhixiao Yang, Jinchi Han, Mi Ding

Proceedings of the IEEE International Conference on Virtual Environments, 2009