A. Nori
发表
Thomas A. Henzinger,
Sriram K. Rajamani,
Aditya V. Nori,
2006,
SIGSOFT '06/FSE-14.
Alexander Aiken,
Rahul Sharma,
Saurabh Gupta,
2013,
ESOP.
Aditya V. Thakur,
A. Nori,
S. Rajamani,
2009
.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2015,
ESEC/SIGSOFT FSE.
A. Nori,
Ravi Mangal,
Xin Zhang,
2015
.
Prateek Jain,
Praneeth Netrapalli,
Aditya V. Nori,
2013,
ICML.
Benjamin Livshits,
Sriram K. Rajamani,
Anindya Banerjee,
2009,
PLDI '09.
Antonio Criminisi,
Leonidas Lampropoulos,
Dimitrios Vytiniotis,
2016,
NIPS.
Alexander Aiken,
Rahul Sharma,
Saurabh Gupta,
2013,
SAS.
Trishul M. Chilimbi,
Kapil Vaswani,
Aditya V. Nori,
2009,
2009 IEEE 31st International Conference on Software Engineering.
Supratik Chakraborty,
Sriram K. Rajamani,
Aditya V. Nori,
2008,
TACAS.
Sercan Ö. Arik,
A. Nori,
Tomas Pfister,
2019,
AAAI.
A. Nori,
Amit Sharma,
Shruti Tople,
2019,
ICML.
Chung-Kil Hur,
Sriram K. Rajamani,
Aditya V. Nori,
2014,
AAAI.
A. D. Gordon,
A. Nori,
S. Rajamani,
2013
.
A. Nori,
2005
.
Trishul M. Chilimbi,
A. Nori,
Kapil Vaswani,
2007,
ESEC-FSE companion '07.
Patrice Godefroid,
Aditya V. Nori,
Peli de Halleux,
2009
.
Aditya V. Nori,
Priti Shankar,
A. Nori,
2002
.
Helmut Seidl,
Aditya V. Nori,
A. Nori,
2002,
Universität Trier, Mathematik/Informatik, Forschungsbericht.
Aditya V. Nori,
A. Nori,
2016
.
A. Nori,
P. Shankar,
2003
.
A. Nori,
P. Shankar,
2005
.
A. Nori,
P. Shankar,
2004
.
Konstantinos Kamnitsas,
Garrison W. Cottrell,
Antonio Criminisi,
2018,
MICCAI.
Thomas A. Henzinger,
Andrew D. Gordon,
Sriram K. Rajamani,
2014,
FOSE.
Konstantinos Kamnitsas,
Ben Glocker,
Daniel Rueckert,
2016,
IPMI.
Antonio Criminisi,
David Carter,
Mark Phillips,
2018,
Physics in medicine and biology.
Nikolai Tillmann,
Jonathan de Halleux,
Wolfram Schulte,
2008,
IEEE Software.
Aseem Rastogi,
Nishanth Chandran,
Pratik Bhatu,
2020,
ArXiv.
Andrew D. Gordon,
Sriram K. Rajamani,
Aditya V. Nori,
2013,
ESEC/FSE 2013.
Alessandro Orso,
Ravi Mangal,
Aditya V. Nori,
2019,
2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER).
Aws Albarghouthi,
Loris D'Antoni,
Samuel Drews,
2017,
Proc. ACM Program. Lang..
Alexander Aiken,
Rahul Sharma,
Aditya V. Nori,
2012,
CAV.
Konstantinos Kamnitsas,
Ben Glocker,
Daniel Rueckert,
2016,
BrainLes@MICCAI.
Loïc Le Folgoc,
Daniel C. Castro,
Konstantinos Kamnitsas,
2018,
ICML.
Antonio Criminisi,
Daniel C. Alexander,
Aditya V. Nori,
2018,
ICML.
Aws Albarghouthi,
Loris D'Antoni,
Samuel Drews,
2016,
ArXiv.
Sriram K. Rajamani,
Aditya V. Nori,
Shayak Sen,
2016,
ArXiv.
Chung-Kil Hur,
Sriram K. Rajamani,
Aditya V. Nori,
2014,
PLDI.
Trishul M. Chilimbi,
Kapil Vaswani,
Aditya V. Nori,
2007,
ESEC-FSE '07.
Sriram K. Rajamani,
Aditya V. Nori,
A. Nori,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
William R. Harris,
Sriram K. Rajamani,
Akash Lal,
2010,
SAS.
Rahul Sharma,
Aditya V. Nori,
Rahul Sharma,
2013,
ESEC/FSE 2013.
Sriram K. Rajamani,
Sherjil Ozair,
Aditya V. Nori,
2015,
PLDI.
Suresh Jagannathan,
He Zhu,
Aditya V. Nori,
2015,
ICFP.
Sriram K. Rajamani,
Aditya V. Nori,
Arun Tejasvi Chaganty,
2013,
AISTATS.
Alessandro Orso,
Ravi Mangal,
Kartik Sarangmath,
2020,
SAS.
Sriram K. Rajamani,
Aditya V. Nori,
A. Nori,
2011,
APLAS.
A. Nori,
Samuel Drews,
2023
.
Alexander Aiken,
Rahul Sharma,
Aditya V. Nori,
2014,
POPL.
Aws Albarghouthi,
Loris D'Antoni,
Samuel Drews,
2017,
ArXiv.
A. Nori,
A. Madhu,
2004
.
A. Nori,
A. Madhu,
2003
.
Supratik Chakraborty,
G. Ramalingam,
Aditya V. Nori,
2011,
TOPL.
Supratik Chakraborty,
G. Ramalingam,
Aditya V. Nori,
2009,
SAS.
Robert J. Simmons,
Sriram K. Rajamani,
Aditya V. Nori,
2008,
IEEE Transactions on Software Engineering.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2016,
POPL.
Xin Zhang,
Mayur Naik,
Ravi Mangal,
2015,
SAT.
A. Nori,
2004
.
Sriram K. Rajamani,
A. Nori,
S. Rajamani,
2009,
TAP@TOOLS.
Aditya V. Nori,
Nels E. Beckman,
A. Nori,
2011,
PLDI '11.
Aditya Kanade,
Rahul Kumar,
Akash Lal,
2014,
MSR 2014.
Chung-Kil Hur,
Sriram K. Rajamani,
Aditya V. Nori,
2015,
FSTTCS.
Todd Millstein,
Rahul Sharma,
Saswat Padhi,
2019,
CAV.