|
Home « Team « Publications
» Publications of
Sebastian Offermann
|
|
 |
BOOKS |
 |
|
BOOK CONTRIBUTIONS |
|
| » SyReC: A Programming Language for Synthesis of Reversible Circuits |
|
Author:
| Robert Wille, Sebastian Offermann, Rolf Drechsler
|
| Editor: | Tom J. Kazmierski, Adam Morawiec |
| Booktitle: | System Specification and Design Languages: Selected Contributions from FDL 2010 |
| Publisher: | Springer |
| Sites: | 207-222 |
| Year: | 2012 |
| Format: | Hardcover |
|
|
JOURNALS |
|
|
CONFERENCES |
|
» Efficient Realization of Control Logic in Reversible Circuits
|
|
|
|
Author:
|
|
Sebastian Offermann, Robert Wille, Rolf Drechsler |
| Conference: |
|
Forum on specification & Design Languages (FDL) |
Reference:
|
| Oldenburg, 2011
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» SyReC: A Programming Language for Synthesis of Reversible Circuits
|
|
|
|
Author:
|
|
Robert Wille, Sebastian Offermann, Rolf Drechsler |
| Conference: |
|
Forum on specification & Design Languages (FDL) |
Reference:
|
| pp. 184-189, Southampton, 2010
Received Best Paper Award
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
» Synthesizing Multiplier in Reversible Logic
|
|
|
|
Author:
|
|
Sebastian Offermann, Robert Wille, Gerhard W. Dueck, Rolf Drechsler |
| Conference: |
|
13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) |
Reference:
|
| pp. 335-340, Vienna, 2010
| Hyperlink:
|
| [To the Site of this Conference]
| PDF:
|
| [view Pdf]
|
|
WORKSHOPS |
|
» SyReC: A Programming Language for Synthesis of
Reversible Circuits
|
|
|
|
Author:
|
|
Robert Wille, Sebastian Offermann, Rolf Drechsler |
| Workshop: |
|
International Workshop on Logic Synthesis (IWLS) |
Reference:
|
| Irvine, 2010
| Hyperlink:
|
| [Link to the Workshop]
|
» SyReC: A Programming Language for Synthesis of Reversible Circuits
|
|
|
|
Author:
|
|
Robert Wille, Sebastian Offermann, Rolf Drechsler |
| Workshop: |
|
13. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" |
Reference:
|
| Dresden, 2010
| Hyperlink:
|
| [Link to the Workshop]
|
|
|
|
|
