Author Info
Name
Affiliation
Papers
S. ARUN-KUMAR
Department of Computer Science and Engineering, Indian Institute of Technology, Delhi, India
4
Collaborators
Citations 
PageRank 
4
4
1.49
Referers 
Referees 
References 
11
68
38
Title
Citations
PageRank
Year
Decompiling Boolean Expressions from Java™ Bytecode.00.342016
Efficient Verification of Concurrent Programs Over TSO Memory Model.00.342016
From Traces To Proofs: Proving Concurrent Program Safe00.342015
On decidability of prebisimulation for timed automata40.472012