Kailiang Ji
According to our database1,
Kailiang Ji
authored at least 7 papers
between 2015 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
0
1
2
3
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
2016
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016
2015
Model Checking and Theorem Proving. (Le model Checking et la émonstration de théorèmes).
PhD thesis, 2015
Proceedings of the Automated Deduction - CADE-25, 2015