Mathias Soeken

Available identifiers

zbMath Open soeken.mathiasWikidataQ102416100 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
https://portal.mardi4nfdi.de/entity/Q5144374	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
Enumeration of Reversible Functions and Its Application to Circuit Complexity	2016-08-10	Paper
A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis	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 π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
White Dots do Matter: Rewriting Reversible Logic Circuits	2013-12-17	Paper
Reducing the Depth of Quantum Circuits Using Additional Circuit Lines	2013-12-17	Paper
Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models	2011-07-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mathias Soeken