Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Lufeng Luo
Taoying Farenhorst-Yuan
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Newton O Otecko
Radu Timofte
Kuanrui Yin
Home
/
Author
/
DIVYANJALI SHARMA
Author Info
Open Visualization
Name
Papers
Collaborators
DIVYANJALI SHARMA
2
4
Citations
PageRank
Referers
0
0.68
0
Referees
References
0
0
Publications (2 rows)
Collaborators (4 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Fence Synthesis Under the C11 Memory Model.
0
0.34
2022
Dynamic Verification with Observational Equivalence of C/C++ Concurrency.
0
0.34
2019
1