Ningxin Zhang

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 3

Top Topics

Top Venues

Elektrotech. Informationstechnik

Publications

David E. Narváez, Cruise Song, Ningxin Zhang
Formalizing Finite Ramsey Theory in Lean 4. CICM (2024)
Hartmut Popp, Ningxin Zhang, Marcus Jahn, Mikel Arrinda, Simon Ritz, Matthias Faber, Dirk Uwe Sauer, Philippe Azais, Iosu Cendoya
Ante-mortem analysis, electrical, thermal, and ageing testing of state-of-the-art cylindrical lithium-ion cells. Elektrotech. Informationstechnik 137 (4) (2020)
Linlin Wang, Guoyun Lv, Ningxin Zhang, Yanggege Yu
Combining Computer Graphics and Feature for 3D Camera Tracking Based on CAD Model. ChinaCom (2) (2017)