Concepedia

Jinpeng Lv

JL

10

Publications

277

Citations

10

H-Index

2011

Active since

Affiliations

Texas A&M University(Current)

University of Utah

Georgia State University

Jinpeng Lv is an author at Texas A&M University specializing in engineering, computer engineering, and signal processing.

Top concepts

EngineeringComputer EngineeringComputer ScienceSignal ProcessingSystems EngineeringTraffic EngineeringTransportation EngineeringFormal MethodsFormal VerificationAlgebraic Complexity

Publications per year

2011–2015

10

Publications

10

Efficient Gröbner Basis Reductions for Formal Verification of Galois Field Arithmetic Circuits

Jinpeng Lv, Priyank Kalla, Florian Enescu · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013 · 62 citations

Theory Of Computing, Engineering, Computational Number Theory +14

Effect of signal coordination on traffic emission

Jinpeng Lv, Yunlong Zhang · Transportation Research Part D Transport and Environment · 2011 · 52 citations

Engineering, Systems Engineering, Signal Processing +5

Investigating Emission Reduction Benefit From Intersection Signal Optimization

Jinpeng Lv, Yunlong Zhang, Joe Zietsman · Journal of Intelligent Transportation Systems · 2012 · 38 citations

Traffic Theory, Engineering, Road Traffic Control +13

Model for Optimization of Ecodriving at Signalized Intersections

Zhi Chen, Yunlong Zhang, Jinpeng Lv et al. · Transportation Research Record Journal of the Transportation Research Board · 2014 · 27 citations

Mathematical Programming, Traffic Theory, Engineering +15

Efficient gröbner basis reductions for formal verification of galois field multipliers

Jinpeng Lv, Priyank Kalla, Florian Enescu · Design, Automation, and Test in Europe · 2012 · 23 citations

Cryptographic Primitive, Engineering, Term Order +21

Rows per page

1–5 of 10