| 2009 |
|---|
| 42 | EE | Mohammad Raza,
Cristiano Calcagno,
Philippa Gardner:
Automatic Parallelization with Separation Logic.
ESOP 2009: 348-362 |
| 41 | EE | Mohammad Raza,
Philippa Gardner:
Footprints in Local Reasoning
CoRR abs/0903.1032: (2009) |
| 40 | EE | Luca Cardelli,
Emmanuelle Caron,
Philippa Gardner,
Ozan Kahramanogullari,
Andrew Phillips:
A Process Model of Actin Polymerisation.
Electr. Notes Theor. Comput. Sci. 229(1): 127-144 (2009) |
| 2008 |
|---|
| 39 | EE | Mohammad Raza,
Philippa Gardner:
Footprints in Local Reasoning.
FoSSaCS 2008: 201-215 |
| 38 | EE | Philippa Gardner,
Gareth Smith,
Mark J. Wheelhouse,
Uri Zarfaty:
DOM: Towards a Formal Specification.
PLAN-X 2008 |
| 37 | EE | Philippa Gardner,
Gareth Smith,
Mark J. Wheelhouse,
Uri Zarfaty:
Local Hoare reasoning about DOM.
PODS 2008: 261-270 |
| 36 | EE | Luca Cardelli,
Philippa Gardner,
Ozan Kahramanogullari:
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis.
Electr. Notes Theor. Comput. Sci. 194(3): 87-102 (2008) |
| 35 | EE | Sergio Maffeis,
Philippa Gardner:
Behavioural equivalences for dynamic Web data.
J. Log. Algebr. Program. 75(1): 86-138 (2008) |
| 2007 |
|---|
| 34 | EE | Cristiano Calcagno,
Thomas Dinsdale-Young,
Philippa Gardner:
Adjunct Elimination in Context Logic for Trees.
APLAS 2007: 255-270 |
| 33 | EE | Cristiano Calcagno,
Philippa Gardner,
Uri Zarfaty:
Context logic as modal logic: completeness and parametric inexpressivity.
POPL 2007: 123-134 |
| 32 | EE | Philippa Gardner,
Uri Zarfaty:
An Introduction to Context Logic.
WoLLIC 2007: 189-202 |
| 31 | EE | Cristiano Calcagno,
Philippa Gardner,
Uri Zarfaty:
Local Reasoning about Data Update.
Electr. Notes Theor. Comput. Sci. 172: 133-175 (2007) |
| 30 | EE | Luca Cardelli,
Philippa Gardner,
Giorgio Ghelli:
Manipulating Trees with Hidden Labels.
Electr. Notes Theor. Comput. Sci. 172: 177-201 (2007) |
| 29 | EE | Philippa Gardner,
Cosimo Laneve,
Lucian Wischik:
Linear forwarders.
Inf. Comput. 205(10): 1526-1550 (2007) |
| 28 | EE | Anuj Dawar,
Philippa Gardner,
Giorgio Ghelli:
Expressiveness and complexity of graph logic.
Inf. Comput. 205(3): 263-310 (2007) |
| 2006 |
|---|
| 27 | EE | Uri Zarfaty,
Philippa Gardner:
Local Reasoning About Tree Update.
Electr. Notes Theor. Comput. Sci. 158: 399-424 (2006) |
| 26 | EE | Philippa Gardner,
Nobuko Yoshida:
Editorial.
Theor. Comput. Sci. 358(2-3): 149 (2006) |
| 2005 |
|---|
| 25 | | Barbara König,
Ugo Montanari,
Philippa Gardner:
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004
IBFI, Schloss Dagstuhl, Germany 2005 |
| 24 | EE | Cristiano Calcagno,
Philippa Gardner,
Matthew Hague:
From Separation Logic to First-Order Logic.
FoSSaCS 2005: 395-409 |
| 23 | EE | Cristiano Calcagno,
Philippa Gardner,
Uri Zarfaty:
Context logic and tree update.
POPL 2005: 271-282 |
| 22 | EE | Lucian Wischik,
Philippa Gardner:
Explicit fusions.
Theor. Comput. Sci. 340(3): 606-630 (2005) |
| 21 | EE | Philippa Gardner,
Sergio Maffeis:
Modelling dynamic web data.
Theor. Comput. Sci. 342(1): 104-131 (2005) |
| 2004 |
|---|
| 20 | | Philippa Gardner,
Nobuko Yoshida:
CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings
Springer 2004 |
| 19 | EE | Anuj Dawar,
Philippa Gardner,
Giorgio Ghelli:
Adjunct Elimination Through Games in Static Ambient Logic.
FSTTCS 2004: 211-223 |
| 18 | EE | Lucian Wischik,
Philippa Gardner:
Strong Bisimulation for the Explicit Fusion Calculus.
FoSSaCS 2004: 484-498 |
| 17 | EE | Barbara König,
Ugo Montanari,
Philippa Gardner:
04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems.
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems 2004 |
| 16 | | Sergio Maffeis,
Philippa Gardner:
Behavioural Equivalences for Dynamic Web Data.
IFIP TCS 2004: 535-548 |
| 2003 |
|---|
| 15 | EE | Philippa Gardner,
Cosimo Laneve,
Lucian Wischik:
Linear Forwarders.
CONCUR 2003: 408-422 |
| 14 | EE | Philippa Gardner,
Sergio Maffeis:
Modelling Dynamic Web Data.
DBPL 2003: 130-146 |
| 13 | EE | Luca Cardelli,
Philippa Gardner,
Giorgio Ghelli:
Manipulating Trees with Hidden Labels.
FoSSaCS 2003: 216-232 |
| 2002 |
|---|
| 12 | EE | Philippa Gardner,
Cosimo Laneve,
Lucian Wischik:
The Fusion Machine.
CONCUR 2002: 418-433 |
| 11 | EE | Luca Cardelli,
Philippa Gardner,
Giorgio Ghelli:
A Spatial Logic for Querying Graphs.
ICALP 2002: 597-610 |
| 2000 |
|---|
| 10 | EE | Philippa Gardner:
From Process Calculi to Process Frameworks.
CONCUR 2000: 69-88 |
| 9 | EE | Philippa Gardner,
Lucian Wischik:
Explicit Fusions.
MFCS 2000: 373-382 |
| 1999 |
|---|
| 8 | EE | Philippa Gardner:
Closed Action Calculi.
Theor. Comput. Sci. 228(1-2): 77-103 (1999) |
| 1997 |
|---|
| 7 | | Andrew Barber,
Philippa Gardner,
Masahito Hasegawa,
Gordon D. Plotkin:
From Action Calculi to Linear Logic.
CSL 1997: 78-97 |
| 6 | | Philippa Gardner,
Masahito Hasegawa:
Types and Models for Higher-Order Action Calculi.
TACS 1997: 583-603 |
| 5 | EE | Philippa Gardner:
A Type-theoretic Description of Action Calculi.
Electr. Notes Theor. Comput. Sci. 10: (1997) |
| 1995 |
|---|
| 4 | EE | Philippa Gardner:
A name-free account of action calculi.
Electr. Notes Theor. Comput. Sci. 1: (1995) |
| 3 | | Philippa Gardner:
Equivalences between Logics and Their Representing Type Theories.
Mathematical Structures in Computer Science 5(3): 323-349 (1995) |
| 1994 |
|---|
| 2 | | Philippa Gardner:
Discovering Needed Reductions Using Type Theory.
TACS 1994: 555-574 |
| 1993 |
|---|
| 1 | | Philippa Gardner:
A New Type THeory for Representing Logics.
LPAR 1993: 146-157 |
