Deepak D'Souza
1999–2026 年に発表
- 所属
- Chennai Mathematical Instituteこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0002-6629-6604
- 別表記
- Deepak D’Souza
- 77
- 論文数
- 1,063
- 被引用数
- 18
- h 指数
- 30
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science94.9%
- Engineering2.9%
- Decision Sciences0.6%
- Social Sciences0.5%
- Business, Management and Accounting0.3%
- Neuroscience0.3%
- その他0.5%
トピック
- Formal Methods in Verification29.5%
- Logic, programming, and type systems14.2%
- Software Testing and Debugging Techniques8.2%
- Petri Nets in System Modeling7.6%
- Model-Driven Software Engineering Techniques5.2%
- Logic, Reasoning, and Knowledge5%
- その他30.3%
よく組む共著者
- Pavithra Prabhakar9
- Raghavan Komondoor7
- Rekha R. Pai7
- Fabrice Chevalier5
- Meenakshi D'Souza5
- P. Madhusudan5
- Arnab De4
- Madhu Gopinathan4
- Stanly Samuel4
- Sumesh Divakaran4
- Suvam Mukherjee4
- Abhishek Uppar3
- Barbara Sprick3
- Grigory Fedyukovich3
- Habeeb P3
- K. R. Raghavendra3
- M. Raj Mohan3
- Noam Rinetzky3
- Oded Padon3
- Prahladavaradan Sampath3
- Raj Mohan Matteplackel3
- Raveendra Holla3
- Sharon Shoham3
- Stéphane Demri3
全論文
論文を読み込んでいます…
