Login / Signup
Aditya Prakash
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Relaxation Algorithm
Historical Information
Databases
Black Box
Top Venues
FoSSaCS
CoRR
</>
Publications
</>
Aditya Prakash
,
K. S. Thejaswini
On History-Deterministic One-Counter Nets.
FoSSaCS
(2023)
Aditya Prakash
,
K. S. Thejaswini
On History-Deterministic One-Counter Nets.
CoRR
(2022)