☰

Divjyot Sethi, Ph.D. - Publications

Affiliations: 
2014 Electrical Engineering Princeton University, Princeton, NJ 
Area:
Computing & Networking,High-Performance Computing,Integrated Electronic Systems,Security
Tree Info Similar researchers PubMed Report error

5 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2015 Sethi D, Talupur M, Malik S. Model checking unbounded concurrent lists International Journal On Software Tools For Technology Transfer. DOI: 10.1007/S10009-015-0369-Y  0.586
2012 Chan C, Schwartz-Narbonne D, Sethi D, Malik S. Specification and synthesis of hardware checkpointing and rollback mechanisms Proceedings - Design Automation Conference. 1226-1232. DOI: 10.1145/2228360.2228585  0.527
2012 Sethi D, Talupur M, Schwartz-Narbonne D, Malik S. Parameterized model checking of fine grained concurrency Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7385: 208-226. DOI: 10.1007/978-3-642-31759-0_15  0.538
2011 Sethi D, Mahajan Y, Malik S. Specification and encoding of transaction interaction properties Formal Methods in System Design. 39: 144-164. DOI: 10.1007/s10703-011-0120-6  0.328
1966 Malik SR, Sethi DV, Sood GC, Gupta AN. Arruga's encircling operation in detachment of retina. Journal of the All-India Ophthalmological Society. 14: 171-5. PMID 5975276  0.35
Show low-probability matches.