Martin Rötteler

Guen Prawiroatmodjo

Bettina Heim

Sriram Krishnamoorthy

Proceedings of the International Conference for High Performance Computing, 2021

Quantum algorithms for reinforcement learning with a generative model.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Machine Learning, 2021

2020

Enabling accuracy-aware Quantum compilers using symbolic resource estimation.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Improved Quantum Circuits for Elliptic Curve Discrete Logarithms.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

Quantum computing enhanced computational catalysis.

[BibT_eX]

[DOI]

CoRR, 2020

Predicting human-generated bitstreams using classical and quantum models.

[BibT_eX]

[DOI]

CoRR, 2020

Automatic accuracy management of quantum programs via (near-)symbolic resource estimation.

[BibT_eX]

[DOI]

CoRR, 2020

Quantum Circuits for Functionally Controlled NOT Gates.

[BibT_eX]

[DOI]

Mathias Soeken

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2020

Enumerating Optimal Quantum Circuits using Spectral Classification.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2020

2019

LUT-Based Hierarchical Reversible Logic Synthesis.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Implementing Grover oracles for quantum key search on AES and LowMC.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

ROS: Resource-constrained Oracle Synthesis for Quantum Computers.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019

Q# and NWChem: Tools for Scalable Quantum Chemistry on Quantum Computers.

[BibT_eX]

[DOI]

Guang Hao Low

Nicholas P. Bauman

Sriram Krishnamoorthy

CoRR, 2019

Next Steps in Quantum Computing: Computer Science's Role.

[BibT_eX]

[DOI]

Margaret Martonosi

CoRR, 2019

The Role of Multiplicative Complexity in Compiling Low $T$-count Oracle Circuits.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer-Aided Design, 2019

Reversible Pebbling Game for Quantum Memory Management.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

Shorter Stabilizer Circuits via Bruhat Decomposition and Quantum Circuit Transformations.

[BibT_eX]

[DOI]

Dmitri Maslov

IEEE Trans. Inf. Theory, 2018

Quantum Computing: Codebreaking and Beyond.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2018

Quantum Programming Languages (Dagstuhl Seminar 18381).

[BibT_eX]

[DOI]

Michele Mosca

Peter Selinger

Dagstuhl Reports, 2018

Managing approximation errors in quantum programs.

[BibT_eX]

[DOI]

CoRR, 2018

Optimizing Quantum Circuits for Arithmetic.

[BibT_eX]

[DOI]

CoRR, 2018

Q#: Enabling scalable quantum computing and development with a high-level domain-specific language.

[BibT_eX]

[DOI]

CoRR, 2018

Quantum Circuits for Floating-Point Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 10th International Conference, 2018

Programming quantum computers using design automation.

[BibT_eX]

[DOI]

Mathias Soeken

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL.

[BibT_eX]

[DOI]

Proceedings of the Real World Domain Specific Languages Workshop, 2018

A best-fit mapping algorithm to facilitate ESOP-decomposition in Clifford+T quantum network synthesis.

[BibT_eX]

[DOI]

Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018

2017

Factoring using $2n+2$ qubits with Toffoli based modular multiplication.

[BibT_eX]

[DOI]

Quantum Inf. Comput., 2017

Experimental comparison of two quantum computing architectures.

[BibT_eX]

[DOI]

Norbert Matthias Linke

Christopher R. Monroe

Proc. Natl. Acad. Sci. USA, 2017

Quantum Resource Estimates for Computing Elliptic Curve Discrete Logarithms.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

Logic Synthesis for Quantum Computing.

[BibT_eX]

[DOI]

CoRR, 2017

Improved reversible and quantum circuits for Karatsuba-based integer multiplication.

[BibT_eX]

[DOI]

Alex Parent

Michele Mosca

Proceedings of the 12th Conference on the Theory of Quantum Computation, 2017

Tools for Quantum and Reversible Circuit Compilation.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 9th International Conference, 2017

REVS: A Tool for Space-Optimized Reversible Circuit Synthesis.

[BibT_eX]

[DOI]

Alex Parent

