Consistency as a Branching Time Notion. - Astrid Kiehn; Mohnish Pattathurajan (TAMC, 2019)

Parikh Images of Register Automata. - Slawomir Lasota 001; Mohnish Pattathurajan (FSTTCS, 2021)

Parikh's theorem for infinite alphabets. - Piotr Hofman; Marta Juzepczuk; Slawomir Lasota 001; Mohnish Pattathurajan (LICS, 2021)