Publikationen von Namit Chaturvedi
Alle Publikationen
| [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 ] |