Login / Signup
Bereket Ayele
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 2
Top Topics
Face Verification
Asynchronous Communication
Multi Agent Systems
High Level Language
Top Venues
CoRR
FTSCS
</>
Publications
</>
Jiawei Chen
,
José Luiz Vargas de Mendonça
,
Bereket Ayele
,
Bereket Ngussie Bekele
,
Shayan Jalili
,
Pranjal Sharma
,
Nicholas Wohlfeil
,
Yicheng Zhang
,
Jean-Baptiste Jeannin
Synchronous Programming with Refinement Types.
CoRR
(2024)
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)