Login / Signup
Gul Agha
ORCID
Publication Activity (10 Years)
Years Active: 1984-2024
Publications (10 Years): 25
Top Topics
Oriented Programming
Model Checking
Concurrent Systems
Data Processing
Top Venues
CoRR
HICSS
Innov. Syst. Softw. Eng.
IEEE CLOUD
</>
Publications
</>