Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
W I D Rae
Daniel P. Kennedy
Roland Zumkeller
Maximilian Dürr
Dan Graur
Liangliang Shang
Chen Ma
Barbara Aquilani
Keith D. Underwood
Bao-Jen Pong
Home
/
Author
/
ALI ZAIDI
Author Info
Open Visualization
Name
Papers
Collaborators
ALI ZAIDI
1
9
Citations
PageRank
Referers
6
0.43
29
Referees
References
39
14
Publications (1 rows)
Collaborators (9 rows)
Referers (29 rows)
Referees (39 rows)
Title
Citations
PageRank
Year
End-to-End Verification of Processors with ISA-Formal.
6
0.43
2016
1