Verification of composite Galois field multipliers over GF ((2m)n) using computer algebra techniques. - Jinpeng Lv; Priyank Kalla; Florian Enescu (HLDVT, 2011)

Efficient Gröbner basis reductions for formal verification of galois field multipliers. - Jinpeng Lv; Priyank Kalla; Florian Enescu (DATE, 2012)

Formal Verification of Galois Field Multipliers Using Computer Algebra Techniques. - Jinpeng Lv; Priyank Kalla (VLSI Design, 2012)

Investigating Emission Reduction Benefit From Intersection Signal Optimization. - Jinpeng Lv; Yunlong Zhang; Joe Zietsman (J. Intell. Transp. Syst., 2013)

Efficient Gröbner Basis Reductions for Formal Verification of Galois Field Arithmetic Circuits. - Jinpeng Lv; Priyank Kalla; Florian Enescu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)

Distortion Function for Spatial Image Steganography Based on the Polarity of Embedding Change. - Zichi Wang; Jinpeng Lv; Qingde Wei; Xinpeng Zhang 001 (IWDW, 2016)

A novel auxiliary data construction scheme for reversible data hiding in JPEG images. - Jinpeng Lv; Sheng Li 006; Xinpeng Zhang 001 (Multim. Tools Appl., 2018)

Unlocking Insights: Semantic Search in Jupyter Notebooks. - Lan Li 002; Jinpeng Lv (CoRR, 2024)