Login / Signup
Radu Grigore
ORCID
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 16
Top Topics
Coloured Petri Nets
Model Checking
Static Analysis
Tree Mining
Top Venues
CoRR
POPL
CAV (1)
J. Comput. Syst. Sci.
</>
Publications
</>