Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Motoharu Sonogashira
Bhupendra Singh
Paulo Ricardo Possa
Gaku Suzuki
Glenn Ammons
David J. Westover
Yu-Wei Chang
Sebastian Magda
Janez Brank
Tzu-Chien Hsu
Home
/
Author
/
NICK FENG
Author Info
Open Visualization
Name
Papers
Collaborators
NICK FENG
3
7
Citations
PageRank
Referers
0
1.01
0
Referees
References
0
0
Publications (3 rows)
Collaborators (7 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Verification by Gambling on Program Slices
0
0.34
2021
Clause Size Reduction with all-UIP Learning.
0
0.34
2020
Scaling client-specific equivalence checking via impact boundary search
0
0.34
2020
1