| |
| 2003 | ||
|---|---|---|
| 3 | EE | Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal: BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. Formal Methods in System Design 22(3): 205-224 (2003) |
| 1998 | ||
| 2 | Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal: BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. CAV 1998: 244-255 | |
| 1997 | ||
| 1 | EE | Tai-Hung Liu, Khurram Sajid, Adnan Aziz, Vigyan Singhal: Optimizing Designs Containing Black Boxes. DAC 1997: 113-116 |
| 1 | Adnan Aziz | [1] [2] [3] |
| 2 | Anuj Goel | [2] [3] |
| 3 | Tai-Hung Liu | [1] |
| 4 | Vigyan Singhal | [1] [2] [3] |
| 5 | Hai Zhou | [2] [3] |