On History-Deterministic One-Counter Nets. - Aditya Prakash 002; K. S. Thejaswini (FoSSaCS, 2023)

History-Determinism vs Fair Simulation. - Udi Boker; Thomas A. Henzinger; Karoliina Lehtinen; Aditya Prakash 002 (CONCUR, 2024)

Checking History-Determinism is NP-hard for Parity Automata. - Aditya Prakash 002 (FoSSaCS (1), 2024)

Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata. - Rohan Acharya; Marcin Jurdzinski; Aditya Prakash 002 (ICALP, 2024)

On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Büchi Automata. - Antonio Casares; Olivier Idir; Denis Kuperberg; Corto Mascle; Aditya Prakash 002 (CSL, 2025)

Resolving Nondeterminism with Randomness. - Thomas A. Henzinger; Aditya Prakash 002; K. S. Thejaswini (MFCS, 2025)

The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently. - Karoliina Lehtinen; Aditya Prakash 002 (STOC, 2025)