Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
geoffrey e hinton
Heather Sherwood
Konrad Nakonieczny
Claudia Calabrese
Hao Mao
Peter Malec
Chen Ma
Radu Timofte
Kuanrui Yin
Joel Buchanan
Home
/
Author
/
YUDE LIN
Author Info
Open Visualization
Name
Affiliation
Papers
YUDE LIN
Univ Melbourne, Comp & Informat Syst, Melbourne, Vic 3010, Australia
2
Collaborators
Citations
PageRank
3
2
0.72
Referers
Referees
References
6
58
25
Publications (2 rows)
Collaborators (3 rows)
Referers (6 rows)
Referees (58 rows)
Title
Citations
PageRank
Year
Compositional Symbolic Execution: Incremental Solving Revisited.
0
0.34
2016
Compositional Symbolic Execution Using Fine-Grained Summaries
2
0.38
2015
1