Namit Chaturvedi

Publication Activity (10 Years)

Years Active: 2003-2017
Publications (10 Years): 1

Top Topics

Probabilistic Automata

Expressive Power

Regular Languages

Character N Grams

Top Venues

Int. J. Found. Comput. Sci.

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Namit Chaturvedi, Marcus Gelderie
Classifying recognizable infinitary trace languages using word automata. Inf. Comput. 256 (2017)
Namit Chaturvedi, Marcus Gelderie
Classifying Recognizable Infinitary Trace Languages Using Word Automata. MFCS (1) (2014)
Namit Chaturvedi
Toward a Structure Theory of Regular Infinitary Trace Languages. ICALP (2) (2014)
Namit Chaturvedi, Marcus Gelderie
Weak $ω$-Regular Trace Languages. CoRR (2014)
Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas
Languages versus ω-Languages in Regular Infinite Games. Int. J. Found. Comput. Sci. 23 (5) (2012)
Namit Chaturvedi, Jörg Olschewski, Wolfgang Thomas
-Languages in Regular Infinite Games. Developments in Language Theory (2011)
Meenakshi Balasubramanian, Abhishek Bhatnagar, Namit Chaturvedi, Atish Datta Chowdhury, Arul Ganesh
A framework for decentralized access control. AsiaCCS (2007)
Meenakshi Balasubramanian, Namit Chaturvedi, Atish Datta Chowdhury, Arul Ganesh
A framework for rapid-prototyping of context based ubiquitous computing applications. SUTC (1) (2006)
Namit Chaturvedi, S. S. S. P. Rao, S. C. Patwardhan
Programming Process Control in Embedded Systems. Embedded Systems and Applications (2003)