Articles with public access mandates - David Michael MillerLearn more
Not available anywhere: 4
Using SPIN to check nondeterministic Simulink stateflow models
C Yamada, DM Miller
2015 IEEE International Symposium on Multiple-Valued Logic, 145-151, 2015
Mandates: Natural Sciences and Engineering Research Council of Canada
Using QMDD in numerical methods for solving linear differential equations via Walsh functions
RS Stankovic, DM Miller
2015 IEEE International Symposium on Multiple-Valued Logic, 182-188, 2015
Mandates: Natural Sciences and Engineering Research Council of Canada
Function translations and search-based transformation for MVL reversible circuit synthesis
DM Miller, GW Dueck
Science of Computer Programming 212, 102704, 2021
Mandates: Natural Sciences and Engineering Research Council of Canada
SPIN model checking for the BEE system
C Yamada, S Ganti, DM Miller
TENCON 2015-2015 IEEE Region 10 Conference, 1-6, 2015
Mandates: Natural Sciences and Engineering Research Council of Canada
Available somewhere: 6
Reducing reversible circuit cost by adding lines
DM Miller, R Wille, R Drechsler
2010 40th IEEE International Symposium on Multiple-Valued Logic, 217-222, 2010
Mandates: German Research Foundation
Realizing reversible circuits using a new class of quantum gates
Z Sasanian, R Wille, DM Miller
Proceedings of the 49th Annual Design Automation Conference, 36-41, 2012
Mandates: German Research Foundation
Optimizing the mapping of reversible circuits to four-valued quantum gate circuits
M Soeken, Z Sasanian, R Wille, DM Miller, R Drechsler
2012 IEEE 42nd International Symposium on Multiple-Valued Logic, 173-178, 2012
Mandates: German Research Foundation
A fast symbolic transformation based algorithm for reversible logic synthesis
M Soeken, GW Dueck, DM Miller
Reversible Computation: 8th International Conference, RC 2016, Bologna …, 2016
Mandates: European Commission
An extension of transformation-based reversible and quantum circuit synthesis
M Soeken, GW Dueck, MM Rahman, DM Miller
2016 IEEE International Symposium on Circuits and Systems (ISCAS), 2290-2293, 2016
Mandates: Natural Sciences and Engineering Research Council of Canada
Using SPIN to check Simulink Stateflow models
C Yamada, DM Miller
2015 IEEE/ACIS 14th International Conference on Computer and Information …, 2015
Mandates: Natural Sciences and Engineering Research Council of Canada
Publication and funding information is determined automatically by a computer program