Aditya V. Nori
发表
Alessandro Orso,
Ravi Mangal,
Kartik Sarangmath,
2020,
SAS.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2016,
POPL.
Sriram K. Rajamani,
Madhu Gopinathan,
Aditya V. Nori,
2008,
VSTTE.
Aditya Kanade,
Rahul Kumar,
Akash Lal,
2014,
MSR 2014.
Loïc Le Folgoc,
Daniel C. Castro,
Konstantinos Kamnitsas,
2018,
ICML.
Aws Albarghouthi,
Sriram K. Rajamani,
Rahul Kumar,
2012,
PLDI '12.
Claudio V. Russo,
Andrew D. Gordon,
Sriram K. Rajamani,
2013,
POPL.
Antonio Criminisi,
Daniel C. Alexander,
Aditya V. Nori,
2018,
ICML.
Trishul M. Chilimbi,
Kapil Vaswani,
Aditya V. Nori,
2007,
ESEC-FSE '07.
Aws Albarghouthi,
Loris D'Antoni,
Samuel Drews,
2016,
ArXiv.
Rahul Kumar,
Aditya V. Nori,
2013,
ESEC/FSE 2013.
Chung-Kil Hur,
Sriram K. Rajamani,
Aditya V. Nori,
2013
.
Alexander Aiken,
Rahul Sharma,
Saurabh Gupta,
2013,
ESOP.
Aditya V. Nori,
2014
.
Sriram K. Rajamani,
Aditya V. Nori,
2011,
APLAS.
Sriram K. Rajamani,
Aditya V. Nori,
A. Nori,
2011,
APLAS.
Patrice Godefroid,
Aditya V. Nori,
Peli de Halleux,
2009
.
Sriram K. Rajamani,
Aditya V. Nori,
Arun Tejasvi Chaganty,
2013,
AISTATS.
Alessandro Orso,
Ravi Mangal,
Aditya V. Nori,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER).
Nikolai Tillmann,
Jonathan de Halleux,
Wolfram Schulte,
2008,
IEEE Software.
Ashok Sreenivas,
Aditya V. Nori,
2000
.
William R. Harris,
Sriram K. Rajamani,
Akash Lal,
2010,
SAS.
Trishul M. Chilimbi,
Kapil Vaswani,
Aditya V. Nori,
2009,
2009 IEEE 31st International Conference on Software Engineering.
Claudio V. Russo,
Sriram K. Rajamani,
Thore Graepel,
2013,
POPL 2015.
Michael Carl Tschantz,
Aditya V. Nori,
2009
.
Sriram K. Rajamani,
Patrice Godefroid,
Aditya V. Nori,
2010,
POPL '10.
Aditya V. Nori,
Priti Shankar,
A. Nori,
2002
.
Sriram K. Rajamani,
Akash Lal,
Aditya V. Nori,
2013,
CAV.
Thomas A. Henzinger,
Sriram K. Rajamani,
Aditya V. Nori,
2006,
SIGSOFT '06/FSE-14.
Rahul Sharma,
Aditya V. Nori,
Rahul Sharma,
2013,
ESEC/FSE 2013.
Aditya V. Nori,
2014,
FormaliSE 2014.
Sriram K. Rajamani,
Aditya V. Nori,
A. Nori,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
Helmut Seidl,
Aditya V. Nori,
Priti Shankar,
2002
.
Prateek Jain,
Praneeth Netrapalli,
Aditya V. Nori,
2013,
ICML.
Loïc Le Folgoc,
Antonio Criminisi,
Siddharth Ancha,
2016,
BrainLes@MICCAI.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2015,
ESEC/SIGSOFT FSE.
Benjamin Livshits,
Sriram K. Rajamani,
Anindya Banerjee,
2009,
PLDI '09.
Alexander Aiken,
Rahul Sharma,
Aditya V. Nori,
2012,
CAV.
Sriram K. Rajamani,
Sherjil Ozair,
Aditya V. Nori,
2015,
PLDI.
Thomas A. Henzinger,
Andrew D. Gordon,
Sriram K. Rajamani,
2014,
FOSE.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2015,
SAT.
Andrew D. Gordon,
Sriram K. Rajamani,
Aditya V. Nori,
2012
.
Chung-Kil Hur,
Sriram K. Rajamani,
Aditya V. Nori,
2014,
PLDI.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2016,
AAAI.
Konstantinos Kamnitsas,
Garrison W. Cottrell,
Antonio Criminisi,
2018,
MICCAI.
Aditya V. Nori,
2012,
ATx/WInG@IJCAR.
Sriram K. Rajamani,
Aditya V. Nori,
Shayak Sen,
2016,
ArXiv.
Alexander Aiken,
Rahul Sharma,
Saurabh Gupta,
2013,
SAS.
Chung-Kil Hur,
Sriram K. Rajamani,
Aditya V. Nori,
2015,
FSTTCS.
Sriram K. Rajamani,
Aditya V. Thakur,
Aditya V. Nori,
2009,
TACAS.
Aditya V. Nori,
Nels E. Beckman,
A. Nori,
2011,
PLDI '11.
Supratik Chakraborty,
G. Ramalingam,
Aditya V. Nori,
2011,
TOPL.
Supratik Chakraborty,
G. Ramalingam,
Aditya V. Nori,
2009,
SAS.
Aditya V. Nori,
P. Shankar,
2006,
IEEE Transactions on Information Theory.
Antonio Criminisi,
Leonidas Lampropoulos,
Dimitrios Vytiniotis,
2016,
NIPS.
Trishul M. Chilimbi,
Kapil Vaswani,
Aditya V. Nori,
2007,
POPL '07.
Andrew D. Gordon,
Sriram K. Rajamani,
Aditya V. Nori,
2013,
ESEC/FSE 2013.
Supratik Chakraborty,
Sriram K. Rajamani,
Aditya V. Nori,
2010,
Inf. Process. Lett..
Aws Albarghouthi,
Loris D'Antoni,
Samuel Drews,
2017,
ArXiv.
Aditya V. Nori,
Rahul Purandare,
Venkatesh Vinayakarao,
2015,
PEPM.
Alexander Aiken,
Rahul Sharma,
Aditya V. Nori,
2014,
POPL.
Chung-Kil Hur,
Sriram K. Rajamani,
Aditya V. Nori,
2014,
AAAI.
Helmut Seidl,
Aditya V. Nori,
A. Nori,
2002,
Universität Trier, Mathematik/Informatik, Forschungsbericht.
Suresh Jagannathan,
He Zhu,
Aditya V. Nori,
2015,
VMCAI.
Robert J. Simmons,
Sriram K. Rajamani,
Aditya V. Nori,
2008,
IEEE Transactions on Software Engineering.
Loïc Le Folgoc,
Antonio Criminisi,
Aditya V. Nori,
2017,
IPMI.
Robert J. Simmons,
Sriram K. Rajamani,
Aditya V. Thakur,
2010,
IEEE Trans. Software Eng..
Aditya V. Nori,
Priti Shankar,
2003,
IEEE International Symposium on Information Theory, 2003. Proceedings..
Aws Albarghouthi,
Loris D'Antoni,
Samuel Drews,
2017,
Proc. ACM Program. Lang..
Supratik Chakraborty,
Sriram K. Rajamani,
Aditya V. Nori,
2008,
TACAS.
Suresh Jagannathan,
He Zhu,
Aditya V. Nori,
2015,
ICFP.
Sriram K. Rajamani,
Aditya V. Nori,
2009
.
Konstantinos Kamnitsas,
Ben Glocker,
Daniel Rueckert,
2016,
IPMI.
Aditya V. Nori,
A. Nori,
2016
.
Sriram K. Rajamani,
Aditya V. Nori,
2009,
TAP@TOOLS.
Konstantinos Kamnitsas,
Ben Glocker,
Daniel Rueckert,
2016,
BrainLes@MICCAI.
Ashok Sreenivas,
Aditya V. Nori,
2001
.