Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Thomas Häner
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.