Lydia Dehbi

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 6

Top Topics

Top Venues

ACM Trans. Embed. Comput. Syst.

J. Syst. Sci. Complex.

Publications

Jiahao Chao, Zhou Zhou, Hongfan Gao, Jiali Gong, Zhengfeng Yang, Zhenbing Zeng, Lydia Dehbi
Equivalent Transformation and Dual Stream Network Construction for Mobile Image Super-Resolution. CVPR (2023)
Hanrui Zhao, Niuniu Qi, Lydia Dehbi, Xia Zeng, Zhengfeng Yang
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Lydia Dehbi, Zhenbing Zeng, Lu Yang
The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations. J. Symb. Comput. 108 (2022)
Lydia Dehbi, Zhenbing Zeng
Heilbronn's Problem of Eight Points in the Square. J. Syst. Sci. Complex. 35 (6) (2022)
Zhenbing Zeng, Lu Yang, Lydia Dehbi
On the Number of Congruent Classes of the Tetrahedra Determined by Given Volume, Circumradius and Face Areas. ISSAC (2019)
Zhenbing Zeng, Jian Lu, Lydia Dehbi, Liangyu Chen, Jianlin Wang
A Heilbronn Type Inequality for Plane Nonagons. MC (2019)