HOME | KONTAKT

Logo Universität Bremen
LOGO AGRA | AG Rechnerarchitektur



Arbeitsgruppe Rechnerarchitektur / AGRA | Informatik | FB03 | Universität Bremen

Prof. D. Michael Miller


Ich bin Professor der Informatik an der University of Victoria (Kanada). Im Rahmen eines Forschungsurlaubes bin ich bis zum März 2009 Gast der Arbeitsgruppe Rechnerarchitektur. Meine Forschungsinteressen umfassen die Synthese reversibler Schaltkreise und Quantenschaltungen sowie Probleme im Gebiet der Entscheidungsdiagramme, mehrwertiger Logik und der Spektrallogik. Meine Homepage an der University of Victoria kann über diesen Link erreicht werden.

Gast

QMDDs: Efficient Quantum Function Representation and Manipulation
Autor: Philipp Niemann, Robert Wille, D. Michael Miller, Mitchell A. Thornton, Rolf Drechsler
Zeitschrift: IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems
Details: DOI: 10.1109/TCAD.2015.2459034, Volume 35, Number 1, pp. 86-99 (2016)

Embedding of Large Boolean Functions for Reversible Logic
Autor: Mathias Soeken, Robert Wille, Oliver Keszöcze, D. Michael Miller, Rolf Drechsler
Zeitschrift: Journal on Emerging Technologies in Computing Systems (JETC)
Details: DOI 10.48550/arXiv.1408.3586, Volume 12, Issue 4 (2015)

Quantum circuits employing roots of the Pauli matrices
Autor: Mathias Soeken, D. Michael Miller, Rolf Drechsler
Zeitschrift: Physical Review A
Details: DOI: 10.1103/PhysRevA.88.042322, Volume 88 (2013)

Trading Off Circuit Lines and Gate Costs in the Synthesis of Reversible Logic
Autor: Robert Wille, Mathias Soeken, D. Michael Miller, Rolf Drechsler
Zeitschrift: INTEGRATION, the VLSI Journal
Details: DOI: 10.1016/j.vlsi.2013.08.002, Volume 47, Number 2, pp. 284-294 (2014)

Mapping NCV Circuits to Optimized Clifford+T Circuits
Autor: D. Michael Miller, Mathias Soeken, Rolf Drechsler
Konferenz: Reversible Computation
Pdf | Referenz: Kyoto, Japan, 2014

Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits
Autor: Mathias Soeken, Zahra Sasanian, Robert Wille, D. Michael Miller, Rolf Drechsler
Konferenz: 42nd International Symposium on Multiple-Valued Logic (ISMVL)
Pdf | Referenz: pp. 173-178, Victoria, Canada, 2012

Elementary Quantum Gate Realizations for Multiple-Control Toffoli Gates
Autor: D. Michael Miller, Robert Wille, Z. Sasanian
Konferenz: 41st International Symposium on Multiple-Valued Logic (ISMVL)
Pdf | Referenz: pp. 288-293, Tuusula, 2011

Reducing Reversible Circuit Cost by Adding Lines
Autor: D. Michael Miller, Robert Wille, Rolf Drechsler
Konferenz: 40th International Symposium on Multiple-Valued Logic (ISMVL)
Pdf | Referenz: pp. 217-222, Barcelona, 2010

Synthesizing Reversible Circuits for Irreversible Functions
Autor: D. Michael Miller, Robert Wille, Gerhard W. Dueck
Konferenz: Euromicro Conference on Digital System Design (DSD)
Pdf | Referenz: pp. 749-756, Patras, 2009

Self-Inverse Functions and Palindromic Circuits
Autor: Mathias Soeken, Michael Kirkedal Thomsen, Gerhard W. Dueck, D. Michael Miller
Workshop: Reed-Muller Workshop
Referenz: Waterloo, Canada, pre-print available at arXiv:1502.05825, 2015

Towards Embedding of Large Functions for Reversible Logic
Autor: Mathias Soeken, Robert Wille, Laura Tague, D. Michael Miller, Rolf Drechsler
Workshop: International Workshop on Boolean Problems
Referenz: Freiberg, 2012

Reducing Reversible Circuit Cost by Adding Lines
Autor: D. Michael Miller, Robert Wille, Rolf Drechsler
Workshop: International Workshop on Logic Synthesis (IWLS)
Referenz: Berkeley, 2009

Synthesising Reversible Circuits from Irreversible Specifications using Reed-Muller Spectral Techniques
Autor: D. Michael Miller, Gerhard W. Dueck, Robert Wille
Workshop: Reed-Muller Workshop
Referenz: Naha, Okinawa, 2009

Equivalence Checking of Reversible Circuits
Autor: 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"
Referenz: Berlin, 2009

« zurück


©2023 | AG Rechnerarchitektur | Kontakt | Impressum & Datenschutz