D. D'Souza

发表

P. Thiagarajan, D. D'Souza, 2002 .
P. Prabhakar, D. D'Souza, R. Mohan, 2006 .
D. D'Souza, P. Madhusudany, 1997 .
D. D'Souza, Madhu Gopinathan, 2009 .
Deepak D'Souza, Stéphane Demri, Régis Gascon, 2012, J. Log. Comput..
Deepak D'Souza, K. R. Raghavendra, D. D'Souza, 2012, ESORICS.
Deepak D'Souza, Arnab De, D. D'Souza, 2012, ECOOP.
Deepak D'Souza, Nicolas Tabareau, Nicolas Tabareau, 2004, FORMATS/FTRTFT.
Deepak D'Souza, M. Raj Mohan, D. D'Souza, 2012, ICTAC.
Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan, 2010, ISEC.
Deepak D'Souza, Stéphane Demri, D. D'Souza, 2002, Inf. Comput..
P. S. Thiagarajan, Deepak D’Souza, P. Thiagarajan, 1999, FSTTCS.
Deepak D'Souza, Noam Rinetzky, Sharon Shoham, 2020, ArXiv.
Deepak D'Souza, Rupesh Nasre, Arnab De, 2011, ESOP.
Y. N. Srikant, Deepak D'Souza, Ashish Mishra, 2017, ArXiv.
A. Kundu, D. D'Souza, G. Babu, 2020, ATVA.
Deepak D'Souza, Madhavan Mukund, Madhavan Mukund, 2003, SPIN.
Sumesh Divakaran, Deepak D'Souza, Nigamanth Sridhar, 2015, ICFEM.
Patricia Bouyer, Deepak D'Souza, Fabrice Chevalier, 2005, FoSSaCS.
Indrajit Bhattacharya, Raghavan Komondoor, Deepak D'Souza, 2016, 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME).
Deepak D'Souza, Indrajit Bhattacharya, Raghavan Komondoor, 2013, 2013 20th Working Conference on Reverse Engineering (WCRE).
Grigory Fedyukovich, Deepak D'Souza, Kumar Madhukar, 2021, PLDI.
P. Madhusudan, Deepak D’Souza, D. D'Souza, 2002, STACS.
Raghavan Komondoor, D. D'Souza, Stanly Samuel, 2023, arXiv.org.
Raghavan Komondoor, Deepak D'Souza, Stanly Samuel, 2021, ESEC/SIGSOFT FSE.
Deepak D'Souza, Patricia Bouyer, Antoine Petit, 2003, CAV.
Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen, 2015, Lecture Notes in Computer Science.
Janardhan Kulkarni, Deepak D'Souza, Barbara Sprick, 2008, ICISS.
Deepak D'Souza, Barbara Sprick, K. R. Raghavendra, 2005, ARSPA@ICALP.
Deepak D'Souza, Raghavendra K. Ramesh, D. D'Souza, 2016, J. Comput. Secur..
Deepak D'Souza, Barbara Sprick, K. R. Raghavendra, 2011, J. Comput. Secur..
Deepak D'Souza, Pavithra Prabhakar, P. Prabhakar, 2007, International Journal on Software Tools for Technology Transfer.
Deepak D'Souza, Madhu Gopinathan, D. D'Souza, 2008, CAV.
Deepak D'Souza, Stéphane Demri, Régis Gascon, 2007, LFCS.
P. Garg, D. Neider, D. D'Souza, 2017, Proc. ACM Program. Lang..
Deepak D'Souza, M. Raj Mohan, Pavithra Prabhakar, 2009, Ann. Pure Appl. Log..
Deepak D'Souza, M. Raj Mohan, Pavithra Prabhakar, 2012, Modern Applications of Automata Theory.
Deepak D'Souza, Remish L. Minz, Prakash Chandrasekaran, 2014, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).
Deepak D'Souza, Pavithra Prabhakar, P. Prabhakar, 2006, FORMATS.