David Y. Feinstein

According to our database, David Y. Feinstein authored at least 14 papers between 2007 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Modeling System Threat Probabilities Using Mixed-Radix Multiple-Valued Logic Decision Diagrams.

Theodore W. Manikas, Mitchell A. Thornton, David Y. Feinstein

J. Multiple Valued Log. Soft Comput., 2015

Quantum Multiple-Valued Decision Diagrams Containing Skipped Variables.

David Y. Feinstein, Mitchell A. Thornton

J. Multiple Valued Log. Soft Comput., 2015

2012

Reversible Logic Synthesis Based on Decision Diagram Variable Ordering.

David Y. Feinstein, Mitchell A. Thornton

J. Multiple Valued Log. Soft Comput., 2012

Modeling Medical System Threats with Conditional Probabilities Using Multiple-Valued Logic Decision Diagrams.

Theodore W. Manikas, David Y. Feinstein, Mitchell A. Thornton

Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012

Using the Asynchronous Paradigm for Reversible Sequential Circuit Implementation.

David Y. Feinstein, Mitchell A. Thornton

Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012

2011

Using Multiple-Valued Logic Decision Diagrams to Model System Threat Probabilities.

Theodore W. Manikas, Mitchell A. Thornton, David Y. Feinstein

Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic, 2011

On the Skipped Variables of Quantum Multiple-Valued Decision Diagrams.

David Y. Feinstein, Mitchell A. Thornton

Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic, 2011

2009

Minimization of Quantum Multiple-valued Decision Diagrams Using Data Structure Metrics.

David Y. Feinstein, Mitchell A. Thornton, D. Michael Miller

J. Multiple Valued Log. Soft Comput., 2009

On the Guidance of Reversible Logic Synthesis by Dynamic Variable Reordering.

David Y. Feinstein, Mitchell A. Thornton

Proceedings of the ISMVL 2009, 2009

2008

On the Data Structure Metrics of Quantum Multiple-Valued Decision Diagrams.

David Y. Feinstein, Mitchell A. Thornton, D. Michael Miller

Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits.

David Y. Feinstein, Mitchell A. Thornton, D. Michael Miller

Proceedings of the Design, Automation and Test in Europe, 2008

2007

QMDD Minimization Using Sifting for Variable Reordering.

D. Michael Miller, David Y. Feinstein, Mitchell A. Thornton

J. Multiple Valued Log. Soft Comput., 2007

Variable Reordering and Sifting for QMDD.

D. Michael Miller, David Y. Feinstein, Mitchell A. Thornton

Proceedings of the 37th International Symposium on Multiple-Valued Logic, 2007

Advances in Quantum Computing Fault Tolerance and Testing.

David Y. Feinstein, V. S. S. Nair, Mitchell A. Thornton

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007