Author Info
Name
Papers
Collaborators
ROBERT DOCKINS
3
2
Citations 
PageRank 
Referers 
4
1.12
8
Referees 
References 
71
31
Title
Citations
PageRank
Year
Formalized, Effective Domain Theory in Coq.10.352014
Suppl: A Flexible Language for Policies.00.342014
A Theory of Termination via Indirection.30.432010