Books
Reversible and Quantum Circuits: Optimization
and Complexity Analysis
More details
Design of a Java Simulator for Fast Prototyping of System-on-chip
More details
More details
|
Author: |
Nabila Abdessaied, Rolf Drechsler |
| Publisher: | Springer | |
| Year: | 2016 |
Design of a Java Simulator for Fast Prototyping of System-on-chip
More details
|
Author: |
Nabila Abdessaied |
| Publisher: | LAP LAMBERT Academic Publishing | |
| Year: | 2015 |
Book Contribution
A Framework for Reversible Circuit Complexity
More details
More details
|
Author: |
Nabila Abdessaied, Rolf Drechsler |
| Book title: |
Problems and New Solutions in the Boolean Domain | |
| Editor: |
Bernd Steinbach | |
| Publisher: | Cambridge Scholars Publishing | |
| Pages: |
327 - 341 | |
| Year: | 2016 |
Journals
Complexity of Reversible Circuits and their
Quantum Implementations
Link to the journal paper
Upper bounds for reversible circuits based on Young subgroups
Link to the journal paper
Link to the journal paper
|
Author: |
Nabila Abdessaied, Matthew Amy, Rolf Drechsler, Mathias Soeken |
| Journal: | Theoretical Computer Science | |
| Details: | Volume 618, , pp.85–106 | |
| Year: | 2016 |
Upper bounds for reversible circuits based on Young subgroups
Link to the journal paper
 |
Author: |
Nabila Abdessaied, Mathias Soeken, Michael Kirkedal Thomsen, Rolf Drechsler |
| Journal: | Information Processing Letters | |
| Details: | Volume 114, Number 06, pp. 282-286. | |
| Year: | 2014 |
Conferences
Enumeration of reversible functions and its
application to circuit complexity
Link to the Conference paper
Technology mapping of reversible circuits to Clifford+T quantum circuits
Link to the Conference paper
Reversible Circuit Rewriting with Simulated Annealing
Link to the Conference paper
Technology mapping for quantum circuits using Boolean functional decomposition
Link to the Conference paper
Automating the Translation of Assertions Using Natural Language Processing Techniques
Link to the Conference paper
Quality Assessment for Requirements based on Natural Language Processing
Link to the Conference paper
Quantum Circuit Optimization by Hadamard Gate Reduction
Link to the Conference paper
Reducing the Depth of Quantum Circuits Using Additional Lines
Link to the Conference paper
Exact Template Matching Using Boolean Satisfiability
Link to the Conference paper
Link to the Conference paper
 |
Author: |
Mathias Soeken, Nabila Abdessaied, Giovanni De Micheli |
| Conference: | Reversible Computation (RC) | |
| Pages: | 255-270 | |
| Year: | 2016 |
Technology mapping of reversible circuits to Clifford+T quantum circuits
Link to the Conference paper
|
Author: |
Nabila Abdessaied, Matthew Amy, Mathias Soeken, Rolf Drechsle |
| Conference: | International Symposium on Multiple-Valued Logic (ISMVL) | |
| Pages: | 255-270 | |
| Year: | 2016 |
Reversible Circuit Rewriting with Simulated Annealing
Link to the Conference paper
|
Author: |
Nabila Abdessaied, Mathias Soeken, Gerhard W. Dueck, and Rolf Drechsler |
| Conference: | International Conference on Very Large Scale Integration (VLSI-SoC) | |
| Pages: | 286-291 | |
| Year: | 2015 |
Technology mapping for quantum circuits using Boolean functional decomposition
Link to the Conference paper
|
Author: |
Nabila Abdessaied, Mathias Soeken, and Rolf Drechsler |
| Conference: | Reversible Computation (RC) | |
| Pages: | 219-232 | |
| Year: | 2015 |
Automating the Translation of Assertions Using Natural Language Processing Techniques
Link to the Conference paper
|
Author: |
Mathias Soeken, Christopher B. Harris, Nabila Abdessaied, Ian G. Harris and Rolf Drechsler |
| Conference: | Forum on specification and Design Languages (FDL) | |
| Pages: | 1-8 | |
| Year: | 2014 |
Quality Assessment for Requirements based on Natural Language Processing
Link to the Conference paper
|
Author: |
Mathias Soeken, Nabila Abdessaied, Arman Allahyari-Abhari, Andi Buzo, Liana Musat, Georg Pelz, Rolf Drechsler |
| Conference: | Forum on specification and Design Languages (FDL), Special Session | |
| Year: | 2014 |
Quantum Circuit Optimization by Hadamard Gate Reduction
Link to the Conference paper
|
Author: |
Nabila Abdessaied, Mathias Soeken, and Rolf Drechsler |
| Conference: | Reversible Computation (RC) | |
| Pages: | 149-162 | |
| Year: | 2014 |
Reducing the Depth of Quantum Circuits Using Additional Lines
Link to the Conference paper
|
Author: |
Nabila Abdessaied, Robert Wille, Mathias Soeken, and Rolf Drechsler |
| Conference: | Reversible Computation (RC) | |
| Pages: | 221-233 | |
| Year: | 2013 |
Exact Template Matching Using Boolean Satisfiability
Link to the Conference paper
|
Author: |
Nabila Abdessaied, Mathias Soeken, Robert Wille, Rolf Drechsle |
| Conference: | International Symposium on Multiple-Valued Logic (ISMVL) | |
| Pages: | 328-333 | |
| Year: | 2013 |
Workshops
A Framework for Reversible Circuit Complexity
Link to the workshop paper
Link to the workshop paper
|
Author: |
Mathias Soeken, Nabila Abdessaied, Rolf Drechsler |
| Workshop: | International Workshop on Boolean Problems (IWBP) | |
| Pages: | 123–128 | |
| Year: | 2014 |