Author Info
Name
Affiliation
Papers
ANA CAVALCANTI
Univ York, Dept Comp Sci, York YO10 5DD, N Yorkshire, England
3
Collaborators
Citations 
PageRank 
4
1
1.03
Referers 
Referees 
References 
2
14
12
Title
Citations
PageRank
Year
Sound reasoning in tock-CSP00.342022
RoboWorld: Where Can My Robot Work?00.342021
UTP Designs for Binary Multirelations.10.352014