Author Info
Name
Affiliation
Papers
L. BIRKEDAL
IT University of Copenhagen (ITU)
3
Collaborators
Citations 
PageRank 
8
88
4.45
Referers 
Referees 
References 
149
93
55
Search Limit
100149
Title
Citations
PageRank
Year
Domain-theoretical models of parametric polymorphism90.572007
BI-hyperdoctrines, higher-order separation logic, and abstraction311.512007
Bigraphical models of context-aware systems482.382006