Namit Chaturvedi

According to our database, Namit Chaturvedi authored at least 10 papers between 2003 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Classifying recognizable infinitary trace languages using word automata.

Namit Chaturvedi, Marcus Gelderie

Inf. Comput., 2017

2015

Classifications of Recognizable Infinitary Trace Languages and the Distributed Synthesis Problem.

Namit Chaturvedi

PhD thesis, 2015

2014

Weak $ω$-Regular Trace Languages.

Namit Chaturvedi, Marcus Gelderie

CoRR, 2014

Toward a Structure Theory of Regular Infinitary Trace Languages.

Namit Chaturvedi

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2012

Languages versus ω-Languages in Regular Infinite Games.

Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas

Int. J. Found. Comput. Sci., 2012

A Framework for Decentralized Physical Access Control using Finite State Automata.

Namit Chaturvedi, Atish Datta Chowdhury, Meenakshi Balasubramanian

Proceedings of the Modern Applications of Automata Theory., 2012

2011

Languages vs. <i>ω</i>-Languages in Regular Infinite Games.

Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas

Proceedings of the Developments in Language Theory - 15th International Conference, 2011

2007

A framework for decentralized access control.

Meenakshi Balasubramanian, Abhishek Bhatnagar, Namit Chaturvedi, Atish Datta Chowdhury, Arul Ganesh

Proceedings of the 2007 ACM Symposium on Information, Computer and Communications Security, 2007

2006

A framework for rapid-prototyping of context based ubiquitous computing applications.

Meenakshi Balasubramanian, Namit Chaturvedi, Atish Datta Chowdhury, Arul Ganesh

Proceedings of the IEEE International Conference on Sensor Networks, 2006

2003

Programming Process Control in Embedded Systems.

Namit Chaturvedi, S. S. S. P. Rao, S. C. Patwardhan

Proceedings of the International Conference on Embedded Systems and Applications, 2003