• Publications
  • Influence
Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis
TLDR
This paper proposes an approach to optimally synthesize quantum circuits by symbolic reachability analysis, where the primary inputs and outputs are basis binary and the internal signals can be nonbinary. Expand
  • 250
  • 13
  • PDF
Quantum logic synthesis by symbolic reachability analysis
TLDR
In this paper, we propose an approach to optimally synthesize quantum circuits by symbolic reachability analysis where the primary inputs are purely binary. Expand
  • 84
  • 7
  • PDF
A Parallel Attractor Finding Algorithm Based on Boolean Satisfiability for Genetic Regulatory Networks
In biological systems, the dynamic analysis method has gained increasing attention in the past decade. The Boolean network is the most common model of a genetic regulatory network. The interactionsExpand
  • 33
  • 6
  • PDF
File-Centric Multi-Key Aggregate Keyword Searchable Encryption for Industrial Internet of Things
TLDR
In this paper, first we discuss a new insider attack to the Cui's multi-key aggregate searchable encryption scheme, where the unauthorized inside users can guess the other users private keys. Expand
  • 32
  • 5
Synthesis of reversible circuits with minimal costs
We present fast algorithms to synthesize exact minimal reversible circuits for various types of gate and cost. By reducing reversible logic synthesis problems to permutation group problems, we useExpand
  • 13
  • 4
Calculation of compressible flows about complex moving geometries using a three‐dimensional Cartesian cut cell method
A three-dimensional Cartesian cut cell method is described for modelling compressible flows around complex geometries, which may be either static or in relative motion. A background Cartesian mesh isExpand
  • 72
  • 3
A Constructive Algorithm for Reversible Logic Synthesis
TLDR
This paper presents a constructive synthesis algorithm for any n-qubit reversible function. Expand
  • 20
  • 3
  • PDF
Multi-party quantum private comparison protocol based on $$d$$d-dimensional entangled states
TLDR
In this paper, we present a novel quantum private comparison protocol with $$l$$l-party and $$d$$d-dimensional entangled states, with the help of a semi-honest third party. Expand
  • 32
  • 2
Group Theory Based Synthesis of Binary Reversible Circuits
TLDR
We show that any even-reversible-circuit of n (n>3) qubits can be realized using NOT gate and Toffoli gate. Expand
  • 31
  • 2
  • PDF
Routability checking for three-dimensional architectures
TLDR
We present a novel symbolic routability checking approach for three-dimensional interconnect layout. Expand
  • 22
  • 2