×

zbMATH — the first resource for mathematics

Gardner, Philippa Anne

Compute Distance To:
Author ID: gardner.philippa-anne Recent zbMATH articles by "Gardner, Philippa Anne"
Published as: Gardner, Philippa; Gardner, Philippa Anne
Documents Indexed: 56 Publications since 1993, including 4 Books

Publications by Year

Citations contained in zbMATH Open

46 Publications have been cited 203 times in 138 Documents Cited by Year
Context logic as modal logic, completeness and parametric inexpressivity. Zbl 1295.68079
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri
16
2007
Explicit fusions. Zbl 0996.68523
Gardner, Philippa; Wischik, Lucian
15
2000
Explicit fusions. Zbl 1077.68066
Wischik, Lucian; Gardner, Philippa
14
2005
Views, compositional reasoning for concurrent programs. Zbl 1301.68099
Dinsdale-Young, Thomas; Birkedal, Lars; Gardner, Philippa; Parkinson, Matthew; Yang, Hongseok
13
2013
The fusion machine (Extended abstract). Zbl 1012.68527
Gardner, Philippa; Laneve, Cosimo; Wischik, Lucian
10
2002
Context logic and tree update. Zbl 1369.68132
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri
10
2005
A spatial logic for querying graphs. Zbl 1057.68606
Cardelli, Luca; Gardner, Philippa; Ghelli, Giorgio
9
2002
Manipulating trees with hidden labels. Zbl 1029.68092
Cardelli, Luca; Gardner, Philippa; Ghelli, Giorgio
8
2003
Modelling dynamic web data. Zbl 1077.68004
Gardner, Philippa; Maffeis, Sergio
8
2005
Expressiveness and complexity of graph logic. Zbl 1114.03028
Dawar, Anuj; Gardner, Philippa; Ghelli, Giorgio
8
2007
Processes in space. Zbl 1286.68345
Cardelli, Luca; Gardner, Philippa
7
2010
Discovering needed reductions using type theory. Zbl 0942.03508
Gardner, Philippa
6
1994
Strong bisimulation for the explicit fusion calculus. Zbl 1126.68512
Wischik, Lucian; Gardner, Philippa
6
2004
From separation logic to first-order logic. Zbl 1119.03022
Calcagno, Cristiano; Gardner, Philippa; Hague, Matthew
5
2005
Adjunct elimination through games in static ambient logic (extended abstract). Zbl 1117.03338
Dawar, Anuj; Gardner, Philippa; Ghelli, Giorgio
5
2004
From action calculi to linear logic. Zbl 0908.03031
Barber, Andrew; Gardner, Philippa; Hasegawa, Masahito; Plotkin, Gordon
4
1998
Closed action calculi. Zbl 0954.68114
Gardner, Philippa
4
1999
Linear forwarders. Zbl 1274.68233
Gardner, Philippa; Laneve, Cosimo; Wischik, Lucian
4
2003
Modular termination verification for non-blocking concurrency. Zbl 1335.68074
da Rocha Pinto, Pedro; Dinsdale-Young, Thomas; Gardner, Philippa; Sutherland, Julian
4
2016
From process calculi to process frameworks. Zbl 0999.68137
Gardner, Philippa
3
2000
Linear forwarders. Zbl 1129.68047
Gardner, Philippa; Laneve, Cosimo; Wischik, Lucian
3
2007
Behavioural equivalences for dynamic web data. Zbl 1088.68555
Maffeis, Sergio; Gardner, Philippa
3
2004
A process model of actin polymerisation. Zbl 1283.92047
Cardelli, Luca; Caron, Emmanuelle; Gardner, Philippa; Kahramanoğulları, Ozan; Phillips, Andrew
3
2009
ColoSL: concurrent local subjective logic. Zbl 1335.68064
Raad, Azalea; Villard, Jules; Gardner, Philippa
3
2015
A new type theory for representing logics. Zbl 0793.68089
Gardner, Philippa
2
1993
Processes in space. Zbl 1251.68153
Cardelli, Luca; Gardner, Philippa
2
2012
A process model of Rho GTP-binding proteins. Zbl 1173.68040
Cardelli, Luca; Caron, Emmanuelle; Gardner, Philippa; Kahramanoğulları, Ozan; Phillips, Andrew
2
2009
A process model of rho GTP-binding proteins in the context of phagocytosis. Zbl 1279.68252
Cardelli, Luca; Gardner, Philippa; Kahramanoğulları, Ozan
2
2008
Footprints in local reasoning. Zbl 1139.68020
Raza, Mohammad; Gardner, Philippa
2
2008
Adjunct elimination in context logic for trees. Zbl 1137.03312
Calcagno, Cristiano; Dinsdale-Young, Thomas; Gardner, Philippa
2
2007
A trusted mechanised JavaSript specification. Zbl 1284.68381
Bodin, Martin; Chargueraud, Arthur; Filaretti, Daniele; Gardner, Philippa; Maffeis, Sergio; Naudziuniene, Daiva; Schmitt, Alan; Smith, Gareth
2
2014
Towards a program logic for JavaScript. Zbl 1321.68193
Gardner, Philippa Anne; Maffeis, Sergio; Smith, Gareth David
2
2012
Steps in modular specifications for concurrent modules (invited tutorial paper). Zbl 1351.68188
da Rocha Pinto, Pedro; Dinsdale-Young, Thomas; Gardner, Philippa
2
2015
Abstract local reasoning for concurrent libraries: mind the gap. Zbl 1337.68069
Gardner, Philippa; Raad, Azalea; Wheelhouse, Mark; Wright, Adam
2
2014
Equivalences between logics and their representing type theories. Zbl 0868.03003
Gardner, Philippa
1
1995
Types and models for higher-order action calculi. Zbl 0885.03036
Gardner, Philippa; Hasegawa, Masahito
1
1997
A name-free account of action calculi. Zbl 0910.68152
Gardner, Philippa
1
1995
Behavioural equivalences for dynamic web data. Zbl 1135.68005
Maffeis, Sergio; Gardner, Philippa
1
2008
An introduction to context logic. Zbl 1213.03039
Gardner, Philippa; Zarfaty, Uri
1
2007
Automatic parallelization with separation logic. Zbl 1234.68080
Raza, Mohammad; Calcagno, Cristiano; Gardner, Philippa
1
2009
Local reasoning about tree update. Zbl 1273.03111
Zarfaty, Uri; Gardner, Philippa
1
2006
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. Zbl 1268.68016
Felleisen, Matthias (ed.); Gardner, Philippa (ed.)
1
2013
CONCUR 2004 – concurrency theory. 15th international conference, London, UK, August 31 – September 3, 2004. Proceedings. Zbl 1058.68006
Gardner, Philippa (ed.); Yoshida, Nobuko (ed.)
1
2004
Footprints in local reasoning. Zbl 1163.68011
Raza, Mohammad; Gardner, Philippa
1
2009
Adjunct elimination in context logic for trees. Zbl 1200.68224
Calcagno, Cristiano; Dinsdale-Young, Thomas; Gardner, Philippa
1
2010
Local reasoning for the POSIX file system. Zbl 1405.68080
Gardner, Philippa; Ntzik, Gian; Wright, Adam
1
2014
Modular termination verification for non-blocking concurrency. Zbl 1335.68074
da Rocha Pinto, Pedro; Dinsdale-Young, Thomas; Gardner, Philippa; Sutherland, Julian
4
2016
ColoSL: concurrent local subjective logic. Zbl 1335.68064
Raad, Azalea; Villard, Jules; Gardner, Philippa
3
2015
Steps in modular specifications for concurrent modules (invited tutorial paper). Zbl 1351.68188
da Rocha Pinto, Pedro; Dinsdale-Young, Thomas; Gardner, Philippa
2
2015
A trusted mechanised JavaSript specification. Zbl 1284.68381
Bodin, Martin; Chargueraud, Arthur; Filaretti, Daniele; Gardner, Philippa; Maffeis, Sergio; Naudziuniene, Daiva; Schmitt, Alan; Smith, Gareth
2
2014
Abstract local reasoning for concurrent libraries: mind the gap. Zbl 1337.68069
Gardner, Philippa; Raad, Azalea; Wheelhouse, Mark; Wright, Adam
2
2014
Local reasoning for the POSIX file system. Zbl 1405.68080
Gardner, Philippa; Ntzik, Gian; Wright, Adam
1
2014
Views, compositional reasoning for concurrent programs. Zbl 1301.68099
Dinsdale-Young, Thomas; Birkedal, Lars; Gardner, Philippa; Parkinson, Matthew; Yang, Hongseok
13
2013
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. Zbl 1268.68016
Felleisen, Matthias; Gardner, Philippa
1
2013
Processes in space. Zbl 1251.68153
Cardelli, Luca; Gardner, Philippa
2
2012
Towards a program logic for JavaScript. Zbl 1321.68193
Gardner, Philippa Anne; Maffeis, Sergio; Smith, Gareth David
2
2012
Processes in space. Zbl 1286.68345
Cardelli, Luca; Gardner, Philippa
7
2010
Adjunct elimination in context logic for trees. Zbl 1200.68224
Calcagno, Cristiano; Dinsdale-Young, Thomas; Gardner, Philippa
1
2010
A process model of actin polymerisation. Zbl 1283.92047
Cardelli, Luca; Caron, Emmanuelle; Gardner, Philippa; Kahramanoğulları, Ozan; Phillips, Andrew
3
2009
A process model of Rho GTP-binding proteins. Zbl 1173.68040
Cardelli, Luca; Caron, Emmanuelle; Gardner, Philippa; Kahramanoğulları, Ozan; Phillips, Andrew
2
2009
Automatic parallelization with separation logic. Zbl 1234.68080
Raza, Mohammad; Calcagno, Cristiano; Gardner, Philippa
1
2009
Footprints in local reasoning. Zbl 1163.68011
Raza, Mohammad; Gardner, Philippa
1
2009
A process model of rho GTP-binding proteins in the context of phagocytosis. Zbl 1279.68252
Cardelli, Luca; Gardner, Philippa; Kahramanoğulları, Ozan
2
2008
Footprints in local reasoning. Zbl 1139.68020
Raza, Mohammad; Gardner, Philippa
2
2008
Behavioural equivalences for dynamic web data. Zbl 1135.68005
Maffeis, Sergio; Gardner, Philippa
1
2008
Context logic as modal logic, completeness and parametric inexpressivity. Zbl 1295.68079
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri
16
2007
Expressiveness and complexity of graph logic. Zbl 1114.03028
Dawar, Anuj; Gardner, Philippa; Ghelli, Giorgio
8
2007
Linear forwarders. Zbl 1129.68047
Gardner, Philippa; Laneve, Cosimo; Wischik, Lucian
3
2007
Adjunct elimination in context logic for trees. Zbl 1137.03312
Calcagno, Cristiano; Dinsdale-Young, Thomas; Gardner, Philippa
2
2007
An introduction to context logic. Zbl 1213.03039
Gardner, Philippa; Zarfaty, Uri
1
2007
Local reasoning about tree update. Zbl 1273.03111
Zarfaty, Uri; Gardner, Philippa
1
2006
Explicit fusions. Zbl 1077.68066
Wischik, Lucian; Gardner, Philippa
14
2005
Context logic and tree update. Zbl 1369.68132
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri
10
2005
Modelling dynamic web data. Zbl 1077.68004
Gardner, Philippa; Maffeis, Sergio
8
2005
From separation logic to first-order logic. Zbl 1119.03022
Calcagno, Cristiano; Gardner, Philippa; Hague, Matthew
5
2005
Strong bisimulation for the explicit fusion calculus. Zbl 1126.68512
Wischik, Lucian; Gardner, Philippa
6
2004
Adjunct elimination through games in static ambient logic (extended abstract). Zbl 1117.03338
Dawar, Anuj; Gardner, Philippa; Ghelli, Giorgio
5
2004
Behavioural equivalences for dynamic web data. Zbl 1088.68555
Maffeis, Sergio; Gardner, Philippa
3
2004
CONCUR 2004 – concurrency theory. 15th international conference, London, UK, August 31 – September 3, 2004. Proceedings. Zbl 1058.68006
Gardner, Philippa; Yoshida, Nobuko
1
2004
Manipulating trees with hidden labels. Zbl 1029.68092
Cardelli, Luca; Gardner, Philippa; Ghelli, Giorgio
8
2003
Linear forwarders. Zbl 1274.68233
Gardner, Philippa; Laneve, Cosimo; Wischik, Lucian
4
2003
The fusion machine (Extended abstract). Zbl 1012.68527
Gardner, Philippa; Laneve, Cosimo; Wischik, Lucian
10
2002
A spatial logic for querying graphs. Zbl 1057.68606
Cardelli, Luca; Gardner, Philippa; Ghelli, Giorgio
9
2002
Explicit fusions. Zbl 0996.68523
Gardner, Philippa; Wischik, Lucian
15
2000
From process calculi to process frameworks. Zbl 0999.68137
Gardner, Philippa
3
2000
Closed action calculi. Zbl 0954.68114
Gardner, Philippa
4
1999
From action calculi to linear logic. Zbl 0908.03031
Barber, Andrew; Gardner, Philippa; Hasegawa, Masahito; Plotkin, Gordon
4
1998
Types and models for higher-order action calculi. Zbl 0885.03036
Gardner, Philippa; Hasegawa, Masahito
1
1997
Equivalences between logics and their representing type theories. Zbl 0868.03003
Gardner, Philippa
1
1995
A name-free account of action calculi. Zbl 0910.68152
Gardner, Philippa
1
1995
Discovering needed reductions using type theory. Zbl 0942.03508
Gardner, Philippa
6
1994
A new type theory for representing logics. Zbl 0793.68089
Gardner, Philippa
2
1993
all top 5

