BibTeX records: David Y. Feinstein

download as .bib file

@article{DBLP:journals/mvl/FeinsteinT15,
  author    = {David Y. Feinstein and
               Mitchell A. Thornton},
  title     = {Quantum Multiple-Valued Decision Diagrams Containing Skipped Variables},
  journal   = {Multiple-Valued Logic and Soft Computing},
  volume    = {24},
  number    = {1-4},
  pages     = {93--108},
  year      = {2015},
  url       = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-24-number-1-4-2015/mvlsc-24-1-4-p-93-108/},
  timestamp = {Tue, 24 Mar 2015 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mvl/FeinsteinT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/ManikasTF15,
  author    = {Theodore W. Manikas and
               Mitchell A. Thornton and
               David Y. Feinstein},
  title     = {Modeling System Threat Probabilities Using Mixed-Radix Multiple-Valued
               Logic Decision Diagrams},
  journal   = {Multiple-Valued Logic and Soft Computing},
  volume    = {24},
  number    = {1-4},
  pages     = {135--149},
  year      = {2015},
  url       = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-24-number-1-4-2015/mvlsc-24-1-4-p-135-149/},
  timestamp = {Tue, 24 Mar 2015 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mvl/ManikasTF15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/FeinsteinT12,
  author    = {David Y. Feinstein and
               Mitchell A. Thornton},
  title     = {Reversible Logic Synthesis Based on Decision Diagram Variable Ordering},
  journal   = {Multiple-Valued Logic and Soft Computing},
  volume    = {19},
  number    = {4},
  pages     = {325--339},
  year      = {2012},
  url       = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-19-number-4-2012/mvlsc-19-4-p-325-339/},
  timestamp = {Thu, 07 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mvl/FeinsteinT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/ManikasFT12,
  author    = {Theodore W. Manikas and
               David Y. Feinstein and
               Mitchell A. Thornton},
  title     = {Modeling Medical System Threats with Conditional Probabilities Using
               Multiple-Valued Logic Decision Diagrams},
  booktitle = {42nd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
               2012, Victoria, BC, Canada, May 14-16, 2012},
  pages     = {244--249},
  year      = {2012},
  crossref  = {DBLP:conf/ismvl/2012},
  url       = {https://doi.org/10.1109/ISMVL.2012.29},
  doi       = {10.1109/ISMVL.2012.29},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ismvl/ManikasFT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/FeinsteinT12,
  author    = {David Y. Feinstein and
               Mitchell A. Thornton},
  title     = {Using the Asynchronous Paradigm for Reversible Sequential Circuit
               Implementation},
  booktitle = {42nd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
               2012, Victoria, BC, Canada, May 14-16, 2012},
  pages     = {305--310},
  year      = {2012},
  crossref  = {DBLP:conf/ismvl/2012},
  url       = {https://doi.org/10.1109/ISMVL.2012.33},
  doi       = {10.1109/ISMVL.2012.33},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ismvl/FeinsteinT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/FeinsteinT11,
  author    = {David Y. Feinstein and
               Mitchell A. Thornton},
  title     = {On the Skipped Variables of Quantum Multiple-Valued Decision Diagrams},
  booktitle = {41st {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
               2011, Tuusula, Finland, May 23-25, 2011},
  pages     = {164--169},
  year      = {2011},
  crossref  = {DBLP:conf/ismvl/2011},
  url       = {https://doi.org/10.1109/ISMVL.2011.22},
  doi       = {10.1109/ISMVL.2011.22},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ismvl/FeinsteinT11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/ManikasTF11,
  author    = {Theodore W. Manikas and
               Mitchell A. Thornton and
               David Y. Feinstein},
  title     = {Using Multiple-Valued Logic Decision Diagrams to Model System Threat
               Probabilities},
  booktitle = {41st {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
               2011, Tuusula, Finland, May 23-25, 2011},
  pages     = {263--267},
  year      = {2011},
  crossref  = {DBLP:conf/ismvl/2011},
  url       = {https://doi.org/10.1109/ISMVL.2011.12},
  doi       = {10.1109/ISMVL.2011.12},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ismvl/ManikasTF11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/FeinsteinTM09,
  author    = {David Y. Feinstein and
               Mitchell A. Thornton and
               D. Michael Miller},
  title     = {Minimization of Quantum Multiple-valued Decision Diagrams Using Data
               Structure Metrics},
  journal   = {Multiple-Valued Logic and Soft Computing},
  volume    = {15},
  number    = {4},
  pages     = {361--377},
  year      = {2009},
  url       = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-15-number-4-2009/mvlsc-15-4-p-361-377/},
  timestamp = {Thu, 07 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mvl/FeinsteinTM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/FeinsteinT09,
  author    = {David Y. Feinstein and
               Mitchell A. Thornton},
  title     = {On the Guidance of Reversible Logic Synthesis by Dynamic Variable
               Reordering},
  booktitle = {{ISMVL} 2009, 39th International Symposium on Multiple-Valued Logic,
               21-23 May 2009, Naha, Okinawaw, Japan},
  pages     = {132--138},
  year      = {2009},
  crossref  = {DBLP:conf/ismvl/2009},
  url       = {https://doi.org/10.1109/ISMVL.2009.31},
  doi       = {10.1109/ISMVL.2009.31},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ismvl/FeinsteinT09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/FeinsteinTM08,
  author    = {David Y. Feinstein and
               Mitchell A. Thornton and
               D. Michael Miller},
  title     = {Partially Redundant Logic Detection Using Symbolic Equivalence Checking
               in Reversible and Irreversible Logic Circuits},
  booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
               March 10-14, 2008},
  pages     = {1378--1381},
  year      = {2008},
  crossref  = {DBLP:conf/date/2008},
  url       = {https://doi.org/10.1109/DATE.2008.4484932},
  doi       = {10.1109/DATE.2008.4484932},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/FeinsteinTM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/FeinsteinTM08,
  author    = {David Y. Feinstein and
               Mitchell A. Thornton and
               D. Michael Miller},
  title     = {On the Data Structure Metrics of Quantum Multiple-Valued Decision
               Diagrams},
  booktitle = {38th {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
               2008), 22-23 May 2008, Dallas, Texas, {USA}},
  pages     = {138--143},
  year      = {2008},
  crossref  = {DBLP:conf/ismvl/2008},
  url       = {https://doi.org/10.1109/ISMVL.2008.28},
  doi       = {10.1109/ISMVL.2008.28},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ismvl/FeinsteinTM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/MillerFT07,
  author    = {D. Michael Miller and
               David Y. Feinstein and
               Mitchell A. Thornton},
  title     = {{QMDD} Minimization Using Sifting for Variable Reordering},
  journal   = {Multiple-Valued Logic and Soft Computing},
  volume    = {13},
  number    = {4-6},
  pages     = {537--552},
  year      = {2007},
  url       = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-13-number-4-6-2007/mvlsc-13-4-6-p-537-552/},
  timestamp = {Thu, 07 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mvl/MillerFT07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/FeinsteinNT07,
  author    = {David Y. Feinstein and
               V. S. S. Nair and
               Mitchell A. Thornton},
  title     = {Advances in Quantum Computing Fault Tolerance and Testing},
  booktitle = {Tenth {IEEE} International Symposium on High Assurance Systems Engineering
               {(HASE} 2007), November 14-16, 2007, Dallas, Texas, {USA}},
  pages     = {369--370},
  year      = {2007},
  crossref  = {DBLP:conf/hase/2007},
  url       = {https://doi.org/10.1109/HASE.2007.53},
  doi       = {10.1109/HASE.2007.53},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hase/FeinsteinNT07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/MillerFT07,
  author    = {D. Michael Miller and
               David Y. Feinstein and
               Mitchell A. Thornton},
  title     = {Variable Reordering and Sifting for {QMDD}},
  booktitle = {37th International Symposium on Multiple-Valued Logic, {ISMVL} 2007,
               13-16 May 2007, Oslo, Norway},
  pages     = {10},
  year      = {2007},
  crossref  = {DBLP:conf/ismvl/2007},
  url       = {https://doi.org/10.1109/ISMVL.2007.59},
  doi       = {10.1109/ISMVL.2007.59},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ismvl/MillerFT07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ismvl/2012,
  editor    = {D. Michael Miller and
               Vincent C. Gaudet},
  title     = {42nd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
               2012, Victoria, BC, Canada, May 14-16, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6214742/proceeding},
  isbn      = {978-1-4673-0908-0},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ismvl/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ismvl/2011,
  editor    = {Jaakko Astola and
               Radomir S. Stankovic},
  title     = {41st {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
               2011, Tuusula, Finland, May 23-25, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5952386/proceeding},
  isbn      = {978-0-7695-4405-2},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ismvl/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ismvl/2009,
  title     = {{ISMVL} 2009, 39th International Symposium on Multiple-Valued Logic,
               21-23 May 2009, Naha, Okinawaw, Japan},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5010354/proceeding},
  isbn      = {978-0-7695-3607-1},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ismvl/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2008,
  editor    = {Donatella Sciuto},
  title     = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
               March 10-14, 2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1403375},
  doi       = {10.1145/1403375},
  isbn      = {978-3-9810801-3-1},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ismvl/2008,
  title     = {38th {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
               2008), 22-23 May 2008, Dallas, Texas, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4539382/proceeding},
  isbn      = {978-0-7695-3155-7},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ismvl/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hase/2007,
  title     = {Tenth {IEEE} International Symposium on High Assurance Systems Engineering
               {(HASE} 2007), November 14-16, 2007, Dallas, Texas, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4404711/proceeding},
  isbn      = {0-7695-3043-5},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hase/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ismvl/2007,
  title     = {37th International Symposium on Multiple-Valued Logic, {ISMVL} 2007,
               13-16 May 2007, Oslo, Norway},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4215911/proceeding},
  isbn      = {978-0-7695-2831-1},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ismvl/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics