|
Home « Team « Publications
» Publications of
D. Michael Miller
|
|
 |
BOOKS |
 |
|
BOOK CONTRIBUTIONS |
|
|
JOURNALS |
|
|
CONFERENCES |
|
» Synthesizing Reversible Circuits for Irreversible Functions
|
|
|
|
Author:
|
|
D. Michael Miller, Robert Wille, Gerhard W. Dueck |
| Conference: |
|
Euromicro Conference on Digital System Design (DSD) |
Reference:
|
| pp. 749-756, Patras, 2009
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
|
WORKSHOPS |
|
» Reducing Reversible Circuit Cost by Adding Lines
|
|
|
|
Author:
|
|
D. Michael Miller, Robert Wille, Rolf Drechsler |
| Workshop: |
|
International Workshop on Logic Synthesis (IWLS) |
Reference:
|
| Berkeley, 2009
| Hyperlink:
|
| [Link to the Workshop]
|
» Synthesising Reversible Circuits from Irreversible Specifications using Reed-Muller Spectral Techniques
|
|
|
|
Author:
|
|
D. Michael Miller, Gerhard W. Dueck, Robert Wille |
| Workshop: |
|
Reed-Muller Workshop |
Reference:
|
| Naha, Okinawa, 2009
| Hyperlink:
|
| [Link to the Workshop]
|
» Equivalence Checking of Reversible Circuits
|
|
|
|
Author:
|
|
Robert Wille, Daniel Große, D. Michael Miller, Rolf Drechsler |
| Workshop: |
|
12. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" |
Reference:
|
| 2009
| Hyperlink:
|
| [Link to the Workshop]
|
|
|
|
|
