2008 |
4 | EE | 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 | EE | George F. Viamontes,
Igor L. Markov,
John P. Hayes:
Checking equivalence of quantum circuits and states.
ICCAD 2007: 69-74 |
2005 |
2 | EE | 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 | EE | George F. Viamontes,
Igor L. Markov,
John P. Hayes:
High-Performance QuIDD-Based Simulation of Quantum Circuits.
DATE 2004: 1354-1355 |