Author Info
Name
Affiliation
Papers
CHINMAY NARAYAN
Indian Institute of Technology, Delhi, Delhi, India
7
Collaborators
Citations 
PageRank 
7
53
3.53
Referers 
Referees 
References 
106
114
86
Search Limit
100114
Title
Citations
PageRank
Year
Efficient Verification of Concurrent Programs Over TSO Memory Model.00.342016
From Traces To Proofs: Proving Concurrent Program Safe00.342015
Reducing Clocks in Timed Automata while Preserving Bisimulation.20.402014
Relaxed separation logic: a program logic for C11 concurrency461.292013
Inferring Fences in a Concurrent Program Using SC proof of Correctness00.342013
A Unifying Approach To Decide Relations For Timed Automata And Their Game Characterization10.352013
On decidability of prebisimulation for timed automata40.472012