Follow
Nabila Abdessaied
Nabila Abdessaied
Verified email at informatik.uni-bremen.de - Homepage
Title
Cited by
Cited by
Year
Technology mapping of reversible circuits to Clifford+ T quantum circuits
N Abdessaied, M Amy, M Soeken, R Drechsler
2016 IEEE 46th international symposium on multiple-valued logic (ISMVL), 150-155, 2016
472016
Quantum circuit optimization by Hadamard gate reduction
N Abdessaied, M Soeken, R Drechsler
Reversible Computation: 6th International Conference, RC 2014, Kyoto, Japan …, 2014
472014
Reversible and quantum circuits
N Abdessaied, R Drechsler
Optimization and Complexity Analysis. Springer, Cham, 2016
342016
Reducing the Depth of Quantum Circuits Using Additional Circuit Lines
N Abdessaied, R Wille, M Soeken, R Drechsler
RC2013 7948, pp 221-233, 2013
302013
Exact template matching using Boolean satisfiability
N Abdessaied, M Soeken, R Wille, R Drechsler
2013 IEEE 43rd International Symposium on Multiple-Valued Logic, 328-333, 2013
262013
Automating the translation of assertions using natural language processing techniques
M Soeken, CB Harris, N Abdessaied, IG Harris, R Drechsler
Proceedings of the 2014 Forum on Specification and Design Languages (FDL …, 2014
232014
Upper bounds for reversible circuits based on Young subgroups
N Abdessaied, M Soeken, MK Thomsen, R Drechsler
Information Processing Letters 114 (6), 282-286, 2014
232014
Complexity of reversible circuits and their quantum implementations
N Abdessaied, M Amy, R Drechsler, M Soeken
Theoretical Computer Science 618, 85-106, 2016
172016
Enumeration of reversible functions and its application to circuit complexity
M Soeken, N Abdessaied, G De Micheli
Reversible Computation: 8th International Conference, RC 2016, Bologna …, 2016
172016
Reversible circuit rewriting with simulated annealing
N Abdessaied, M Soeken, GW Dueck, R Drechsler
2015 IFIP/IEEE International Conference on Very Large Scale Integration …, 2015
132015
A framework for reversible circuit complexity
M Soeken, N Abdessaied, R Drechsler
arXiv preprint arXiv:1407.5878, 2014
82014
Quality assessment for requirements based on natural language processing
M Soeken, N Abdessaied, A Allahyari-Abhari, A Buzo, L Musat, G Pelz, ...
Forum on Specification and Design Languages. Proceedings, 2014
52014
Technology mapping for quantum circuits using Boolean functional decomposition
N Abdessaied, M Soeken, R Drechsler
Reversible Computation, 149-162, 0
4
Optimization of NCV and Cliffford+
N Abdessaied, DM Miller, M Soeken, R Drechsler
T, 0
4
Technology mapping for single target gate based circuits using Boolean functional decomposition
N Abdessaied, M Soeken, R Drechsler
Reversible Computation: 7th International Conference, RC 2015, Grenoble …, 2015
22015
Design of a java simulator for fast prototyping of system-on-chip
N Abdessaied
LAP LAMBERT Academic Publishing, 2015
22015
Optimizations and Complexity Analysis on the Quantum Level
N Abdessaied, R Drechsler, N Abdessaied, R Drechsler
Reversible and Quantum Circuits: Optimization and Complexity Analysis, 141-174, 2016
12016
Optimizations and Complexity Analysis on the Reversible Level
N Abdessaied, R Drechsler, N Abdessaied, R Drechsler
Reversible and Quantum Circuits: Optimization and Complexity Analysis, 45-89, 2016
2016
Optimization and Complexity Analysis on the Mapping Level
N Abdessaied, R Drechsler, N Abdessaied, R Drechsler
Reversible and Quantum Circuits: Optimization and Complexity Analysis, 91-140, 2016
2016
ISMVL-2016 Reviewers
N Abdessaied, S Akama, MB Ali, T Araki, A Bulatov, J Butler, C Carvalho, ...
The system can't perform the operation now. Try again later.
Articles 1–20