Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Philippa Gardner
2010 – today
- 2013
[c33]Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew J. Parkinson, Hongseok Yang: Views: compositional reasoning for concurrent programs. POPL 2013: 287-300- [e4]Matthias Felleisen, Philippa Gardner (Eds.): Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Lecture Notes in Computer Science 7792, Springer 2013, ISBN 978-3-642-37035-9
- 2012
- [j20]
- [c32]Philippa Gardner, Sergio Maffeis, Gareth David Smith: Towards a program logic for JavaScript. POPL 2012: 31-44
- 2011
- [c31]Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse: Abstract Local Reasoning for Program Modules. CALCO 2011: 36-39
- [c30]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
- [j19]Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner: Adjunct elimination in Context Logic for trees. Inf. Comput. 208(5): 474-499 (2010)
- [j18]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)
- [c29]
- [c28]Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis: Concurrent Abstract Predicates. ECOOP 2010: 504-528
- [c27]
- [c26]Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse: Abstraction and Refinement for Local Reasoning. VSTTE 2010: 199-215
2000 – 2009
- 2009
- [j17]Mohammad Raza, Philippa Gardner: Footprints in Local Reasoning. Logical Methods in Computer Science 5(2) (2009)
- [j16]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)
- [j15]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)
- [c25]Mohammad Raza, Cristiano Calcagno, Philippa Gardner: Automatic Parallelization with Separation Logic. ESOP 2009: 348-362
- [c24]
- [e3]Philippa Gardner, Floris Geerts (Eds.): Database Programming Languages - DBPL 2009, 12th International Symposium, Lyon, France, August 24, 2009. Proceedings. Lecture Notes in Computer Science 5708, Springer 2009, ISBN 978-3-642-03792-4
- 2008
- [j14]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)
- [j13]Sergio Maffeis, Philippa Gardner: Behavioural equivalences for dynamic Web data. J. Log. Algebr. Program. 75(1): 86-138 (2008)
- [c23]
- [c22]Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty: DOM: Towards a Formal Specification. PLAN-X 2008
- [c21]Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty: Local Hoare reasoning about DOM. PODS 2008: 261-270
- 2007
- [j12]Cristiano Calcagno, Philippa Gardner, Uri Zarfaty: Local Reasoning about Data Update. Electr. Notes Theor. Comput. Sci. 172: 133-175 (2007)
- [j11]Luca Cardelli, Philippa Gardner, Giorgio Ghelli: Manipulating Trees with Hidden Labels. Electr. Notes Theor. Comput. Sci. 172: 177-201 (2007)
- [j10]Anuj Dawar, Philippa Gardner, Giorgio Ghelli: Expressiveness and complexity of graph logic. Inf. Comput. 205(3): 263-310 (2007)
- [j9]Philippa Gardner, Cosimo Laneve, Lucian Wischik: Linear forwarders. Inf. Comput. 205(10): 1526-1550 (2007)
- [c20]Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner: Adjunct Elimination in Context Logic for Trees. APLAS 2007: 255-270
- [c19]Cristiano Calcagno, Philippa Gardner, Uri Zarfaty: Context logic as modal logic: completeness and parametric inexpressivity. POPL 2007: 123-134
- [c18]
- 2006
- [j8]Uri Zarfaty, Philippa Gardner: Local Reasoning About Tree Update. Electr. Notes Theor. Comput. Sci. 158: 399-424 (2006)
- [j7]
- 2005
- [j6]
- [j5]Philippa Gardner, Sergio Maffeis: Modelling dynamic web data. Theor. Comput. Sci. 342(1): 104-131 (2005)
- [c17]Cristiano Calcagno, Philippa Gardner, Matthew Hague: From Separation Logic to First-Order Logic. FoSSaCS 2005: 395-409
- [c16]Cristiano Calcagno, Philippa Gardner, Uri Zarfaty: Context logic and tree update. POPL 2005: 271-282
- [e2]Barbara König, Ugo Montanari, Philippa Gardner (Eds.): Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004. Dagstuhl Seminar Proceedings 04241, IBFI, Schloss Dagstuhl, Germany 2005
- 2004
- [c15]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
- [c14]Lucian Wischik, Philippa Gardner: Strong Bisimulation for the Explicit Fusion Calculus. FoSSaCS 2004: 484-498
- [c13]Anuj Dawar, Philippa Gardner, Giorgio Ghelli: Adjunct Elimination Through Games in Static Ambient Logic. FSTTCS 2004: 211-223
- [c12]Sergio Maffeis, Philippa Gardner: Behavioural Equivalences for Dynamic Web Data. IFIP TCS 2004: 535-548
- [e1]Philippa Gardner, Nobuko Yoshida (Eds.): CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings. Lecture Notes in Computer Science 3170, Springer 2004, ISBN 3-540-22940-X
- 2003
- [c11]
- [c10]
- [c9]Luca Cardelli, Philippa Gardner, Giorgio Ghelli: Manipulating Trees with Hidden Labels. FoSSaCS 2003: 216-232
- 2002
- [c8]
- [c7]Luca Cardelli, Philippa Gardner, Giorgio Ghelli: A Spatial Logic for Querying Graphs. ICALP 2002: 597-610
- 2000
- [c6]
- [c5]
1990 – 1999
- 1999
- [j4]
- 1997
- [j3]Philippa Gardner: A Type-theoretic Description of Action Calculi. Electr. Notes Theor. Comput. Sci. 10: 52 (1997)
- [c4]Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin: From Action Calculi to Linear Logic. CSL 1997: 78-97
- [c3]Philippa Gardner, Masahito Hasegawa: Types and Models for Higher-Order Action Calculi. TACS 1997: 583-603
- 1995
- [j2]Philippa Gardner: A name-free account of action calculi. Electr. Notes Theor. Comput. Sci. 1: 214-231 (1995)
- [j1]Philippa Gardner: Equivalences between Logics and Their Representing Type Theories. Mathematical Structures in Computer Science 5(3): 323-349 (1995)
- 1994
- [c2]
- 1993
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:56 CEST by the dblp team