Rohit Chadha
发表
Matthew S. Bauer,
A. P. Sistla,
Mahesh Viswanathan,
2018
.
A. P. Sistla,
G. Barthe,
Rohit Chadha,
2019
.
Rohit Chadha,
Vladimiro Sassone,
Damiano Macedonio,
2004
.
Rohit Chadha,
2011
.
Matthew S. Bauer,
A. P. Sistla,
Mahesh Viswanathan,
2020,
Formal Methods in System Design.
Mahesh Viswanathan,
Rohit Chadha,
A. Prasad Sistla,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Rohit Chadha,
Cristina Sernadas,
Amílcar Sernadas,
2009
.
Rohit Chadha,
Amílcar Sernadas,
Luís Cruz-Filipe,
2007,
Theor. Comput. Sci..
Mahesh Viswanathan,
Rohit Chadha,
A. Prasad Sistla,
2017,
FoSSaCS.
Mahesh Viswanathan,
Rohit Chadha,
A. Prasad Sistla,
2011,
VMCAI.
Mahesh Viswanathan,
Rohit Chadha,
A. Prasad Sistla,
2009,
CONCUR.
Rohit Chadha,
Amílcar Sernadas,
Paulo Mateus,
2006,
MFPS.
Mahesh Viswanathan,
Rohit Chadha,
A. Prasad Sistla,
2015,
FoSSaCS.
Mahesh Viswanathan,
Rohit Chadha,
A. Prasad Sistla,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Rohit Chadha,
Vincent Cheval,
Steve Kremer,
2012,
ACM Trans. Comput. Log..
Rohit Chadha,
A. Prasad Sistla,
Mahesh Viswanathan,
2020,
Proc. ACM Program. Lang..
A. P. Sistla,
Mahesh Viswanathan,
G. Barthe,
2020,
Artifact Digital Object Group.
Mahesh Viswanathan,
Rohit Chadha,
A. Prasad Sistla,
2020,
LICS.
A. P. Sistla,
Mahesh Viswanathan,
G. Barthe,
2019,
LICS.
S. Kremer,
Rohit Chadha,
Stefan Ciobaca,
2012,
ACM Trans. Comput. Log..
Rohit Chadha,
Gergei Bana,
Rohit Chadha,
2019,
IACR Cryptol. ePrint Arch..
Mahesh Viswanathan,
Rohit Chadha,
A. Prasad Sistla,
2018,
CAV.
Mahesh Viswanathan,
Rohit Chadha,
Matthew S. Bauer,
2017,
ESORICS.
Mahesh Viswanathan,
Rohit Chadha,
A. Prasad Sistla,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Mahesh Viswanathan,
Rohit Chadha,
Matthew S. Bauer,
2016,
POST.
Rohit Chadha,
Stéphanie Delaune,
Steve Kremer,
2009,
FMOODS/FORTE.
Rohit Chadha,
Mahesh Viswanathan,
Matthew S. Bauer,
2020,
Logic, Language, and Security.
Mahesh Viswanathan,
Rohit Chadha,
Dileep Kini,
2014,
POST.
Rohit Chadha,
Michael Ummels,
Rohit Chadha,
2012,
FSTTCS.
Rohit Chadha,
Michael Ummels,
Rohit Chadha,
2012
.
Mahesh Viswanathan,
Minjia Zhang,
Rohit Chadha,
2023,
TACAS.
Rohit Chadha,
Stefan Schwoon,
Umang Mathur,
2014,
FSTTCS.
Rohit Chadha,
Paulo Mateus,
Pedro Baltazar,
2008
.
Rohit Chadha,
Vladimiro Sassone,
Damiano Macedonio,
2006,
J. Log. Comput..
Rohit Chadha,
Andre Scedrov,
Steve Kremer,
2004,
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Rohit Chadha,
Andre Scedrov,
A. Scedrov,
2003
.
Stefan Schwoon,
Umang Mathur,
Rohit Chadha,
2014,
FSTTCS.
Rohit Chadha,
Max I. Kanovich,
Andre Scedrov,
2001,
CCS '01.
Rohit Chadha,
Amílcar Sernadas,
Paulo Mateus,
2007,
ICQNM.
Rohit Chadha,
A. Sistla,
Mahesh Viswanathan,
2023,
CCS.
Mahesh Viswanathan,
Rohit Chadha,
A. Prasad Sistla,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Rohit Chadha,
A. Prasad Sistla,
Mahesh Viswanathan,
2019,
ArXiv.
Mahesh Viswanathan,
Rohit Chadha,
Ramesh Viswanathan,
2008,
Inf. Comput..
Mahesh Viswanathan,
Rohit Chadha,
Mahesh Viswanathan,
2008,
TOCL.