Browsing by Author Miller, David Michael
Showing results 1 to 4 of 4
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| Yanushkevich, Svetlana; Miller, David Michael; Shmerko, Vlad; Stanković, Radomir | Decision diagram techniques for micro- and nanoelectronic design: Handbook | 1-Jan-2005 | 1-923 | |
| Miller, David Michael; Stanković, Radomir | A heterogeneous decision diagram package | 1-Dec-2009 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 5717 LNCS; 540-547 | M23 |
| Stanković, Stanislav; Astola, Jaakko; Miller, David Michael; Stanković, Radomir | Heterogeneous decision diagrams for applications in harmonic analysis on finite non-Abelian groups | 12-Aug-2010 | Proceedings of The International Symposium on Multiple-Valued Logic; 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010; Barcelona; Spain; 26 May 2010 through 28 May 2010; 307-312 | |
| Stanković, Radomir ; Miller, David Michael | Using QMDD in Numerical Methods for Solving Linear Differential Equations via Walsh Functions | 2-Sep-2015 | Proceedings of The International Symposium on Multiple-Valued Logic; 45th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2015; University of Waterloo; Canada; 18 May 2015 through 20 May 2015; 2015-September; 182-188 |