M. Raj Mohan

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan
Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic. TIME (2010)
Fabrice Chevalier, Deepak D'Souza, M. Raj Mohan, Pavithra Prabhakar
Automata and logics over finitely varying functions. Ann. Pure Appl. Log. 161 (3) (2009)
Deepak D'Souza, M. Raj Mohan
Eventual Timed Automata. FSTTCS (2005)