Proceedings of the Reversible Computation - 9th International Conference, 2017

Design automation and design space exploration for quantum computers.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Design automation for quantum architectures.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Hierarchical Reversible Logic Synthesis Using LUTs.

[BibT_eX]

[DOI]

Proceedings of the 54th Annual Design Automation Conference, 2017

Verified Compilation of Space-Efficient Reversible Circuits.

[BibT_eX]

[DOI]

Matthew Amy

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Quantum Error Correction.

[BibT_eX]

[DOI]

Encyclopedia of Algorithms, 2016

Improved Bounded-Strength Decoupling Schemes for Local Hamiltonians.

[BibT_eX]

[DOI]

Adam D. Bookatz

Pawel Wocjan

IEEE Trans. Inf. Theory, 2016

Quantum arithmetic and numerical analysis using Repeat-Until-Success circuits.

[BibT_eX]

[DOI]

Nathan Wiebe

Quantum Inf. Comput., 2016

Improved quantum ternary arithmetic.

[BibT_eX]

[DOI]

Quantum Inf. Comput., 2016

Factoring with Qutrits: Shor's Algorithm on Ternary and Metaplectic Quantum Architectures.

[BibT_eX]

[DOI]

Alex Bocharov

CoRR, 2016

Quantum Algorithms for Abelian Difference Sets and Applications to Dihedral Hidden Subgroups.

[BibT_eX]

[DOI]

Proceedings of the 11th Conference on the Theory of Quantum Computation, 2016

Applying Grover's Algorithm to AES: Quantum Resource Estimates.

[BibT_eX]

[DOI]

Proceedings of the Post-Quantum Cryptography - 7th International Workshop, 2016

2015

A note on quantum related-key attacks.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2015

Quantum Cryptanalysis (Dagstuhl Seminar 15371).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2015

Reversible circuit compilation with space constraints.

[BibT_eX]

[DOI]

Alex Parent

CoRR, 2015

A Framework for Approximating Qubit Unitaries.

[BibT_eX]

[DOI]

CoRR, 2015

Improved Quantum Ternary Arithmetics.

[BibT_eX]

[DOI]

CoRR, 2015

Quantum MDS codes over small fields.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Information Theory, 2015

2014

A quantum circuit to find discrete logarithms on ordinary binary elliptic curves in depth O(log^2n).

[BibT_eX]

[DOI]

Quantum Inf. Comput., 2014

Efficient synthesis of universal Repeat-Until-Success circuits.

[BibT_eX]

[DOI]

Alex Bocharov

CoRR, 2014

Efficient synthesis of probabilistic quantum circuits with fallback.

[BibT_eX]

[DOI]

Alex Bocharov

CoRR, 2014

Quantum Linear Network Coding as One-way Quantum Computation.

[BibT_eX]

[DOI]

Niel de Beaudrap

Proceedings of the 9th Conference on the Theory of Quantum Computation, 2014

2013

Quantum rejection sampling.

[BibT_eX]

[DOI]

Maris Ozols

Jérémie Roland

ACM Trans. Comput. Theory, 2013

A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

Efficient quantum circuits for binary elliptic curve arithmetic: reducing T-gate complexity.

[BibT_eX]

[DOI]

Brittanney Amento

Quantum Inf. Comput., 2013

Quantum binary field inversion: improved circuit depth via choice of basis representation.

[BibT_eX]

[DOI]

Brittanney Amento

Quantum Inf. Comput., 2013

Quantum Cryptanalysis (Dagstuhl Seminar 13371).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2013

A quantum circuit to find discrete logarithms on binary elliptic curves in depth O(log^2 n).

[BibT_eX]

[DOI]

CoRR, 2013

On the Query Complexity of Perfect Gate Discrimination.

[BibT_eX]

[DOI]

Giulio Chiribella

Giacomo Mauro D'Ariano

Proceedings of the 8th Conference on the Theory of Quantum Computation, 2013

Easy and Hard Functions for the Boolean Hidden Shift Problem.

[BibT_eX]

[DOI]

Proceedings of the 8th Conference on the Theory of Quantum Computation, 2013

