Name
Year | Venue | Field |
|---|---|---|
2018 | LPAR | Computer science,Arithmetic,Rewriting |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Cunxi Yu | 1 | 98 | 9.64 |
| Atif Yasin | 2 | 1 | 1.72 |
| Tiankai Su | 3 | 0 | 0.34 |
| Alan Mishchenko | 4 | 982 | 84.79 |
| Maciej J. Ciesielski | 5 | 629 | 74.80 |