Nabila Abdessaied

According to our database, Nabila Abdessaied authored at least 12 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Complexity of reversible circuits and their quantum implementations.

Nabila Abdessaied, Matthew Amy, Rolf Drechsler, Mathias Soeken

Theor. Comput. Sci., 2016

Enumeration of Reversible Functions and Its Application to Circuit Complexity.

Mathias Soeken, Nabila Abdessaied, Giovanni De Micheli

Proceedings of the Reversible Computation - 8th International Conference, 2016

Technology Mapping of Reversible Circuits to Clifford+T Quantum Circuits.

Nabila Abdessaied, Matthew Amy, Mathias Soeken, Rolf Drechsler

Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

2015

Reversible and quantum circuits: optimization and complexity analysis.

Nabila Abdessaied

PhD thesis, 2015

Reversible circuit rewriting with simulated annealing.

Nabila Abdessaied, Mathias Soeken, Gerhard W. Dueck, Rolf Drechsler

Proceedings of the 2015 IFIP/IEEE International Conference on Very Large Scale Integration, 2015

Technology Mapping for Single Target Gate Based Circuits Using Boolean Functional Decomposition.

Nabila Abdessaied, Mathias Soeken, Rolf Drechsler

Proceedings of the Reversible Computation - 7th International Conference, 2015

2014

Upper bounds for reversible circuits based on Young subgroups.

Nabila Abdessaied, Mathias Soeken, Michael Kirkedal Thomsen, Rolf Drechsler

Inf. Process. Lett., 2014

A framework for reversible circuit complexity.

Mathias Soeken, Nabila Abdessaied, Rolf Drechsler

CoRR, 2014

Quantum Circuit Optimization by Hadamard Gate Reduction.

Nabila Abdessaied, Mathias Soeken, Rolf Drechsler

Proceedings of the Reversible Computation - 6th International Conference, 2014

Automating the translation of assertions using natural language processing techniques.

Mathias Soeken, Christopher B. Harris, Nabila Abdessaied, Ian G. Harris, Rolf Drechsler

Proceedings of the 2014 Forum on Specification and Design Languages, 2014

2013

Reducing the Depth of Quantum Circuits Using Additional Circuit Lines.

Nabila Abdessaied, Robert Wille, Mathias Soeken, Rolf Drechsler

Proceedings of the Reversible Computation - 5th International Conference, 2013

Exact Template Matching Using Boolean Satisfiability.

Nabila Abdessaied, Mathias Soeken, Robert Wille, Rolf Drechsler

Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013