Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Charles R. King
Koh Aoki
Motoharu Sonogashira
Bhupendra Singh
Shih-Hsun Fan Chiang
Binghao Wang
David J. Westover
Yu-Wei Chang
Sebastian Magda
David MacDonald
Home
/
Author
/
P. EZUDHEEN
Author Info
Open Visualization
Name
Affiliation
Papers
P. EZUDHEEN
IISc Bangalore, India
1
Collaborators
Citations
PageRank
4
5
0.41
Referers
Referees
References
14
0
0
Publications (1 rows)
Collaborators (4 rows)
Referers (14 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Horn-ICE learning for synthesizing invariants and contracts
5
0.41
2018
1
