Gardner, Philippa L.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Towards a program logic for JavaScript

Gardner, Philippa Anne, Maffeis, Sergio, Smith, Gareth David

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 867 KB

english, 2012

2

Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper)

da Rocha Pinto, Pedro, Dinsdale-Young, Thomas, Gardner, Philippa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

File:

PDF, 2 KB

2015

3

A perspective on specifying and verifying concurrent modules

Dinsdale-Young, Thomas, da Rocha Pinto, Pedro, Gardner, Philippa

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 616 KB

english, 2018

4

A Process Model of Actin Polymerisation

Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.95 MB

english, 2009

5

Local Reasoning About Tree Update

Uri Zarfaty, Philippa Gardner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 379 KB

english, 2006

6

Local Reasoning about Data Update

Cristiano Calcagno, Philippa Gardner, Uri Zarfaty

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 664 KB

english, 2007

7

A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis

Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.46 MB

english, 2008

8

Explicit fusions

Lucian Wischik, Philippa Gardner

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 542 KB

english, 2005

9

Modelling dynamic web data

Philippa Gardner, Sergio Maffeis

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 358 KB

english, 2005

10

Editorial

Philippa Gardner, Nobuko Yoshida

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 95 KB

english, 2006

11

A process model of Rho GTP-binding proteins

Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 4.59 MB

english, 2009

12

Closed action calculi

Philippa Gardner

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 177 KB

english, 1999

13

A Name-free Account of Action Calculi

Philippa Gardner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 859 KB

english, 1995

14

A Type-theoretic Description of Action Calculi

Philippa Gardner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 32 KB

english, 1998

15

Manipulating Trees with Hidden Labels

Luca Cardelli, Philippa Gardner, Giorgio Ghelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 357 KB

english, 2007

16

Inhibition of rat adjuvant arthritis by a new immunosuppressive agent rubidomycin

F. Quagliata, Philippa M. Sanders, D. L. Gardner

Journal:

Cellular and Molecular Life Sciences

Year:

1968

Language:

english

File:

PDF, 268 KB

english, 1968

17

Linear forwarders

Philippa Gardner, Cosimo Laneve, Lucian Wischik

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 303 KB

english, 2007

18

Expressiveness and complexity of graph logic

Anuj Dawar, Philippa Gardner, Giorgio Ghelli

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 580 KB

english, 2007

19

Adjunct elimination in Context Logic for trees

Cristiano Calcagno, Thomas Dinsdale-Young, Philippa Gardner

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 396 KB

english, 2010

20

Behavioural equivalences for dynamic Web data

Sergio Maffeis, Philippa Gardner

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 2.67 MB

english, 2008

21

Processes in space

Luca Cardelli, Philippa Gardner

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 383 KB

english, 2012

22

[Lecture Notes in Computer Science] CONCUR 2004 - Concurrency Theory Volume 3170 ||

Gardner, Philippa, Yoshida, Nobuko

Year:

2004

Language:

english

File:

PDF, 4.87 MB

english, 2004

23

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 7792 ||

Felleisen, Matthias, Gardner, Philippa

Year:

2013

Language:

english

File:

PDF, 7.63 MB

english, 2013

24

The experience of postnatal depression in West African mothers living in the United Kingdom: A qualitative study

Gardner, Philippa L., Bunton, Penny, Edge, Dawn, Wittkowski, Anja

Journal:

Year:

2014

Language:

english

File:

PDF, 355 KB

english, 2014

25

Culturally determined risk factors for postnatal depression in Sub-Saharan Africa: A mixed method systematic review

Wittkowski, Anja, Gardner, Philippa L., Bunton, Penny, Edge, Dawn

Journal:

Journal of Affective Disorders

Year:

2014

Language:

english

File:

PDF, 641 KB

english, 2014

26

Regional Patterns in Puerulus Catches from Estern and Western Tasmania

Philippa J. Cohen and Caleb Gardner

Journal:

Journal of Crustacean Biology

Year:

2007

Language:

english

File:

PDF, 325 KB

english, 2007

27

[Lecture Notes in Computer Science] Database Programming Languages Volume 5708 ||

Gardner, Philippa, Geerts, Floris

Year:

2009

Language:

english

File:

PDF, 1.71 MB

english, 2009

28

Equivalences between logics and their representing type theories

Gardner, Philippa

Journal:

Mathematical Structures in Computer Science

Year:

1995

Language:

english

File:

PDF, 1.57 MB

english, 1995

29

