Mitesh Jain
发表
Panagiotis Manolios,
Mitesh Jain,
P. Manolios,
2019,
CAV.
Panagiotis Manolios,
Mitesh Jain,
2017,
ArXiv.
Panagiotis Manolios,
Howard Reubenstein,
Tom Hawkins,
2015,
NFM.
Panagiotis Manolios,
Mitesh Jain,
P. Manolios,
2015,
ACL2.
Mitesh Jain,
Ajay Dhruv,
Hanish Punamiya,
2018
.
Panagiotis Manolios,
Howard Reubenstein,
Mitesh Jain,
2016
.
Panagiotis Manolios,
Mitesh Jain,
P. Manolios,
2015,
CAV.
Eugene Goldberg,
Panagiotis Manolios,
Mitesh Jain,
2013,
ArXiv.