Ministry of Education
Deepak D Souza
VIDWAN ID: 54809

Dr Deepak D Souza

Male Doctor of Philosophy
Associate Professor | Computer Science and Automation
Indian Institute of Science, Bangalore
Karnataka
Expertise: Automation and Control Systems
Scopus 35785565800 Google Scholar pFttYPgAAAAJ
View older version My Dashboard
71 Publications
0 Projects
834 Scopus Citations
627 CrossRef
22 Years 11 Months Total Experience
Publications
71 Total
Articles
20
Books
1
Chapters
3
Proceedings
47
Activity

No publication activity to display.

Scopus Scopus
834 Citations
15 h-index
CrossRef CrossRef
627 Citations
14 h-index
Google Scholar Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

Steering Committee, FSTTCS
Member
Jan 2019
No Data Found

There is currently nothing to display here.

Personal Details

Doctor of Philosophy
2000
Devi Ahilya Vishwavidyalaya, Indore
Associate Professor
Oct 2003 – Present
Indian Institute of Science, Bangalore | Computer Science and Automation
Engineering and Technology
Automation and Control Systems

Related Profiles

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

A logical characterisation of event recording automata

Conference Paper
Year: 2000. Volume: 1926 , Pages: 240-251 .
Authors: Deepak D’Souza
DOI 10.1007/3-540-45352-0_20 Crossref Crossref: 2 Scopus Scopus: 5

Product interval automata

Journal Article
Sadhana. Year: 2002. Volume: 27 , Issue: PART 2 , Pages: 181-208 .
Authors: Deepak D’souza; P. S. Thiagarajan
DOI 10.1007/BF02717183 Crossref Crossref: 2 Scopus Scopus: 5

Timed control synthesis for external specifications

Journal Article
Year: 2002. Volume: 2285 , Pages: 571-582 .
Authors: Deepak D’souza; P. Madhusudan
DOI 10.1007/3-540-45841-7_47 Crossref Crossref: 38 Scopus Scopus: 57

An automata-theoretic approach to constraint LTL

Conference Paper
Year: 2002. Volume: 2556 LNCS , Pages: 121-132 .
Authors: Stéphane Demri; Deepak D’souza
DOI 10.1007/3-540-36206-1_12 Crossref Crossref: 7 Scopus Scopus: 13

Timed control with partial observability

Open Access
Journal Article
Year: 2003. Volume: 2725 , Pages: 180-192 .
Authors: Patricia Bouyer; Deepak D’Souza; P. Madhusudan; Antoine Petit
DOI 10.1007/978-3-540-45069-6_18 Crossref Crossref: 45 Scopus Scopus: 60

Checking consistency of SDL+MSC specifications

Journal Article
Year: 2003. Volume: 2648 , Pages: 151-165 .
Authors: Deepak D’Souza; Madhavan Mukund
DOI 10.1007/3-540-44829-2_10 Crossref Crossref: 3 Scopus Scopus: 5

A logical characterisation of event clock automata

Journal Article
International Journal of Foundations of Computer Science. Year: 2003. Volume: 14 , Issue: 4 , Pages: 625-639 .
Authors: Deepak D'souza
DOI 10.1142/S0129054103001923 Crossref Crossref: 16 Scopus Scopus: 16

Fault diagnosis using timed automata

Open Access
Conference Paper
Year: 2005. Volume: 3441 , Pages: 219-233 .
Authors: Patricia Bouyer; Fabrice Chevalier; Deepak D’Souza
DOI 10.1007/978-3-540-31982-5_14 Crossref Crossref: 49 Scopus Scopus: 81
Showing 1 to 8 of 71 publications