Nabila Abdessaied
Nabila Abdessaied
Geverifieerd e-mailadres voor informatik.uni-bremen.de - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
322016
Quantum circuit optimization by Hadamard gate reduction
N Abdessaied, M Soeken, R Drechsler
International Conference on Reversible Computation, 149-162, 2014
292014
Reducing the Depth of Quantum Circuits Using Additional Circuit Lines
N Abdessaied, R Wille, M Soeken, R Drechsler
RC2013 7948, pp 221-233, 2013
202013
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
182014
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
162013
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
152014
Enumeration of reversible functions and its application to circuit complexity
M Soeken, N Abdessaied, G De Micheli
International Conference on Reversible Computation, 255-270, 2016
142016
Reversible and Quantum Circuits
N Abdessaied, R Drechsler
Google Scholar Google Scholar Digital Library Digital Library, 2016
142016
Complexity of reversible circuits and their quantum implementations
N Abdessaied, M Amy, R Drechsler, M Soeken
Theoretical Computer Science 618, 85-106, 2016
122016
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
122015
A framework for reversible circuit complexity
M Soeken, N Abdessaied, R Drechsler
arXiv preprint arXiv:1407.5878, 2014
72014
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
42014
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
International Conference on Reversible Computation, 219-232, 2015
12015
Design of a java simulator for fast prototyping of system-on-chip
N Abdessaied
LAP LAMBERT Academic Publishing, 2015
12015
Optimizations and Complexity Analysis on the Quantum Level
N Abdessaied, R Drechsler
Reversible and Quantum Circuits, 141-174, 2016
2016
Optimizations and Complexity Analysis on the Reversible Level
N Abdessaied, R Drechsler
Reversible and Quantum Circuits, 45-89, 2016
2016
Optimization and Complexity Analysis on the Mapping Level
N Abdessaied, R Drechsler
Reversible and Quantum Circuits, 91-140, 2016
2016
Reversible and Quantum Circuits: Optimization and Complexity Analysis
N Abdessaied
University of Bremen, 2015
2015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20