Homepage Sitemap Contact




Home « Team « Publications
» Publications of Nabila Abdessaied



BOOKS

» Reversible and Quantum Circuits
[Read more about this book!]



Publisher:


Springer
Author:

Nabila Abdessaied, Rolf Drechsler
Format:
eBook, Hardcover
Year:


2016





BOOK CONTRIBUTIONS
» A framework for reversible circuit complexity
Bigpicture: Problems and New Solutions in the Boolean Domain Author:

Mathias Soeken, Nabila Abdessaied, Rolf Drechsler

Editor:Bernd Steinbach
Booktitle:Problems and New Solutions in the Boolean Domain
Publisher:Cambridge Scholars Publishing
Sites:327 - 341
Year:2016
Format:Paperback





JOURNALS

» Complexity of Reversible Circuits and their Quantum Implementations
[Link to the Homepage of this journal]




Author:

Nabila Abdessaied, Matthew Amy, Rolf Drechsler, Mathias Soeken
Journal:
Theoretical Computer Science
Details:
Volume 618, (March 2016), pp. 85–106. DOI:10.1016/j.tcs.2016.01.011
Year:


2016





» Upper bounds for reversible circuits based on Young subgroups
[Link to the Homepage of this journal]




Author:

Nabila Abdessaied, Mathias Soeken, Michael Kirkedal Thomsen, Rolf Drechsler
Journal:
Information Processing Letters
Details:
Volume 114, Number 06 (June 2014), pp. 282-286. DOI: 10.1016/j.ipl.2014.01.003
Year:


2014






CONFERENCES



» Enumeration of reversible functions and its application to circuit complexity




Author:

Mathias Soeken, Nabila Abdessaied, Giovanni De Micheli
Conference:
Reversible Computation
Reference:

Bologna, Italy, 2016
Hyperlink:

[To the Site of this Conference]



» Technology mapping of reversible circuits to Clifford+T quantum circuits




Author:

Nabila Abdessaied, Matthew Amy, Mathias Soeken, Rolf Drechsler
Conference:
46rd International Symposium on Multiple-Valued Logic (ISMVL)
Reference:

Sapporo, Japan, 2016
Hyperlink:

[To the Site of this Conference]



» Reversible Circuit Rewriting with Simulated Annealing




Author:

Nabila Abdessaied, Mathias Soeken, Gerhard W. Dueck, and Rolf Drechsler
Conference:
IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)
Reference:

Daejeon, Korea, 2015
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Technology mapping for quantum circuits using Boolean functional decomposition




Author:

Nabila Abdessaied, Mathias Soeken, Rolf Drechsler
Conference:
Reversible Computation
Reference:

Grenoble, France, 2015
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Automating the Translation of Assertions Using Natural Language Processing Techniques




Author:

Mathias Soeken, Christopher B. Harris, Nabila Abdessaied, Ian G. Harris and Rolf Drechsler
Conference:
Forum on specification & Design Languages (FDL)
Reference:

Munich, Germany, 2014
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Quality Assessment for Requirements based on Natural Language Processing




Author:

Mathias Soeken, Nabila Abdessaied, Arman Allahyari-Abhari, Andi Buzo, Liana Musat, Georg Pelz, Rolf Drechsler
Conference:
Special Session at the Forum on Specification & Design Languages (FDL'14)
Reference:

Munich, Germany, 2014
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Quantum Circuit Optimization by Hadamard Gate Reduction




Author:

Nabila Abdessaied, Mathias Soeken, Rolf Drechsler
Conference:
Reversible Computation
Reference:

Kyoto, Japan, 2014
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Reducing the Depth of Quantum Circuits Using Additional Lines




Author:

Nabila Abdessaied, Robert Wille, Mathias Soeken, Rolf Drechsler
Conference:
Reversible Computation
Reference:

pp. 221-233, Victoria, Canada, 2013
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]



» Exact Template Matching Using Boolean Satisfiability




Author:

Nabila Abdessaied, Mathias Soeken, Robert Wille, Rolf Drechsler
Conference:
43rd International Symposium on Multiple-Valued Logic (ISMVL)
Reference:

pp. 328-333, Toyama, Japan, 2013
Hyperlink:

[To the Site of this Conference]
PDF:

[view Pdf]


WORKSHOPS




» A framework for reversible circuit complexity




Author:

Mathias Soeken, Nabila Abdessaied, Rolf Drechsler
Workshop:
10th International Workshop on Boolean Problems
Reference:

Freiberg, Germany, 2014, post-print available at arXiv:1407.5878
PDF:

[view Pdf]
PS:

[view PS]
Hyperlink:

[Link to the Workshop]

















Die deutsche Version ist von dieser Seite nicht erreichbar - bitte gehen Sie eine Seite zurück.









Sitemap Kontakt

ISMVL2014 DUHDE