Chair of Computer Science 7
Logic and Theory of Discrete Systems

Publications of Namit Chaturvedi

[CMDC12]	N. Chaturvedi, B. Meenakshi, and A. Datta Chowdhury. A framework for decentralized access control using finite state automata. In Deepak D'Souza and Priti Shankar, editors, Modern Applications of Automata Theory, volume 2 of IISc Research Monographs Series, pages 171-191. World Scientific, May 2012. [ http \| Abstract ]
[COT12]	N. Chaturvedi, J. Olschewski, and W. Thomas. *Languages vs. omega-languages in regular infinite games. International Journal of Foundations of Computer Science*, 23(05):985-1000, August 2012. Journal version of [COT11]. (c) 2012 World Scientific Publishing Company. [ pdf \| http \| Abstract ]
[COT11]	N. Chaturvedi, J. Olschewski, and W. Thomas. *Languages vs. omega-languages in regular infinite games. In Giancarlo Mauri and Alberto Leporati, editors, Proceedings of the 15th International Conference on Developments in Language Theory, DLT 2011, volume 6795 of Lecture Notes in Computer Science*, pages 180-191. Springer, 2011. [ pdf \| http \| Abstract ]

Disclaimer • Last modification: 2013/05/15 • HTML