Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Daniel P. Kennedy
Oleg Klimov
Alexey Edelev
Barbara Aquilani
Dominguez-Jimenez, M.E.
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
AMY ZHU
Author Info
Open Visualization
Name
Papers
Collaborators
AMY ZHU
2
3
Citations
PageRank
Referers
0
0.68
0
Referees
References
0
0
Publications (2 rows)
Collaborators (3 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers.
0
0.34
2020
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers.
0
0.34
2020
1