Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Philippa Gardner" ( http://dblp.L3S.de/Authors/Philippa_Gardner )

URL (Homepage):  http://www.doc.ic.ac.uk/~pg/  Author page on DBLP  Author page in RDF  Community of Philippa Gardner in ASPL-2

Publication years (Num. hits)
1993-2003 (15) 2004-2007 (19) 2008-2010 (17) 2011-2012 (3)
Publication types (Num. hits)
article(19) inproceedings(32) proceedings(3)
Venues (Conferences, Journals, ...)
Electr. Notes Theor. Comput. S...(7) Theor. Comput. Sci.(5) CONCUR(4) FoSSaCS(4) Inf. Comput.(3) POPL(3) DBPL(2) Graph Transformations and Proc...(2) TACS(2) APLAS(1) CALCO(1) CiE(1) CSL(1) ECOOP(1) EDBT/ICDT Workshops(1) ESOP(1) More (+10 of total 31)
Authors
Philippa Gardner(54) Cristiano Calcagno(7) Luca Cardelli(7) Uri Zarfaty(7) Lucian Wischik(6) Mark J. Wheelhouse(6) Thomas Dinsdale-Young(6) Giorgio Ghelli(5) Sergio Maffeis(5) Cosimo Laneve(3) Mohammad Raza(3) Ozan Kahramanogullari(3) Andrew Phillips(2) Anuj Dawar(2) Barbara König(2) Emmanuelle Caron(2) More (+10 of total 34)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 12 occurrences of 10 keywords
Results
Found 54 publication records. Showing 54 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Philippa Gardner, Sergio Maffeis, Gareth David Smith Towards a program logic for JavaScript. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse A simple abstraction for complex concurrent indexes. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse Abstract Local Reasoning for Program Modules. Search on Bibsonomy CALCO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner Adjunct elimination in Context Logic for trees. Search on Bibsonomy Inf. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Benedikt, Daniela Florescu, Philippa Gardner, Giovanna Guerrini, Marco Mesiti, Emmanuel Waller Report on the EDBT/ICDT 2010 workshop on updates in XML. Search on Bibsonomy SIGMOD Record The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Philippa Gardner Reasoning about client-side web programs: invited talk. Search on Bibsonomy EDBT/ICDT Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse Abstraction and Refinement for Local Reasoning. Search on Bibsonomy VSTTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis Concurrent Abstract Predicates. Search on Bibsonomy ECOOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Philippa Gardner Processes in Space. Search on Bibsonomy CiE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips A process model of Rho GTP-binding proteins. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips A Process Model of Actin Polymerisation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mohammad Raza, Philippa Gardner Footprints in Local Reasoning Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2009 DBLP  BibTeX  RDF
1Philippa Gardner, Mark J. Wheelhouse Small Specifications for Tree Update. Search on Bibsonomy WS-FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Philippa Gardner, Floris Geerts (eds.) Database Programming Languages - DBPL 2009, 12th International Symposium, Lyon, France, August 24, 2009. Proceedings Search on Bibsonomy DBPL The full citation details ... 2009 DBLP  BibTeX  RDF
1Mohammad Raza, Cristiano Calcagno, Philippa Gardner Automatic Parallelization with Separation Logic. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sergio Maffeis, Philippa Gardner Behavioural equivalences for dynamic Web data. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Philippa Gardner, Ozan Kahramanogullari A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty Local Hoare reasoning about DOM. Search on Bibsonomy PODS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF context logic, local hoare reasoning, xml, dom
1Mohammad Raza, Philippa Gardner Footprints in Local Reasoning. Search on Bibsonomy FoSSaCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Hoare Logic, Separation Logic, Local Reasoning, Footprints
1Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty DOM: Towards a Formal Specification. Search on Bibsonomy PLAN-X The full citation details ... 2008 DBLP  BibTeX  RDF
1Philippa Gardner, Cosimo Laneve, Lucian Wischik Linear forwarders. Search on Bibsonomy Inf. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Philippa Gardner, Giorgio Ghelli Expressiveness and complexity of graph logic. Search on Bibsonomy Inf. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Philippa Gardner, Uri Zarfaty Local Reasoning about Data Update. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Philippa Gardner, Giorgio Ghelli Manipulating Trees with Hidden Labels. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Philippa Gardner, Uri Zarfaty An Introduction to Context Logic. Search on Bibsonomy WoLLIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Philippa Gardner, Uri Zarfaty Context logic as modal logic: completeness and parametric inexpressivity. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF contexts, logic, expressivity, structured data
1Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner Adjunct Elimination in Context Logic for Trees. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Philippa Gardner, Nobuko Yoshida Editorial. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Uri Zarfaty, Philippa Gardner Local Reasoning About Tree Update. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Philippa Gardner, Sergio Maffeis Modelling dynamic web data. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Lucian Wischik, Philippa Gardner Explicit fusions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Cristiano Calcagno, Philippa Gardner, Uri Zarfaty Context logic and tree update. Search on Bibsonomy POPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF tree update, contexts, hoare logic
1Barbara König, Ugo Montanari, Philippa Gardner (eds.) Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004 Search on Bibsonomy Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems The full citation details ... 2005 DBLP  BibTeX  RDF
1Cristiano Calcagno, Philippa Gardner, Matthew Hague From Separation Logic to First-Order Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Philippa Gardner, Nobuko Yoshida (eds.) CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings Search on Bibsonomy CONCUR The full citation details ... 2004 DBLP  BibTeX  RDF
1Barbara König, Ugo Montanari, Philippa Gardner 04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. Search on Bibsonomy Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems The full citation details ... 2004 DBLP  BibTeX  RDF
1Sergio Maffeis, Philippa Gardner Behavioural Equivalences for Dynamic Web Data. Search on Bibsonomy IFIP TCS The full citation details ... 2004 DBLP  BibTeX  RDF
1Lucian Wischik, Philippa Gardner Strong Bisimulation for the Explicit Fusion Calculus. Search on Bibsonomy FoSSaCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Philippa Gardner, Giorgio Ghelli Adjunct Elimination Through Games in Static Ambient Logic. Search on Bibsonomy FSTTCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Philippa Gardner, Cosimo Laneve, Lucian Wischik Linear Forwarders. Search on Bibsonomy CONCUR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Philippa Gardner, Sergio Maffeis Modelling Dynamic Web Data. Search on Bibsonomy DBPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Philippa Gardner, Giorgio Ghelli Manipulating Trees with Hidden Labels. Search on Bibsonomy FoSSaCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Philippa Gardner, Cosimo Laneve, Lucian Wischik The Fusion Machine. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  BibTeX  RDF
1Luca Cardelli, Philippa Gardner, Giorgio Ghelli A Spatial Logic for Querying Graphs. Search on Bibsonomy ICALP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Philippa Gardner From Process Calculi to Process Frameworks. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Philippa Gardner, Lucian Wischik Explicit Fusions. Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Philippa Gardner Closed Action Calculi. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Philippa Gardner A Type-theoretic Description of Action Calculi. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Philippa Gardner, Masahito Hasegawa Types and Models for Higher-Order Action Calculi. Search on Bibsonomy TACS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon D. Plotkin From Action Calculi to Linear Logic. Search on Bibsonomy CSL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Philippa Gardner Equivalences between Logics and Their Representing Type Theories. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Philippa Gardner A name-free account of action calculi. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Philippa Gardner Discovering Needed Reductions Using Type Theory. Search on Bibsonomy TACS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Philippa Gardner A New Type THeory for Representing Logics. Search on Bibsonomy LPAR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #54 of 54 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.