David Y. Feinstein

14 papers A 1Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2015 J jnl
Modeling System Threat Probabilities Using Mixed-Radix Multiple-Valued Logic Decision Diagrams.
J. Multiple Valued Log. Soft Comput.
Theodore W. Manikas, Mitchell A. Thornton, David Y. Feinstein
2015 J jnl
Quantum Multiple-Valued Decision Diagrams Containing Skipped Variables.
J. Multiple Valued Log. Soft Comput.
David Y. Feinstein, Mitchell A. Thornton
2012 — conf
Modeling Medical System Threats with Conditional Probabilities Using Multiple-Valued Logic Decision Diagrams.
ISMVL
Theodore W. Manikas, David Y. Feinstein, Mitchell A. Thornton
2012 J jnl
Reversible Logic Synthesis Based on Decision Diagram Variable Ordering.
J. Multiple Valued Log. Soft Comput.
David Y. Feinstein, Mitchell A. Thornton
2012 — conf
Using the Asynchronous Paradigm for Reversible Sequential Circuit Implementation.
ISMVL
David Y. Feinstein, Mitchell A. Thornton
2011 — conf
On the Skipped Variables of Quantum Multiple-Valued Decision Diagrams.
ISMVL
David Y. Feinstein, Mitchell A. Thornton
2011 — conf
Using Multiple-Valued Logic Decision Diagrams to Model System Threat Probabilities.
ISMVL
Theodore W. Manikas, Mitchell A. Thornton, David Y. Feinstein
2009 J jnl
Minimization of Quantum Multiple-valued Decision Diagrams Using Data Structure Metrics.
J. Multiple Valued Log. Soft Comput.
David Y. Feinstein, Mitchell A. Thornton, D. Michael Miller
2009 — conf
On the Guidance of Reversible Logic Synthesis by Dynamic Variable Reordering.
ISMVL
David Y. Feinstein, Mitchell A. Thornton
2008 — conf
On the Data Structure Metrics of Quantum Multiple-Valued Decision Diagrams.
ISMVL
David Y. Feinstein, Mitchell A. Thornton, D. Michael Miller
2008 A conf
Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits.
DATE
David Y. Feinstein, Mitchell A. Thornton, D. Michael Miller
2007 — conf
Advances in Quantum Computing Fault Tolerance and Testing.
HASE
David Y. Feinstein, V. S. S. Nair, Mitchell A. Thornton
2007 J jnl
QMDD Minimization Using Sifting for Variable Reordering.
J. Multiple Valued Log. Soft Comput.
D. Michael Miller, David Y. Feinstein, Mitchell A. Thornton
2007 — conf
Variable Reordering and Sifting for QMDD.
ISMVL
D. Michael Miller, David Y. Feinstein, Mitchell A. Thornton