Raymond McDowell
发表
Ross Brennan,
Louise Canning,
Raymond McDowell,
2010
.
Ross Brennan,
Louise Canning,
Raymond McDowell,
2014
.
Dale Miller,
Catuscia Palamidessi,
Raymond McDowell,
2003,
Theor. Comput. Sci..
Dale Miller,
Raymond McDowell,
D. Miller,
2000,
Theor. Comput. Sci..
Dale Miller,
Raymond McDowell,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Catuscia Palamidessi,
Raymond McDowell,
Dale Miller,
2003,
Linear Logic Tokyo Meeting.
Anshu Saksena,
Raymond McDowell,
Ryan W. Gardner,
2016,
2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC).
Dale Miller,
Raymond McDowell,
D. Miller,
2000,
TOCL.
Raymond McDowell,
1993
.
Raymond McDowell,
David Ford,
D. Ford,
1999
.
Louise Canning,
Raymond McDowell,
R. Brennan,
2007
.
Raymond McDowell,
David Ford,
Cyril Tomkins,
1996
.