Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Khurram Sajid

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2003
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fmsd/GoelSZAS03
- ask others
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)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1998
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/GoelSZAS98
- ask others
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
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dac/LiuSAS97
- ask others
Tai-Hung Liu, Khurram Sajid, Adnan Aziz, Vigyan Singhal: Optimizing Designs Containing Black Boxes. DAC 1997: 113-116

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?