Model checking linearizability via refinement

by Liu, Y., Chen, W., Liu, Y.A., Sun, J.
Published 2013

Formal verification of scalable nonzero indicators

by Zhang, S.J., Liu, Y., Sun, J., Dong, J.S., Chen, W., Liu, Y.A.
Published 2013

Verifying linearizability via optimized refinement checking

by Liu, Y., Chen, W., Liu, Y.A., Sun, J., Zhang, S.J., Dong, J.S.
Published 2014

A dynamic AES cryptosystem based on memristive neural network

by Liu, Y. A., Chen, L., Li, X. W., Liu, Y. L., Hu, S. G., Yu, Q., Chen, Tupei, Liu, Y.
Published 2023