Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Torgny Andersson
Robert J. Zomer
Kaitlin Fitzgerald
Scott A. Starks
Jinge Wang
Hikaru Fujisaki
Michael Terry
Zhihao Li
Panikos Heracleous
Radu Timofte
Home
/
Author
/
L. BIRKEDAL
Author Info
Open Visualization
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
100
149
Publications (3 rows)
Collaborators (8 rows)
Referers (100 rows)
Referees (93 rows)
Title
Citations
PageRank
Year
Domain-theoretical models of parametric polymorphism
9
0.57
2007
BI-hyperdoctrines, higher-order separation logic, and abstraction
31
1.51
2007
Bigraphical models of context-aware systems
48
2.38
2006
1