[ACM Press the 2011 ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 - A simple abstraction for complex concurrent indexes

da Rocha Pinto, Pedro, Dinsdale-Young, Thomas, Dodds, Mike, Gardner, Philippa, Wheelhouse, Mark

Year:

2011

Language:

english

File:

PDF, 917 KB

english, 2011

30

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Towards a program logic for JavaScript

Gardner, Philippa Anne, Maffeis, Sergio, Smith, Gareth David

Year:

2012

Language:

english

File:

PDF, 867 KB

english, 2012

31

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Views

Dinsdale-Young, Thomas, Birkedal, Lars, Gardner, Philippa, Parkinson, Matthew, Yang, Hongseok

Year:

2013

Language:

english

File:

PDF, 699 KB

english, 2013

32

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A trusted mechanised JavaSript specification

Bodin, Martin, Chargueraud, Arthur, Filaretti, Daniele, Gardner, Philippa, Maffeis, Sergio, Naudziuniene, Daiva, Schmitt, Alan, Smith, Gareth

Year:

2014

Language:

english

File:

PDF, 647 KB

english, 2014

33

[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - Context logic as modal logic

Calcagno, Cristiano, Gardner, Philippa, Zarfaty, Uri

Year:

2007

Language:

english

File:

PDF, 680 KB

english, 2007

34

[ACM Press the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium - Vancouver, Canada (2008.06.09-2008.06.12)] Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '08 - Local Hoare reasoning about DOM

Gardner, Philippa A., Smith, Gareth D., Wheelhouse, Mark J., Zarfaty, Uri D.

Year:

2008

Language:

english

File:

PDF, 403 KB

english, 2008

35

[ACM Press the 1st International Workshop - Lausanne, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 1st International Workshop on Data Semantics - DataSem '10 - Reasoning about client-side web programs

Gardner, Philippa

Year:

2010

Language:

english

File:

PDF, 81 KB

english, 2010

36

Regional Patterns in Puerulus Catches from Eastern and Western Tasmania

Cohen, Philippa J., Gardner, Caleb

Journal:

Journal of Crustacean Biology

Year:

2007

Language:

english

File:

PDF, 86 KB

english, 2007

37

Abstract Local Reasoning for Concurrent Libraries: Mind the Gap

Gardner, Philippa, Raad, Azalea, Wheelhouse, Mark, Wright, Adam

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 383 KB

english, 2014

38

Improving physical health and reducing substance use in psychosis – randomised control trial (IMPACT RCT): study protocol for a cluster randomised controlled trial

Gaughran, Fiona, Stahl, Daniel, Ismail, Khalida, Atakan, Zerrin, Lally, John, Gardner-Sood, Poonam, Patel, Anita, David, Anthony, Hopkins, David, Harries, Bee, Lowe, Philippa, Orr, Diana, Arbuthnot, M

Journal:

Year:

2013

Language:

english

File:

PDF, 364 KB

english, 2013

39

A simple abstraction for complex concurrent indexes

da Rocha Pinto, Pedro, Dinsdale-Young, Thomas, Dodds, Mike, Gardner, Philippa, Wheelhouse, Mark

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 917 KB

english, 2011

40

Report on the EDBT/ICDT 2010 workshop on updates in XML

Benedikt, Michael, Florescu, Daniela, Gardner, Philippa, Guerrini, Giovanna, Mesiti, Marco, Waller, Emmanuel

Journal:

ACM SIGMOD Record

Year:

2010

Language:

english

File:

PDF, 88 KB

english, 2010

41

Context logic as modal logic

Calcagno, Cristiano, Gardner, Philippa, Zarfaty, Uri

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 680 KB

english, 2007

42

[Lecture Notes in Computer Science] CONCUR 2004 - Concurrency Theory Volume 3170 || Open Maps, Alternating Simulations and Control Synthesis

Gardner, Philippa, Yoshida, Nobuko

Year:

2004

Language:

english

File:

PDF, 203 KB

english, 2004

43

[Lecture Notes in Computer Science] CONCUR 2004 - Concurrency Theory Volume 3170 || A Survey of Regular Model Checking

Gardner, Philippa, Yoshida, Nobuko

Year:

2004

Language:

english

File:

PDF, 197 KB

english, 2004

44

Verified trustworthy software systems

Gardner, Philippa

Journal:

Philosophical Transactions Mathematical Physical & Engineering Sciences

Year:

2017

Language:

english

File:

PDF, 187 KB

english, 2017

45

JaVerT: JavaScript verification toolchain

Fragoso Santos, José, Maksimović, Petar, Naudžiūnienė, Daiva, Wood, Thomas, Gardner, Philippa

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 1.43 MB

english, 2017

46

Randomised control trial of the effectiveness of an integrated psychosocial health promotion intervention aimed at improving health and reducing substance use in established psychosis (IMPaCT)

Gaughran, Fiona, Stahl, Daniel, Ismail, Khalida, Greenwood, Kathryn, Atakan, Zerrin, Gardner-Sood, Poonam, Stubbs, Brendon, Hopkins, David, Patel, Anita, Lally, John, Lowe, Philippa, Arbuthnot, Mauric

Journal:

Year:

2017

Language:

english

File:

PDF, 859 KB

english, 2017

47

Long term effect of primary health care training on HIV testing: A quasi-experimental evaluation of the Sexual Health in Practice (SHIP) intervention

Pillay, Kamla, Gardner, Melissa, Gould, Allon, Otiti, Susan, Mullineux, Judith, Bärnighausen, Till, Matthews, Philippa Margaret, Smith Fawzi, Mary C

Journal:

Year:

2018

Language:

english

File:

PDF, 1.19 MB

english, 2018

48

Maternal uterine NK cell–activating receptor KIR2DS1 enhances placentation

Xiong, Shiqiu, Sharkey, Andrew M., Kennedy, Philippa R., Gardner, Lucy, Farrell, Lydia E., Chazara, Olympe, Bauer, Julien, Hiby, Susan E., Colucci, Francesco, Moffett, Ashley

Journal:

Journal of Clinical Investigation

Year:

2013

Language:

english

File:

PDF, 1.64 MB

english, 2013

49

Skeletal semantics and their interpretations

Bodin, Martin, Gardner, Philippa, Jensen, Thomas, Schmitt, Alan

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

File:

PDF, 482 KB

2019

50

[ACM Press the 20th International Symposium - Frankfurt am Main, Germany (2018.09.03-2018.09.05)] Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming - PPDP '18 - Symbolic Execution for JavaScript

Santos, José Fragoso, Maksimović, Petar, Grohens, Théotime, Dolby, Julian, Gardner, Philippa

Year:

2018

Language:

english

File:

PDF, 2.96 MB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски