Login / Signup
Lucas Helms
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Quantum Evolutionary Algorithm
Delay Insensitive
High Level Synthesis
Electronic Circuits
Top Venues
ACL2
</>
Publications
</>
Lucas Helms
,
Ruben Gamboa
An Interpreter for Quantum Circuits
ACL2
(2013)