We stand with Ukraine  

Aditya Prakash

Orcid: 0000-0002-2404-0707

Affiliations:
  • University of Warwick, UK


According to our database1, Aditya Prakash authored at least 7 papers between 2023 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently.
[BibTeX]
[DOI]
Karoliina Lehtinen
,
Aditya Prakash
Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 2025

Resolving Nondeterminism with Randomness.
[BibTeX]
[DOI]
Thomas A. Henzinger
,
Aditya Prakash
,
K. S. Thejaswini
Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Büchi Automata.
[BibTeX]
[DOI]
Antonio Casares
,
Olivier Idir
,
Denis Kuperberg
,
Corto Mascle
,
Aditya Prakash
Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024
Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata.
[BibTeX]
[DOI]
Rohan Acharya
,
Marcin Jurdzinski
,
Aditya Prakash
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

Checking History-Determinism is NP-hard for Parity Automata.
[BibTeX]
[DOI]
Aditya Prakash
Proceedings of the Foundations of Software Science and Computation Structures, 2024

History-Determinism vs Fair Simulation.
[BibTeX]
[DOI]
Udi Boker
,
Thomas A. Henzinger
,
Karoliina Lehtinen
,
Aditya Prakash
Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023
On History-Deterministic One-Counter Nets.
[BibTeX]
[DOI]
Aditya Prakash
,
K. S. Thejaswini
Proceedings of the Foundations of Software Science and Computation Structures, 2023


  Loading...