Varea, Mauricio
Documents Indexed: | 2 Publications since 2006 |
Co-Authors: | 3 Co-Authors with 2 Joint Publications |
83 Co-Co-Authors |
Co-Authors
0 | single-authored |
1 | Barker, Steve |
1 | Farwer, Berndt |
1 | Leuschel, Michael |
Fields
2 | Computer science (68-XX) |
Publications by Year
all
top 5
Cited by 8 Authors
2 | Leuschel, Michael |
1 | Barker, Steve |
1 | Glück, Robert |
1 | Hristova, Katia |
1 | Liu, Yanhong Annie |
1 | Tekle, K. Tuncay |
1 | Varea, Mauricio |
1 | Vidal, Germán |
Cited in 2 Serials
2 | Higher-Order and Symbolic Computation |
1 | Information and Computation |
Cited in 1 Field
4 | Computer science (68-XX) |