Name
Year | Venue | Field |
|---|---|---|
2012 | ECEASST | Delta,Computer science,Dependent type theory,Algorithm,Theoretical computer science,Lens (optics),Recursion,Shape alignment,Data structure alignment |
DocType | Volume | Citations |
Journal | 49 | 7 |
PageRank | References | Authors |
0.48 | 12 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Hugo Pacheco | 1 | 146 | 11.71 |
| Alcino Cunha | 2 | 298 | 27.55 |
| Zhenjiang Hu | 3 | 1341 | 99.25 |
| inesc tec | 4 | 14 | 0.97 |