

|
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]
|
|
 |
|
|