Formal specification level : concepts, methods, and algorithms

von Soeken, Mathias
Veröffentlicht 2013

An algorithm for linear, affine and spectral classification of boolean functions

von Miller, Michael
Veröffentlicht in Advanced boolean techniques (2020)

Advanced boolean techniques : selected papers from the 13th international workshop on boolean problems

Veröffentlicht 2020

A framework for reversible circuit complexity

von Soeken, Mathias
Veröffentlicht in Problems and new solutions in the boolean domain (2016)

Computational complexity of error metrics in approximate computing

von Keszöcze, Oliver
Veröffentlicht in Further improvements in the Boolean domain (2018)

On the computational complexity of error metrics in approximate computing

von Keszöcze, Oliver
Veröffentlicht in International Workshop on Boolean Problems (12. : 2016 : Freiberg) Boolean problems (2016)

A Fully Fledged HDL Design Flow for In-Memory Computing with Approximation Support

von Fröhlich, Saman
Veröffentlicht 2022

Reversible computation : 11th international conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings

Veröffentlicht 2019

Logic synthesis for majority based in-memory computing

von Shirinzadeh, Saeideh
Veröffentlicht in Advances in memristors, memristive devices and systems (2017)

Improved Quantum Circuits for Elliptic Curve Discrete Logarithms

von Häner, Thomas
Veröffentlicht in PQCrypto (11. : 2020 : Paris) Post-quantum cryptography (2020)

Auf dem Weg zum Quantencomputer : Entwurf reversibler Logik ; [studentisches Projekt (QBit)]

Veröffentlicht 2012