Login / Signup
Raphaël Khoury
ORCID
Publication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 47
Top Topics
Temporal Logic
Leak Detection
Api Calls
Stream Processing
Top Venues
FPS
CoRR
EDOC
Comput. Sci. Rev.
</>
Publications
</>