Programming Process Control in Embedded Systems. - Namit Chaturvedi; S. S. S. P. Rao; S. C. Patwardhan (Embedded Systems and Applications, 2003)

A framework for rapid-prototyping of context based ubiquitous computing applications. - Meenakshi Balasubramanian; Namit Chaturvedi; Atish Datta Chowdhury; Arul Ganesh (SUTC (1), 2006)

A framework for decentralized access control. - Meenakshi Balasubramanian; Abhishek Bhatnagar; Namit Chaturvedi; Atish Datta Chowdhury; Arul Ganesh (AsiaCCS, 2007)

Languages vs. ω-Languages in Regular Infinite Games. - Namit Chaturvedi; Jörg Olschewski; Wolfgang Thomas (Developments in Language Theory, 2011)

A Framework for Decentralized Physical Access Control using Finite State Automata. - Namit Chaturvedi; Atish Datta Chowdhury; Meenakshi Balasubramanian (Modern Applications of Automata Theory, 2012)

Languages versus ω-Languages in Regular Infinite Games. - Namit Chaturvedi; Jörg Olschewski; Wolfgang Thomas (Int. J. Found. Comput. Sci., 2012)

Toward a Structure Theory of Regular Infinitary Trace Languages. - Namit Chaturvedi (ICALP (2), 2014)

Weak $ω$-Regular Trace Languages. - Namit Chaturvedi; Marcus Gelderie (CoRR, 2014)

Classifications of Recognizable Infinitary Trace Languages and the Distributed Synthesis Problem. - Namit Chaturvedi (2015)

Classifying recognizable infinitary trace languages using word automata. - Namit Chaturvedi; Marcus Gelderie (Inf. Comput., 2017)