default search action

combined dblp search
author search
venue search
publication search

ask others

Moayad Fahim Ali

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

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

2005
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/SmithVAV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/SmithVAV05
Alexander Smith, Andreas G. Veneris, Moayad Fahim Ali, Anastasios Viglas:
Fault diagnosis and logic debugging using Boolean satisfiability. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24(10): 1606-1621 (2005)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/AliSVAD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/AliSVAD05
Moayad Fahim Ali, Sean Safarpour, Andreas G. Veneris, Magdy S. Abadir, Rolf Drechsler:
Post-verification debugging of hierarchical designs. ICCAD 2005: 871-876
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/AliSVAD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/AliSVAD05
Moayad Fahim Ali, Sean Safarpour, Andreas G. Veneris, Magdy S. Abadir, Rolf Drechsler:
Post-Verification Debugging of Hierarchical Designs. MTV 2005: 42-47
2004
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/AliVSSDA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/AliVSSDA04
Moayad Fahim Ali, Andreas G. Veneris, Alexander Smith, Sean Safarpour, Rolf Drechsler, Magdy S. Abadir:
Debugging sequential circuits using Boolean satisfiability. ICCAD 2004: 204-209
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/AliVSASDS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/AliVSASDS04
Moayad Fahim Ali, Andreas G. Veneris, Sean Safarpour, Magdy S. Abadir, Rolf Drechsler, Alexander Smith:
Debugging Sequential Circuits Using Boolean Satisfiability. MTV 2004: 44-49

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.