The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Philippa Gardner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Philippa Gardner
    From Process Calculi to Process Frameworks. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:69-88 [Conf]
  2. Philippa Gardner, Cosimo Laneve, Lucian Wischik
    The Fusion Machine. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:418-433 [Conf]
  3. Philippa Gardner, Cosimo Laneve, Lucian Wischik
    Linear Forwarders. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:408-422 [Conf]
  4. Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin
    From Action Calculi to Linear Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:78-97 [Conf]
  5. Barbara König, Ugo Montanari, Philippa Gardner
    04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. [Citation Graph (0, 0)][DBLP]
    Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004, pp:- [Conf]
  6. Philippa Gardner, Sergio Maffeis
    Modelling Dynamic Web Data. [Citation Graph (0, 0)][DBLP]
    DBPL, 2003, pp:130-146 [Conf]
  7. Luca Cardelli, Philippa Gardner, Giorgio Ghelli
    Manipulating Trees with Hidden Labels. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:216-232 [Conf]
  8. Cristiano Calcagno, Philippa Gardner, Matthew Hague
    From Separation Logic to First-Order Logic. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:395-409 [Conf]
  9. Lucian Wischik, Philippa Gardner
    Strong Bisimulation for the Explicit Fusion Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:484-498 [Conf]
  10. Anuj Dawar, Philippa Gardner, Giorgio Ghelli
    Adjunct Elimination Through Games in Static Ambient Logic. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2004, pp:211-223 [Conf]
  11. Luca Cardelli, Philippa Gardner, Giorgio Ghelli
    A Spatial Logic for Querying Graphs. [Citation Graph (0, 0)][DBLP]
    ICALP, 2002, pp:597-610 [Conf]
  12. Sergio Maffeis, Philippa Gardner
    Behavioural Equivalences for Dynamic Web Data. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:535-548 [Conf]
  13. Philippa Gardner
    A New Type THeory for Representing Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:146-157 [Conf]
  14. Philippa Gardner, Lucian Wischik
    Explicit Fusions. [Citation Graph (0, 0)][DBLP]
    MFCS, 2000, pp:373-382 [Conf]
  15. Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
    Context logic and tree update. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:271-282 [Conf]
  16. Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
    Context logic as modal logic: completeness and parametric inexpressivity. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:123-134 [Conf]
  17. Philippa Gardner
    Discovering Needed Reductions Using Type Theory. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:555-574 [Conf]
  18. Philippa Gardner, Masahito Hasegawa
    Types and Models for Higher-Order Action Calculi. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:583-603 [Conf]
  19. Philippa Gardner
    A name-free account of action calculi. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  20. Philippa Gardner
    A Type-theoretic Description of Action Calculi. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
  21. Uri Zarfaty, Philippa Gardner
    Local Reasoning About Tree Update. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:399-424 [Journal]
  22. Luca Cardelli, Philippa Gardner, Giorgio Ghelli
    Manipulating Trees with Hidden Labels. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:177-201 [Journal]
  23. Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
    Local Reasoning about Data Update. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:133-175 [Journal]
  24. Philippa Gardner
    Equivalences between Logics and Their Representing Type Theories. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:3, pp:323-349 [Journal]
  25. Philippa Gardner
    Closed Action Calculi. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:77-103 [Journal]
  26. Philippa Gardner, Sergio Maffeis
    Modelling dynamic web data. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:342, n:1, pp:104-131 [Journal]
  27. Philippa Gardner, Nobuko Yoshida
    Editorial. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:358, n:2-3, pp:149- [Journal]
  28. Lucian Wischik, Philippa Gardner
    Explicit fusions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:340, n:3, pp:606-630 [Journal]
  29. Philippa Gardner, Uri Zarfaty
    An Introduction to Context Logic. [Citation Graph (0, 0)][DBLP]
    WoLLIC, 2007, pp:189-202 [Conf]
  30. Anuj Dawar, Philippa Gardner, Giorgio Ghelli
    Expressiveness and complexity of graph logic. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:3, pp:263-310 [Journal]
  31. Philippa Gardner, Cosimo Laneve, Lucian Wischik
    Linear forwarders. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:10, pp:1526-1550 [Journal]

  32. Adjunct Elimination in Context Logic for Trees. [Citation Graph (, )][DBLP]


  33. Processes in Space. [Citation Graph (, )][DBLP]


  34. Concurrent Abstract Predicates. [Citation Graph (, )][DBLP]


  35. Reasoning about client-side web programs: invited talk. [Citation Graph (, )][DBLP]


  36. Automatic Parallelization with Separation Logic. [Citation Graph (, )][DBLP]


  37. Footprints in Local Reasoning. [Citation Graph (, )][DBLP]


  38. DOM: Towards a Formal Specification. [Citation Graph (, )][DBLP]


  39. Local Hoare reasoning about DOM. [Citation Graph (, )][DBLP]


  40. Small Specifications for Tree Update. [Citation Graph (, )][DBLP]


  41. Abstraction and Refinement for Local Reasoning. [Citation Graph (, )][DBLP]


  42. Footprints in Local Reasoning [Citation Graph (, )][DBLP]


  43. A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. [Citation Graph (, )][DBLP]


  44. A Process Model of Actin Polymerisation. [Citation Graph (, )][DBLP]


Search in 0.011secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002