A. Udupa
发表
A. Udupa,
Abhishek Udupa,
2013
.
Rajeev Alur,
Milo M. K. Martin,
Abhishek Udupa,
2013,
PLDI.
R. Alur,
Arjun Radhakrishna,
A. Udupa,
2016
.
Arjun Radhakrishna,
Rajeev Alur,
Abhishek Udupa,
2017,
TACAS.
Rajeev Alur,
Garvit Juniwal,
Milo M. K. Martin,
2013,
2013 Formal Methods in Computer-Aided Design.
Rajeev Alur,
Abhishek Udupa,
Jyotirmoy V. Deshmukh,
2013,
PLDI.
Sumit Gulwani,
Abhishek Udupa,
Ashish Tiwari,
2019,
Proc. ACM Program. Lang..
Mukund Raghothaman,
Abhishek Udupa,
Mukund Raghothaman,
2014,
ArXiv.
Rajeev Alur,
Milo M. K. Martin,
Mukund Raghothaman,
2014,
Haifa Verification Conference.
Sumit Gulwani,
Abhishek Udupa,
Oleksandr Polozov,
2017,
ArXiv.
Sumit Gulwani,
Abhishek Udupa,
Ashish Tiwari,
2019,
ArXiv.
Rajeev Alur,
Abhishek Udupa,
Dana Fisman,
2019,
ArXiv.
Abhishek Udupa,
A. Udupa,
2016
.
Rajeev Alur,
Mukund Raghothaman,
Abhishek Udupa,
2015,
CAV.
Rajeev Alur,
Milo M. K. Martin,
Abhishek Udupa,
2012
.
Abhishek Udupa,
William Thies,
Kaushik Rajan,
2011,
PLDI '11.