D. Pym
发表
Peter W. O'Hearn,
David J. Pym,
P. O'Hearn,
1999,
Bulletin of Symbolic Logic.
S. Shiu,
A. Baldwin,
D. Pym,
2013
.
D. Pym,
2001
.
M. A. Price,
D. Pym,
2007
.
S. Parkin,
D. Pym,
A. Demjaha,
2019,
STAST.
D. Pym,
Simon Docherty,
2017
.
Gilbert L. Peterson,
Emil C. Lupu,
Munindar P. Singh,
2015
.
David J. Pym,
Joseph Swierzbinski,
Julian Williams,
2013
.
Tyler Moore,
Jonathan M. Spring,
David Pym,
2017
.
Christos Ioannidis,
David Pym,
Julian Williams,
2013
.
D. Pym,
I. Gheyas,
Julian M. Williams,
2015
.
Jonathan M. Spring,
D. Pym,
2018
.
D. Pym,
Gabrielle Anderson,
2015
.
D. Pym,
Gabrielle Anderson,
2015
.
T. Caulfield,
D. Pym,
Julian M. Williams,
2015
.
D. Pym,
D. Galmiche,
P. Kimmel,
2016
.
P. O'Hearn,
D. Pym,
E. Robinson,
2013
.
Pryor,
D. Pym,
David MurphyDept,
1995
.
W. Hodges,
P. O'Hearn,
D. Pym,
2008
.
David J. Pym,
Brian Monahan,
M Yearworth,
2007
.
S. Parkin,
D. Pym,
A. Demjaha,
2022,
Journal of Computer Security.
D. Pym,
A. Beautement,
2011
.
Tyler Moore,
David J. Pym,
D. Pym,
2016,
Journal of Cybersecurity.
Tyler Moore,
David J. Pym,
Michel van Eeten,
2016,
J. Cybersecur..
S. Parkin,
B. Monahan,
H. Johnson,
2008
.
D. Pym,
A. Gheorghiu,
2022,
ArXiv.
D. Pym,
A. Gheorghiu,
2022,
ArXiv.
D. Pym,
A. Gheorghiu,
2023,
Bulletin of the Section of Logic.
D. Pym,
Simon Docherty,
A. Gheorghiu,
2021,
ArXiv.
D. Pym,
2011
.
David J. Pym,
Eike Ritter,
D. Pym,
2004
.
David J. Pym,
Brian Monahan,
Matthew Collinson,
2012
.
T. Caulfield,
D. Pym,
A. Demjaha,
2021,
STAST.
D. Pym,
D. Galmiche,
P. Kimmel,
2018
.
D. Pym,
D. Galmiche,
P. Kimmel,
2016
.
S. Shiu,
A. Baldwin,
M. Mont,
2009
.
David J. Pym,
David Murphy,
Louise Pryor,
2013
.
David J. Pym,
Matthew Collinson,
Kevin McDonald,
2014,
J. Log. Comput..
David Pym,
D. Pym,
2019,
SIGL.
Simon Docherty,
David J. Pym,
D. Pym,
2017,
Log. Methods Comput. Sci..
Simon Docherty,
David J. Pym,
D. Pym,
2016,
IJCAR.
Simon Docherty,
David J. Pym,
D. Pym,
2016,
IJCAR.
Julian Williams,
David J. Pym,
Christos Ioannidis,
2011,
WEIS.
Jonathan M. Spring,
David J. Pym,
D. Pym,
2018,
GameSec.
Simon Shiu,
Yolanta Beresnevichiene,
David Pym,
2010,
2010 IEEE/IFIP Network Operations and Management Symposium Workshops.
David J. Pym,
Gabrielle Anderson,
D. Pym,
2018,
J. Log. Comput..
David J. Pym,
Matthew Collinson,
Gabrielle Anderson,
2013,
TARK.
David J. Pym,
Simon Shiu,
Adrian Baldwin,
2011,
2011 IEEE Third International Conference on Cloud Computing Technology and Science.
Tyler Moore,
Jonathan M. Spring,
David J. Pym,
2017,
NSPW.
Jonathan M. Spring,
P. O'Hearn,
D. Pym,
2018,
Philosophy & Technology.
M. Angela Sasse,
David J. Pym,
Brian Monahan,
2008,
WEIS.
David J. Pym,
Louise Pryor,
David Murphy,
2013
.
D. Pym,
A. Gheorghiu,
2023,
ArXiv.
David J. Pym,
Christos Ioannidis,
Julian M. Williams,
2016
.
David J. Pym,
Martin Sadler,
D. Pym,
2010,
Int. J. Serv. Sci. Manag. Eng. Technol..
D. Pym,
Eike Ritter,
E. Robinson,
2023,
ArXiv.
David J. Pym,
Carsten Führmann,
D. Pym,
2007,
Mathematical Structures in Computer Science.
David J. Pym,
Carsten Führmann,
D. Pym,
2006
.
David J. Pym,
Didier Galmiche,
Daniel Méry,
2005,
Mathematical Structures in Computer Science.
David J. Pym,
Carsten Führmann,
D. Pym,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
David J. Pym,
Eike Ritter,
Lincoln A. Wallen,
2000,
Theor. Comput. Sci..
David J. Pym,
Didier Galmiche,
D. Pym,
2000,
Theor. Comput. Sci..
David J. Pym,
Samin S. Ishtiaq,
D. Pym,
1998,
J. Log. Comput..
David J. Pym,
Eike Ritter,
Lincoln A. Wallen,
1996,
TABLEAUX.
David J. Pym,
D. Pym,
1995,
Stud Logica.
David J. Pym,
Lincoln A. Wallen,
L. Wallen,
1992,
ALPUK.
David J. Pym,
Lincoln A. Wallen,
L. Wallen,
1990,
CADE.
D. Pym,
H. Skeoch,
2023,
ArXiv.
David J. Pym,
Bob Duncan,
Mark Whittington,
2013,
2013 IEEE 5th International Conference on Cloud Computing Technology and Science.
David J. Pym,
Matthew Collinson,
Kevin McDonald,
2017,
J. Log. Comput..
David J. Pym,
D. Pym,
2002,
Applied logic series.
David J. Pym,
Tristan Caulfield,
Christos Ioannidis,
2016,
GameSec.
James Harland,
David J. Pym,
D. Pym,
2000,
TOCL.
Tyler Moore,
David J. Pym,
Christos Ioannidis,
2014
.
Julian Williams,
David J. Pym,
Christos Ioannidis,
2012,
Eur. J. Oper. Res..
David J. Pym,
Didier Galmiche,
Jean-René Courtault,
2016,
Theor. Comput. Sci..
David J. Pym,
Fredrik Dahlqvist,
D. Pym,
2015,
J. Log. Algebraic Methods Program..
David J. Pym,
Fredrik Dahlqvist,
D. Pym,
2015,
RAMiCS.
David J. Pym,
Samin Ishtiaq,
D. Pym,
2013
.
Edmund Robinson,
David J. Pym,
Matthew Collinson,
2007
.
David J. Pym,
Matthew Collinson,
D. Pym,
2006,
MFPS.
Edmund Robinson,
David J. Pym,
Matthew Collinson,
2005,
CSL.
Julian Williams,
David J. Pym,
Tristan Caulfield,
2014,
HCI.
D. Pym,
Paul Brunet,
2019,
FSCD.
D. Pym,
H. Skeoch,
2023,
ArXiv.
David J. Pym,
Tristan Caulfield,
T. Caulfield,
2015,
IEEE Security & Privacy.
David J. Pym,
Tristan Caulfield,
T. Caulfield,
2015,
SimuTools.
T. Caulfield,
D. Pym,
Marius-Constantin Ilau,
2021,
SimuTools.
David J. Pym,
Matthew Collinson,
D. Pym,
2010,
Formal Aspects of Computing.
Barry Taylor,
David J. Pym,
Matthew Collinson,
2012,
ESOCC.
David J. Pym,
Chris M. N. Tofts,
C. Tofts,
2007,
Computation, Meaning, and Logic.
Peter W. O'Hearn,
Hongseok Yang,
David J. Pym,
2004,
Theor. Comput. Sci..
David J. Pym,
Samin Ishtiaq,
D. Pym,
2002,
J. Log. Comput..
D. Pym,
A. Gheorghiu,
2022,
2210.05336.
David J. Pym,
Eike Ritter,
D. Pym,
2004,
Oxford logic guides.
Jonathan M. Spring,
David Pym,
Peter O’Hearn,
2019
.
Simon Docherty,
David J. Pym,
D. Pym,
2018,
MFPS.
Simon Docherty,
David J. Pym,
D. Pym,
2018,
FoSSaCS.
M. Angela Sasse,
David J. Pym,
Tristan Caulfield,
2019,
2019 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).
Julian Williams,
David J. Pym,
Adrian Baldwin,
2017,
J. Oper. Res. Soc..
Julian Williams,
David J. Pym,
Adrian Baldwin,
2012,
WEIS.
David J. Pym,
Guy McCusker,
Gabrielle Anderson,
2016,
GameSec.
David J. Pym,
Eike Ritter,
D. Pym,
2001
.
David J. Pym,
D. Pym,
1992,
Int. J. Found. Comput. Sci..
David J. Pym,
D. Pym,
1990
.
David J. Pym,
Eike Ritter,
Lincoln A. Wallen,
2000,
J. Log. Comput..
David J. Pym,
Eike Ritter,
Lincoln A. Wallen,
1996,
CADE.
D. Pym,
H. Skeoch,
2023,
ArXiv.
David J. Pym,
Brian Monahan,
Matthew Collinson,
2010,
SimuTools.
David J. Pym,
D. Pym,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
D. Pym,
James Harland,
1997,
CADE.
Edmund Robinson,
David J. Pym,
Eike Ritter,
2014,
J. Log. Comput..
Irene C. L. Ng,
M. Rajarajan,
Chris Speed,
2014
.