Mathias Soeken

ORCID

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 133

Top Venues

DATE

CoRR

ISMVL

University of Bremen (PHD)

Education History

University of Bremen

PHD

Publications

Wim van Dam, Mariia Mykhailova, Mathias Soeken
Using Azure Quantum Resource Estimator for Assessing Performance of Fault Tolerant Quantum Computation. SC Workshops (2023)
Thomas Häner, Mathias Soeken
The multiplicative complexity of interval checking. CoRR (2022)
Rajiv Krishnakumar, Mathias Soeken, Martin Roetteler, William J. Zeng
A Q# Implementation of a Quantum Lookup Table for Quantum Arithmetic Functions. CoRR (2022)
Giovanni De Micheli, Jie-Hong R. Jiang, Robert Rand, Kaitlin Smith, Mathias Soeken
Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective. IEEE J. Emerg. Sel. Topics Circuits Syst. 12 (3) (2022)
Mathias Soeken, Mariia Mykhailova
Automatic oracle generation in microsoft's quantum development kit using QIR and LLVM passes. DAC (2022)
Michael E. Beverland, Prakash Murali, Matthias Troyer, Krysta M. Svore, Torsten Hoefler, Vadym Kliuchnikov, Guang Hao Low, Mathias Soeken, Aarthi Sundaram, Alexander Vaschillo
Assessing requirements to scale to practical quantum advantage. CoRR (2022)
Thomas Häner, Mathias Soeken
The multiplicative complexity of interval checking. IACR Cryptol. ePrint Arch. 2022 (2022)
Jie-Hong R. Jiang, Giovanni De Micheli, Kaitlin Smith, Mathias Soeken
Design and Automation for Quantum Computation and Quantum Technologies. IEEE J. Emerg. Sel. Topics Circuits Syst. 12 (3) (2022)
Mathias Soeken, Mariia Mykhailova, Vadym Kliuchnikov, Christopher E. Granade, Alexander Vaschillo
A Resource Estimation and Verification Workflow in Q# Special session paper. DATE (2021)
Dewmini Sudara Marakkalage, Eleonora Testa, Heinz Riener, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli
Three-Input Gates for Logic Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40 (10) (2021)
Mariia Mykhailova, Mathias Soeken
Testing Quantum Programs using Q# and Microsoft Quantum Development Kit. Q-SET@QCE (2021)
Eleonora Testa, Samantha Lubaba Noor, Odysseas Zografos, Mathias Soeken, Francky Catthoor, Azad Naeemi, Giovanni De Micheli
Multiplier Architectures: Challenges and Opportunities with Plasmonic-based Logic : (Special Session Paper). DATE (2020)
Thomas Häner, Samuel Jaques, Michael Naehrig, Martin Roetteler, Mathias Soeken
Improved Quantum Circuits for Elliptic Curve Discrete Logarithms. PQCrypto (2020)
Mathias Soeken
Determining the Multiplicative Complexity of Boolean Functions using SAT. IACR Cryptol. ePrint Arch. 2020 (2020)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli
Enumerating Optimal Quantum Circuits using Spectral Classification. ISCAS (2020)
Eleonora Testa, Mathias Soeken, Heinz Riener, Luca G. Amarù, Giovanni De Micheli
A Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks. IACR Cryptol. ePrint Arch. 2020 (2020)
Mathias Soeken, Martin Roetteler
Quantum Circuits for Functionally Controlled NOT Gates. CoRR (2020)
Thomas Häner, Samuel Jaques, Michael Naehrig, Martin Roetteler, Mathias Soeken
Improved quantum circuits for elliptic curve discrete logarithms. CoRR (2020)
Winston Haaswijk, Mathias Soeken, Alan Mishchenko, Giovanni De Micheli
SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (4) (2020)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Thomas Häner
Automatic accuracy management of quantum programs via (near-)symbolic resource estimation. CoRR (2020)
Mathias Soeken, Martin Roetteler
Quantum Circuits for Functionally Controlled NOT Gates. QCE (2020)
Eleonora Testa, Luca G. Amarù, Mathias Soeken, Alan Mishchenko, Patrick Vuillod, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
Extending Boolean Methods for Scalable Logic Synthesis. IEEE Access 8 (2020)
D. Michael Miller, Mathias Soeken
A Spectral Algorithm for 3-valued Function Equivalence Classification. J. Multiple Valued Log. Soft Comput. 34 (3-4) (2020)
Eleonora Testa, Mathias Soeken, Heinz Riener, Luca G. Amarù, Giovanni De Micheli
A Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks. DATE (2020)
Zhufei Chu, Mathias Soeken, Yinshui Xia, Lun-Yao Wang, Giovanni De Micheli
Advanced Functional Decomposition Using Majority and Its Applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (8) (2020)
Heinz Riener, Alan Mishchenko, Mathias Soeken
Exact DAG-Aware Rewriting. DATE (2020)
Thomas Häner, Samuel Jaques, Michael Naehrig, Martin Roetteler, Mathias Soeken
Improved Quantum Circuits for Elliptic Curve Discrete Logarithms. IACR Cryptol. ePrint Arch. 2020 (2020)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Thomas Häner
Enabling accuracy-aware Quantum compilers using symbolic resource estimation. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Fereshte Mozafari, Mathias Soeken, Heinz Riener, Giovanni De Micheli
Automatic Uniform Quantum State Preparation Using Decision Diagrams. ISMVL (2020)
Mathias Soeken
Determining the Multiplicative Complexity of Boolean Functions using SAT. CoRR (2020)
Thomas Häner, Mathias Soeken
Lowering the T-depth of Quantum Circuits By Reducing the Multiplicative Depth Of Logic Networks. CoRR (2020)
Bruno Schmitt, Mathias Soeken, Giovanni De Micheli
Symbolic Algorithms for Token Swapping. ISMVL (2020)
Eleonora Testa, Luca G. Amarù, Mathias Soeken, Alan Mishchenko, Patrick Vuillod, Jiong Luo, Christopher Casares, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
Scalable Boolean Methods in a Modern Synthesis Flow. DATE (2019)
Giulia Meuli, Mathias Soeken, Earl Campbell, Martin Roetteler, Giovanni De Micheli
The Role of Multiplicative Complexity in Compiling Low $T$-count Oracle Circuits. ICCAD (2019)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli
ROS: Resource-constrained Oracle Synthesis for Quantum Computers. QPL (2019)
Eleonora Testa, Mathias Soeken, Luca Gaetano Amarù, Giovanni De Micheli
Logic Synthesis for Established and Emerging Computing. Proc. IEEE 107 (1) (2019)
Mathias Soeken
Using ZDDs in the mapping of quantum circuits. QPL (2019)
Heinz Riener, Winston Haaswijk, Alan Mishchenko, Giovanni De Micheli, Mathias Soeken
On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis. DATE (2019)
Bruno Schmitt, Mathias Soeken, Giovanni De Micheli, Alan Mishchenko
Scaling-up ESOP Synthesis for Quantum Compilation. ISMVL (2019)
Giulia Meuli, Mathias Soeken, Earl Campbell, Martin Roetteler, Giovanni De Micheli
The Role of Multiplicative Complexity in Compiling Low T-count Oracle Circuits. CoRR (2019)
Eleonora Testa, Mathias Soeken, Luca Gaetano Amarù, Winston Haaswijk, Giovanni De Micheli
Mapping Monotone Boolean Functions into Majority. IEEE Trans. Computers 68 (5) (2019)
Zhufei Chu, Mathias Soeken, Yinshui Xia, Lun-Yao Wang, Giovanni De Micheli
Structural rewriting in XOR-majority graphs. ASP-DAC (2019)
Debjyoti Bhattacharjee, Mathias Soeken, Srijit Dutta, Anupam Chattopadhyay, Giovanni De Micheli
Reversible Pebble Games for Reducing Qubits in Hierarchical Quantum Circuit Synthesis. ISMVL (2019)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjørner, Giovanni De Micheli
Reversible Pebbling Game for Quantum Memory Management. CoRR (2019)
Eleonora Testa, Mathias Soeken, Luca G. Amarù, Giovanni De Micheli
Reducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications. DAC (2019)
Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amarù, Giovanni De Micheli, Mathias Soeken
Logic Optimization of Majority-Inverter Graphs. MBMV (2019)
Zhufei Chu, Winston Haaswijk, Mathias Soeken, Yinshui Xia, Lun-Yao Wang, Giovanni De Micheli
Exact Synthesis of Boolean Functions in Majority-of-Five Forms. ISCAS (2019)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjørner, Giovanni De Micheli
Reversible Pebbling Game for Quantum Memory Management. DATE (2019)
Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli
LUT-Based Hierarchical Reversible Logic Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (9) (2019)
Mathias Soeken, Fereshte Mozafari, Bruno Schmitt, Giovanni De Micheli
Compiling Permutations for Superconducting QPUs. DATE (2019)
Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amarù, Giovanni De Micheli, Mathias Soeken
Scalable Generic Logic Synthesis: One Approach to Rule Them All. DAC (2019)
Mathias Soeken, Eleonora Testa, D. Michael Miller
A Hybrid Method for Spectral Translation Equivalent Boolean Functions. PACRIM (2019)
Winston Haaswijk, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli
SAT based exact synthesis using DAG topology families. DAC (2018)
Giulia Meuli, Mathias Soeken, Giovanni De Micheli
SAT-based {CNOT, T} Quantum Circuit Synthesis. RC (2018)
Melanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Daniel Große, Rolf Drechsler
Behaviour Driven Development for Hardware Design. IPSJ Trans. Syst. LSI Des. Methodol. 11 (2018)
D. Michael Miller, Mathias Soeken
A Spectral Algorithm for Ternary Function Classification. ISMVL (2018)
Oliver Keszöcze, Mathias Soeken, Rolf Drechsler
The complexity of error metrics. Inf. Process. Lett. 139 (2018)
Wouter Castryck, Jeroen Demeyer, Alexis De Vos, Oliver Keszöcze, Mathias Soeken
Translating Between the Roots of the Identity in Quantum Computers. ISMVL (2018)
Heinz Riener, Eleonora Testa, Luca G. Amarù, Mathias Soeken, Giovanni De Micheli
Size Optimization of MIGs with an Application to QCA and STMG Technologies. NANOARCH (2018)
Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
Logic Synthesis for RRAM-Based In-Memory Computing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (7) (2018)
Mathias Soeken, Heinz Riener, Winston Haaswijk, Giovanni De Micheli
The EPFL Logic Synthesis Libraries. CoRR (2018)
Mathias Soeken, Winston Haaswijk, Eleonora Testa, Alan Mishchenko, Luca Gaetano Amarù, Robert K. Brayton, Giovanni De Micheli
Practical exact synthesis. DATE (2018)
Winston Haaswijk, Luca Gaetano Amarù, Patrick Vuillod, Jiong Luo, Mathias Soeken, Giovanni De Micheli
Integrated ESOP Refactoring for Industrial Designs. ICECS (2018)
Mathias Soeken, Thomas Häner, Martin Roetteler
Programming Quantum Computers Using Design Automation. CoRR (2018)
Luca G. Amarù, Eleonora Testa, Miguel Couceiro, Odysseas Zografos, Giovanni De Micheli, Mathias Soeken
Majority logic synthesis. ICCAD (2018)
Thomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore
Quantum Circuits for Floating-Point Arithmetic. RC (2018)
Mathias Soeken, Eleonora Testa, Alan Mishchenko, Giovanni De Micheli
Pairs of majority-decomposing functions. Inf. Process. Lett. 139 (2018)
Zhufei Chu, Mathias Soeken, Yinshui Xia, Giovanni De Micheli
Functional decomposition using majority. ASP-DAC (2018)
Luca Gaetano Amarù, Mathias Soeken, Patrick Vuillod, Jiong Luo, Alan Mishchenko, Janet Olson, Robert K. Brayton, Giovanni De Micheli
Improvements to boolean resynthesis. DATE (2018)
Thomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore
Quantum circuits for floating-point arithmetic. CoRR (2018)
Winston Haaswijk, Edo Collins, Benoit Seguin, Mathias Soeken, Frédéric Kaplan, Sabine Süsstrunk, Giovanni De Micheli
Deep Learning for Logic Optimization Algorithms. ISCAS (2018)
Mathias Soeken, Thomas Häner, Martin Roetteler
Programming quantum computers using design automation. DATE (2018)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli
A best-fit mapping algorithm to facilitate ESOP-decomposition in Clifford+T quantum network synthesis. ASP-DAC (2018)
Alan Mishchenko, Robert K. Brayton, Ana Petkovska, Mathias Soeken, Luca G. Amarù, Antun Domic
Canonical computation without canonical representation. DAC (2018)
Zhufei Chu, Xifan Tang, Mathias Soeken, Ana Petkovska, Grace Zgheib, Luca Gaetano Amarù, Yinshui Xia, Paolo Ienne, Giovanni De Micheli, Pierre-Emmanuel Gaillardon
Improving Circuit Mapping Performance Through MIG-based Synthesis for Carry Chains. ACM Great Lakes Symposium on VLSI (2017)
Mathias Soeken, Pierre-Emmanuel Gaillardon, Saeideh Shirinzadeh, Rolf Drechsler, Giovanni De Micheli
A PLiM Computer for the Internet of Things. Computer 50 (6) (2017)
Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, Görschwin Fey
metaSMT: focus on your application and not on solver integration. Int. J. Softw. Tools Technol. Transf. 19 (5) (2017)
Mathias Soeken, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
Exact Synthesis of Majority-Inverter Graphs and Its Applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36 (11) (2017)
Eleonora Testa, Odysseas Zografos, Mathias Soeken, Adrien Vaysset, Mauricio Manfrini, Rudy Lauwereins, Giovanni De Micheli
Inverter Propagation and Fan-Out Constraints for Beyond-CMOS Majority-Based Technologies. ISVLSI (2017)
Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli
Logic Synthesis for Quantum Computing. CoRR (2017)
Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli
Design automation and design space exploration for quantum computers. DATE (2017)
Saeideh Shirinzadeh, Mathias Soeken, Daniel Große, Rolf Drechsler
-preferred evolutionary algorithm for approximate BDD optimization. GECCO (2017)
Luca Gaetano Amarù, Mathias Soeken, Patrick Vuillod, Jiong Luo, Alan Mishchenko, Pierre-Emmanuel Gaillardon, Janet Olson, Robert K. Brayton, Giovanni De Micheli
Enabling exact delay synthesis. ICCAD (2017)
Winston Haaswijk, Eleonora Testa, Mathias Soeken, Giovanni De Micheli
Classifying Functions with Exact Synthesis. ISMVL (2017)
Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli, Rolf Drechsler
Endurance management for resistive Logic-In-Memory computing architectures. DATE (2017)
Odysseas Zografos, A. De Meester, Eleonora Testa, Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli, Luca Gaetano Amarù, Praveen Raghavan, Francky Catthoor, Rudy Lauwereins
Wave pipelining for majority-based beyond-CMOS technologies. DATE (2017)
Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli
Hierarchical Reversible Logic Synthesis Using LUTs. DAC (2017)
Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
RM3 based logic synthesis (Special session paper). ISCAS (2017)
Winston Haaswijk, Mathias Soeken, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
A novel basis for logic rewriting. ASP-DAC (2017)
Luca Gaetano Amarù, Mathias Soeken, Winston Haaswijk, Eleonora Testa, Patrick Vuillod, Jiong Luo, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
Multi-level logic benchmarks: An exactness study. ASP-DAC (2017)
Mathias Soeken, Giovanni De Micheli, Alan Mishchenko
Busy man's synthesis: Combinational delay optimization with SAT. DATE (2017)
Mathias Soeken, Martin Rötteler, Nathan Wiebe, Giovanni De Micheli
Design Automation and Design Space Exploration for Quantum Computers. CoRR (2016)
Mathias Soeken, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
Optimizing Majority-Inverter Graphs with functional hashing. DATE (2016)
Mathias Soeken, Anupam Chattopadhyay
Unlocking efficiency and scalability of reversible logic synthesis using conventional logic synthesis. DAC (2016)
Amr A. R. Sayed-Ahmed, Daniel Große, Mathias Soeken, Rolf Drechsler
Equivalence checking using Gröbner bases. FMCAD (2016)
Mathias Soeken, Daniel Große, Arun Chandrasekharan, Rolf Drechsler
BDD minimization for approximate computing. ASP-DAC (2016)
Mathias Soeken, Laura Tague, Gerhard W. Dueck, Rolf Drechsler
Ancilla-free synthesis of large reversible functions using binary decision diagrams. J. Symb. Comput. 73 (2016)
Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler
Fast logic synthesis for RRAM-based in-memory computing using Majority-Inverter Graphs. DATE (2016)
Saeideh Shirinzadeh, Mathias Soeken, Daniel Große, Rolf Drechsler
Approximate BDD Optimization with Prioritized ε-Preferred Evolutionary Algorithm. GECCO (Companion) (2016)
Arun Chandrasekharan, Daniel Große, Mathias Soeken, Rolf Drechsler
Symbolic Error Metric Determination for Approximate Computing. MBMV (2016)

Mathias Soeken.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mathias Soeken