Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Motoharu Sonogashira
Bhupendra Singh
Paulo Ricardo Possa
Gene Cooperman
Eric Russell
David J. Westover
Yu-Wei Chang
Sebastian Magda
Tzu-Chien Hsu
Junyong Hao
Home
/
Author
/
ELIZABETH POLGREEN
Author Info
Open Visualization
Name
Affiliation
Papers
ELIZABETH POLGREEN
Univ Calif Berkeley, Berkeley, CA 94720 USA
2
Collaborators
Citations
PageRank
10
0
0.68
Referers
Referees
References
0
0
0
Publications (2 rows)
Collaborators (10 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis
0
0.34
2022
MedleySolver: Online SMT Algorithm Selection
0
0.34
2021
1