Leveraging automorphisms of quantum codes for fault-tolerant quantum computation.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Symposium on Information Theory, 2013

QuaFL: a typed DSL for quantum programming.

[BibT_eX]

[DOI]

Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

Abstract resource cost derivation for logical quantum circuit descriptions.

[BibT_eX]

[DOI]

Andrei Lapets

Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

Finite fields in quantum information theory.

[BibT_eX]

Arne Winterhof

Proceedings of the Handbook of Finite Fields., 2013

2011

Quantum Cryptanalysis (Dagstuhl Seminar 11381).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2011

Constructing quantum network coding schemes from classical nonlinear protocols.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Symposium on Information Theory Proceedings, 2011

Quantum Algorithm for the Boolean Hidden Shift Problem.

[BibT_eX]

[DOI]

Dmitry Gavinsky

Jérémie Roland

Proceedings of the Computing and Combinatorics - 17th Annual International Conference, 2011

2010

Limitations of quantum coset states for graph isomorphism.

[BibT_eX]

[DOI]

J. ACM, 2010

Symmetry-assisted adversaries for quantum state generation.

[BibT_eX]

[DOI]

Electron. Colloquium Comput. Complex., 2010

Quantum Algorithms for Highly Non-Linear Boolean Functions.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010

On encoders for quantum convolutional codes.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE Information Theory Workshop, 2010

Perfect quantum network communication protocol based on classical network coding.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Information Theory, 2010

2009

Quantum Error Correction and Fault Tolerant Quantum Computing.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Complexity and Systems Science, 2009

A hybrid nano-CMOS architecture for defect and fault tolerance.

[BibT_eX]

[DOI]

ACM J. Emerg. Technol. Comput. Syst., 2009

Random Measurement Bases, Quantum State Distinction and Applications to the Hidden Subgroup Problem.

[BibT_eX]

[DOI]

Jaikumar Radhakrishnan

Pranab Sen

Algorithmica, 2009

Quantum Algorithms to Solve the Hidden Shift Problem for Quadratics and for Functions of Large Gowers Norm.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

New decoding algorithms for a class of subsystem codes and generalized shor codes.

[BibT_eX]

[DOI]

Pradeep Kiran Sarvepalli

Proceedings of the IEEE International Symposium on Information Theory, 2009

Using hardware transactional memory for data race detection.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

General Scheme for Perfect Quantum Network Coding with Free Classical Communication.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 36th International Colloquium, 2009

2008

Quantum Error Correction.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Algorithms - 2008 Edition, 2008

Representation-theoretical properties of the approximate quantum Fourier transform.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2008

Algebraic signal processing theory: Cooley-Tukey type algorithms on the 2-D hexagonal spatial lattice.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2008

Fault-Tolerant Computing Using a Hybrid Nano-CMOS Architecture.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008

Quadratic Form Expansions for Unitaries.

[BibT_eX]

[DOI]

Proceedings of the Theory of Quantum Computation, 2008

RaceTM: detecting data races using transactional memory.

[BibT_eX]

[DOI]

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

An Efficient Quantum Algorithm for the Hidden Subgroup Problem over Weyl-Heisenberg Groups.

[BibT_eX]

[DOI]

Hari Krovi

Proceedings of the Mathematical Methods in Computer Science, 2008

Non-additive quantum codes from Goethals and Preparata codes.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE Information Theory Workshop, 2008

Asymmetric quantum LDPC codes.

[BibT_eX]

[DOI]

Pradeep Kiran Sarvepalli

Proceedings of the 2008 IEEE International Symposium on Information Theory, 2008

Quantum Goethals-Preparata codes.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Symposium on Information Theory, 2008

2007

Algebraic Signal Processing Theory: 2-D Spatial Hexagonal Lattice.

[BibT_eX]

[DOI]

IEEE Trans. Image Process., 2007

Quantum Convolutional BCH Codes

[BibT_eX]

[DOI]

Pradeep Kiran Sarvepalli

CoRR, 2007

Graphs, Quadratic Forms, and Quantum Codes

