Login / Signup
Tigist Shiferaw
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
FTSCS
</>
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)