Publications

Page 2 of 7.

Mathias Soeken; Nabila Abdessaied; Giovanni De Micheli
Enumeration of reversible functions and its application to circuit complexity
In: Mathias Soeken; Nabila Abdessaied; Giovanni De Micheli. Reversible Computation. Pages 125-137, Springer, 2016.
Mathias Soeken; Anupam Chattopadhyay
Fredkin-Enabled Transformation-based Reversible Logic Synthesis
In: The 45th International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2015), 45th, May 18-20, …
Mazder Rahman; Mathias Soeken; Gerhard Dueck
Dynamic Template Matching with Miexed-polarity Toffoli Gates
In: The 45th International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2015), 45th, May 18-20, …
Mathias Soeken; Laura Tague; Gerhard W. Dueck; Rolf Drechsler
Ancilla-free synthesis of large reversible functions using binary decision diagrams
In: Journal of Symbolic Computation, 2015.
Saeideh Shirinzadeh; Mathias Soeken; Rolf Drechsler
Multi-Objective BDD Optimization with Evolutionary Algorithms
In: Genetic and Evolutionary Computation Conference . Genetic and Evolutionary Computation Conference (GECCO), A recombination of the 24th …
Arman Allahyari-Abhari; Mathias Soeken; Rolf Drechsler
Requirement Phrasing Assistance using Automatic Quality Assessment
In: IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems . IEEE International Symposium on Design and Diagnostics …
Nabila Abdessaied; Mathias Soeken; Rolf Drechsler
Technology mapping for quantum circuits using Boolean functional decomposition
In: 7th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-07), 7th, July 16-17, Grenoble, …
Mathias Soeken; Michael Kirkedal Thomsen; Gerhard W. Dueck; D. Michael Miller
Self-Inverse Functions and Palindromic Circuits
In: Reed-Muller Workshop. Reed-Muller Workshop, May 21, Waterloo, Canada, 2015.
Michael Kirkedal Thomsen; Mathias Soeken; Robin Kaarsgaard
Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics
In: 7th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-07), 7th, July 16-17, Grenoble, …
Mathias Soeken; Julia Seiter; Rolf Drechsler
Coverage of OCL Operation Specifications and Invariants
In: Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings. International Conference on Tests …