Scholar
Rasmus Lerchedahl Petersen
Google Scholar ID: cycVtAkAAAAJ
Microsoft Research
Semantics
program logic
DSLs
computational biology
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
455
H-index
9
i10-index
9
Publications
20
Co-authors
21
list available
Co-authors
8 total
Lars Birkedal
Dept. of Computer Science, Aarhus University
James Brotherston
Professor of Logic and Computation, University College London
Peter O'Hearn
University College London
Hongseok Yang
Professor, School of Computing, KAIST
Nikos Tzevelekos
Queen Mary, University of London
Aleksandar Nanevski
IMDEA Software Institute
Georg Struth
University of Sheffield
Jules Villard
Imperial College London
