A Functionality Based Instruction Level Software Power Estimation Model for Embedded RISC Processors. - Jia Chen; Shengyuan Wang 001; Yuan Dong; Guilan Dai; Yang Yang (ICESS, 2004)

Improving Combinability of Petri Nets with Inheritance, Aggregation and Association. - Shengyuan Wang 001; Yuan Dong (TASE, 2007)

Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine. - Yuan Dong; Kai Ren; Shengyuan Wang 001; Suqin Zhang (APLAS, 2009)

Modular Certification of Low-Level Intermediate Representation Programs. - Yuan Dong; Shengyuan Wang 001; Liwei Zhang; Ping Yang (COMPSAC (1), 2009)

GRAPE: A Graph-Based Framework for Disambiguating People Appearances in Web Search. - Lili Jiang 002; Jianyong Wang 001; Ning An 001; Shengyuan Wang 001; Jian Zhan; Lian Li 001 (ICDM, 2009)

Domain-specific Pattern Matching Based Automatic Parallelization: Demonstrated by 2-D Prestack Migration. - Zhen Cao; Yuan Dong; Shengyuan Wang 001 (ICPADS, 2009)

Two birds with one stone: a graph-based framework for disambiguating and tagging people names in web search. - Lili Jiang 002; Jianyong Wang 001; Ning An 001; Shengyuan Wang 001; Jian Zhan; Lian Li 001 (WWW, 2009)

Compiler Backend Generation for Application Specific Instruction Set Processors. - Zhen Cao; Yuan Dong; Shengyuan Wang 001 (APLAS, 2011)

Transitions as Transactions. - Shengyuan Wang 001; Weiyi Wu; Yao Zhang; Yuan Dong (PNSE, 2011)

PNTM Integration of Petri Nets and Transactional Memory. - Weiyi Wu; Yao Zhang; Shengyuan Wang 001; Yuan Dong (PNSE, 2011)

A verifiable low-level concurrent programming model based on colored Petri nets. - Shengyuan Wang 001; Yuan Dong (Sci. China Inf. Sci., 2011)

VertexRank: Importance Rank for Software Network Vertices. - Huan Luo; Yuan Dong; Yiying Ng; Shengyuan Wang 001 (COMPSAC, 2014)

A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs. - Gang Shi; Yuanke Gan; Shu Shang; Shengyuan Wang 001; Yuan Dong; Pen-Chung Yew (ICSE (Companion Volume), 2017)

A formally verified transformation to unify multiple nested clocks for a Lustre-like language. - Gang Shi; Yucheng Zhang; Shu Shang; Shengyuan Wang 001; Yuan Dong; Pen-Chung Yew (Sci. China Inf. Sci., 2019)