Login / Signup
Ranko Lazic
ORCID
Publication Activity (10 Years)
Years Active: 1999-2023
Publications (10 Years): 56
Top Topics
Lower Bound
Extended Abstract
Petri Net
Probabilistic Automata
Top Venues
ACM SIGLOG News
CoRR
LICS
FoSSaCS
</>
Publications
</>