Note: Most of the below papers are downloadable as Technical Reports.