M. Soeken

Most-cited papers

Assessing requirements to scale to practical quantum advantage
M. Beverland, Prakash Murali, M. Troyer, K. Svore +6 more
2022arXiv.org327 citations Open access
Semantic Scholar
The EPFL Logic Synthesis Libraries
M. Soeken, H. Riener, Winston Haaswijk, Eleonora Testa +7 more
2018arXiv.org134 citations
Semantic Scholar
Improved quantum circuits for elliptic curve discrete logarithms
Thomas Häner, Samuel Jaques, Michael Naehrig, M. Rötteler +1 more
2020IACR Cryptology ePrint Archive109 citations Open access
Semantic Scholar
Deep Learning for Logic Optimization Algorithms
Winston Haaswijk, Edo Collins, Benoit Seguin, M. Soeken +3 more
2018International Symposium on Circuits and Systems100 citations Open access
Semantic Scholar
Exact Synthesis of Majority-Inverter Graphs and Its Applications
M. Soeken, L. Amarù, P. Gaillardon, G. De Micheli
2017IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems77 citations Open access
Semantic Scholar
Logic Synthesis for RRAM-Based In-Memory Computing
Saeideh Shirinzadeh, M. Soeken, P. Gaillardon, R. Drechsler
2018IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems68 citations Open access
Semantic Scholar
SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism
Winston Haaswijk, M. Soeken, A. Mishchenko, G. De Micheli
2020IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems66 citations Open access
Semantic Scholar
Quantum programming languages
B. Heim, M. Soeken, Sarah Marshall, Christopher E. Granade +4 more
2020Nature Reviews Physics61 citations
Semantic Scholar
On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis
H. Riener, Winston Haaswijk, A. Mishchenko, G. De Micheli +1 more
2019Design, Automation and Test in Europe60 citations Open access
Semantic Scholar
Quantum circuits for floating-point arithmetic
Thomas Häner, M. Soeken, M. Rötteler, K. Svore
2018International Workshop on Reversible Computation51 citations Open access
Semantic Scholar
Reducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications
Eleonora Testa, M. Soeken, L. Amarù, G. De Micheli
2019Design Automation Conference49 citations Open access
Semantic Scholar
Scalable Generic Logic Synthesis: One Approach to Rule Them All
H. Riener, Eleonora Testa, Winston Haaswijk, A. Mishchenko +3 more
2019Design Automation Conference47 citations Open access
Semantic Scholar
Reversible Pebbling Game for Quantum Memory Management
Giulia Meuli, M. Soeken, M. Roetteler, Nikolaj S. Bjørner +1 more
2019Design, Automation and Test in Europe46 citations Open access
Semantic Scholar
SAT-based {CNOT, T} Quantum Circuit Synthesis
Giulia Meuli, M. Soeken, G. De Micheli
2018International Workshop on Reversible Computation44 citations Open access
Semantic Scholar
LUT-Based Hierarchical Reversible Logic Synthesis
M. Soeken, M. Roetteler, N. Wiebe, G. De Micheli
2019IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems43 citations Open access
Semantic Scholar
Logic Synthesis for Established and Emerging Computing
Eleonora Testa, M. Soeken, L. Amar, G. De Micheli
2019Proceedings of the IEEE38 citations Open access
Semantic Scholar
Programming quantum computers using design automation
M. Soeken, Thomas Haener, M. Roetteler
2018Design, Automation and Test in Europe37 citations Open access
Semantic Scholar
The Role of Multiplicative Complexity in Compiling Low $T$-count Oracle Circuits
Giulia Meuli, M. Soeken, E. Campbell, M. Roetteler +1 more
20192019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)36 citations Open access
Semantic Scholar
A Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks
Eleonora Testa, M. Soeken, H. Riener, L. Amarù +1 more
2020Design, Automation and Test in Europe35 citations Open access
Semantic Scholar
SAT Based Exact Synthesis using DAG Topology Families
Winston Haaswijk, A. Mishchenko, M. Soeken, G. De Micheli
2018Design Automation Conference34 citations Open access
Semantic Scholar
Busy man's synthesis: Combinational delay optimization with SAT
M. Soeken, G. De Micheli, A. Mishchenko
2017Design, Automation and Test in Europe34 citations Open access
Semantic Scholar
Xor-And-Inverter Graphs for Quantum Compilation
Giulia Meuli, M. Soeken, G. De Micheli
2022npj Quantum Information31 citations Open access
Semantic Scholar
Structural rewriting in XOR-majority graphs
Zhufei Chu, M. Soeken, Yinshui Xia, Lun-Yao Wang +1 more
2019Asia and South Pacific Design Automation Conference30 citations Open access
Semantic Scholar
Practical exact synthesis
M. Soeken, Winston Haaswijk, Eleonora Testa, A. Mishchenko +3 more
2018Design, Automation and Test in Europe24 citations Open access
Semantic Scholar
Improvements to boolean resynthesis
L. Amarù, M. Soeken, P. Vuillod, Jiong Luo +4 more
2018Design, Automation and Test in Europe24 citations Open access
Semantic Scholar
Size Optimization of MIGs with an Application to QCA and STMG Technologies
H. Riener, Eleonora Testa, L. Amarù, M. Soeken +1 more
2018IEEE/ACM International Symposium on Nanoscale Architectures23 citations Open access
Semantic Scholar
Three-Input Gates for Logic Synthesis
Dewmini Sudara Marakkalage, Eleonora Testa, H. Riener, A. Mishchenko +2 more
2021IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems22 citations Open access
Semantic Scholar
Hierarchical reversible logic synthesis using LUTs
M. Soeken, M. Roetteler, N. Wiebe, G. De Micheli
2017Design Automation Conference22 citations Open access
Semantic Scholar
Efficient Boolean Methods for Preparing Uniform Quantum States
F. Mozafari, H. Riener, M. Soeken, G. De Micheli
2021IEEE Transactions on Quantum Engineering21 citations Open access
Semantic Scholar
Logic Synthesis for Quantum Computing
M. Soeken, M. Roetteler, N. Wiebe, G. De Micheli
2017arXiv.org21 citations
Semantic Scholar
Compiling Permutations for Superconducting QPUs
M. Soeken, F. Mozafari, Bruno Schmitt, G. De Micheli
2019Design, Automation and Test in Europe20 citations Open access
Semantic Scholar
Utilizing Resource Estimation for the Development of Quantum Computing Applications
Nils Quetschlich, M. Soeken, Prakash Murali, Robert Wille
2024International Conference on Quantum Computing and Engineering19 citations
Semantic Scholar
Endurance management for resistive Logic-In-Memory computing architectures
Saeideh Shirinzadeh, M. Soeken, P. Gaillardon, G. De Micheli +1 more
2017Design, Automation and Test in Europe19 citations Open access
Semantic Scholar
Advanced Functional Decomposition Using Majority and Its Applications
Zhufei Chu, M. Soeken, Yinshui Xia, Lun-Yao Wang +1 more
2020IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems18 citations Open access
Semantic Scholar
Wave pipelining for majority-based beyond-CMOS technologies
O. Zografos, A. De Meester, Eleonora Testa, M. Soeken +6 more
2017Design, Automation and Test in Europe18 citations Open access
Semantic Scholar
Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective
G. De Micheli, J. Jiang, Robert Rand, Kaitlin N. Smith +1 more
2022IEEE Journal on Emerging and Selected Topics in Circuits and Systems17 citations Open access
Semantic Scholar
Enabling accuracy-aware Quantum compilers using symbolic resource estimation
Giulia Meuli, M. Soeken, M. Roetteler, Thomas Häner
2020Proc. ACM Program. Lang.17 citations Open access
Semantic Scholar
Boolean satisfiability in quantum compilation
M. Soeken, Giulia Meuli, Bruno Schmitt, F. Mozafari +2 more
2019Philosophical Transactions of the Royal Society A17 citations Open access
Semantic Scholar
metaSMT: focus on your application and not on solver integration
H. Riener, Finn Haedicke, Stefan Frehse, M. Soeken +3 more
2017International Journal on Software Tools for Technology Transfer (STTT)17 citations Open access
Semantic Scholar
Exact DAG-Aware Rewriting
H. Riener, A. Mishchenko, M. Soeken
2020Design, Automation and Test in Europe16 citations Open access
Semantic Scholar
Automatic Uniform Quantum State Preparation Using Decision Diagrams
F. Mozafari, M. Soeken, H. Riener, G. De Micheli
2020IEEE International Symposium on Multiple-Valued Logic16 citations Open access
Semantic Scholar
A PLiM Computer for the Internet of Things
M. Soeken, P. Gaillardon, Saeideh Shirinzadeh, R. Drechsler +1 more
2017Computer15 citations Open access
Semantic Scholar
Inverter Propagation and Fan-Out Constraints for Beyond-CMOS Majority-Based Technologies
Eleonora Testa, O. Zografos, M. Soeken, A. Vaysset +3 more
2017IEEE Computer Society Annual Symposium on VLSI15 citations Open access
Semantic Scholar
Mapping Monotone Boolean Functions into Majority
Eleonora Testa, M. Soeken, L. Amarù, Winston Haaswijk +1 more
2019IEEE transactions on computers14 citations Open access
Semantic Scholar
A best-fit mapping algorithm to facilitate ESOP-decomposition in Clifford+T quantum network synthesis
Giulia Meuli, M. Soeken, M. Roetteler, N. Wiebe +1 more
2018Asia and South Pacific Design Automation Conference13 citations Open access
Semantic Scholar
Scalable Boolean Methods in a Modern Synthesis Flow
Eleonora Testa, L. Amarù, M. Soeken, A. Mishchenko +5 more
2019Design, Automation and Test in Europe12 citations Open access
Semantic Scholar
Lowering the T-depth of Quantum Circuits By Reducing the Multiplicative Depth Of Logic Networks
Thomas Häner, M. Soeken
2020arXiv.org11 citations
Semantic Scholar
Extending Boolean Methods for Scalable Logic Synthesis
Eleonora Testa, L. Amarù, M. Soeken, A. Mishchenko +3 more
2020IEEE Access11 citations Open access
Semantic Scholar
Scaling-up ESOP Synthesis for Quantum Compilation
Bruno Schmitt, M. Soeken, G. De Micheli, A. Mishchenko
2019IEEE International Symposium on Multiple-Valued Logic11 citations Open access
Semantic Scholar
Testing Quantum Programs using Q# and Microsoft Quantum Development Kit
Mariia Mykhailova, M. Soeken
2021Q-SET@QCE10 citations
Semantic Scholar