Publications
Other lists can be found at the DBLP server or via google scholar.