| Publication | Date of Publication | Type |
|---|
Quantum circuit implementations of SM4 block cipher optimizing the number of qubits
Quantum Information Processing | 2024-06-05 | Paper |
Pieceable fault tolerant conversion between 5-qubit code and 7-CSS code
Quantum Information Processing | 2023-02-03 | Paper |
A mediated semi-quantum protocol for millionaire problem based on high-dimensional Bell states
Quantum Information Processing | 2022-12-06 | Paper |
Complex intuitionistic fuzzy ordered weighted distance measure
Computational and Applied Mathematics | 2022-11-01 | Paper |
Efficient decoding scheme of non-uniform concatenation quantum code with deep neural network
International Journal of Theoretical Physics | 2021-11-05 | Paper |
Computing the number of affine equivalent classes on \(\mathcal{R}(s,n)/\mathcal{R}(k,n)\)
Theory of Computing Systems | 2021-08-05 | Paper |
Computing the number of the equivalence classes for reversible logic functions
International Journal of Theoretical Physics | 2020-09-04 | Paper |
Terminal satisfiability in GSTE
Journal of Applied Mathematics | 2019-11-19 | Paper |
A new pairwise NPN Boolean matching algorithm based on structural difference signature
Symmetry | 2019-11-13 | Paper |
A group algebraic approach to NPN classification of Boolean functions
Theory of Computing Systems | 2019-09-05 | Paper |
Minimax-rate adaptive nonparametric regression with unknown correlations of errors
Science China. Mathematics | 2019-03-07 | Paper |
| Security analysis of semi-quantum cryptography protocols by model checking | 2018-07-18 | Paper |
Novel Lebesgue-integral-based approach to improved results for neural networks with additive time-varying delay components
Journal of the Franklin Institute | 2017-10-23 | Paper |
Quantum private comparison protocol with linear optics
International Journal of Theoretical Physics | 2017-08-28 | Paper |
Computing Affine Equivalence Classes of Boolean Functions by Group Isomorphism
IEEE Transactions on Computers | 2017-05-16 | Paper |
Uncertainty Model for Configurable Hardware/Software and Resource Partitioning
IEEE Transactions on Computers | 2017-05-16 | Paper |
The modeling library of eavesdropping methods in quantum cryptography protocols by model checking
International Journal of Theoretical Physics | 2017-03-28 | Paper |
Quantum homomorphic signature based on Bell-state measurement
Quantum Information Processing | 2017-03-08 | Paper |
Separability criterion for arbitrary multipartite pure state based on the rank of reduced density matrix
International Journal of Theoretical Physics | 2016-11-08 | Paper |
| SAT-based algorithm for finding cycles in a Boolean network | 2016-08-10 | Paper |
A new multipartite entanglement measure for arbitrary n-qudit pure states
International Journal of Theoretical Physics | 2016-06-09 | Paper |
A multipartite entanglement measure based on coefficient matrices
Quantum Information Processing | 2015-09-23 | Paper |
Pareto optimal mapping for tile-based network-on-chip under reliability constraints
International Journal of Computer Mathematics | 2015-03-25 | Paper |
Multi-party quantum private comparison protocol based on d-dimensional entangled states
Quantum Information Processing | 2014-12-05 | Paper |
On a conjecture about the norm of Lyapunov mappings
Linear Algebra and its Applications | 2014-11-17 | Paper |
A class of efficient quantum incrementer gates for quantum circuit synthesis
International Journal of Modern Physics B | 2014-04-08 | Paper |
Complete Boolean satisfiability solving algorithms based on local search
Journal of Computer Science and Technology | 2014-02-06 | Paper |
A transformation-based approach to implication of GSTE assertion graphs
Journal of Applied Mathematics | 2013-09-09 | Paper |
Efficient algorithms for optimal 4-bit reversible logic system synthesis
Journal of Applied Mathematics | 2013-06-14 | Paper |
Mathematical analysis of stage-based programmable logic controller
Computers & Mathematics with Applications | 2011-08-28 | Paper |
Realization and synthesis of reversible functions
Theoretical Computer Science | 2011-03-29 | Paper |
Synthesis of reversible circuits with minimal costs
Calcolo | 2009-10-19 | Paper |
Minimal universal library for \(n\times n\) reversible circuits
Computers & Mathematics with Applications | 2008-10-22 | Paper |
Compositional Reasoning for Hardware/Software Co-verification
Automated Technology for Verification and Analysis | 2008-09-04 | Paper |
A combinatorial congestion estimation approach with generalized detours
Computers & Mathematics with Applications | 2008-03-11 | Paper |
Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits
Implementation and Application of Automata | 2007-09-06 | Paper |
Theory and Applications of Models of Computation
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Theory and Applications of Models of Computation
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Congestion estimation for hexagonal routing
International Journal of Computer Mathematics | 2007-02-15 | Paper |
Nonlinear systems possessing linear symmetry
International Journal of Robust and Nonlinear Control | 2007-01-24 | Paper |
Algebraic characterization of reversible logic gates
Theory of Computing Systems | 2006-10-25 | Paper |
Universality of 2-qudit ternary reversible gates
Journal of Physics A: Mathematical and General | 2006-07-13 | Paper |
Solutions of the compatibility conditions for a Wigner quantum oscillator
Journal of Physics A: Mathematical and General | 2006-03-09 | Paper |
Computing and Combinatorics
Lecture Notes in Computer Science | 2006-01-11 | Paper |
Majority-based reversible logic gates
Theoretical Computer Science | 2005-06-01 | Paper |
On synthesis of 3 × 3 reversible logic functions
International Journal of Computer Mathematics | 2005-03-07 | Paper |
| scientific article; zbMATH DE number 2094627 (Why is no real title available?) | 2004-08-24 | Paper |
