Mohnish Pattathurajan

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 4

Top Topics

Original Images

Illumination Conditions

Global Consistency

Temporal Reasoning

Top Venues

Publications

Piotr Hofman, Marta Juzepczuk, Slawomir Lasota, Mohnish Pattathurajan
Parikh's theorem for infinite alphabets. CoRR (2021)
Piotr Hofman, Marta Juzepczuk, Slawomir Lasota, Mohnish Pattathurajan
Parikh's theorem for infinite alphabets. LICS (2021)
Slawomir Lasota, Mohnish Pattathurajan
Parikh Images of Register Automata. FSTTCS (2021)
Astrid Kiehn, Mohnish Pattathurajan
Consistency as a Branching Time Notion. TAMC (2019)