BibTeX records: Thomas Häner

download as .bib file

@article{DBLP:journals/cacm/HoeflerHT23,
  author       = {Torsten Hoefler and
                  Thomas H{\"{a}}ner and
                  Matthias Troyer},
  title        = {Disentangling Hype from Practicality: On Realistically Achieving Quantum
                  Advantage},
  journal      = {Commun. {ACM}},
  volume       = {66},
  number       = {5},
  pages        = {82--87},
  year         = {2023},
  url          = {https://doi.org/10.1145/3571725},
  doi          = {10.1145/3571725},
  timestamp    = {Thu, 18 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cacm/HoeflerHT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-00523,
  author       = {Torsten Hoefler and
                  Thomas H{\"{a}}ner and
                  Matthias Troyer},
  title        = {Disentangling Hype from Practicality: On Realistically Achieving Quantum
                  Advantage},
  journal      = {CoRR},
  volume       = {abs/2307.00523},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.00523},
  doi          = {10.48550/ARXIV.2307.00523},
  eprinttype    = {arXiv},
  eprint       = {2307.00523},
  timestamp    = {Mon, 10 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-00523.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-07424,
  author       = {Thomas H{\"{a}}ner},
  title        = {Computing all monomials of degree n-1 using 2n-3 {AND} gates},
  journal      = {CoRR},
  volume       = {abs/2307.07424},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.07424},
  doi          = {10.48550/ARXIV.2307.07424},
  eprinttype    = {arXiv},
  eprint       = {2307.07424},
  timestamp    = {Mon, 24 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-07424.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-12394,
  author       = {Thomas H{\"{a}}ner and
                  Damian S. Steiger and
                  Helmut G. Katzgraber},
  title        = {Parallel Tempering for Logic Synthesis},
  journal      = {CoRR},
  volume       = {abs/2311.12394},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.12394},
  doi          = {10.48550/ARXIV.2311.12394},
  eprinttype    = {arXiv},
  eprint       = {2311.12394},
  timestamp    = {Wed, 29 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-12394.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-10200,
  author       = {Thomas H{\"{a}}ner and
                  Mathias Soeken},
  title        = {The multiplicative complexity of interval checking},
  journal      = {CoRR},
  volume       = {abs/2201.10200},
  year         = {2022},
  url          = {https://arxiv.org/abs/2201.10200},
  eprinttype    = {arXiv},
  eprint       = {2201.10200},
  timestamp    = {Wed, 02 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2201-10200.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-03680,
  author       = {Thomas H{\"{a}}ner and
                  Vadym Kliuchnikov and
                  Martin Roetteler and
                  Mathias Soeken and
                  Alexander Vaschillo},
  title        = {QParallel: Explicit Parallelism for Programming Quantum Computers},
  journal      = {CoRR},
  volume       = {abs/2210.03680},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.03680},
  doi          = {10.48550/ARXIV.2210.03680},
  eprinttype    = {arXiv},
  eprint       = {2210.03680},
  timestamp    = {Wed, 10 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-03680.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-01133,
  author       = {Thomas H{\"{a}}ner and
                  Vadym Kliuchnikov and
                  Martin Roetteler and
                  Mathias Soeken},
  title        = {Space-time optimized table lookup},
  journal      = {CoRR},
  volume       = {abs/2211.01133},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2211.01133},
  doi          = {10.48550/ARXIV.2211.01133},
  eprinttype    = {arXiv},
  eprint       = {2211.01133},
  timestamp    = {Wed, 10 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-01133.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/HanerS22,
  author       = {Thomas H{\"{a}}ner and
                  Mathias Soeken},
  title        = {The multiplicative complexity of interval checking},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {91},
  year         = {2022},
  url          = {https://eprint.iacr.org/2022/091},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iacr/HanerS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/HanerSHT21,
  author       = {Thomas H{\"{a}}ner and
                  Damian S. Steiger and
                  Torsten Hoefler and
                  Matthias Troyer},
  editor       = {Bronis R. de Supinski and
                  Mary W. Hall and
                  Todd Gamblin},
  title        = {Distributed quantum computing with {QMPI}},
  booktitle    = {International Conference for High Performance Computing, Networking,
                  Storage and Analysis, {SC} 2021, St. Louis, Missouri, USA, November
                  14-19, 2021},
  pages        = {16},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3458817.3476172},
  doi          = {10.1145/3458817.3476172},
  timestamp    = {Tue, 08 Nov 2022 16:03:02 +0100},
  biburl       = {https://dblp.org/rec/conf/sc/HanerSHT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-11030,
  author       = {David Ittah and
                  Thomas H{\"{a}}ner and
                  Vadym Kliuchnikov and
                  Torsten Hoefler},
  title        = {Enabling Dataflow Optimization for Quantum Programs},
  journal      = {CoRR},
  volume       = {abs/2101.11030},
  year         = {2021},
  url          = {https://arxiv.org/abs/2101.11030},
  eprinttype    = {arXiv},
  eprint       = {2101.11030},
  timestamp    = {Sun, 31 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-11030.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-01109,
  author       = {Thomas H{\"{a}}ner and
                  Damian S. Steiger and
                  Torsten Hoefler and
                  Matthias Troyer},
  title        = {Distributed Quantum Computing with {QMPI}},
  journal      = {CoRR},
  volume       = {abs/2105.01109},
  year         = {2021},
  url          = {https://arxiv.org/abs/2105.01109},
  eprinttype    = {arXiv},
  eprint       = {2105.01109},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2105-01109.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MeuliSRH20,
  author       = {Giulia Meuli and
                  Mathias Soeken and
                  Martin Roetteler and
                  Thomas H{\"{a}}ner},
  title        = {Enabling accuracy-aware Quantum compilers using symbolic resource
                  estimation},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{OOPSLA}},
  pages        = {130:1--130:26},
  year         = {2020},
  url          = {https://doi.org/10.1145/3428198},
  doi          = {10.1145/3428198},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/MeuliSRH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HanerHT20,
  author       = {Thomas H{\"{a}}ner and
                  Torsten Hoefler and
                  Matthias Troyer},
  title        = {Assertion-based optimization of Quantum programs},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{OOPSLA}},
  pages        = {133:1--133:20},
  year         = {2020},
  url          = {https://doi.org/10.1145/3428201},
  doi          = {10.1145/3428201},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/HanerHT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pqcrypto/HanerJNRS20,
  author       = {Thomas H{\"{a}}ner and
                  Samuel Jaques and
                  Michael Naehrig and
                  Martin Roetteler and
                  Mathias Soeken},
  editor       = {Jintai Ding and
                  Jean{-}Pierre Tillich},
  title        = {Improved Quantum Circuits for Elliptic Curve Discrete Logarithms},
  booktitle    = {Post-Quantum Cryptography - 11th International Conference, PQCrypto
                  2020, Paris, France, April 15-17, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12100},
  pages        = {425--444},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-44223-1\_23},
  doi          = {10.1007/978-3-030-44223-1\_23},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pqcrypto/HanerJNRS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-09580,
  author       = {Thomas H{\"{a}}ner and
                  Samuel Jaques and
                  Michael Naehrig and
                  Martin Roetteler and
                  Mathias Soeken},
  title        = {Improved quantum circuits for elliptic curve discrete logarithms},
  journal      = {CoRR},
  volume       = {abs/2001.09580},
  year         = {2020},
  url          = {https://arxiv.org/abs/2001.09580},
  eprinttype    = {arXiv},
  eprint       = {2001.09580},
  timestamp    = {Thu, 30 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2001-09580.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-08408,
  author       = {Giulia Meuli and
                  Mathias Soeken and
                  Martin Roetteler and
                  Thomas H{\"{a}}ner},
  title        = {Automatic accuracy management of quantum programs via (near-)symbolic
                  resource estimation},
  journal      = {CoRR},
  volume       = {abs/2003.08408},
  year         = {2020},
  url          = {https://arxiv.org/abs/2003.08408},
  eprinttype    = {arXiv},
  eprint       = {2003.08408},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-08408.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-03845,
  author       = {Thomas H{\"{a}}ner and
                  Mathias Soeken},
  title        = {Lowering the T-depth of Quantum Circuits By Reducing the Multiplicative
                  Depth Of Logic Networks},
  journal      = {CoRR},
  volume       = {abs/2006.03845},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.03845},
  eprinttype    = {arXiv},
  eprint       = {2006.03845},
  timestamp    = {Fri, 12 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-03845.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-14460,
  author       = {Vera von Burg and
                  Guang Hao Low and
                  Thomas H{\"{a}}ner and
                  Damian S. Steiger and
                  Markus Reiher and
                  Martin Roetteler and
                  Matthias Troyer},
  title        = {Quantum computing enhanced computational catalysis},
  journal      = {CoRR},
  volume       = {abs/2007.14460},
  year         = {2020},
  url          = {https://doi.org/10.48550/arXiv.2007.14460},
  doi          = {10.48550/ARXIV.2007.14460},
  eprinttype    = {arXiv},
  eprint       = {2007.14460},
  timestamp    = {Wed, 10 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-14460.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/HanerJNRS20,
  author       = {Thomas H{\"{a}}ner and
                  Samuel Jaques and
                  Michael Naehrig and
                  Martin Roetteler and
                  Mathias Soeken},
  title        = {Improved Quantum Circuits for Elliptic Curve Discrete Logarithms},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {77},
  year         = {2020},
  url          = {https://eprint.iacr.org/2020/077},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/HanerJNRS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/SteigerHT19,
  author       = {Damian S. Steiger and
                  Thomas H{\"{a}}ner and
                  Matthias Troyer},
  title        = {Advantages of a modular high-level quantum programming framework},
  journal      = {Microprocess. Microsystems},
  volume       = {66},
  pages        = {81--89},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.micpro.2019.02.003},
  doi          = {10.1016/J.MICPRO.2019.02.003},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mam/SteigerHT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/SoekenHR18,
  author       = {Mathias Soeken and
                  Thomas H{\"{a}}ner and
                  Martin Roetteler},
  editor       = {Jan Madsen and
                  Ayse K. Coskun},
  title        = {Programming quantum computers using design automation},
  booktitle    = {2018 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2018, Dresden, Germany, March 19-23, 2018},
  pages        = {137--146},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.23919/DATE.2018.8341993},
  doi          = {10.23919/DATE.2018.8341993},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/SoekenHR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/HanerSRS18,
  author       = {Thomas H{\"{a}}ner and
                  Mathias Soeken and
                  Martin Roetteler and
                  Krysta M. Svore},
  editor       = {Jarkko Kari and
                  Irek Ulidowski},
  title        = {Quantum Circuits for Floating-Point Arithmetic},
  booktitle    = {Reversible Computation - 10th International Conference, {RC} 2018,
                  Leicester, UK, September 12-14, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11106},
  pages        = {162--174},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99498-7\_11},
  doi          = {10.1007/978-3-319-99498-7\_11},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rc/HanerSRS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-01022,
  author       = {Mathias Soeken and
                  Thomas H{\"{a}}ner and
                  Martin Roetteler},
  title        = {Programming Quantum Computers Using Design Automation},
  journal      = {CoRR},
  volume       = {abs/1803.01022},
  year         = {2018},
  url          = {http://arxiv.org/abs/1803.01022},
  eprinttype    = {arXiv},
  eprint       = {1803.01022},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-01022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-12445,
  author       = {Thomas H{\"{a}}ner and
                  Martin Roetteler and
                  Krysta M. Svore},
  title        = {Optimizing Quantum Circuits for Arithmetic},
  journal      = {CoRR},
  volume       = {abs/1805.12445},
  year         = {2018},
  url          = {http://arxiv.org/abs/1805.12445},
  eprinttype    = {arXiv},
  eprint       = {1805.12445},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-12445.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-01861,
  author       = {Damian S. Steiger and
                  Thomas H{\"{a}}ner and
                  Matthias Troyer},
  title        = {Advantages of a modular high-level quantum programming framework},
  journal      = {CoRR},
  volume       = {abs/1806.01861},
  year         = {2018},
  url          = {http://arxiv.org/abs/1806.01861},
  eprinttype    = {arXiv},
  eprint       = {1806.01861},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1806-01861.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-02023,
  author       = {Thomas H{\"{a}}ner and
                  Mathias Soeken and
                  Martin Roetteler and
                  Krysta M. Svore},
  title        = {Quantum circuits for floating-point arithmetic},
  journal      = {CoRR},
  volume       = {abs/1807.02023},
  year         = {2018},
  url          = {http://arxiv.org/abs/1807.02023},
  eprinttype    = {arXiv},
  eprint       = {1807.02023},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-02023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-02336,
  author       = {Thomas H{\"{a}}ner and
                  Martin Roetteler and
                  Krysta M. Svore},
  title        = {Managing approximation errors in quantum programs},
  journal      = {CoRR},
  volume       = {abs/1807.02336},
  year         = {2018},
  url          = {http://arxiv.org/abs/1807.02336},
  eprinttype    = {arXiv},
  eprint       = {1807.02336},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-02336.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-00375,
  author       = {Thomas H{\"{a}}ner and
                  Torsten Hoefler and
                  Matthias Troyer},
  title        = {Using Hoare logic for quantum circuit optimization},
  journal      = {CoRR},
  volume       = {abs/1810.00375},
  year         = {2018},
  url          = {http://arxiv.org/abs/1810.00375},
  eprinttype    = {arXiv},
  eprint       = {1810.00375},
  timestamp    = {Thu, 01 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1810-00375.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qic/HanerRS17,
  author       = {Thomas H{\"{a}}ner and
                  Martin Roetteler and
                  Krysta M. Svore},
  title        = {Factoring using {\textdollar}2n+2{\textdollar} qubits with Toffoli
                  based modular multiplication},
  journal      = {Quantum Inf. Comput.},
  volume       = {17},
  number       = {7{\&}8},
  pages        = {673--684},
  year         = {2017},
  url          = {https://doi.org/10.26421/QIC17.7-8-7},
  doi          = {10.26421/QIC17.7-8-7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/qic/HanerRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/HanerS17,
  author       = {Thomas H{\"{a}}ner and
                  Damian S. Steiger},
  editor       = {Bernd Mohr and
                  Padma Raghavan},
  title        = {0.5 petabyte simulation of a 45-qubit quantum circuit},
  booktitle    = {Proceedings of the International Conference for High Performance Computing,
                  Networking, Storage and Analysis, {SC} 2017, Denver, CO, USA, November
                  12 - 17, 2017},
  pages        = {33},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3126908.3126947},
  doi          = {10.1145/3126908.3126947},
  timestamp    = {Tue, 08 Nov 2022 16:03:02 +0100},
  biburl       = {https://dblp.org/rec/conf/sc/HanerS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HanerS17,
  author       = {Thomas H{\"{a}}ner and
                  Damian S. Steiger},
  title        = {0.5 Petabyte Simulation of a 45-Qubit Quantum Circuit},
  journal      = {CoRR},
  volume       = {abs/1704.01127},
  year         = {2017},
  url          = {http://arxiv.org/abs/1704.01127},
  eprinttype    = {arXiv},
  eprint       = {1704.01127},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HanerS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/HanerSST16,
  author       = {Thomas H{\"{a}}ner and
                  Damian S. Steiger and
                  Mikhail Smelyanskiy and
                  Matthias Troyer},
  editor       = {John West and
                  Cherri M. Pancake},
  title        = {High performance emulation of quantum circuits},
  booktitle    = {Proceedings of the International Conference for High Performance Computing,
                  Networking, Storage and Analysis, {SC} 2016, Salt Lake City, UT, USA,
                  November 13-18, 2016},
  pages        = {866--874},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SC.2016.73},
  doi          = {10.1109/SC.2016.73},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sc/HanerSST16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HanerSST16,
  author       = {Thomas H{\"{a}}ner and
                  Damian S. Steiger and
                  Krysta M. Svore and
                  Matthias Troyer},
  title        = {A Software Methodology for Compiling Quantum Programs},
  journal      = {CoRR},
  volume       = {abs/1604.01401},
  year         = {2016},
  url          = {http://arxiv.org/abs/1604.01401},
  eprinttype    = {arXiv},
  eprint       = {1604.01401},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HanerSST16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HanerRS16,
  author       = {Thomas H{\"{a}}ner and
                  Martin Roetteler and
                  Krysta M. Svore},
  title        = {Factoring using 2n+2 qubits with Toffoli based modular multiplication},
  journal      = {CoRR},
  volume       = {abs/1611.07995},
  year         = {2016},
  url          = {http://arxiv.org/abs/1611.07995},
  eprinttype    = {arXiv},
  eprint       = {1611.07995},
  timestamp    = {Thu, 17 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HanerRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SteigerHT16,
  author       = {Damian S. Steiger and
                  Thomas H{\"{a}}ner and
                  Matthias Troyer},
  title        = {ProjectQ: An Open Source Software Framework for Quantum Computing},
  journal      = {CoRR},
  volume       = {abs/1612.08091},
  year         = {2016},
  url          = {http://arxiv.org/abs/1612.08091},
  eprinttype    = {arXiv},
  eprint       = {1612.08091},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SteigerHT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics