Mathias Soeken

Available identifiers

zbMath Open soeken.mathiasDBLP20/3466WikidataQ102416100 ScholiaQ102416100MaRDI QIDQ491239

List of research outcomes

Publication	Date of Publication	Type
An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions	2024-01-23	Paper
Improved quantum circuits for elliptic curve discrete logarithms	2022-10-13	Paper
https://portal.mardi4nfdi.de/entity/Q5020632	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q5020633	2022-01-06	Paper
Boolean satisfiability in quantum compilation	2021-06-15	Paper
A spectral algorithm for 3-valued function equivalence classification	2021-01-15	Paper
Mapping Monotone Boolean Functions into Majority	2019-08-13	Paper
The complexity of error metrics	2018-10-19	Paper
Pairs of majority-decomposing functions	2018-10-19	Paper
Quantum circuits for floating-point arithmetic	2018-10-17	Paper
SAT-based {CNOT, \(T\)} quantum circuit synthesis	2018-10-17	Paper
Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics	2016-09-30	Paper
Technology mapping for single target gate based circuits using Boolean functional decomposition	2016-09-30	Paper
Heuristic NPN classification for large functions using AIGs and LEXSAT	2016-09-05	Paper
A fast symbolic transformation based algorithm for reversible logic synthesis	2016-08-10	Paper
Enumeration of reversible functions and its application to circuit complexity	2016-08-10	Paper
Complexity of reversible circuits and their quantum implementations	2016-02-18	Paper
Property checking of quantum circuits using quantum multiple-valued decision diagrams	2015-11-30	Paper
Using \(\pi\)DDs in the design of reversible circuits	2015-11-30	Paper
Ancilla-free synthesis of large reversible functions using binary decision diagrams	2015-08-24	Paper
Translating between the roots of the identity in quantum computers	2015-03-30	Paper
Self-Inverse Functions and Palindromic Circuits	2015-02-20	Paper
Quantum circuit optimization by Hadamard gate reduction	2014-09-02	Paper
Mapping NCV Circuits to Optimized Clifford+T Circuits	2014-09-02	Paper
Upper bounds for reversible circuits based on Young subgroups	2014-04-17	Paper
Reducing the Depth of Quantum Circuits Using Additional Circuit Lines	2013-12-17	Paper
White dots do matter: rewriting reversible logic circuits	2013-12-17	Paper
Encoding OCL data types for SAT-based verification of UML/OCL models	2011-07-07	Paper

Research outcomes over time

This page was built for person: Mathias Soeken