Research on a Novel Hashing Stream Cipher. - Yong Zhang 023; Xiamu Niu; Juncao Li; Chun-ming Li (CIS, 2006)

Fingerprint Identification Based on Frequency Texture Analysis. - Juncao Li; Yong Zhang 023; Wenhai Kong; Xiamu Niu (ICICIC (2), 2006)

Relational Databases Watermark Technique Based on Content Characteristic. - Yong Zhang 023; Xiamu Niu; Dongning Zhao; Juncao Li; Siming Liu (ICICIC (3), 2006)

Guiding Component-Based Hardware/Software Co-Verification with Patterns. - Juncao Li; Fei Xie; Huaiyu Liu (EUROMICRO-SEAA, 2007)

Component-Based Abstraction and Refinement. - Juncao Li; Xiuli Sun; Fei Xie; Xiaoyu Song (ICSR, 2008)

ESIDE: An Integrated Development Environment for Component-Based Embedded Systems. - Nicholas T. Pilkington; Juncao Li; Fei Xie (COMPSAC (1), 2009)

Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification. - Juncao Li; Fei Xie; Thomas Ball 001; Vladimir Levin (CAV, 2010)

An Automata-Theoretic Approach to Hardware/Software Co-verification. - Juncao Li; Fei Xie; Thomas Ball 001; Vladimir Levin; Con McGarvey (FASE, 2010)

Embedded architecture description language. - Juncao Li; Nicholas T. Pilkington; Fei Xie; Qiang Liu (J. Syst. Softw., 2010)

Model Checking Büchi Pushdown Systems. - Juncao Li; Fei Xie; Thomas Ball 001; Vladimir Levin (FASE, 2011)

Formalizing hardware/software interface specifications. - Juncao Li; Fei Xie; Thomas Ball 001; Vladimir Levin; Con McGarvey (ASE, 2011)