Publications
Mitigating Denial-of-Service Attacks in MANET by Distributed Packet Filtering: A Game-theoretic Approach
Xiaoxin Wu and David K. Y. Yau. , 2007, Proc. ACM ASIACCS (short paper), Singapore, http://people.sutd.edu.sg/~david_yau/publications/asiaccs2007.pdf
Systems Support for Radiational Plume Detection, Identification, and Tracking Sensor-cyber Networks
David K. Y. Yau, Jennifer C. Hou, Shankar Mallikarjun, and Nageswara S. Rao. , 2006, Proc. NSF Workshop on Cyber-Physical Systems, Austin, TX, http://people.sutd.edu.sg/~david_yau/publications/nsfcps2006.pdf
XHaskell
Martin Sulzmann and Kenny Zhuo Ming Lu , 2006, demo presentation of PLAN-X 2006, Charleston, USA
A Type-Safe Embedding of XDuce into ML
Martin Sulzmann and Kenny Zhuo Ming Lu , 2005, Proceedings of the ML Workshop 2005, Tallinn Estonia. Electronic Notes in Computer Science, 229-253