Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-13338-6_2 | Haifa Verification Conference |
Field | DocType | Citations |
Original intent,Speculative execution,Computer science,Theoretical computer science,Human–computer interaction,Artificial intelligence | Conference | 0 |
PageRank | References | Authors |
0.34 | 7 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yoav Katz | 1 | 101 | 9.36 |
eitan marcus | 2 | 166 | 11.76 |
Avi Ziv | 3 | 465 | 72.49 |