Follow
Pratap Singh
Title
Cited by
Cited by
Year
Mass transport in surface diffusion of van der Waals bonded systems: Boosted by rotations?
H Hedgeland, M Sacchi, P Singh, AJ McIntosh, AP Jardine, ...
The journal of physical chemistry letters 7 (23), 4819-4824, 2016
182016
Special relativity in the school laboratory: a simple apparatus for cosmic-ray muon detection
P Singh, H Hedgeland
Physics Education 50 (3), 317, 2015
152015
The dynamics of benzene on Cu (111): a combined helium spin echo and dispersion-corrected DFT study into the diffusion of physisorbed aromatics on metal surfaces
M Sacchi, P Singh, DM Chisnall, DJ Ward, AP Jardine, W Allison, J Ellis, ...
Faraday Discussions 204, 471-485, 2017
132017
Owl: Compositional verification of security protocols via an information-flow type system
J Gancher, S Gibson, P Singh, S Dharanikota, B Parno
2023 IEEE Symposium on Security and Privacy (SP), 1130-1147, 2023
102023
Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
T Bourgeat, I Clester, A Erbsen, S Gruetter, P Singh, A Wright, A Chlipala
Proceedings of the ACM on Programming Languages 7 (ICFP), 108-124, 2023
22023
The system can't perform the operation now. Try again later.
Articles 1–5