PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Gardner, Philippa"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Logic-Based Verification of JavaScript Programs.

, , , and . CADE, volume 10395 of Lecture Notes in Computer Science, page 8-25. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Gardner, Philippa
add a person with the name Gardner, Philippa
 

Other publications of authors with the same name

Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)., , and . Electr. Notes Theor. Comput. Sci., (2015)Behavioural Equivalences for Dynamic Web Data., and . IFIP TCS, volume 155 of IFIP, page 535-548. Kluwer/Springer, (2004)A process model of Rho GTP-binding proteins., , , , and . Theor. Comput. Sci., 410 (33-34): 3166-3185 (2009)Data Consistency in Transactional Storage Systems: a Centralised Approach., , , and . CoRR, (2019)Report on the EDBT/ICDT 2010 workshop on updates in XML., , , , , and . SIGMOD Record, 39 (1): 54-57 (2010)From Process Calculi to Process Frameworks.. CONCUR, volume 1877 of Lecture Notes in Computer Science, page 69-88. Springer, (2000)Abstraction and Refinement for Local Reasoning., , and . VSTTE, volume 6217 of Lecture Notes in Computer Science, page 199-215. Springer, (2010)TaDA: A Logic for Time and Data Abstraction., , and . ECOOP, volume 8586 of Lecture Notes in Computer Science, page 207-231. Springer, (2014)Abstract Local Reasoning for Program Modules., , and . CALCO, volume 6859 of Lecture Notes in Computer Science, page 36-39. Springer, (2011)Context logic and tree update., , and . POPL, page 271-282. ACM, (2005)