Laura Tague

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 1

Top Topics

Novice Programmers

Binary Decision Diagrams

Functional Programs

Top Venues

J. Symb. Comput.

Publications

Mathias Soeken, Laura Tague, Gerhard W. Dueck, Rolf Drechsler
Ancilla-free synthesis of large reversible functions using binary decision diagrams. J. Symb. Comput. 73 (2016)
Mathias Soeken, Laura Tague, Gerhard W. Dueck, Rolf Drechsler
Ancilla-free synthesis of large reversible functions using binary decision diagrams. CoRR (2014)
Laura Tague, Mathias Soeken, Shin-ichi Minato, Rolf Drechsler
Debugging of Reversible Circuits Using pDDs. ISMVL (2013)