Daniel K. Lee

Towards a mechanized metatheory of standard ML

Karl Crary, Robert Harper, Daniel K. Lee, 2007, POPL '07.

Automated Analyses of Innate Olfactory Behaviors in Rodents

Limei Ma, Daniel K. Lee, Qiang Qiu, 2014, PloS one.

Overview of the large digital arrays of the space fence radar

Daniel K. Lee, Joseph A. Haimerl, Bruce Hudson, 2016, 2016 IEEE International Symposium on Phased Array Systems and Technology (PAST).

Avrora: scalable sensor network simulation with precise timing

Jens Palsberg, Ben L. Titzer, Daniel K. Lee, 2005, IPSN 2005. Fourth International Symposium on Information Processing in Sensor Networks, 2005..