Concepedia

Philippa Gardner

PG

35

Publications

1.5K

Citations

21

H-Index

1991

Active since

Affiliations

Imperial College London(Current)

University of Cambridge

Microsoft Research (United Kingdom)

Microsoft (United States)

London Institute for Mathematical Sciences

Philippa Gardner is an author at Imperial College London specializing in engineering, computer science, and formal methods.

ORCID

Top concepts

Publications per year

1991–2024

35

Publications

35

Concurrent abstract predicates

Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner et al. · European Conference on Object-Oriented Programming · 2010 · 195 citations

, , +6

Unfold/Fold Transformations of Logic Programs.

Philippa Gardner, J. C. Shepherdson · 1991 · 172 citations

, , +6

Views

Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner et al. · 2013 · 158 citations

, , +13

Explicit fusions

Lucian Wischik, Philippa Gardner · Theoretical Computer Science · 2005 · 96 citations

A trusted mechanised JavaScript specification

Martin Bodin, Arthur Charguéraud, Daniele Filaretti et al. · 2014 · 86 citations

, , +22

Rows per page

1–5 of 35