Deepak D’Souza
Author
Alternate names Deepak D’Souza, Deepak D'Souza, D. D'Souza, Deepak Dsouza, D.F. D'Souza
Institution Indian Institute of Science Bangalore
Past institutions Indian Institute of Science Bangalore, Memorial Sloan Kettering Cancer Center, Yale University, University of Maryland, Baltimore, Case Western Reserve University +2 more
ORCID: Yes
H-index: 15
I10-index: 21
Works count: 80
Citations count: 736
Timed Control with Partial Observability
2003 · Patricia Bouyer, Deepak D’Souza, et al. · Lecture notes in computer science
Horn-ICE learning for synthesizing invariants and contracts
2018 · P. Ezudheen, Daniel Neider, et al. · Proceedings of the ACM on Programming Languages
On the expressiveness of MTL in the pointwise and continuous semantics
2006 · Deepak D’Souza, Pavithra Prabhakar · International Journal on Software Tools for Technology Transfer