R. Venkatesh
发表
Ravindra Metta,
Priyanka Darke,
Bharti Chimdyalwar,
2015,
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Purandar Bhaduri,
R. Venkatesh,
Ulka Shrotri,
2003,
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..
Vivek Agarwal,
Shrawan Kumar,
R. Venkatesh,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.
Raveendra Kumar Medicherla,
R. Venkatesh,
Animesh Basak Chowdhury,
2019,
TACAS.
Pradeep Chintagunta,
Vijay Mahajan,
R. Venkatesh,
2006,
Manag. Sci..
Priyanka Singh,
Ravindra Metta,
R. Venkatesh,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
Towards a Group Theoretic Quantum Encryption Scheme Based on Generalized Hidden Subgroup Problem
pdf
N. Srinivasan,
R. Venkatesh,
C. Sanjeevakumar,
2005,
ArXiv.
R. Venkatesh,
Ulka Shrotri,
Tukaram Muske,
2010,
SEKE.
R. Venkatesh,
Ramanathan Subramaniam,
R. Venkatesh,
2009,
Mark. Sci..
Samarjit Chakraborty,
Ravindra Metta,
R. Venkatesh,
2018,
2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).
R. Venkatesh,
Uday P. Khedker,
Anushri Jana,
2016,
LOPSTR.
Vinay Kulkarni,
R. Venkatesh,
Sreedhar Reddy,
2002,
OOIS Workshops.
Mathai Joseph,
Purandar Bhaduri,
R. Venkatesh,
2001,
Proceedings Eighth Asia-Pacific Software Engineering Conference.
R. Venkatesh,
Kumar Madhukar,
Muqsit Azeem,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering: New Ideas and Emerging Technologies Results (ICSE-NIER).
Supriya Agrawal,
R. Venkatesh,
Ulka Shrotri,
2015,
2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE).
R. Venkatesh,
Zhiming Liu,
Zhiming Liu,
2005,
VSTTE.
R. Venkatesh,
Kumar Madhukar,
Sumanth Prabhu,
2018,
SAS.
Padmanabhan Krishnan,
Prasad Bokil,
R. Venkatesh,
2012,
2012 45th Hawaii International Conference on System Sciences.
Samarjit Chakraborty,
Martin Becker,
Ravindra Metta,
2018,
International Journal on Software Tools for Technology Transfer.
Srihari Sukumaran,
R. Venkatesh,
Ashok Sreenivas,
2006,
Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
Ravindra Metta,
R. Venkatesh,
Ulka Shrotri,
2013,
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Samarjit Chakraborty,
Martin Becker,
Ravindra Metta,
2016,
LCTES.
R. Venkatesh,
Allen Otis,
Robert Bretl,
1998,
POS/PJW.
Shrawan Kumar,
Priyanka Darke,
Bharti Chimdyalwar,
2017,
TACAS.
Priyanka Darke,
R. Venkatesh,
Ulka Shrotri,
2012,
2012 19th Asia-Pacific Software Engineering Conference.
Supriya Agrawal,
R. Venkatesh,
Ulka Shrotri,
2014,
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Ravindra Metta,
R. Venkatesh,
Ulka Shrotri,
2010,
ISEC.
R. Venkatesh,
M. J. Kumar,
K. K. Lau,
1996,
Proceedings of 1996 IEEE Second International Conference on Algorithms and Architectures for Parallel Processing, ICA/sup 3/PP '96.
Prasad Bokil,
R. Venkatesh,
Ulka Shrotri,
2010,
TAIC PART.
Padmanabhan Krishnan,
Prasad Bokil,
R. Venkatesh,
2015,
SOEN.
Mathai Joseph,
R. Venkatesh,
Ashok Sreenivas,
2001,
CATS.
R. Venkatesh,
Anand Yeolekar,
Kumar Madhukar,
2017,
TAMC.
Supriya Agrawal,
R. Venkatesh,
Ulka Shrotri,
2015,
ENASE.
R. Venkatesh,
1988
.
Prasad Bokil,
Priyanka Darke,
R. Venkatesh,
2009,
2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement.
Vijay Mahajan,
Ashutosh Prasad,
R. Venkatesh,
2010,
Manag. Sci..
Priyanka Darke,
Bharti Chimdyalwar,
R. Venkatesh,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Girish Keshav Palshikar,
Purandar Bhaduri,
R. Venkatesh,
2002,
VISS@ETAPS.
N. Srinivasan,
R. Venkatesh,
C. Sanjeevakumar,
2005,
IACR Cryptol. ePrint Arch..
Shrawan Kumar,
Raveendra Kumar Medicherla,
Priyanka Darke,
2018,
TACAS.
Deepali Kholkar,
R. Venkatesh,
Ulka Shrotri,
2005,
SoftVis '05.
R. Venkatesh,
S. Jeyanthi,
N. Uma Maheswari,
2018,
Int. J. Fuzzy Syst..
Samarjit Chakraborty,
Martin Becker,
Ravindra Metta,
2019,
LCTES.
Amitabha Sanyal,
Shrawan Kumar,
R. Venkatesh,
2018,
TACAS.
R. Venkatesh,
Kumar Madhukar,
Muqsit Azeem,
2021,
ArXiv.
Priyanka Darke,
R. Venkatesh,
Sakshi Agrawal,
2021,
TACAS.
R. Venkatesh,
Ulka Shrotri,
Srinarayana Nagarathinam,
2021,
2021 58th ACM/IEEE Design Automation Conference (DAC).
Purandar Bhaduri,
R. Venkatesh,
R. Venkatesh,
2022
.