Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Pengfei Gao

SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Comparison of Carcass Traits, Meat Quality and Expressions of MyHCs in Muscles Between Mashen and Large White Pigs

Italian Journal of Animal Science

English

Characterization and Comparison of the Intestinal Microbiota in Chinese Shanxi Black Pig During the Weaning and Nursery Periods

English