Model checking linearizability via refinement

由 Liu, Y., Chen, W., Liu, Y.A., Sun, J.
出版 2013

Formal verification of scalable nonzero indicators

由 Zhang, S.J., Liu, Y., Sun, J., Dong, J.S., Chen, W., Liu, Y.A.
出版 2013

Verifying linearizability via optimized refinement checking

由 Liu, Y., Chen, W., Liu, Y.A., Sun, J., Zhang, S.J., Dong, J.S.
出版 2014

A dynamic AES cryptosystem based on memristive neural network

由 Liu, Y. A., Chen, L., Li, X. W., Liu, Y. L., Hu, S. G., Yu, Q., Chen, Tupei, Liu, Y.
出版 2023