[BibT_eX]

[DOI]

CoRR, 2007

Constructions of Quantum Convolutional Codes.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Information Theory, 2007

2006

Equivalence of Decoupling Schemes and Orthogonal Arrays.

[BibT_eX]

[DOI]

Pawel Wocjan

IEEE Trans. Inf. Theory, 2006

In Memoriam: Thomas Beth.

[BibT_eX]

[DOI]

Quantum Inf. Process., 2006

Effiziente Quantenalgorithmen (Efficient Quantum Algorithms).

[BibT_eX]

[DOI]

it Inf. Technol., 2006

Quantum algorithms: A survey of some recent results.

[BibT_eX]

[DOI]

Inform. Forsch. Entwickl., 2006

Non-catastrophic Encoders and Encoder Inverses for Quantum Convolutional Codes.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2006 IEEE International Symposium on Information Theory, 2006

2005

On the monomiality of nice error bases.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2005

Solution to the Mean King's Problem in Prime Power Dimensions Using Discrete Tomography.

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 2005

Mutually unbiased bases are complex projective 2-designs.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Symposium on Information Theory, 2005

Quantum block and convolutional codes from self-orthogonal product codes.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Symposium on Information Theory, 2005

Fourier transform for the spatial quincunx lattice.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Image Processing, 2005

Fourier transform for the directed quincunx lattice.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Acoustics, 2005

On the Power of Random Bases in Fourier Sampling: Hidden Subgroup Problem in the Heisenberg Group.

[BibT_eX]

[DOI]

Jaikumar Radhakrishnan

Pranab Sen

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

2004

On the structure of nonstabilizer clifford codes.

[BibT_eX]

[DOI]

Quantum Inf. Comput., 2004

On quantum MDS codes.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Symposium on Information Theory, 2004

Remarks on Clifford codes.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Symposium on Information Theory, 2004

The discrete triangle transform.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Conference on Acoustics, 2004

2003

Quantum Software Reusability.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2003

Efficient Quantum Circuits For Non-Qubit Quantum Error-Correcting Codes.

[BibT_eX]

[DOI]

María Isabel González Vasco

Int. J. Found. Comput. Sci., 2003

On Minimal Length Factorizations of Finite Groups.

[BibT_eX]

[DOI]

Exp. Math., 2003

Constructions of Mutually Unbiased Bases.

[BibT_eX]

[DOI]

Proceedings of the Finite Fields and Applications, 2003

Unitary Error Bases: Constructions, Equivalence, and Applications.

[BibT_eX]

[DOI]

Proceedings of the Applied Algebra, 2003

2002

Schnelle Signaltransformationen für Quantenrechner.

[BibT_eX]

[DOI]

PhD thesis, 2002

Beyond stabilizer codes II: Clifford codes.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2002

Beyond stabilizer codes I: Nice error bases.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Theory, 2002

Universal simulation of Hamiltonians using a finite set of control operations.

[BibT_eX]

[DOI]

Quantum Inf. Comput., 2002

Homogeneous Bent Functions, Invariants, and Designs.

[BibT_eX]

Chris Charnes

Des. Codes Cryptogr., 2002

2001

On Homogeneous Bent Functions.

[BibT_eX]

[DOI]

Chris Charnes

Proceedings of the Applied Algebra, 2001

2000

Separation of Orbits under Group Actions with an Application to Quantum Systems.

[BibT_eX]

[DOI]

Jörn Müller-Quade

Appl. Algebra Eng. Commun. Comput., 2000

1999

Von N<sup>2</sup> nach log<sup>2</sup>N - Zur algebraischen Berechnungskomplexität allgemeiner Fouriertransformationen.

[BibT_eX]

[DOI]

Björn Grohmann

Proceedings of the Informatik '99, 1999

Fast Quantum Fourier Transforms for a Class of Non-Abelian Groups.

[BibT_eX]

[DOI]

Proceedings of the Applied Algebra, 1999

1998

Deciding Linear Disjointness of Finitely Generated Fields.

[BibT_eX]

[DOI]

Jörn Müller-Quade