Login / Signup
Gabor Karsai
ORCID
Publication Activity (10 Years)
Years Active: 1988-2024
Publications (10 Years): 77
Top Topics
Smart Grid
Physical Systems
Domain Specific Languages
Timed Automata
Top Venues
CoRR
ISORC
RSP
ICCPS
</>
Publications
</>