P. Madhusudan
发表
P. Ezudheen,
Deepak D'Souza,
Pranav Garg,
2018,
Proc. ACM Program. Lang..
P. Madhusudan,
2012
.
Salvatore La Torre,
P. Madhusudan,
2019,
FSTTCS.
P. Madhusudan,
Mahesh Viswanathan,
Umang Mathur,
2019,
Proc. ACM Program. Lang..
V. N. Venkatakrishnan,
P. Madhusudan,
Prithvi Bisht,
2007,
CCS '07.
P. Madhusudan,
Deepak D’Souza,
D. D'Souza,
2002,
STACS.
P. Madhusudan,
Daniel Neider,
Pranav Garg,
2020,
Journal of Automated Reasoning.
Christof Löding,
P. Madhusudan,
Adithya Murali,
2020,
ArXiv.
Deepak D'Souza,
Patricia Bouyer,
Antoine Petit,
2003,
CAV.