Concepedia

Uri Zarfaty

UZ

Statistics

Publications

7

Citations

214

H-Index

7

Active since

2005

Affiliations

Imperial College London(Current)

Uri Zarfaty is an author at Imperial College London specializing in computer science, computing, and hoare logic.

Publications per year

2005–2008

7

Publications

7

Context logic and tree update

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty · 2005 · 73 citations

, , +12

Local Hoare reasoning about DOM

Philippa Gardner, Gareth Smith, Mark Wheelhouse et al. · 2008 · 42 citations

, , +8

Context logic as modal logic

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty · ACM SIGPLAN Notices · 2007 · 39 citations

, , +14

Formalizing and verifying semantic type soundness of a simple compiler

Nick Benton, Uri Zarfaty · 2007 · 20 citations

, , +15

Context logic as modal logic

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty · 2007 · 19 citations

, , +14

1–5 of 7