Author Info
Name
Affiliation
Papers
M. RAJ MOHAN
Department of Computer Science and Automation, Indian Institute of Science, Bangalore, 560012 India
4
Collaborators
Citations 
PageRank 
5
4
1.49
Referers 
Referees 
References 
11
46
33
Title
Citations
PageRank
Year
A compositional hierarchical monitoring automaton construction for LTL00.342012
Conflict-tolerant specifications in temporal logic20.422010
Automata and logics over finitely varying functions00.342009
Eventual Timed Automata20.392005