Lydia Dehbi

East China Normal University — China

Mathematics · Physical Sciences

3h-index39citations10works1.82yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Mathematics and Applications(3), Neural Networks and Applications(2), Fault Detection and Control Systems(2), Advanced Optimization Algorithms Research(2), Formal Methods in Verification(1)

Publications10 total

Automated Proof of Polynomial Inequalities via Reinforcement Learning
2025
Stabilization and Synchronization of a New 3D Complex Chaotic System via Adaptive and Active Control Methods
Axioms·2025· 5 citedOpen Access
Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample Guidance
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems·2024· 2 cited
Global Optimization for Heilbronn Problem of Convex Polygons Based on Bilinear Matrix Inequalities Solving
Journal of Systems Science and Complexity·2024
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning
ACM Transactions on Embedded Computing Systems·2023· 9 cited
Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution
2023· 20 cited
Heilbronn’s Problem of Eight Points in the Square
Journal of Systems Science and Complexity·2022· 1 cited
The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations
Journal of Symbolic Computation·2021· 1 cited
A Heilbronn Type Inequality for Plane Nonagons
Communications in computer and information science·2020
On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas
2019· 1 cited

Frequent Co-authors

Zhenbing Zeng(6), Niuniu Qi(3), Zhengfeng Yang(3), Banglong Liu(3), Zhengfeng Yang(2), Hanrui Zhao(2), Xia Zeng(2), Lu Yang(2), Jiahao Chao(1), Zhou Zhou(1), Hongfan Gao(1), Jiali Gong(1), Lamia Loudahi(1), Jing Yuan(1), Mawia Osman(1), Huijiao Xie(1), Haifeng Qian(1), Jian Lu(1), Liang-Yu Chen(1), Jianlin Wang(1)