Cited by 216 Authors

18 Gardner, Philippa Anne
9 Montanari, Ugo G.
6 Cardelli, Luca
6 Demri, Stéphane P.
5 Caires, Luís
5 da Rocha Pinto, Pedro
5 Dinsdale-Young, Thomas
5 Gadducci, Fabio
5 Hirschkoff, Daniel
5 Kesner, Delia
5 Lozes, Etienne
4 Bonchi, Filippo
4 Buscemi, Maria Grazia
4 Madiot, Jean-Marie
4 Maggiolo-Schettini, Andrea
4 Milazzo, Paolo
4 O’Hearn, Peter W.
4 Pardini, Giovanni
4 Pym, David J.
3 Brotherston, James
3 Danos, Vincent
3 Deters, Morgan
3 Dezani-Ciancaglini, Mariangiola
3 Ghilezan, Silvia
3 Laneve, Cosimo
3 Miculan, Marino
3 Pantović, Jovanka
3 Parrow, Joachim
3 Pérez, Jorge A.
3 Raad, Azalea
3 Sangiorgi, Davide
3 Villard, Jules
2 Åman Pohjola, Johannes
2 Barbuti, Roberto
2 Bidinger, Philippe
2 Brochenin, Rémi
2 Calcagno, Cristiano
2 Caron, Emmanuelle
2 Compagnoni, Adriana B.
2 Dawar, Anuj
2 De Nicola, Rocco
2 Docherty, Simon
2 Gabbay, Murdoch James
2 Galmiche, Didier
2 Ghelli, Giorgio
2 Hayes, Ian J.
2 Hoare, C. A. R. Tony
2 Hobor, Aquinas
2 Honorato-Zimmer, Ricardo
2 Jaramillo-Riveri, Sebastián
2 Kahramanoğulları, Ozan
2 König, Barbara
2 Larchey-Wendling, Dominique
2 Maffeis, Sergio
2 Phillips, Andrew
2 Pous, Damien
2 Priami, Corrado
2 Rueda, Camilo
2 Stucki, Sandro
2 Valencia, Frank D.
2 Vial, Pierre
2 Weber, Tjark
2 Wischik, Lucian
1 Accattoli, Beniamino
1 Acciai, Lucia
1 Alrahman, Yehia Abd
1 Andersen, Kristoffer Just
1 Antonopoulos, Timos
1 Appel, Andrew W.
1 Aranda, Jesús
1 Bacci, Giorgio
1 Baldan, Paolo
1 Bartoletti, Massimo
1 Beffara, Emmanuel
1 Bengtson, Jesper
1 Birkedal, Lars
1 Bolander, Thomas
1 Boreale, Michele
1 Borgström, Johannes
1 Bouajjani, Ahmed
1 Bruni, Roberto
1 Bucciarelli, Antonio
1 Bugliesi, Michele
1 Calzavara, Stefano
1 Cao, Yongzhi
1 Carpineti, Samuele
1 Castellani, Ilaria
1 Charatonik, Witold
1 Charguéraud, Arthur
1 Chen, Taolue
1 Cheney, James
1 Chin, Wei-Ngan
1 Ciancia, Vincenzo
1 Cockett, J. Robin B.
1 Colvin, Robert J.
1 Dahlqvist, Fredrik
1 Dal Zilio, Silvano
1 Dan, Andrei Marian
1 Deniélou, Pierre-Malo
1 Dockins, Robert
...and 116 more Authors

Citations by Year