Tim Disney
发表
Cormac Flanagan,
Tim Disney,
Nathan Faubion,
2015
.
Cormac Flanagan,
Tim Disney,
Christopher Schuster,
2016,
ESOP.
Jacob D. Furst,
Tim Disney,
Daniela Raicu,
2007,
SPIE Medical Imaging.
Tim Disney,
M. Lam,
M. Pham,
2006
.
Stephen N. Freund,
Cormac Flanagan,
Tim Disney,
2011
.
Jacob D. Furst,
Daniela Stan Raicu,
Tim Disney,
2007,
SPIE Medical Imaging.
Cormac Flanagan,
Tim Disney,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Thomas H. Austin,
Cormac Flanagan,
Tim Disney,
2011,
OOPSLA '11.
Cormac Flanagan,
Tim Disney,
Nathan Faubion,
2014,
DLS.
Cormac Flanagan,
Tim Disney,
Dustin Rhodes,
2015
.
David S. Channin,
Jacob Furst,
Tim Disney,
2007,
Journal of Digital Imaging.
Thomas H. Austin,
Alan Jeffrey,
Cormac Flanagan,
2011
.
Jacob D. Furst,
Daniela Stan Raicu,
David S. Channin,
2007
.
Cormac Flanagan,
Tim Disney,
Dustin Rhodes,
2014,
DLS '14.
Cormac Flanagan,
Tim Disney,
Jay McCarthy,
2011,
ICFP.
Stephen N. Freund,
Cormac Flanagan,
Tim Disney,
2012,
ISSTA 2012.
Mark Stamp,
Thomas H. Austin,
Cormac Flanagan,
2016
.
Cormac Flanagan,
Tim Disney,
Alessandro Bruni,
2011
.
Stephen N. Freund,
Cormac Flanagan,
Tim Disney,
2015,
Sci. Comput. Program..