Publications in Refereed Conference Proceedings: