Rasmus Lerchedahl Petersen
Scholar

Rasmus Lerchedahl Petersen

Google Scholar ID: cycVtAkAAAAJ
Microsoft Research
Semanticsprogram logicDSLscomputational biology
Google Scholar↗
Citations & Impact
All-time
Citations
455
 
H-index
9
 
i10-index
9
 
Publications
20
 
Co-authors
21
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
21 total
Lars Birkedal
Lars Birkedal
Dept. of Computer Science, Aarhus University
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
James Brotherston
James Brotherston
Professor of Logic and Computation, University College London
Peter O'Hearn
Peter O'Hearn
University College London
Co-author 8
Co-author 8