| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| 5 |      | Ashvin Dsouza: Static analysis of deadends in SVA constraints. HLDVT 2010: 82-89 |
| 2005 | ||
| 4 | | Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma: Supporting sequential assumptions in hybrid verification. ASP-DAC 2005: 1035-1038 |
| 1997 | ||
| 3 | | Bard Bloom, Allan Cheng, Ashvin Dsouza: Using a Protean Language to Enhance Expressiveness in Specification. IEEE Trans. Software Eng. 23(4): 224-234 (1997) |
| 1995 | ||
| 2 | | Ashvin Dsouza, Bard Bloom: Generating BDD Models for Process Algebra Terms. CAV 1995: 16-30 |
| 1 | | Ashvin Dsouza, Bard Bloom: On the Expressive Power of CCS. FSTTCS 1995: 309-323 |
| 1 | Bard Bloom | [1] [2] [3] |
| 2 | Eduard Cerny | [4] |
| 3 | Allan Cheng | [3] |
| 4 | Kevin Harer | [4] |
| 5 | Pei-Hsin Ho | [4] |
| 6 | Hi-Keung Tony Ma | [4] |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page