Simon Docherty
发表
Simon Docherty,
David J. Pym,
D. Pym,
2017,
Log. Methods Comput. Sci..
Alexandra Silva,
Simon Docherty,
Jialu Bao,
2020,
ArXiv.
Simon Docherty,
David J. Pym,
Matthew Collinson,
2017,
J. Log. Comput..
Alexandra Silva,
Jurriaan Rot,
Simon Docherty,
2020,
CONCUR.
Simon Docherty,
David J. Pym,
D. Pym,
2016,
IJCAR.
Simon Docherty,
David J. Pym,
2017,
IJCAI.
Simon Docherty,
David J. Pym,
D. Pym,
2016,
IJCAR.
Reuben N. S. Rowe,
Simon Docherty,
R. Rowe,
2019,
TABLEAUX.
Simon Docherty,
David J. Pym,
D. Pym,
2018,
FoSSaCS.
M. Angela Sasse,
Simon Docherty,
David J. Pym,
2019,
IOT.
Simon Docherty,
David J. Pym,
D. Pym,
2018,
MFPS.
Simon Docherty,
David Pym,
Alexander Gheorghiu,
2021,
ArXiv.
Justin Hsu,
Simon Docherty,
Alexandra Silva,
2020,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Simon Docherty,
2014
.