Nabila Abdessaied

12 papers C 6Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2016 J jnl
Complexity of reversible circuits and their quantum implementations.
Theor. Comput. Sci.
Nabila Abdessaied, Matthew Amy, Rolf Drechsler, Mathias Soeken
2016 C conf
Enumeration of Reversible Functions and Its Application to Circuit Complexity.
RC
Mathias Soeken, Nabila Abdessaied, Giovanni De Micheli
2016 — conf
Technology Mapping of Reversible Circuits to Clifford+T Quantum Circuits.
ISMVL
Nabila Abdessaied, Matthew Amy, Mathias Soeken, Rolf Drechsler
2015 — —
Reversible and quantum circuits: optimization and complexity analysis.
Nabila Abdessaied
2015 C conf
Reversible circuit rewriting with simulated annealing.
VLSI-SoC
Nabila Abdessaied, Mathias Soeken, Gerhard W. Dueck, Rolf Drechsler
2015 C conf
Technology Mapping for Single Target Gate Based Circuits Using Boolean Functional Decomposition.
RC
Nabila Abdessaied, Mathias Soeken, Rolf Drechsler
2014 J jnl
A framework for reversible circuit complexity.
CoRR
Mathias Soeken, Nabila Abdessaied, Rolf Drechsler
2014 C conf
Automating the translation of assertions using natural language processing techniques.
FDL
Mathias Soeken, Christopher B. Harris, Nabila Abdessaied, Ian G. Harris, Rolf Drechsler
2014 C conf
Quantum Circuit Optimization by Hadamard Gate Reduction.
RC
Nabila Abdessaied, Mathias Soeken, Rolf Drechsler
2014 J jnl
Upper bounds for reversible circuits based on Young subgroups.
Inf. Process. Lett.
Nabila Abdessaied, Mathias Soeken, Michael Kirkedal Thomsen, Rolf Drechsler
2013 — conf
Exact Template Matching Using Boolean Satisfiability.
ISMVL
Nabila Abdessaied, Mathias Soeken, Robert Wille, Rolf Drechsler
2013 C conf
Reducing the Depth of Quantum Circuits Using Additional Circuit Lines.
RC
Nabila Abdessaied, Robert Wille, Mathias Soeken, Rolf Drechsler