Citation: | Xu Zhiwei, Xie Yi, Hai Mo, Li Xiaolin, Yuan Zimu. Universal Compute Account and Personal Information Asset Algebra in Human-Cyber-Physical Ternary Computing[J]. Journal of Computer Research and Development, 2013, 50(6): 1135-1146. |
[1] | Xing Zhaohui, Zhang Wenying, Cao Meichun. Integral Cryptanalysis on Lightweight Block Cipher WARP Based on the Algebraic Structure Perspective[J]. Journal of Computer Research and Development, 2023, 60(4): 860-872. DOI: 10.7544/issn1000-1239.202111169 |
[2] | Chen Qiaoqiao, Li Bixin, and Ji Shunhui. A Modeling and Verification Method of CPS Based on Differential-Algebraic Dynamic Logic[J]. Journal of Computer Research and Development, 2013, 50(4): 700-710. |
[3] | Wang Yong, Fang Juan, Ren Xingtian, and Lin Li. Formal Verification of TCG Remote Attestation Protocols Based on Process Algebra[J]. Journal of Computer Research and Development, 2013, 50(2): 325-331. |
[4] | Du Yuyang, Yu Hongliang, Zheng Weimin. An Algebraic-Mapping-Based Phase-Change Memory Matrix Wear-Leveling Method[J]. Journal of Computer Research and Development, 2012, 49(12): 2713-2720. |
[5] | Su Jindian, Yu Shanshan. Bialgebraic Structures for Abstract Data Types and Their Computations[J]. Journal of Computer Research and Development, 2012, 49(8): 1787-1803. |
[6] | Zhu Yi, Huang Zhiqiu, Zhou Hang, Liu Linyuan. A Method for Generating Software Architecture Models from Process Algebra Specifications[J]. Journal of Computer Research and Development, 2011, 48(2): 241-250. |
[7] | Ye Xiaoping. Model and Algebra of Object-Relation Bitemporal Data Based on Temporal Variables[J]. Journal of Computer Research and Development, 2007, 44(11): 1971-1979. |
[8] | Huang Zhenhua and Wang Wei. An Algebra for Skyline Query Processing Data Cube[J]. Journal of Computer Research and Development, 2007, 44(6): 990-999. |
[9] | Chen Wenyu and Wang Guozhao. Algebraic-Trigonometric Splines[J]. Journal of Computer Research and Development, 2006, 43(4): 679-687. |
[10] | Zhou Wei, Yin Qing, and Wang Qingxian. Abstract Security Properties in Process Algebra[J]. Journal of Computer Research and Development, 2005, 42(12): 2100-2105. |