 | 2008 |
|---|
| 4 |       | Smita Krishnaswamy,
George F. Viamontes,
Igor L. Markov,
John P. Hayes:
Probabilistic transfer matrices in symbolic reliability analysis of logic circuits.
ACM Trans. Design Autom. Electr. Syst. 13(1): (2008) |
| 2007 |
|---|
| 3 | | George F. Viamontes,
Igor L. Markov,
John P. Hayes:
Checking equivalence of quantum circuits and states.
ICCAD 2007: 69-74 |
| 2005 |
|---|
| 2 | | Smita Krishnaswamy,
George F. Viamontes,
Igor L. Markov,
John P. Hayes:
Accurate Reliability Evaluation and Enhancement via Probabilistic Transfer Matrices.
DATE 2005: 282-287 |
| 2004 |
|---|
| 1 | | George F. Viamontes,
Igor L. Markov,
John P. Hayes:
High-Performance QuIDD-Based Simulation of Quantum Circuits.
DATE 2004: 1354-1355 |
