Zhemin Qu

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Face Verification

High Level Language

Robot Programming

Relational Databases

Top Venues

Publications

Jiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, Jean-Baptiste Jeannin
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation. FTSCS (2022)