2.1k citations
- Carl von Ossietzky Universität OldenburgDE11 papers
- Constructor UniversityDE8 papers
- University of OxfordGB6 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Centre for Quantum TechnologiesSG4 papers
- Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)DE4 papers
- Harvard UniversityUS4 papers
- Leibniz University HannoverDE4 papers
- Max Planck SocietyDE4 papers
- National University of SingaporeSG4 papers
- Staats- und Universitätsbibliothek BremenDE4 papers
- Universität HamburgDE4 papers
7 papers · 1 filter
Ancilla-free synthesis of large reversible functions using binary decision diagrams
Mathias Soeken, Laura Tague, Gerhard W. Dueck +1
The synthesis of reversible functions has been an intensively studied research area in the last decade. Since almost all proposed approaches rely on representations of exponential…
Embedding of Large Boolean Functions for Reversible Logic
Mathias Soeken, Robert Wille, Oliver Keszocze +2
Reversible logic represents the basis for many emerging technologies and has recently been intensively studied. However, most of the Boolean functions of practical interest are irr…
Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering
Dragan Bošnački, Stefan Edelkamp, Alberto Lluch Lafuente +1
These are the proceedings of the Third Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), which took place on April 5, 2014 in Grenoble, France, as a satellite…
The Complex Irradiation Facility at DLR-Bremen
Thomas Renger, Maciej Sznajder, Andreas Witzke +1
All material exposed to interplanetary space conditions are subject to degradation processes. For obvious reasons there is a great interest to study these processes for materials t…
A framework for reversible circuit complexity
Mathias Soeken, Nabila Abdessaied, Rolf Drechsler
Reversible single-target gates are a generalization of Toffoli gates which are a helpful formal representation for the description of synthesis algorithms but are too general for a…
Low-Effort Specification Debugging and Analysis
Rüdiger Ehlers, Vasumathi Raman
Reactive synthesis deals with the automated construction of implementations of reactive systems from their specifications. To make the approach feasible in practice, systems engine…