Mohnish Pattathurajan

According to our database¹, Mohnish Pattathurajan authored at least 3 papers between 2019 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

Parikh's theorem for infinite alphabets.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Parikh Images of Register Automata.

[BibT_eX]

[DOI]

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

2019

Consistency as a Branching Time Notion.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Models of Computation, 2019