Philippa Gardner

	2012
54		Philippa Gardner, Sergio Maffeis, Gareth David Smith: Towards a program logic for JavaScript. POPL 2012: 31-44
	2011
53		Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse: Abstract Local Reasoning for Program Modules. CALCO 2011: 36-39
52		Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse: A simple abstraction for complex concurrent indexes. OOPSLA 2011: 845-864
	2010
51		Luca Cardelli, Philippa Gardner: Processes in Space. CiE 2010: 78-87
50		Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis: Concurrent Abstract Predicates. ECOOP 2010: 504-528
49		Philippa Gardner: Reasoning about client-side web programs: invited talk. EDBT/ICDT Workshops 2010
48		Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse: Abstraction and Refinement for Local Reasoning. VSTTE 2010: 199-215
47		Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner: Adjunct elimination in Context Logic for trees. Inf. Comput. 208(5): 474-499 (2010)
46		Michael Benedikt, Daniela Florescu, Philippa Gardner, Giovanna Guerrini, Marco Mesiti, Emmanuel Waller: Report on the EDBT/ICDT 2010 workshop on updates in XML. SIGMOD Record 39(1): 54-57 (2010)
	2009
45		Philippa Gardner, Floris Geerts: Database Programming Languages - DBPL 2009, 12th International Symposium, Lyon, France, August 24, 2009. Proceedings Springer 2009
44		Mohammad Raza, Cristiano Calcagno, Philippa Gardner: Automatic Parallelization with Separation Logic. ESOP 2009: 348-362
43		Philippa Gardner, Mark J. Wheelhouse: Small Specifications for Tree Update. WS-FM 2009: 178-195
42		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)
41		Mohammad Raza, Philippa Gardner: Footprints in Local Reasoning Logical Methods in Computer Science 5(2): (2009)
40		Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips: A process model of Rho GTP-binding proteins. Theor. Comput. Sci. 410(33-34): 3166-3185 (2009)
	2008
39		Mohammad Raza, Philippa Gardner: Footprints in Local Reasoning. FoSSaCS 2008: 201-215
38		Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty: DOM: Towards a Formal Specification. PLAN-X 2008
37		Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty: Local Hoare reasoning about DOM. PODS 2008: 261-270
36		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		Sergio Maffeis, Philippa Gardner: Behavioural equivalences for dynamic Web data. J. Log. Algebr. Program. 75(1): 86-138 (2008)
	2007
34		Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner: Adjunct Elimination in Context Logic for Trees. APLAS 2007: 255-270
33		Cristiano Calcagno, Philippa Gardner, Uri Zarfaty: Context logic as modal logic: completeness and parametric inexpressivity. POPL 2007: 123-134
32		Philippa Gardner, Uri Zarfaty: An Introduction to Context Logic. WoLLIC 2007: 189-202
31		Cristiano Calcagno, Philippa Gardner, Uri Zarfaty: Local Reasoning about Data Update. Electr. Notes Theor. Comput. Sci. 172: 133-175 (2007)
30		Luca Cardelli, Philippa Gardner, Giorgio Ghelli: Manipulating Trees with Hidden Labels. Electr. Notes Theor. Comput. Sci. 172: 177-201 (2007)
29		Philippa Gardner, Cosimo Laneve, Lucian Wischik: Linear forwarders. Inf. Comput. 205(10): 1526-1550 (2007)
28		Anuj Dawar, Philippa Gardner, Giorgio Ghelli: Expressiveness and complexity of graph logic. Inf. Comput. 205(3): 263-310 (2007)
	2006
27		Uri Zarfaty, Philippa Gardner: Local Reasoning About Tree Update. Electr. Notes Theor. Comput. Sci. 158: 399-424 (2006)
26		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		Cristiano Calcagno, Philippa Gardner, Matthew Hague: From Separation Logic to First-Order Logic. FoSSaCS 2005: 395-409
23		Cristiano Calcagno, Philippa Gardner, Uri Zarfaty: Context logic and tree update. POPL 2005: 271-282
22		Lucian Wischik, Philippa Gardner: Explicit fusions. Theor. Comput. Sci. 340(3): 606-630 (2005)
21		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		Anuj Dawar, Philippa Gardner, Giorgio Ghelli: Adjunct Elimination Through Games in Static Ambient Logic. FSTTCS 2004: 211-223
18		Lucian Wischik, Philippa Gardner: Strong Bisimulation for the Explicit Fusion Calculus. FoSSaCS 2004: 484-498
17		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		Philippa Gardner, Cosimo Laneve, Lucian Wischik: Linear Forwarders. CONCUR 2003: 408-422
14		Philippa Gardner, Sergio Maffeis: Modelling Dynamic Web Data. DBPL 2003: 130-146
13		Luca Cardelli, Philippa Gardner, Giorgio Ghelli: Manipulating Trees with Hidden Labels. FoSSaCS 2003: 216-232
	2002
12		Philippa Gardner, Cosimo Laneve, Lucian Wischik: The Fusion Machine. CONCUR 2002: 418-433
11		Luca Cardelli, Philippa Gardner, Giorgio Ghelli: A Spatial Logic for Querying Graphs. ICALP 2002: 597-610
	2000
10		Philippa Gardner: From Process Calculi to Process Frameworks. CONCUR 2000: 69-88
9		Philippa Gardner, Lucian Wischik: Explicit Fusions. MFCS 2000: 373-382
	1999
8		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		Philippa Gardner: A Type-theoretic Description of Action Calculi. Electr. Notes Theor. Comput. Sci. 10: 52 (1997)
	1995
4		Philippa Gardner: A name-free account of action calculi. Electr. Notes Theor. Comput. Sci. 1: 214-231 (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

Coauthor Index

1	Andrew Barber	[7]
2	Michael Benedikt	[46]
3	Cristiano Calcagno	[23] [24] [31] [33] [34] [44] [47]
4	Luca Cardelli	[11] [13] [30] [36] [40] [42] [51]
5	Emmanuelle Caron	[40] [42]
6	Anuj Dawar	[19] [28]
7	Thomas Dinsdale-Young	[34] [47] [48] [50] [52] [53]
8	Mike Dodds	[50] [52]
9	Daniela Florescu	[46]
10	Floris Geerts	[45]
11	Giorgio Ghelli	[11] [13] [19] [28] [30]
12	Giovanna Guerrini	[46]
13	Matthew Hague	[24]
14	Masahito Hasegawa	[6] [7]
15	Ozan Kahramanogullari	[36] [40] [42]
16	Barbara König	[17] [25]
17	Cosimo Laneve	[12] [15] [29]
18	Sergio Maffeis	[14] [16] [21] [35] [54]
19	Marco Mesiti	[46]
20	Ugo Montanari	[17] [25]
21	Matthew J. Parkinson	[50]
22	Andrew Phillips	[40] [42]
23	Pedro da Rocha Pinto	[52]
24	Gordon D. Plotkin	[7]
25	Mohammad Raza	[39] [41] [44]
26	Gareth Smith	[37] [38]
27	Gareth David Smith	[54]
28	Viktor Vafeiadis	[50]
29	Emmanuel Waller	[46]
30	Mark J. Wheelhouse	[37] [38] [43] [48] [52] [53]
31	Lucian Wischik	[9] [12] [15] [18] [22] [29]
32	Nobuko Yoshida	[20] [26]
33	Uri Zarfaty	[23] [27] [31] [32] [33] [37] [38]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page